Fri, Dec 12, 2025
50 years of proof assistants
C64 Maze Chomp.BAS
Freeing a Xiaomi humidifier from the cloud
I couldn't find a logging library that worked for my library, so I made one
Capsudo: Rethinking sudo with object capabilities
Show HN: I made a spreadsheet where formulas also update backwards
Building small Docker images faster
Can I use HTTPS RRs?
Wine 11.0 RC2 – Run Windows Applications on Linux, BSD, Solaris and macOS
Fast Median Filter over arbitrary datatypes
Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig
Ensuring a National Policy Framework for Artificial Intelligence
Funerary figurines found in royal tomb identifies Pharoah
macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt
The Average Founder Ages 6 Months Each Year
Rats Play DOOM
Motion (YC W20) Is Hiring Senior Staff Front End Engineers
GNU Unifont
Pg_ClickHouse: A Postgres extension for querying ClickHouse
Security issues with electronic invoices
Good conversations have lots of doorknobs (2022)
iOS 26.2 Release Notes
New Kindle feature uses AI to answer questions about books
The true story of the Windows 3.1 'Hot Dog Stand' color scheme
Open sourcing the Remix Store
Nuclear energy key to decarbonising Europe, says EESC
Benn Jordan’s flock camera jammer will send you to jail in Florida now [video]
Home Depot GitHub token exposed for a year, granted access to internal systems
Bit flips: How cosmic rays grounded a fleet of aircraft
Id Software devs form "wall-to-wall" union
Google releases its new Google Sans Flex font as open source
String theory inspires a brilliant, baffling new math proof
Using secondary school maths to demystify AI
How to Articulate Yourself Intelligently
Japan law opening phone app stores to go into effect
Async DNS
Show HN: tomcp.org – Turn any URL into an MCP server
Untitled Story
Oracle made a $300B bet on OpenAI. It's paying the price
Why more American seniors are getting high
CM0 – A new Raspberry Pi you can't buy
Senator endorses discredited book that claims chemical treats autism, cancer
America's betting craze has spread to its news networks
Microservices should form a polytree
Epic celebrates "the end of the Apple Tax" after court win in iOS payments case
Framework Raises DDR5 Memory Prices by 50% for DIY Laptops
Berlin Approves New Expansion of Police Surveillance Powers
The Resonant Computing Manifesto
BpfJailer: eBPF Mandatory Access Control [pdf]
Why isn't online age verification just like showing your ID in person?
Using Python for Scripting
Untitled Story
SQLite JSON at full index speed using generated columns
Fedora: Open-source repository for long-term digital preservation
Show HN: Epstein's emails reconstructed in a message-style UI (OCR and LLMs)
bookofjoe2.blogspot.com