Search: github.com/sjl | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

781.

Buster: Captcha Solver for Humans (github.com/dessant)

61 points

7 years ago

782.

Barrier = Single keyboard/mouse solution for controlling multiple machines (github.com/debauchee)

61 points

6 years ago

783.

Show HN: Mnemo – local-first AI memory layer for any LLM (Rust, SQLite,petgraph) (github.com/zaydmulani09)

60 points

4 days ago

784.

Solitaire simulator for finding the best strategy: Current record is 8.590% (github.com/dacracot)

60 points

2 months ago

785.

Mongoose IM 6.2.1 – Erlang Solutions robust, scalable and efficient XMPP server (github.com/esl)

60 points

2 years ago

786.

Show HN: Flipt – an open-source feature flag solution (github.com/markphelps)

59 points

7 years ago

787.

Rendertron – a dockerized, headless Chrome rendering solution (github.com/GoogleChrome)

59 points

9 years ago

788.

Pydantic-resolve, a hierarchical solution for data fetching and processing (github.com/allmonday)

58 points

2 years ago

789.

Simple SAT Solver in Haskell (gist.github.com)

57 points

14 years ago

790.

Show HN: Python 3 TSP solver based on LKH (cross platform) (github.com/dimitrovskif)

57 points

7 years ago

791.

Tell HN: OpenAI can solve Leetcode problems

55 points

4 years ago

792.

PySolFC – A collection of Solitaire games for Python (github.com/shlomif)

55 points

9 years ago

793.

WASM Builds of the Z3 SMT Solver (github.com/cpitclaudel)

55 points

7 years ago

794.

Ventoy – Bootable USB Solution (github.com/ventoy)

54 points

2 years ago

795.

Discharging Lean goals into SMT solvers (github.com/ufmg-smite)

52 points

2 years ago

796.

Exporting image assets from ethereum smart contract with solidity (github.com/dezmou)

50 points

5 years ago

797.

Solving Sudoku with the Python package resolver (github.com/konstin)

49 points

2 years ago

798.

Frosted Glass/Panel Effect, Cross Browser Solution, Vanilla JavaScript and CSS (github.com/cryptodescriptor)

48 points

7 years ago

799.

Solving a puzzle using the Isabelle proof assistant (gist.github.com)

48 points

8 years ago

800.

Show HN: System Prompt Learning – LLMs Learn Problem-Solving from Experience

48 points

a year ago

801.

Constrain – Interactive figures using declarative constraint solving (github.com/andrewcmyers)

48 points

3 years ago

802.

C++ Code for Quantum Many Body Solutions with Artificial Neural Networks (github.com/HaoZeke)

48 points

9 years ago

803.

Releasing my Texas holdem solver (opensourced) (github.com/bupticybee)

47 points

5 years ago

804.

Show HN: Chainloop, A Software Supply Chain Attestation solution devs won't hate (github.com/chainloop-dev)

45 points

3 years ago

805.

Demos of Stream Processing Solving Real-World Problems (github.com/risingwavelabs)

45 points

a year ago

806.

Tasklets: a more ergonomic solution to WebWorkers (github.com/GoogleChromeLabs)

44 points

9 years ago

807.

Solitaire with text-based interface in C (github.com/jborza)

44 points

6 years ago

808.

Proof-of-Work is the only solution to Byzantine Generals' problem (gist.github.com)

41 points

8 years ago

809.

Show HN: Solving the ~95% legislative coverage gap using LLM's (lustra.news)

41 points

6 months ago

810.

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

41 points

lennartkoopmann

11 years ago