Search: github.com/Sjlver | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

JIT Fuzzing Solver: experimental constraint solver using coverage-guided fuzzing (github.com/delcypher)

28 points

8 years ago

152.

Fastest Javascript Sudoku Solver (attractivechaos.github.com)

26 points

15 years ago

153.

Show HN: An Excel Wordle Solver (github.com/cgranier)

23 points

3 years ago

154.

Show HN: Per-instance TSP Solver with No Pre-training (1.66% gap on d1291)

21 points

5 months ago

155.

Yahtzeeql – Yahtzee solver that's mostly SQL (github.com/charliemeyer)

20 points

a year ago

156.

Show HN: Simple Wordle solver in command line in Python (github.com/KevinXuxuxu)

13 points

4 years ago

157.

AI Regex Scientist: A self-improving regex solver

9 points

4 months ago

158.

OCR sodoku solver for iOS (github.com/Haoest)

9 points

15 years ago

159.

Show HN: AI Captcha Solver for Chrome (github.com/noCaptchaAi)

8 points

3 years ago

160.

Show HN: Distributed SAT solver in Elixir

7 points

10 years ago

161.

JuLS – A Julia Local Search Solver (github.com/amazon-science)

6 points

9 months ago

162.

Show HN: Open-Source Quantum Solver for Maximum Independent Set Problems

6 points

a year ago

163.

Bevy XPBD Moving Away from XPBD Solver over Nvidia Patent (github.com/Jondolf)

5 points

2 years ago

164.

Build PoC of VehicleRoutingProblem Solver API Using Rust/AWS/Terraform (github.com/reinterpretcat)

5 points

6 years ago

165.

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

5 points

8 years ago

166.

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

4 points

14 years ago

167.

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

4 points

4 months ago

168.

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

4 points

8 months ago

169.

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

4 points

3 months ago

170.

Sudoku solver using Z3-Prover (github.com/awkwardbunny)

4 points

5 years ago

171.

Show HN: Slsqp4j - a JVM Wrapper around the popular SLSQP solver (github.com/skew-markets)

4 points

6 years ago

172.

Show HN: Solver for the game 24 in Python (github.com/chris-kuo)

4 points

7 years ago

173.

Ask HN: Do you use a UI layout constraint solver?

4 points

9 years ago

174.

2048 Solver with dramatically improved efficiency (github.com/celwell)

4 points

12 years ago

175.

Rust-analyzer to stabilize a new trait solver, with significant perf gains (github.com/rust-lang)

4 points

10 months ago

176.

Probability-Based Sudoku Solver (github.com/icecolbeveridge)

4 points

5 years ago

177.

Parameterized Equation Solver in Go (github.com/Knetic)

4 points

6 years ago

178.

Katana – Automatic CTF Challenge Solver in Python3 (github.com/JohnHammond)

4 points

6 years ago

179.

RCube – Rubik's cube solver for large cubes (github.com/ShellPuppy)

4 points

7 years ago

180.

Show HN: OpTorch, a PyTorch front end for the Ceres nonlinear solver (github.com/pronto-ai)

4 points

7 years ago