8521.
8522.
8523.
8524.
The growing vigilante movement to knock out Flock surveillance cameras
(news.ycombinator.com)
8525.
Running a 28.9M parameter LLM on an $8 microcontroller
(news.ycombinator.com)
8526.
We Got a First Look at ‘Common Side Effects’ Season 2
(gizmodo.com)
8527.
Three Theses on the Literacy Crisis
(news.ycombinator.com)
8528.
8529.
8530.
8531.
8532.
8533.
Rauno's Field Notes #2
(news.ycombinator.com)
8534.
8535.
8536.
8537.
Bringing PyTorch Monarch to AMD GPUs
(news.ycombinator.com)
8538.
The Dark Night of Mathematics
(news.ycombinator.com)
8539.
Brazilian farmers tokenized dairy cows to get loans, bypassing bank limits
(news.ycombinator.com)
8540.
8541.
Engineering management after the cost of code collapsed
(news.ycombinator.com)
8542.
Open-weight AI is having its Kubernetes moment. Let's not ruin it
(news.ycombinator.com)
8543.
Task-centered iproute2 user guide
(news.ycombinator.com)
8544.
8545.
Computing’s Top 30: Lokesh Lagudu
(computer.org)
8546.
8547.
Poetry for Engineers: A Martian Rover Sends a Postcard Home
(spectrum.ieee.org)
8548.
An introduction to formal proof verification and the Curry-Howard Correspondence
(news.ycombinator.com)
8549.
Type checker may be wrong – Lean and the Curry-Howard correspondence
(news.ycombinator.com)
8550.