Software

Extracting verified C++ from the Rocq theorem prover at Bloomberg

Hacker News - Tue, 2026-01-20 10:08
Comments
Categories: Software

6 Years Building Video Players. 9B Requests. Starting Over

Hacker News - Tue, 2026-01-20 09:34
Comments
Categories: Software

QMD - Quick Markdown Search

Hacker News - Tue, 2026-01-20 09:29
Comments
Categories: Software

Kraków, Poland in top 5 worst air quality worldwide

Hacker News - Tue, 2026-01-20 09:16
Comments
Categories: Software

America Is Slow-Walking into a Polymarket Disaster

Hacker News - Tue, 2026-01-20 09:05
Comments
Categories: Software

Show HN: LangGraph architecture that scales (hexagonal pattern, 110 tests)

Hacker News - Tue, 2026-01-20 08:56
Comments
Categories: Software

Linux kernel framework for PCIe device emulation, in userspace

Hacker News - Tue, 2026-01-20 08:51
Comments
Categories: Software

The Overcomplexity of the Shadcn Radio Button

Hacker News - Tue, 2026-01-20 08:35
Comments
Categories: Software

Giving University Exams in the Age of Chatbots

Hacker News - Tue, 2026-01-20 08:32
Comments
Categories: Software

Google confirms 'high-friction' sideloading flow is coming to Android

Hacker News - Tue, 2026-01-20 08:04
Comments
Categories: Software

KAOS – The Kubernetes Agent Orchestration System

Hacker News - Tue, 2026-01-20 07:19
Comments
Categories: Software

The Rebirth of Pennsylvania's Infamous Burning Town

Hacker News - Tue, 2026-01-20 07:10
Comments
Categories: Software

Becoming a Whorelord: The Overly Analytical Guide to Escorting (2021)

Hacker News - Tue, 2026-01-20 06:27
Comments
Categories: Software

C++26 Reflection loves QRangeModel

Hacker News - Tue, 2026-01-20 06:19
Comments
Categories: Software

X algorithm has been open sourced

Hacker News - Tue, 2026-01-20 06:16
Comments
Categories: Software

Management Time: Who's Got the Monkey? [pdf]

Hacker News - Tue, 2026-01-20 06:10
Comments
Categories: Software

Chatbot Psychosis

Hacker News - Tue, 2026-01-20 06:08
Comments
Categories: Software

Stevey's Birthday Blog

Hacker News - Tue, 2026-01-20 06:06
Comments
Categories: Software

RCS for Business

Hacker News - Tue, 2026-01-20 05:14
Comments
Categories: Software

Velox: A Port of Tauri to Swift by Miguel de Icaza

Hacker News - Tue, 2026-01-20 04:52
Comments
Categories: Software

Pages