June 2025 Archive
2431.
CRDTs #4: Convergence, Determinism, Lower Bounds and Inflation
(jhellerstein.github.io)
2432.
Low-cost Android devices turn home networks into crime platforms
(arstechnica.com)
2433.
Lightweight Diagramming for Lightweight Formal Methods
(blog.brownplt.org)
2434.
Big Tech sponsors Trump's military parade party
(theverge.com)
2435.
How the first electric grid was built
(worksinprogress.news)
2436.
QuEra Quantum System Leverages Neutral Atoms to Compute
(nextplatform.com)
2437.
Rust 1.88.0
(blog.rust-lang.org)
2438.
Defending Savannah from DDoS Attacks
(fsf.org)
2439.
AI-first – We're just 6 months away from AGI
(revontulet.dev)
2440.
Rents fall in most U.S. metros since 2023, demand struggles to match supply
(seekingalpha.com)
2444.
Lima Site 85: How a CIA Helicopter Defended a Secret U.S. Radar Facility
(aviacionline.com)
2445.
The role of the University is to resist AI
(danmcquillan.org)
2446.
Bans on gas-powered leaf blowers are spreading around the US
(usatoday.com)
2447.
Congress might block state AI laws for a decade
(techcrunch.com)
2448.
Fervo Energy Drills 15,000', 520 F Geothermal Well in 16 Drilling Days
(businesswire.com)
2449.
2450.
Show HN: I am making an app to rival "Everything"
(drimiteros.github.io)
2451.
Show HN: Sharpe Ratio Calculation Tool
(fundratios.com)
2453.
War Powers Resolution
(en.wikipedia.org)
2454.
2455.
Rolldown-Vite: a Rust-Rewrite of Rollup
(voidzero.dev)
2456.
I've almost completely switched from "Python" to "uv run"
(actinium226.substack.com)
2457.
2459.
2460.
Show HN: Private real-time dictation app for Mac
(github.com)