Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
691.
▲
Astra v1.0 – Formally verified smart contracts with six mathematical axioms
2 points
kroesser4
5 months ago
discuss
692.
▲
Show HN: Atomic symlink deployments that work on macOS URL
(github.com/mojoatomic)
2 points
mojoatomic
5 months ago
discuss
693.
▲
Show HN: GAM7 Companion – macOS app that automates Google Workspace admin
(github.com/halcarrell)
2 points
stormer72
5 months ago
discuss
694.
▲
Show HN: I Turned EU Cyber Laws into Open Source Code
(github.com)
2 points
FabDiP89
5 months ago
discuss
695.
▲
Show HN: BlockFrame – A local, erasure-coded storage engine in Rust
(github.com/crushr3sist)
2 points
DeusCodex
5 months ago
discuss
696.
▲
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
697.
▲
Show HN: AvocadoDB – Deterministic RAG (same query, same context, every time)
2 points
eprasad7
6 months ago
discuss
698.
▲
ClipE96: We Left the Clipboard Unguarded for 40 Years
2 points
DaaaaveATX
6 months ago
discuss
699.
▲
Show HN: Echos – A lightweight multi-agent AI system with pre-built agents
(github.com/treadiehq)
2 points
lexokoh
7 months ago
discuss
700.
▲
Show HN: Llamada – minimalist toolkit to define functions with prompts
(github.com/blaesus)
2 points
blaesus
7 months ago
discuss
701.
▲
Show HN: Duron – Library for Building Durable AI Agent and Interactive Workflows
(github.com/brian14708)
2 points
brian14708
7 months ago
discuss
702.
▲
Show HN: Building the Cursor UI selector but for back end
(codeboarding.org)
2 points
imilev
7 months ago
discuss
703.
▲
Show HN: TNX API – Natural Language Interaction with Databases, Now Open Source
(github.com/StultusEstQuiHocLegit)
2 points
Marten42
9 months ago
discuss
704.
▲
Show HN: I built an open-source CSV importer that I wish existed
(github.com/importcsv)
2 points
aray07
9 months ago
discuss
705.
▲
Show HN: Creating a Binary Puzzle Game
(taengo.vercel.app)
2 points
alexandergekov
10 months ago
discuss
706.
▲
Show HN: Infrabase: Natural language rules engine to manage your cloud account
(infrabase.co)
2 points
iacguy
a year ago
discuss
707.
▲
Show HN: DashPack – Turn a car window switch into a family‑friendly soundboard
(github.com/Cordince)
2 points
NathanCordince
a year ago
discuss
708.
▲
Show HN: E2E-Mailbox, NPM package for ensuring emails send in your int-tests
(github.com/allynsweet)
2 points
allynsweet
2 years ago
discuss
709.
▲
Show HN: Jsonpaws – Consistent JSON with GPT-4o
(github.com/caspianmoon)
2 points
cutout11
2 years ago
discuss
710.
▲
Show HN: CazuApp, a flutter-based delivery app for small businesses
(docs.cazuapp.dev)
2 points
cferrys
2 years ago
discuss
711.
▲
Show HN: Rebels in the sky – a terminal game about anarchist space pirates
(rebels.frittura.org)
2 points
discoinverno
2 years ago
discuss
712.
▲
Show HN: An efficient SRL32 (cascading shift registers) clock prescaler in VHDL
(gist.github.com)
2 points
VioletVillain
2 years ago
discuss
713.
▲
Show HN: CLI for testing and evaluating LLM prompts and outputs
(github.com/promptfoo)
2 points
typpo
3 years ago
discuss
714.
▲
Show HN: Sublime Text GPT-4 integration plugin
(packagecontrol.io)
2 points
yaroslavyar
3 years ago
discuss
715.
▲
Show HN: A High-Performance CRC Hardware Generator in Bluespec SystemVerilog
(github.com/datenlord)
2 points
SandmanDZ
3 years ago
discuss
716.
▲
Show HN: Make an AI talk to your own PHP code using Tool Functions
(github.com/manuelkiessling)
2 points
ManuelKiessling
3 years ago
discuss
717.
▲
The Beef Programming Language
2 points
beefdev
6 years ago
discuss
718.
▲
Ask HN: Help me list laptops supporting SGX
2 points
neatmonster
9 years ago
discuss
719.
▲
Ask HN: Amyone successfully verify fawkes claims of protection against AI?
1 point
mel_llaguno
5 years ago
3 comments
720.
▲
Show HN: Runtime security for AI agents(injection,tool abuse, data exfiltration)
1 point
dshapi
2 months ago
2 comments
More