Feed aggregator

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

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

Formal Methods Only Solve Half My Problems

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

Multiple explosions in Venezuela's capital Caracas

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

Ask HN: Expository/Succinct Books on Modern Physics

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

Loud noises heard in Venezuela capital, southern area without electricity

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

Vector graphics on GPU

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

The Constitution Was a Coup

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

Japan joining growing global trend of declining democracy

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

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

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

Revisiting the original Roomba and its simple architecture

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

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

Hacker News - 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]

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

Becoming a Centenarian

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

Adventure 751 (1980)

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

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

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

The Kimwolf botnet is stalking your local network

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

Einstein Probe detects an X-ray flare from nearby star

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

A Basic Just-in-Time Compiler

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

Proving Liveness with TLA

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

Representing Hierarchies

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

Pages