Search: github.com/Sjlver | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Show HN: Rush Hour Puzzle Solver and Generator (github.com/fogleman)

1 point

8 years ago

302.

Permutational Invariant Quantum Solver (PIQS) (github.com/nathanshammah)

1 point

8 years ago

303.

SAT Solver for Formulae in 3-CNF Implemented in PostgreSQL (gist.github.com)

1 point

8 years ago

304.

A sudoku solver application for Android (github.com/harsha-main)

1 point

8 years ago

305.

Rosette is a solver-aided language for program synthesis and verification (github.com/emina)

1 point

8 years ago

306.

Show HN: Java A* solver for sliding block puzzles (github.com/MaxLeiter)

1 point

9 years ago

307.

External SAT Solver (PHP Composer) (github.com/composer)

1 point

9 years ago

308.

1980s Turbo Pascal Solver for Puzzle “IN THIS SENTENCE THE NUMBER OF 0 IS _” (github.com/ehud)

1 point

9 years ago

309.

Show HN: Pipes puzzle (a.k.a. Net) on a hexagonal grid (hexapipes.vercel.app)

537 points

4 years ago

310.

Show HN: Allocate poker chips optimally with mixed-integer nonlinear programming (github.com/jstrieb)

213 points

2 years ago

311.

Show HN: Safe-NPM – only install packages that are +90 days old (github.com/kevinslin)

90 points

6 months ago

312.

Show HN: LoopMix128 – Fast C PRNG (.46ns), 2^128 Period, BigCrush/PractRand Pass (github.com/danielcota)

76 points

a year ago

313.

Show HN: yolo-cage – AI coding agents that can't exfiltrate secrets (github.com/borenstein)

60 points

4 months ago

314.

Show HN: xocc – C compiler based on BSD license

39 points

5 years ago

315.

Ask HN: Is an interdisciplinary career worth it?

28 points

8 years ago

316.

Show HN: Reviving a 20-year-old puzzle game Chromatron with Ghidra and AI (quesma.com)

28 points

3 months ago

317.

Show HN: Block Sort, a mobile/PWA puzzle game without ads (matthijsgroen.github.io)

20 points

2 years ago

318.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com/neelsomani)

16 points

5 months ago

319.

Show HN: Paradict – Streamable multi-format serialization with schema (github.com/pyrustic)

14 points

2 years ago

320.

Ask HN: What Are Your FOSS Philanthropy Hypotheticals?

14 points

16 years ago

321.

Show HN: An immutable ostree-based Arch Linux image (github.com/myyc)

12 points

5 months ago

322.

Show HN: Open-source distributed quantum compute network (quip.network)

11 points

2 months ago

323.

Show HN: I open-sourced a $1M engine for closing loops in embedding space (github.com/onestardao)

8 points

a year ago

324.

Show HN: Ant – A from-scratch JavaScript runtime in 9 MB (github.com/themackabu)

8 points

a month ago

325.

Show HN: Optimize_anything: A Universal API for Optimizing Any Text Parameter (gepa-ai.github.io)

8 points

LakshyAAAgrawal

4 months ago

326.

Show HN: GPT Classifies HN Titles

6 points

3 years ago

327.

Show HN: WASM Cloth Simulator (cloth.mikail-khan.com)

6 points

3 years ago

328.

Show HN: Sigil – A new programming language for AI agents

5 points

2 months ago

329.

Show HN: Cryptick – free and open-source alternative to Minute Cryptic (cryptick.wildvale.co.uk)

5 points

a month ago

330.

Show HN: A fast command-line tool for solving Queens puzzles (github.com/dschafer)

5 points

a year ago