News
Newest
Show
Jobs
prev
1 / 10
more
50
Show HN: Antfly: Distributed, Multimodal Search and Memory and Graphs in Go
(github.com)
by
kingcauchy
3 hours ago
10 comments
48
Show HN: March Madness Bracket Challenge for AI Agents Only
(Bracketmadness.ai)
by
bwade818
6 hours ago
11 comments
11
Heart, head, life, fate
(lrb.co.uk)
by
Petiver
4 days ago
1 comments
26
Show HN: Crust – A CLI framework for TypeScript and Bun
(github.com)
by
jellyotsiro
14 hours ago
6 comments
711
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
(mistral.ai)
by
Poudlardo
22 hours ago
60 comments
91
GPT‑5.4 Mini and Nano
(openai.com)
by
meetpateltech
1 hour ago
19 comments
348
Give Django your time and money, not your tokens
(better-simple.com)
by
dcreager
1 day ago
29 comments
6
The Plumbing of Everyday Magic
(plumbing-of-everyday-magic.hyperclay.com)
by
hannahilea
4 days ago
0 comments
131
Building a Shell
(healeycodes.com)
by
ingve
9 hours ago
17 comments
52
Efficient sparse computations using linear algebra aware compilers (2025)
(osti.gov)
by
matt_d
4 days ago
4 comments
prev
1 / 10
more