Tech Digest

2
hn Show HN: Ensemble Prover - Open-Source Python Autonomous Theorem Prover
by stereochemical3 · 1 comments
2
hn Show HN: WiringPi 3.20 – Updated GPIO Library for Raspberry Pi
by evil99
2
hn Show HN: I built an app that makes your goals inevitable
by ifeanyi_sa
2
hn Show HN: Radia – agent coordination with leases, permissions and provenance
by ymodulo
3
hn Show HN: LibPolyCall – a C runtime broker for cross-language function calls
by obinexus
7
hn Show HN: MCP Tool Definition Quality Score (TDQS) Spec
by punkpeye
4
hn Show HN: Model – A Minimal Python ORM for MySQL and SQLite
by el1s7
2
hn Show HN: WordPress search and replace that doesn't corrupt serialized data
by ibrahimwithi
2
hn Show HN: NGPDFs – 50 PDF tools that never upload your files
by amulyakashyap09
5
hn Show HN: Bridle: hand your agent's context to a coworker's agent
by withoutshape
3
hn Show HN: MesaOS – An operating system written from scratch in Rust
by crackanimador · 13 comments
3
hn Show HN: Devbar – Point at what to change. Leave a comment. Your agent ships it
by linesofcode · 3 comments
4
hn Show HN: Word42, a wordprocessor inspired by MS Word and Abiword
by roschdal
120
hn How concerned should we be about Astra's recurrent architecture?
by yurivish · 75 comments
66
hn The true horror of Edgar Allan Poe’s stories lies in their confessions
by lermontov · 30 comments