December 2025 Archive
901.
C++ says “We have try... finally at home”
(devblogs.microsoft.com)
902.
Quality of drinking water varies significantly by airline
(foodmedcenter.org)
903.
Young journalists expose Russian-linked vessels off the Dutch and German coast
(digitaldigging.org)
904.
I wish people were more public
(borretti.me)
905.
A train-sized tunnel is now carrying electricity under South London
(ianvisits.co.uk)
906.
907.
What the heck is going on at Apple?
(cnn.com)
908.
Valve is running Apple's playbook in reverse
(garbagecollected.dev)
909.
Toro: Deploy Applications as Unikernels
(github.com)
910.
What Does a Database for SSDs Look Like?
(brooker.co.za)
911.
912.
A Beginner's Two-Component Crystal-Style Wi-Fi Detector
(siliconjunction.wordpress.com)
914.
Midjourney is alemwjsl
(aadillpickle.com)
915.
Court report detailing ChatGPT's involvement with a recent murder suicide [pdf]
(storage.courtlistener.com)
916.
Is Proton leaving Switzerland?
(techradar.com)
917.
919.
When square pixels aren't square
(alexwlchan.net)
920.
Developing a Beautiful and Performant Block Editor in Qt C++ and QML
(rubymamistvalove.com)
921.
Most parked domains now serving malicious content
(krebsonsecurity.com)
922.
923.
Three ways to solve problems
(andreasfragner.com)
924.
From Zero to QED: An informal introduction to formality with Lean 4
(sdiehl.github.io)
925.
926.
In Defense of Matlab Code
(runmat.org)
927.
Meta's ads tools started switching out top-performing ads with AI-generated ones
(businessinsider.com)
928.
What Happened to Abit Motherboards
(dfarq.homeip.net)
929.
50 years of proof assistants
(lawrencecpaulson.github.io)
930.
Show HN: Microlandia, a brutally honest city builder
(microlandia.city)