UK accidentally invaded Spain in 2002, reveals former First Sea Lord (2017)
independent.co.uk·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Google Maps will strip down part of its social features
phonearena.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Show HN: Fortzone Battle Royale
fortzone-battle-royale.com·1d·
Discuss: Hacker News
🎮Verification Games
It's a Beelink, baby
world.hey.com·3d·
Discuss: Hacker News
💾Retro Computing
Itch.io post updated about NSFW Content.
itch.io·2d·
Discuss: Hacker News, r/TwoBestFriendsPlay
🍎Apple
Firmware update limits Echelon smart home gym equipment’s ability to work offline
arstechnica.com·22h·
Discuss: Hacker News, Hacker News, r/hardware
🍎Apple
T-Mobile's Starlink Satellite Service Officially Launches With iPhone Support
macrumors.com·2d·
Discuss: Hacker News
🍎Apple
Keep Pydantic out of your Domain Layer
coderik.nl·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Margaret C. Anderson
en.wikipedia.org·2d·
Discuss: Hacker News
🍎Apple
Why Gleam Deserves a Spot in Your 2025 Toolkit: Beyond the Syntax
lozdev.com·1d·
Discuss: Hacker News
🔤DSLs
Tailscale: The State of Zero Trust
tailscale.com·3d·
Discuss: Hacker News, Hacker News
🖥️Self-hosted Infrastructure
Rivers of galaxies
aeon.co·2d·
Discuss: Hacker News
➡️Category Theory
Ollama and MCP – A blog about AI by AI, with help from me
blog.aridgwayweb.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
America's AI Action Plan Is Pretty Good
thezvi.substack.com·1d·
Discuss: Substack
🛡️seL4
Efficient Computer's Electron E1 CPU
morethanmoore.substack.com·2d·
Discuss: Substack
🐫Embedded OCaml
Glaze: Fast, in memory, JSON and reflection library for modern C++
github.com·3d·
Discuss: Hacker News
📦Unikernel Systems
The TEA-ASLP System for Multilingual Conversational Speech Recognition and Speech Diarization in MLC-SLM 2025 Challenge
arxiv.org·1d
🔤DSLs
A Concept for Efficient Scalability of Automated Driving Allowing for Technical, Legal, Cultural, and Ethical Differences
arxiv.org·1d
⚙️Operating System Design
Mineral exploration startups are the tech startups of the physical world
news.ycombinator.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Ask HN: Are AI Dev Tools Ready for Production? What Limitations Are You Seeing?
news.ycombinator.com·20h·
Discuss: Hacker News
👁️System Observability