- 2LANA Project Interim Report 2026: Computer-Assisted Verification of IUT Theory [video] (youtube.com)
- 104Open Book Touch: open-source e-reader (crowdsupply.com)
- 3128Gb Eight Channel Workstation Madness: Threadripper 3995WX in Windows 8.1 (trackerninja.codeberg.page)
- 2Building an Advanced Agentic Harness (data4sci.substack.com)
- 10Trump blames Canada for wildfire smoke, says he'll add cost to tariffs (reuters.com)
- 3Surprise and Delight [video] (youtube.com)
- 3Webpack Is Now on Bluesky (bsky.app)
- 72Topcoat: The full full-stack framework for Rust (github.com)
- 3Caution: Children Might Impoverish Their Parents (retirementincomejournal.com)
- 2Right to Repair Fundraiser Goal Reached (sfconservancy.org)
- 14Faulty Towers, vibe sickness, and the vibe bobsled (dustycloud.org)
- 4Google Weather Lab 2 (deepmind.google.com)
- 3Show HN: Tests.ws – WebSocket testing tools, language guides, Chrome extension (tests.ws)
- 17Aurora DSQL: Scalable, Multi-Region OLTP (arxiv.org)
- 3Sliding into Silence? We Are Speaking 300 Daily Words Fewer Every Year (journals.sagepub.com)
- 7China's Latest A.I. Breakthrough Threatens America's Lead (nytimes.com)
- 5Grumpy Website (grumpy.website)
- 4The first patch is a price check, not the product (github.blog)
- 107Static search trees: 40x faster than binary search (2024) (curiouscoding.nl)
- 7China's Xi Jinping launches new AI alliance, WAICO (aljazeera.com)
- 4Recreating the best engineering zine from the 90s (circazine.hackclub.com)
- 6France blocks access to Polymarket website (reuters.com)
- 3Ask HN: Did you try Nordstjernen Web Browser 1.0.19 yet? ()
ask - 6MLB restricts using dugout iPads for AI-assisted in-game strategy (espn.com)
- 9Linus Torvalds to critics of AI coding in Linux: "Fork it. Or just walk away." (arstechnica.com)
- 4Google Earth Pro for desktop will no longer be available to download soon (techradar.com)
- 3Chemical Onshoring of All Kinds (science.org)
- 2CollpaseOS: Program microcontrollers through civilizational collapse (collapseos.org)
- 2Apple Passed Nvidia to Become Most Valuable Company Again (macrumors.com)
- 3Talking Postgres: Working on Postgres After 13 Years on SQL Server (talkingpostgres.com)