Postgres IDE in VS Code

Show HN: Genetic Boids Web Simulation

Find Your People

A Formal Proof of Complexity Bounds on Diophantine Equations

Show HN: DoubleMemory – more efficient local-first read-it-later app

Beyond Semantics: Unreasonable Effectiveness of Reasonless Intermediate Tokens

Show HN: I built a more productive way to manage AI chats

The world of Japan's PC-98 computer

Types of optical systems in a lens designer's toolbox (2020)

Emacs dired-mode as a file manager

Caesar's Last Breath

UndoDB – The interactive time travel debugger for Linux C/C++ for debugging

John Carmack talk at Upper Bound 2025

The metre originated in the French Revolution

From RPC to transactions and durable executions

Into The Tunnel: The secret life of wind tunnels

Show HN: hcker.news – an ergonomic, timeline-based Hacker News front page

Positional preferences, order effects, prompt sensitivity undermine AI judgments

How to live on $432 a month in America

Japan and the Birth of Modern Shipbuilding

Why I no longer have an old-school cert on my HTTPS site

MCP is the coming of Web 2.0 2.0

Designing type inference for high quality type errors

Sesame Scheme: Unintended Consequences of Allergen Food Labeling