Defending Amateur Radio Spectrum: The AST SpaceMobile Battle Continues
openresearch.institute·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Not Reading the News – Mo's Blog
mo42.bearblog.dev·1d·
Discuss: Hacker News
🩹Self-Healing Systems
A New Method for Estimating P2P Network Size
eli.sohl.com·3d·
Discuss: Hacker News
📡Network Protocol Design
Observe live SQL queries in Go with DTrace
gaultier.github.io·4d·
Discuss: Hacker News, r/golang
📊Runtime Verification
What Happened After My 13-Year-Old Son Joined the Alt-Right (2019)
washingtonian.com·3d·
Discuss: Hacker News
🛡️seL4
Simplaix – Agent-first project management and workflow automation
simplaix.com·11h·
Discuss: Hacker News
✓Automated Theorem Proving
John Mew, Orthodontist Who Created Mewing, Dies at 96
nytimes.com·3d·
Discuss: Hacker News
🍎Apple
Show HN: Markdown Cheat Sheet
markdowncheatsheet.com·2d·
Discuss: Hacker News
🔬Static Analysis
Show HN: I built an operating file system for my agent (CRUD)
youtube.com·6d·
Discuss: Hacker News
🐳Containerization
Do Startups Dream of Electric Robots
partenit.io·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Asymptotic Chase
symptotic.substack.com·1d·
Discuss: Substack
🎮Verification Games
Windows KASLR Bypass – CVE-2025-53136
crowdfense.com·4d·
Discuss: Hacker News
👁️System Observability
Vibecoding is scarily powerful: minutes to get C and Python recursive pdf-to-txt
news.ycombinator.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Spiral
spiraldb.com·4d·
Discuss: Hacker News
💾Retro Computing
Advice: Upgrade my i7-9700K for homelab, or build new rack server?
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
Network automation and design at the CCC Internetmanufaktur (mrmcd25)
cdn.media.ccc.de·2d
📡Network Protocol Design
Agile Documentation
medium.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Is In-Context Learning Learning?
arxiv.org·1d
📚Automata Learning
Show HN: A Vite and React starter kit for real-time chat with no back end
github.com·23h·
Discuss: Hacker News, r/javascript, r/reactjs
🍎Apple
Show HN: Spring Boot and OpenAPI Generator – type-safe clients with generics
github.com·1d·
Discuss: Hacker News
💎Refinement Types