Solvingn the Santa Claus concurrency puzzle with a model checker
(news.ycombinator.com)
3811.
3812.
3813.
The Download: US immigration agencies’ AI videos, and inside the Vitalism movement
(technologyreview.com)
3814.
3816.
OnePlus 10 Pro just got a surprise Android 16 update it wasn’t supposed to receive
(androidauthority.com)
3817.
3818.
This upcoming rugged phone doubles as a 1080p projector
(androidauthority.com)
3819.
3820.
3821.
3822.
3824.
3825.
3826.
1km tower in the desert is not progress it is a farewell letter to common sense
(news.ycombinator.com)
3827.
Microsoft links Windows 11 boot failures to failed December 2025 update
(bleepingcomputer.com)
3829.
PlayStation 2 Recompilation Project Is Absolutely Incredible
(news.ycombinator.com)
3830.
County pays $600k to pentesters it arrested for assessing courthouse security
(news.ycombinator.com)
3831.
3832.
Make a video game where you play as your own cat in Google’s new virtual world creator
(androidauthority.com)
3833.
Best Gas Masks
(news.ycombinator.com)
3834.
3835.
3836.
Nintendo 3DS emulation on Android just got a lot less confusing thanks to a simple update
(androidauthority.com)
3837.
3838.
3839.
3840.
I built marshmallow castles in Google’s new AI-world generator
(techcrunch.com)