Normal Computing Announce Tape-Out of First Thermodynamic Computing Chip
normalcomputing.com·4d·
Discuss: Hacker News
🍎XNU Internals
Thoughts on GPT-5
jgibbs.dev·6d·
Discuss: Hacker News
🔬Unikernels
The Closed Internet Protocol
mirz.ai·6d·
Discuss: Hacker News
📡Network Protocol Design
Microsoft is being sued for killing Windows 10 - here are 5 reasons why the lawsuit could actually force its hand to extend support further
techradar.com·6d·
Discuss: Hacker News
🔬Unikernels
Losing the "fun" part of "for fun and profit"
ezhik.jp·6d·
Discuss: Hacker News
💾Retro Computing
Debian GNU/Hurd 2025 Released With Completed 64-bit Support, Rust Ported
phoronix.com·6d·
Discuss: Hacker News
🍎XNU Internals
How to turn off headphone volume limit warnings on iPhone and iPad
9to5mac.com·6d
🏹Effect Systems
Reverse Engineering the Raspberry Pi Zero 2W
jeffgeerling.com·6d·
Discuss: Hacker News
💾Retro Computing
Two hours with Cursor changed my mind about AI coding
betweentheprompts.com·6d·
Discuss: Hacker News
🤖Program Synthesis
Creating a New Keyboard Flex for an Old Calculator
hackaday.com·6d
💾Retro Computing
Will AI Usher in the End of Deep Thinking?
theringer.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Local AI Data Tool: No Coding, Privacy, Big Data Friendly
news.ycombinator.com·4d·
Discuss: Hacker News
👁️System Observability
Noob looking for 1st server + PC upgrade. Will old rig work? Not sure what parts to get, if any. Why doesn't /r/BuildAhomeServerForMe exist?
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
You've got drought: UK gov suggests you save water by . . . deleting old emails
theregister.com·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Liveness analysis with Datalog
bernsteinbear.com·6d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
SpaceX reveals why the last two Starships failed as another launch draws near
arstechnica.com·3d·
Discuss: Hacker News
⎈Kubernetes
Built a tool to auto-generate a comprehensive AI agent guide from any codebase
reddit.com·3d·
Discuss: r/programming
🤖Program Synthesis
Re:Verse -- Can Your VLM Read a Manga?
arxiv.org·6d
🐫Embedded OCaml
Boosting Generic Semi-Supervised Medical Image Segmentation via Diverse Teaching and Label Propagation
arxiv.org·6d
➡️Category Theory
Preacher: Paper-to-Video Agentic System
arxiv.org·5d
🐫OCaml