Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Show HN: International Legal Dictionary (public.law)

105 points

4 years ago

212.

Show HN: Wadzilla. Play DOOM in Zork (github.com/scottvr)

94 points

2 years ago

213.

Show HN: My first programming project – userscripts to change forum UIs (github.com/wkrouse)

89 points

2 years ago

214.

Show HN: CashGraphs – A securities portfolio optimizer (cashgraphs.com)

82 points

4 years ago

215.

Show HN: Modest – musical harmony library for Lua (github.com/esbudylin)

76 points

a year ago

216.

Show HN: My microkernel-based OS built from scratch now has basic Unix commands (github.com/lux-operating-system)

69 points

2 years ago

217.

Ask HN: A retrofitted C dialect?

55 points

a year ago

218.

Show HN: A geometric analysis of Chopin's Prelude No. 4 using 3D topology (github.com/jimishol)

50 points

4 months ago

219.

Show HN: Mochi.js: bun-native high-fidelity browser automation library (mochijs.com)

47 points

a month ago

220.

Show HN: Open-source tool to generate a video from any Wikipedia page (github.com/aileftech)

35 points

4 years ago

221.

Show HN: Voice Composer – Browser-based pitch detection to MIDI/strudel/tidal (dioptre.github.io)

32 points

5 months ago

222.

Show HN: Qoord, a simple quantum circuit simulator (github.com/scottmckuen)

23 points

2 years ago

223.

Show HN: Open Notes – Community Notes-style context for Discord (opennotes.ai)

20 points

4 months ago

224.

Show HN: I'm writing a book – Cloudflare for Speed and Security (kerkour.com)

20 points

sylvain_kerkour

3 years ago

225.

Show HN: I made an open-source Rust program for memory-efficient genomics (github.com/logannye)

17 points

7 months ago

226.

Ask HN: Programmers Who Want to Get Better at Math

15 points

2 years ago

227.

Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean (github.com/mmaaz-git)

14 points

2 months ago

228.

Show HN: WFGY – A reasoning engine that repairs LLM logic without retraining (github.com/onestardao)

11 points

a year ago

229.

Show HN: LLM Aided Transcription Improvement (github.com/Dicklesworthstone)

11 points

2 years ago

230.

Show HN: Inception: Automatic Rust Trait Implementation by Induction (github.com/nicksenger)

10 points

9 months ago

231.

Terraform requires a DAG. AWS allows cycles. Here's how I map the difference.

9 points

4 months ago

232.

Show HN: The Atlas – I Built a 3D Universe Simulation with Python and Three.js (github.com/SurceBeats)

8 points

8 months ago

233.

Ask HN: How will NLP models affect online discussion?

7 points

6 years ago

234.

Ask HN: starter books for learning about grammars, parsers and compilers?

7 points

michaelsbradley

13 years ago

235.

Show HN: Crystalline Protocol – A blockchain with a built-in "Logic Firewall" (github.com/deramazesaa-web)

7 points

5 months ago

236.

Show HN: Micro – apps without ads, algorithms or tracking (micro.mu)

6 points

2 months ago

237.

Ask HN: Why dead code detection in Python is harder than most tools admit

6 points

4 months ago

238.

Show HN: Cognee – Turn RAG and GraphRAG into custom dynamic semantic memory (github.com/topoteretes)

6 points

a year ago

239.

Bibliography of Recent BFT Algorithms (github.com/hellas-ai)

6 points

a year ago

240.

Announcing Flink-HTM – Anomaly Detection for Apache Flink

6 points

10 years ago