Search: github.com/sjl | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

991.

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

4 points

2 months ago

992.

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

4 points

4 months ago

993.

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

4 points

8 months ago

994.

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

4 points

9 months ago

995.

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

4 points

2 years ago

996.

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

4 points

6 years ago

997.

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

4 points

7 years ago

998.

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

4 points

9 years ago

999.

Ask YC: Which queue/background worker solution?

4 points

17 years ago

1000.

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

4 points

4 months ago