News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 2
more >
13
Show HN: Cuq – Formal Verification of Rust GPU Kernels
(github.com)
by
nsomani
1 hour ago
|
3 comments
24
Show HN: Create interactive diagrams with pop-up content
(vexlio.com)
by
ttd
6 hours ago
|
1 comments
168
Show HN: Cadence – A guitar theory app
(cadenceguitar.com)
by
apizon
9 days ago
|
30 comments
6
Show HN: SerenDB – A Neon PostgreSQL fork optimized for AI agent workloads
(github.com)
by
taariqlewis
2 hours ago
|
1 comments
101
Show HN: Modshim – A new alternative to monkey-patching in Python
(github.com)
by
joouha
6 days ago
|
14 comments
2
Show HN: Middlerok – reduces front end-back end integration from weeks to hours
(middlerok.com)
by
rokontech
4 hours ago
|
0 comments
118
Show HN: Katakate – Dozens of VMs per node for safe code exec
(github.com)
by
gbxk
1 day ago
|
14 comments
10
Show HN: Incremental JSON parser for streaming LLM tool calls in Ruby
(aha.io)
by
hotk
2 hours ago
|
0 comments
77
Show HN: bbcli – A TUI and CLI to browse BBC News like a hacker
(github.com)
by
wesleyhill
3 days ago
|
8 comments
3
Show HN: Cont3xt.dev – Universal Team Knowledge for AI Coding Tools
(cont3xt.dev)
by
ksred
5 hours ago
|
2 comments
< prev
1 / 2
more >