Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
31.
▲
Codebook – Guaranteed Correct Code Snippets
(github.com/NicholasLYang)
2 points
hardwaregeek
2 years ago
discuss
32.
▲
Fast and flexible AutoML with learning guarantees
(github.com/tensorflow)
2 points
echan00
8 years ago
discuss
33.
▲
Faultline – distributed job queue with exactly-once execution guarantees
(github.com/kritibehl)
1 point
kritibehl
3 months ago
1 comment
34.
▲
Building reproducible LLM agents with strict determinism guarantees
(github.com/crasofuentes-hub)
1 point
Agente2026
3 months ago
1 comment
35.
▲
Created `MCP-guard`, open MCP guarding tool
(github.com/alramalho)
1 point
alramalho
3 months ago
1 comment
36.
▲
Show HN: I used LLMs to build an OS AI voice agent that guarantees accurate data
(github.com/jeffo777)
1 point
Jeff_Morton_AI
10 months ago
1 comment
37.
▲
WinSweeper – macOS minesweeper game that guarantees a win with perfect play
(github.com/alaingilbert)
1 point
alain_gilbert
2 years ago
1 comment
38.
▲
Show HN: An app to guarantee files authenticity
(github.com/diegocouto)
1 point
diegogcouto
11 years ago
1 comment
39.
▲
Peep: cryptographically guaranteed repeatable "pip install"
(github.com/erikrose)
1 point
gojomo
13 years ago
discuss
40.
▲
Parameter passing guaranteed unified initialization and unified value-setting [pdf]
(github.com/hsutter)
1 point
bobajeff
6 years ago
discuss
41.
▲
Unishox – Guaranteed Compression for Unicode Short Strings
(github.com/siara-cc)
1 point
algorithmsRcool
6 years ago
discuss
42.
▲
Que – A high-performance job queue with ACID guarantees for reliability
(github.com/chanks)
1 point
guifortaine
8 years ago
discuss
43.
▲
High availability MySQL cluster that guarantees data consistency
(github.com/tencent-wechat)
1 point
hitr
10 years ago
discuss
44.
▲
Show HN: Non.io, a Reddit-like platform Ive been working on for the last 4 years
(non.io)
1943 points
jjcm
3 years ago
590 comments
45.
▲
Show HN: LLMs can generate valid JSON 100% of the time
(github.com/normal-computing)
854 points
remilouf
3 years ago
303 comments
46.
▲
Launch HN: QuestDB (YC S20) – Fast open source time series database
357 points
bluestreak
6 years ago
167 comments
47.
▲
Show HN: Triplit – Open-source syncing database that runs on server and client
(github.com/aspen-cloud)
279 points
matlin
2 years ago
100 comments
48.
▲
Show HN: A Karpathy-style LLM wiki your agents maintain (Markdown and Git)
(github.com/nex-crm)
260 points
najmuzzaman
a month ago
115 comments
49.
▲
Show HN: Fructose – LLM calls as strongly typed functions
(github.com/bananaml)
218 points
edunteman
2 years ago
99 comments
50.
▲
Launch HN: Langfuse (YC W23) – OSS Tracing and Workflows to Improve LLM Apps
(github.com/langfuse)
215 points
mdeichmann
a year ago
61 comments
51.
▲
Show HN: BemiDB – Postgres read replica optimized for analytics
(github.com/BemiHQ)
209 points
exAspArk
2 years ago
117 comments
52.
▲
Launch HN: Blyss (YC W23) – Homomorphic encryption as a service
206 points
blintz
3 years ago
75 comments
53.
▲
Launch HN: Quirk (YC S19) – Open-Source Cognitive Behavioral Therapy
196 points
flaque
7 years ago
93 comments
54.
▲
Tell HN: Read up on your GitHub Support SLA
193 points
zamalek
4 years ago
135 comments
55.
▲
Launch HN: OpenMeter (YC W23) – Real-Time, Open Source Usage Metering
174 points
hekike
3 years ago
42 comments
56.
▲
Launch HN: Cua (YC X25) – Open-Source Docker Container for Computer-Use Agents
(github.com/trycua)
172 points
frabonacci
a year ago
73 comments
57.
▲
Show HN: Oxyde – Pydantic-native async ORM with a Rust core
(github.com/mr-fatalyst)
155 points
mr_Fatalyst
3 months ago
81 comments
58.
▲
Show HN: Trench – Open-source analytics infrastructure
(github.com/FrigadeHQ)
155 points
pancomplex
2 years ago
38 comments
59.
▲
Launch HN: Batch (YC S20) – Replays for event-driven systems
154 points
dsies
6 years ago
58 comments
60.
▲
Show HN: HackerNew for Chrome
(chrome.google.com)
150 points
tommoor
14 years ago
89 comments
More