Feed aggregator

50 years of proof assistants

Hacker News - Sat, 2025-12-13 00:26
Comments
Categories: Software

US TikTok investors in limbo as deal set to be delayed again

Hacker News - Sat, 2025-12-13 00:21
Comments
Categories: Software

The Beauty of Dissonance

Hacker News - Fri, 2025-12-12 23:50
Comments
Categories: Software

Can I use HTTPS RRs?

Hacker News - Fri, 2025-12-12 23:34
Comments
Categories: Software

Wine 11.0 RC2 – Run Windows Applications on Linux, BSD, Solaris and macOS

Hacker News - Fri, 2025-12-12 23:05
Comments
Categories: Software

Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig

Hacker News - Fri, 2025-12-12 23:02
Comments
Categories: Software

Capsudo: Rethinking Sudo with Object Capabilities

Hacker News - Fri, 2025-12-12 22:42
Comments
Categories: Software

Living Particle System

Hacker News - Fri, 2025-12-12 22:28
Comments
Categories: Software

Motion (YC W20) Is Hiring Senior Staff Front End Engineers

Hacker News - Fri, 2025-12-12 22:00
Comments
Categories: Software

GNU Unifont

Hacker News - Fri, 2025-12-12 21:57
Comments
Categories: Software

macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt

Hacker News - Fri, 2025-12-12 21:41
Comments
Categories: Software

Testing a cheaper laminar flow hood

Hacker News - Fri, 2025-12-12 21:40
Comments
Categories: Software

Security Issues with Electronic Invoices

Hacker News - Fri, 2025-12-12 21:28
Comments
Categories: Software

New Kindle Feature Uses AI to Answer Questions About Books–Authors Can't Opt Out

Hacker News - Fri, 2025-12-12 21:24
Comments
Categories: Software

Rats Play Doom

Hacker News - Fri, 2025-12-12 21:15
Comments
Categories: Software

In Defense of Matlab Code

Hacker News - Fri, 2025-12-12 21:13
Comments
Categories: Software

The Average Founder Ages 6 Months Each Year

Hacker News - Fri, 2025-12-12 20:41
Comments
Categories: Software

Windows 3.1 'Hot Dog Stand' color scheme true story

Hacker News - Fri, 2025-12-12 20:13
Comments
Categories: Software

Benn Jordan's flock camera jammer will send you to jail in Florida now [video]

Hacker News - Fri, 2025-12-12 19:58
Comments
Categories: Software

Home Depot GitHub token exposed for a year, granted access to internal systems

Hacker News - Fri, 2025-12-12 19:23
Comments
Categories: Software

Pages