Hacker News

Subscribe to Hacker News feed
Links for the intellectually curious, ranked by readers.
Updated: 5 min 57 sec ago

The Coming Need for Formal Specification

Sat, 2025-12-13 04:17
Categories: Software

The Checkerboard

Sat, 2025-12-13 01:50
Categories: Software

50 years of proof assistants

Sat, 2025-12-13 00:26
Categories: Software

The Beauty of Dissonance

Fri, 2025-12-12 23:50
Categories: Software

Can I use HTTPS RRs?

Fri, 2025-12-12 23:34
Categories: Software

Living Particle System

Fri, 2025-12-12 22:28
Categories: Software

GNU Unifont

Fri, 2025-12-12 21:57
Categories: Software

Testing a cheaper laminar flow hood

Fri, 2025-12-12 21:40
Categories: Software

Security Issues with Electronic Invoices

Fri, 2025-12-12 21:28
Categories: Software

Pages