Monthly Highlights
2671.
2672.
2673.
Looking for Missed Alarm Bugs in a Formal Verification Tool
(blog.regehr.org)
2675.
Gateside by TSA Precheck
(tsa.gov)
2676.
Anthropic CEO says the way for AI to win over the public is to cure cancer
(businessinsider.com)
2677.
A practical guide to running 8x RTX PRO 6000's
(gpupartner.com)
2678.
Iran Is Using Foreign Criminals to Attack Its Critics Overseas
(newyorker.com)
2679.
Hacker News now has an active (official) X account
(twitter.com)
2680.
2681.
2682.
2683.
ExactTex. A gradually-typed superset of LaTeX
(github.com)
2684.
Netflix Has Peaked
(daringfireball.net)
2685.
Show HN: What if the speed of light was 5 km/h?
(rivendell.dmitrybrant.com)
2686.
Young Americans increasingly fear AI will take their jobs
(pewresearch.org)
2687.
Claude × retrocomputing: emulating a QIC-117 tape drive
(dmitrybrant.com)
2688.
Terry A. Davis Quotes
(en.wikiquote.org)
2689.
2691.
2692.
OpenAI's Unraveling Has Begun
(garymarcus.substack.com)
2693.
Everything is free now, so why not a floating orb in my IDE
(eighttrigrams.net)
2694.
Bedtime Procrastination
(en.wikipedia.org)
2695.
Texas Locked a Foreign Company's Domain over Missing Digital ID Checks
(reclaimthenet.org)
2696.
Show HN: Personal Context MCP
(lanes.sh)
2698.
2699.
Does whispering to agents in docs help?
(passo.uno)