Mosaic Launches an Internet Revolution (2004)
nsf.gov·2d·
Discuss: Hacker News
📡Network Protocol Design
Seedance AI Video Generator
seedancehub.com·2h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.com·3d·
Discuss: r/golang, r/programming
🍎XNU Internals
KSAT
corrode.dev·4d·
Discuss: Hacker News
⎈Kubernetes
Stigmergy
en.wikipedia.org·1d·
Discuss: Hacker News
🎮Verification Games
A chatbot coined a phrase I really like. Am I allowed to use it?
jessesingal.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
Open-Source Security Paradox: More Code, More Validation
onekey.so·5d·
Discuss: Hacker News
🔄Reproducible Builds
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·3d·
Discuss: Hacker News
👁️System Observability
Show HN: BothAngles – A sneaker net social network for privacy
news.ycombinator.com·22h·
Discuss: Hacker News
🔬Unikernels
Recommendations for hardware
reddit.com·19h·
Discuss: r/homelab
🏠HomeLab
I built a vector-value database in pure C: libvictor + victordb (daemon) — AMA / Feedback welcome
github.com·3d·
Discuss: r/programming
❄️Nixified Development
Ask HN: Business logic that runs everywhere – would you use it?
news.ycombinator.com·18h·
Discuss: Hacker News
🛡️seL4
TocToc - A Simple Port Knocking CLI
github.com·4d·
Discuss: Hacker News, r/golang
📡Network Protocol Design
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·4d
🐫OCaml
https:// daniel.haxx.se/blog/2025/07/11 /cybersecurity-risk-assessment-request/
daniel.haxx.se·3d·
Discuss: Lobsters, Hacker News
🛡️seL4
Systemd's Nuts and Bolts
medium.com·4d·
Discuss: r/programming
⚙️Operating System Design
Speclinter MCP
github.com·5d·
Discuss: Hacker News
🤖Program Synthesis
Better Together: Quantifying the Benefits of AI-Assisted Recruitment
arxiv.org·13h
💻CS
Understanding Driving Risks using Large Language Models: Toward Elderly Driver Assessment
arxiv.org·13h
🐫Embedded OCaml
Just got my first rack
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab