Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
211.
▲
Show HN: PR Slop Stopper
(github.com/vmazi)
2 points
vmazi
4 months ago
discuss
212.
▲
Astra v1.0 – Formally verified smart contracts with six mathematical axioms
2 points
kroesser4
5 months ago
discuss
213.
▲
Show HN: Atomic symlink deployments that work on macOS URL
(github.com/mojoatomic)
2 points
mojoatomic
5 months ago
discuss
214.
▲
Show HN: GAM7 Companion – macOS app that automates Google Workspace admin
(github.com/halcarrell)
2 points
stormer72
5 months ago
discuss
215.
▲
Show HN: BlockFrame – A local, erasure-coded storage engine in Rust
(github.com/crushr3sist)
2 points
DeusCodex
5 months ago
discuss
216.
▲
Show HN: A web-based lighting controller built because my old became a brick
(github.com/Arian-Ott)
2 points
arianott
5 months ago
discuss
217.
▲
Show HN: AvocadoDB – Deterministic RAG (same query, same context, every time)
2 points
eprasad7
6 months ago
discuss
218.
▲
Show HN: Duron – Library for Building Durable AI Agent and Interactive Workflows
(github.com/brian14708)
2 points
brian14708
7 months ago
discuss
219.
▲
Show HN: I built an open-source CSV importer that I wish existed
(github.com/importcsv)
2 points
aray07
9 months ago
discuss
220.
▲
Show HN: Creating a Binary Puzzle Game
(taengo.vercel.app)
2 points
alexandergekov
10 months ago
discuss
221.
▲
Show HN: DashPack – Turn a car window switch into a family‑friendly soundboard
(github.com/Cordince)
2 points
NathanCordince
a year ago
discuss
222.
▲
Show HN: E2E-Mailbox, NPM package for ensuring emails send in your int-tests
(github.com/allynsweet)
2 points
allynsweet
2 years ago
discuss
223.
▲
Show HN: Jsonpaws – Consistent JSON with GPT-4o
(github.com/caspianmoon)
2 points
cutout11
2 years ago
discuss
224.
▲
Show HN: CazuApp, a flutter-based delivery app for small businesses
(docs.cazuapp.dev)
2 points
cferrys
2 years ago
discuss
225.
▲
Show HN: Rebels in the sky – a terminal game about anarchist space pirates
(rebels.frittura.org)
2 points
discoinverno
2 years ago
discuss
226.
▲
Show HN: Sublime Text GPT-4 integration plugin
(packagecontrol.io)
2 points
yaroslavyar
3 years ago
discuss
227.
▲
Show HN: Make an AI talk to your own PHP code using Tool Functions
(github.com/manuelkiessling)
2 points
ManuelKiessling
3 years ago
discuss
228.
▲
The Beef Programming Language
2 points
beefdev
6 years ago
discuss
229.
▲
Ask HN: Amyone successfully verify fawkes claims of protection against AI?
1 point
mel_llaguno
5 years ago
3 comments
230.
▲
Show HN: VectorGuard-Nano – Free secure messaging for AI agents
(github.com/Active-IQ)
1 point
supere989
4 months ago
2 comments
231.
▲
Show HN: Meaning-Based Judgment Simulation for LLM Interfaces
1 point
GENIXUS
a year ago
2 comments
232.
▲
Ask HN: Any way to use Keybase without installing their app? (macOS)
1 point
MrWiffles
5 years ago
2 comments
233.
▲
Show HN: HIC – Same-Ring Isolation, 4ns IPC, Runs on 8086
(github.com/DslsDZC)
1 point
DslsDZC
a month ago
1 comment
234.
▲
Show HN: MirrorNeuron – an open-source runtime for reliable on-device AI agents
(mirrorneuron.io)
1 point
homerquan
a month ago
1 comment
235.
▲
Show HN: Crash-safe job queue – lease-expiry race and fencing fix
(github.com/kritibehl)
1 point
kritibehl
3 months ago
1 comment
236.
▲
Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor
(pypi.org)
1 point
aytuakarlar
4 months ago
1 comment
237.
▲
Show HN: Replacing NotNull and Preconditions with fluent Java assertions
1 point
symplice
4 months ago
1 comment
238.
▲
Show HN: How we solved the InfoSec adoption blocker for cloud tools
1 point
sureshcsdp
4 months ago
1 comment
239.
▲
Show HN: CodePrism – an AI-generated code analysis engine as MCP
(rustic-ai.github.io)
1 point
milliondreams
a year ago
1 comment
240.
▲
Fibs (Yet another Threes knockoff)
(github.com/brilee)
1 point
brilee
12 years ago
discuss
More