Leanstral: Open-source agent for trustworthy coding and formal proof engineering03/16/2026, 08:59:40 PM
The unlikely story of Teardown Multiplayer03/13/2026, 04:20:00 PM
Meta’s renewed commitment to jemalloc03/16/2026, 06:12:32 PM
The “small web” is bigger than you might think03/16/2026, 05:17:57 PM
Every layer of review makes you 10x slower03/17/2026, 03:20:36 AM
The American Healthcare Conundrum03/16/2026, 05:13:27 PM
Gitana 18: the new flying Ultim trimaran03/13/2026, 03:16:08 AM
US SEC preparing to scrap quarterly reporting requirement03/17/2026, 12:02:35 AM
Sci-Fi Short Film “There Is No Antimemetics Division” [video]03/13/2026, 11:44:27 AM
Pyodide: a Python distribution based on WebAssembly03/13/2026, 05:34:45 PM
Monkey Island for Commodore 64 Ground Up03/17/2026, 04:00:28 AM
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)03/16/2026, 01:09:58 PM
Kagi Translate now supports LinkedIn Speak as an output language03/17/2026, 04:39:42 AM
Beyond has dropped “meat” from its name and expanded its high-protein drink line03/16/2026, 08:59:49 PM
Why I love FreeBSD03/16/2026, 11:23:14 AM
Claude Tips for 3D Work03/13/2026, 02:53:10 PM
Show HN: Oxyde – Pydantic-native async ORM with a Rust core03/13/2026, 01:35:12 PM
Starlink Mini as a failover03/16/2026, 08:07:29 AM
In space, no one can hear you kernel panic (2020)03/13/2026, 12:02:00 AM
Show HN: Droeftoeter, a Terminal Coding Toy03/13/2026, 04:16:26 AM
Show HN: Thermal Receipt Printers – Markdown and Web UI03/13/2026, 04:49:01 PM
AirPods Max 203/16/2026, 01:22:03 PM
Jepsen: MariaDB Galera Cluster 12.1.203/17/2026, 03:46:22 AM
Polymarket gamblers threaten to kill me over Iran missile story03/16/2026, 12:00:06 PM
Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)03/16/2026, 05:07:37 PM
The bureaucracy blocking the chance at a cure03/15/2026, 06:32:27 PM
Lies I was told about collaborative editing, Part 2: Why we don't use Yjs03/13/2026, 01:38:44 AM
AnswerThis (YC F25) Is Hiring03/16/2026, 09:00:06 PM
Language model teams as distributed systems03/16/2026, 05:19:13 PM
Lazycut: A simple terminal video trimmer using FFmpeg03/16/2026, 12:05:08 PM
Show HN: Claude Code skills that build complete Godot games03/16/2026, 04:07:29 PM
Corruption erodes social trust more in democracies than in autocracies03/16/2026, 11:25:31 AM
Apideck CLI – An AI-agent interface with much lower context consumption than MCP03/16/2026, 03:25:36 PM
Canopy Height Maps v203/12/2026, 06:24:10 PM
Cert Authorities Check for DNSSEC from Today03/15/2026, 10:10:47 PM
MoD sources warn Palantir role at heart of government is threat to UK security03/16/2026, 11:57:33 AM
Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain03/15/2026, 09:22:16 PM
Comparing Python Type Checkers: Typing Spec Conformance03/16/2026, 12:25:18 PM
US Job Market Visualizer03/16/2026, 03:10:30 PM
Nvidia Launches Vera CPU, Purpose-Built for Agentic AI03/16/2026, 08:01:02 PM
Even faster asin() was staring right at me03/16/2026, 12:30:16 PM
Show HN: GitClassic.com, a fast, lightweight GitHub thin client (pages <14KB)03/12/2026, 04:20:06 PM
MM120, a pharmaceutical form of LSD, shown to reduce anxiety symptoms (2025)03/16/2026, 11:16:39 AM
Boot ROM Security on Silicon Macs (M1/M2/M3)03/17/2026, 03:47:06 AM
The Linux Programming Interface as a university course text03/15/2026, 11:51:26 PM
Six ingenious ways how Canon DSLRs used to illuminate their autofocus points03/15/2026, 09:07:52 AM
Launch HN: Chamber (YC W26) – An AI Teammate for GPU Infrastructure03/16/2026, 05:09:34 PM
Human Organ Atlas03/15/2026, 12:18:47 PM
The emergence of print-on-demand Amazon paperback books03/15/2026, 09:06:35 AM