Monthly Highlights
14671.
Programming Language Foundations in Agda
(plfa.github.io)
14672.
14673.
14674.
Conservation of Compute
(nishantjosh.dev)
14675.
Where did my freed memory (not) go?
(yapfast.com)
14676.
OpenAI outperforms Chinese models in cost per task
(nikvdp.com)
14677.
14678.
14679.
14680.
Compromised EMudhra Intermediate Certificates
(groups.google.com)
14681.
Notes from the Frontier Reading List
(app.notion.com)
14682.
Anthropic wrote about replacing Git for their monorepo
(anthropic.com)
14684.
Running CI on 3M Lines of Code in Under 3 Minutes
(shchoholiev.com)
14685.
Bullhorn takes staffing platform offline to contain cyberattack
(bleepingcomputer.com)
14686.
FADU puts the filesystem inside the SSD's flash to bypass host CPUs
(tomshardware.com)
14687.
Learning as Freedom (2012)
(nytimes.com)
14688.
Why have coding agents not brought easter-egg utopia?
(rallywith.ai)
14689.
14690.
A love letter to a simpler time – web archeology with Claude
(darkmirage.com)
14691.
AI Early adopters share their views on AI status
(automato.substack.com)
14692.
New Online Chess Cheat
(github.com)
14693.
Building "php2shell" detections before coordinated disclosure
(corelight.com)
14694.
14695.
Show HN: Landed Cost Kit – landed cost and tariff what-ifs per SKU
(landedcostkit.com)
14696.
14697.
iPhone Duo Teardown [video]
(youtube.com)
14698.
14699.
Model winter sunlight and shadows on any Oregon property using Lidar
(oregonelevationtools.com)
14700.
Are Harnesses Worth the Cost?
(martinfowler.com)