Playing Minesweeper with a SMT Solver
(github.com)
Monthly Highlights
10471.
10472.
Insert Knob A in Hole B
(en.wikipedia.org)
10473.
Electromechanical Atari Is a Steampunk Meccano Masterpiece
(hackaday.com)
10474.
Israel's Next-Gen Combat Vehicles in Gaza
(carsandhorsepower.com)
10475.
10476.
Levered beta is all you need
(textql.notion.site)
10477.
10478.
Show HN: GPU market is absurd! So I built a dashboard of pricing/restock trends
(gpuisfine.singhkays.com)
10479.
Simulations find ghostly whirls of dark matter trailing galaxy arms
(arstechnica.com)
10480.
Show HN: I built an aesthetic Pomodoro timer to stay more focused at work.
(internetgarden.co)
10481.
Books curious minds wished they'd discovered sooner
(newsletter.weeklyfilet.com)
10482.
10483.
Version Control and the Illusion of Time
(substack.com)
10484.
Anne Wojcicki is taking back control of 23andMe
(theverge.com)
10485.
Why Dyad?: A Perspective for Modelica Users
(juliahub.com)
10486.
Waiting Is Risky
(bryanbraun.com)
10487.
The Career Calamity
(tedium.co)
10488.
Watching the world, one quintillionth of a second at a time
(knowablemagazine.org)
10489.
UK woefully unprepared for Chinese and Russian undersea cable sabotage
(theguardian.com)
10490.
What's new in Gleam 1.11 [video]
(youtube.com)
10491.
10492.
Getting Started with Nvidia CuOpt
(atalaykutlay.com)
10493.
10494.
Sparc3d: High-Resolution 3D Model Generation
(sparc3d.org)
10495.
10496.
Show HN: Zesfy – Organize your daily tasks in under 30 seconds
(apps.apple.com)
10497.
A shark scientist reflects on Jaws at 50
(arstechnica.com)
10498.
If You're So Smart, Why Can't You Die?
(desystemize.substack.com)
10499.
Neither Robot nor Baby
(arnoldkling.substack.com)
10500.
Zohran Mamdani Is Proposing Green Abundance for the Many
(jacobin.com)