Show HN: Amber – better Beeper, a modern all-in-one messenger
useamber.app·20h·
Discuss: Hacker News
💻CS
Physically based rendering from first principles
imadr.me·21h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Scientist May Have Discovered a New Drug That Makes Up for Lost Sleep
nad.com·9h·
Discuss: Hacker News
🧩Separation Logic
Show HN: Thymis – IoT fleet management with NixOS – Cloud now available
thymis.io·1d·
Discuss: Hacker News
🐳Containerization
Improving Aviation Safety Analysis: Automated HFACS Classification Using Reinforcement Learning with Group Relative Policy Optimization
arxiv.org·2d
📚Automata Learning
Gitpod is now Ona, moving beyond the IDE
ona.com·1d·
Discuss: Hacker News
🐳Containerization
Why AI for coding is so polarizing
jampauchoa.substack.com·18h·
Discuss: Substack
🐫Embedded OCaml
The Open Source Ward Weekly (2 September 2025)
open-source-ward.com·23h·
Discuss: Hacker News
🔬Unikernels
Pets vs. Cattle and How to Use the Analogy Properly
cloudscaling.com·1d·
Discuss: Hacker News
⎈Kubernetes
Show HN: Core – open-source memory graph for AI agents (88.24% SOTA on LoCoMo)
blog.heysol.ai·2d·
Discuss: Hacker News
📚Automata Learning
Show HN: ExeTrace – introducing executable drift monitoring (EDM)
sites.google.com·2d·
Discuss: Hacker News
📊Runtime Verification
DDoS is the neglected cybercrime that's getting bigger. Let's kill it off
theregister.com·2d·
Discuss: Hacker News, Hacker News
📡Network Protocol Design
Python has had async for 10 years – why isn't it more popular?
tonybaloney.github.io·21h·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Ethics in AI: The New Frontier for Product Managers
prodpad.com·1d·
Discuss: Hacker News
📊Runtime Verification
Taming The Three-Headed Dog -Kerberos Deep Dive Series
blog.compass-security.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
In the rush to adopt hot new tech, security is often forgotten. AI is no exception
theregister.com·1d·
Discuss: Hacker News
🛡️seL4
Isolated(any)
nshipster.com·1d·
Discuss: Hacker News
🧩Separation Logic
Finally a homelab to call my own!
reddit.com·23h·
Discuss: r/homelab
🏠HomeLab
Lessons from football coaching applied to software development
talkflow.substack.com·1d·
Discuss: Substack, r/compsci, r/programming
🔄Reproducible Builds
Three main views on the future of AI
lesswrong.com·1d
🤖Program Synthesis