Yearly Favorites
11371.
11372.
Three ways to solve problems
(andreasfragner.com)
11373.
From Zero to QED: An informal introduction to formality with Lean 4
(sdiehl.github.io)
11374.
Internet Access Providers Aren't Bound by DMCA Unmasking Subpoenas–In Re Cox
(blog.ericgoldman.org)
11375.
Air Powered Segment Display? [video]
(youtube.com)
11376.
11377.
Advanced Aerial Robotics Made Simple
(drehmflight.com)
11378.
New OSM file format: 30% smaller than PBF, 5x faster to import
(community.openstreetmap.org)
11379.
ShinyHunters claims data theft from 8,800 schools (Instructure/Canvas)
(bleepingcomputer.com)
11380.
ChatGPT Images 2.0
(openai.com)
11381.
Why don't people return their shopping carts?
(behavioralscientist.org)
11382.
11383.
Iran is likely jamming Starlink
(timesofisrael.com)
11384.
Colon cancer now leading cause of cancer deaths under 50 in US
(theguardian.com)
11385.
Garbage collection for Rust: The finalizer frontier
(soft-dev.org)
11386.
You weren't meant to have a boss (2008)
(paulgraham.com)
11387.
In Defense of Matlab Code
(runmat.org)
11388.
I Got Sick of Remembering Port Numbers
(gregraiz.com)
11389.
The Doom Justifies the Valuation
(geohot.github.io)
11390.
Should QA exist?
(rubick.com)
11391.
11392.
11393.
HTMX is hard, so let's get it right
(github.com)
11395.
11396.
Code is run more than read (2023)
(olano.dev)
11397.
11398.
Meta's ads tools started switching out top-performing ads with AI-generated ones
(businessinsider.com)
11399.
Sprinkling self-doubt on ChatGPT
(justin.searls.co)
11400.