Residents cheer as Tucson rejects Amazon's massive Project Blue data center campus in Arizona
datacenterdynamics.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Qryptr: Airgapped ECC Text Messenger
qryptr.com·2d·
Discuss: Hacker News
🍎Apple
Why Metropolis–Hastings Works
gregorygundersen.com·21h·
Discuss: Lobsters, Hacker News
🔠Type-Level Programming
Show HN: GPT-5 Document Retrieval – AI Assistant with Inline Citations
smartresearch-ai.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ Bug Took Down Solidity
osec.io·9h·
Discuss: Hacker News
🐫OCaml
Switch advice please?
mikrotik.com·3d·
Discuss: r/homelab
📡Network Protocol Design
R0ML’s Ratio
blog.glyph.im·3d·
Discuss: Hacker News
🔬Unikernels
My tiny (1000 lines), fastish, embeddable scripting language can be AOT compiled
wareya.wordpress.com·9h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Even ChatGPT 5 Can’t Handle This Simple Prompt That Human Can
medium.com·2h·
Discuss: r/programming
🎮Verification Games
UCI-Express Cranks Up Chiplet Interconnect Speeds
nextplatform.com·3d·
Discuss: Hacker News
⚙️Operating System Design
Revel Pulls Plug on Electric Vehicle Ride-Share Business in New York
nytimes.com·17h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Google's Genie is more impressive than GPT5
theahura.substack.com·4d·
Discuss: Substack
🤖Program Synthesis
OpenAI returns to its open-source roots with new open-weight AI models
zdnet.com·5d·
Discuss: Hacker News
🔬Unikernels
Ask HN: Has anyone built a simple habit app that works?
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
Software Modernization Projects Dilemma (Part 1) – Should you do it?
medium.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
syncing large directories with Nextcloud
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Show HN: Automating a manual biotech process that should have died years ago
news.ycombinator.com·5d·
Discuss: Hacker News
🤖Program Synthesis
Uncertainty Quantification for Surface Ozone Emulators using Deep Learning
arxiv.org·4d
📦Unikernel Systems
Miles Voice AI – Instant-interrupt, multi-personality voice assistant
github.com·2d·
Discuss: Hacker News
🍎Apple
Acting NASA Administrator Reflects on Legacy of Astronaut Jim Lovell
nasa.gov·3d·
Discuss: Hacker News
💾Retro Computing