Search: github.com/soal | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

961.

Show HN: A firewall analysis library using the Z3 SMT solver (github.com/Z3Prover)

5 points

8 years ago

962.

First PokemonGo Chat/Social full stack solution is open sourced (github.com/PokemonGoF)

5 points

10 years ago

963.

Show HN: Solve React's data problem with MiniMongo (github.com/ivanthedeployer)

5 points

10 years ago

964.

SpaceWeather: Correlate solar activity with system health and outages (github.com/Graylog2)

5 points

lennartkoopmann

11 years ago

965.

Solid path for a free graduation in Computer Science (github.com/open-source-society)

5 points

11 years ago

966.

Show HN: Deterministic security solution for AI agents – OpenClaw and 2 more

4 points

3 months ago

967.

Sudoku solver in 1-line of CoffeeScript (with explanation) (gist.github.com)

4 points

14 years ago

968.

Ask HN: Feedback please: open-source non-SaaS accounting app for solo operators

4 points

6 years ago

969.

Show HN: Ballcone is a fast and lightweight server-side Web analytics solution (github.com/dustalov)

4 points

6 years ago

970.

Show HN: hist: An overengineered solution to `sort|uniq -c` with 25x throughput (github.com/noamteyssier)

4 points

8 months ago

971.

Show HN: Libro – a customizable notebook solution supports generative AI (github.com/difizen)

4 points

2 years ago

972.

The Source Code of “Solving Problems the Clojure Way – Rafal Dittwald” (github.com/kwccoin)

4 points

6 years ago

973.

List of Open Source Web Apps, Alternative to Paid Solutions (github.com/unicodeveloper)

4 points

10 years ago

974.

Cheryl's Birthday puzzle solved using Clojure's core.logic (github.com/raj-kesavan)

4 points

11 years ago

975.

Show HN: Too many browser tabs! I solved it with a simple electron app (github.com/magland)

4 points

2 months ago

976.

Solo dev creates Open Source Turboquant (github.com/TheTom)

4 points

2 months ago

977.

A discrete-logic solution to the Three-Body Problem (99% compute saving) (github.com/alikamp)

4 points

2 months ago

978.

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com/namin)

4 points

4 months ago

979.

Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm (github.com/zoecarver)

4 points

8 months ago

980.

I have solved p=NP with proof (github.com/copweddinglord)

4 points

9 months ago

981.

Show HN: LLMWare – Integrated Solution for RAG in Finance and Legal (github.com/llmware-ai)

4 points

2 years ago

982.

Exhaustive list of backup solutions for Linux (github.com/restic)

4 points

6 years ago

983.

Show HN: desktop.yml – A solution for installing persona-based software suites (github.com/GoTeamEpsilon)

4 points

7 years ago

984.

Show HN: Get Ethereum-based Sudokoin by claiming solved sudokus (github.com/sudokoin)

4 points

9 years ago

985.

Ask YC: Which queue/background worker solution?

4 points

17 years ago

986.

Show HN: A Vaadin Algebra and Calculus Solver Built with AI Assistance

4 points

4 months ago

987.

Mitosis: Write Components Once, Run in React, Vue, Qwik, Solid, Angular, Svelte (github.com/BuilderIO)

4 points

4 months ago

988.

Show HN: Solving Zodiac's Z32 – top candidate has anomaly visible from space (github.com/dstampher)

4 points

6 months ago

989.

Show HN: Ubon – a solution for the "You're absolutely right" debugging dread (github.com/luisfer)

4 points

9 months ago

990.

Superfunctions: Solve the "Color" Problem of Python (github.com/pomponchik)

4 points

a year ago