- 2Get Started with Lean Proof Assistant (lean-lang.org)
- 326Pope Leo XIV says AI must serve humanity, not the powerful few (religionnews.com)
- 3Legibility Is Ruining You (jimmyhmiller.com)
- 3Programming Sucks (2014) (stilldrinking.org)
- 4Miami Itch Center (med.miami.edu)
- 2New supply chain attack on 34 packages, 100+ versions on NPM, PyPI and crates.io (socket.dev)
- 2API tests that live in Git, run in CI, and open in VSCode (github.com)
- 158Pope Leo: opaque AI run by few firms risks "New Forms of Dehumanization" (variety.com)
- 2Econ Galaxy. A free persistent space MMO in the browser (econgalaxy.com)
- 111Microsoft pulls plug on plans for 244-acre data center in Caledonia (2025) (tmj4.com)
- 4The U.S. Chip Ban Isn't a Strategy. It's a Countdown (axisbrief.substack.com)
- 4Data center ordinance development continues in Washington Township (planetdetroit.org)
- 4South Carolina county passes first reading on data center moratorium (blufftontoday.com)
- 5Show HN: docs-cli - coding-agent project state in Markdown (artrichards.github.io)
- 4Commercial satellite supplying Intel to Ukraine cornered by Russian spacecraft (tomshardware.com)
- 3Engineering managers are former individual contributors (betterthanrandom.substack.com)
- 2I launched MemeHole – a free lightweight meme maker with no watermark on export (takeonanything.com)
- 2BBS Popcorn – Native YouTube Client for Linux (github.com)
- 4In-Browser Container Builds (ochagavia.nl)
- 3AI load breaks GitHub – why not other vendors? (blog.pragmaticengineer.com)
- 5The EO community probably does not need your weekend package (spectralreflectance.space)
- 3OpenSMTPD Is the Mail Server for the Future (nxdomain.no)
- 2Do you review AI generated code differently based on where it is in your code? ()
- 5Migrating a decade-old Ubuntu 16.04 blog to FreeBSD on Hetzner (discoverbsd.com)
- 4Simulating a 3D Quadcopter from Scratch (mrandri19.github.io)
- 3LulaEdge – An open-source sharding orchestrator for Cloudflare D1 (github.com)
- 2The AI Boom Is Reshuffling the Global Stock Market Hierarchy [video] (youtube.com)
- 5Show HN: My biggest solo-project: Game engine with its own programming language (github.com)
- 3UK records its highest ever May temperature (theguardian.com)
- 3Amazon launches new AI Wearable "Bee" (bee.computer)