Hacker News

Subscribe to Hacker News feed
Links for the intellectually curious, ranked by readers.
URL: https://news.ycombinator.com/
Updated: 18 min 58 sec ago

At least 7 explosions and low-flying aircraft are heard in Venezuela's Caracas

Sat, 2026-01-03 08:09
Comments
Categories: Software

Formal Methods Only Solve Half My Problems

Sat, 2026-01-03 07:49
Comments
Categories: Software

Multiple explosions in Venezuela's capital Caracas

Sat, 2026-01-03 07:49
Comments
Categories: Software

Ask HN: Expository/Succinct Books on Modern Physics

Sat, 2026-01-03 07:35
Comments
Categories: Software

Loud noises heard in Venezuela capital, southern area without electricity

Sat, 2026-01-03 07:35
Comments
Categories: Software

Vector graphics on GPU

Sat, 2026-01-03 07:08
Comments
Categories: Software

The Constitution Was a Coup

Sat, 2026-01-03 07:04
Comments
Categories: Software

Japan joining growing global trend of declining democracy

Sat, 2026-01-03 07:01
Comments
Categories: Software

Gtasks-terminal – Google Tasks power-tool for the terminal

Sat, 2026-01-03 06:43
Comments
Categories: Software

Revisiting the original Roomba and its simple architecture

Sat, 2026-01-03 05:53
Comments
Categories: Software

Show HN: uvx ptn, scan a QR, get a terminal in your phone

Sat, 2026-01-03 05:22
Comments
Categories: Software

IQuest-Coder: A new open-source code model beats Claude Sonnet 4.5 and GPT 5.1 [pdf]

Sat, 2026-01-03 05:01
Comments
Categories: Software

Becoming a Centenarian

Sat, 2026-01-03 03:42
Comments
Categories: Software

Adventure 751 (1980)

Sat, 2026-01-03 03:38
Comments
Categories: Software

Show HN: TCP chat server written in C# and .NET 9, used in the terminal

Sat, 2026-01-03 03:05
Comments
Categories: Software

The Kimwolf botnet is stalking your local network

Sat, 2026-01-03 03:04
Comments
Categories: Software

Einstein Probe detects an X-ray flare from nearby star

Sat, 2026-01-03 02:29
Comments
Categories: Software

A Basic Just-in-Time Compiler

Sat, 2026-01-03 02:18
Comments
Categories: Software

Proving Liveness with TLA

Sat, 2026-01-03 02:15
Comments
Categories: Software

Representing Hierarchies

Sat, 2026-01-03 02:14
Comments
Categories: Software

Pages