-
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
-
The unlikely story of Teardown Multiplayer
-
Meta’s renewed commitment to jemalloc
-
Gitana 18: the new flying Ultim trimaran
-
The “small web” is bigger than you might think
-
US SEC preparing to scrap quarterly reporting requirement
-
Every layer of review makes you 10x slower
-
Sci-Fi Short Film “There Is No Antimemetics Division” [video]
-
Kagi Translate now supports LinkedIn Speak as an output language
-
The American Healthcare Conundrum
-
Monkey Island for Commodore 64 Ground Up
-
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)
-
Pyodide: a Python distribution based on WebAssembly
-
Show HN: Droeftoeter, a Terminal Coding Toy
-
Beyond has dropped “meat” from its name and expanded its high-protein drink line
-
Claude Tips for 3D Work
-
Why I love FreeBSD
-
In space, no one can hear you kernel panic (2020)
-
Show HN: Oxyde – Pydantic-native async ORM with a Rust core
-
Starlink Mini as a failover
-
Show HN: Thermal Receipt Printers – Markdown and Web UI
-
Jepsen: MariaDB Galera Cluster 12.1.2
-
AirPods Max 2
-
Polymarket gamblers threaten to kill me over Iran missile story
-
Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)
-
Lies I was told about collaborative editing, Part 2: Why we don't use Yjs
-
Show HN: Claude Code skills that build complete Godot games
-
AnswerThis (YC F25) Is Hiring
-
Language model teams as distributed systems
-
The bureaucracy blocking the chance at a cure