Search: github.com/correll | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Show HN: Rivet Actors – Durable Objects built with Rust, FoundationDB, Isolates

github.com/rivet-gg

2 years ago

133 points

362.

Show HN: Prisma Python – A fully typed ORM for Python

github.com/RobertCraigie

4 years ago

130 points

363.

Show HN: Ask-human-mcp – zero-config human-in-loop hatch to stop hallucinations

masonyarbrough.com

a year ago

129 points

364.

Show HN: Public transportation signage based on bloom filters (rough mockup)

github.com/jsvan

3 years ago

128 points

365.

Show HN: Data Diff – compare tables of any size across databases

4 years ago

127 points

366.

Launch HN: Fortress (YC S24) – Database platform for multi-tenant SaaS

2 years ago

121 points

367.

Show HN: Rot - Offline secrets management

github.com/candiddev

3 years ago

116 points

368.

Show HN: Arroyo – Write SQL on streaming data

github.com/ArroyoSystems

3 years ago

115 points

369.

Show HN: Agent framework that generates its own topology and evolves at runtime

github.com/adenhq

4 months ago

107 points

370.

Show HN: Talos – Open-source WASM interpreter for Lean

github.com/cajal-technologies

5 days ago

106 points

371.

Show HN: Ldump – serialize any Lua data

github.com/girvel

a year ago

96 points

372.

Show HN: Using a color pattern to let a user 'recognise' their password

github.com/skattyadz

14 years ago

95 points

373.

Show HN: Wadzilla. Play DOOM in Zork

github.com/scottvr

2 years ago

94 points

374.

Show HN: Greenmask 0.2 – Database anonymization tool

github.com/GreenmaskIO

2 years ago

94 points

375.

Show HN: Ktx – Open-source executable context layer for data agents

github.com/Kaelio

a month ago

93 points

376.

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed

github.com/schildep

19 days ago

93 points

377.

Show HN: I wrote a partial re-implementation of DirectMusic

github.com/GothicKit

2 years ago

91 points

378.

Tell HN: Apple rejecting cross platform apps (React Native, Flutter, Capacitor)

4 years ago

90 points

379.

Show HN: My first programming project – userscripts to change forum UIs

github.com/wkrouse

2 years ago

89 points

380.

Show HN: DBOS transact – Ultra-lightweight durable execution in Python

github.com/dbos-inc

2 years ago

89 points

381.

Show HN: Tmux-IDE, OSS agent-first terminal IDE

tmux.thijsverreck.com

3 months ago

88 points

382.

Show HN: Web-eval-agent – Let the coding agent debug itself

github.com/Operative-Sh

a year ago

84 points

383.

Show HN: Excel to Python Compiler

2 years ago

79 points

384.

Show HN: FiddleCube – Generate Q&A to test your LLM

github.com/fiddlecube

2 years ago

78 points

385.

Launch HN: Cyberdesk (YC S25) – Automate Windows legacy desktop apps

10 months ago

73 points

386.

Show HN: Robust LLM extractor for websites in TypeScript

github.com/lightfeed

3 months ago

72 points

387.

Show HN: Paramount – Human Evals of AI Customer Support

github.com/ask-fini

2 years ago

71 points

388.

Show HN: SpRAG – Open-source RAG implementation for challenging real-world tasks

github.com/SuperpoweredAI

2 years ago

69 points

389.

Show HN: A New Way to Learn Languages

a year ago

67 points

390.

Show HN: Total Recall – write-gated memory for Claude Code

github.com/davegoldblatt

5 months ago

67 points