🏠 HomeLab

Self-Hosting, Server Setup, Hardware Configuration, Network Architecture

Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·2d·
Discuss: Hacker News
💎Refinement Types
Microsoft commits to European interoperability in a groundbreaking agreement
neowin.net·1d·
Discuss: Hacker News
🔄Reproducible Builds
The Origin Story of Merge Queues
mergify.com·4d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
HN: Arambh Labs: agentic platform for cyber defense
arambhlabs.com·4d·
Discuss: Hacker News
🩹Self-Healing Systems
AI Powered Memory Training Games – BrainFit
apps.apple.com·15h·
Discuss: Hacker News
🎮Verification Games
Death to Type Classes
jappie.me·2d·
Discuss: Hacker News
🐫OCaml
original ↗
raymondcamden.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
🚀 Looking for Feedback on ClearWork: Real-World Process Mapping, Future-State Design & Agentic Workflows
clearwork.io·4d·
Discuss: DEV, Hacker News
👁️System Observability
Show HN: Let the internet control your framed e-ink display
github.com·2d·
Discuss: Hacker News
📺Vintage Apple
Issue 489
haskellweekly.news·3d·
Discuss: Hacker News
🔠Type-Level Programming
Graph rag pipeline that runs entirely locally with ollama and has full source attribution
reddit.com·2d·
Discuss: r/programming
🐫OCaml
Stop Coding. Start Writing
rgoldfinger.com·13h·
Discuss: Hacker News
🔬Static Analysis
Linux 6.18 Will Further Complicate Non-GPL Out-Of-Tree File-Systems
phoronix.com·3d·
Discuss: Hacker News, r/linux
🔧Unikernel Development
Some Generalizations of Emergent Misalignment
lesswrong.com·9h
🧩Parser Combinators
Feeling kind of stuck (gluetun with a free VPN)
reddit.com·4d·
Discuss: r/homelab
🖥Self-Hosting
AI Coding at a Crossroads: Disposable Code Editors and Flawed Benchmarks
kevinkuipers.substack.com·3d·
Discuss: Substack
💎Refinement Types
Kubernetes v1.34: Snapshottable API server cache
kubernetes.io·5d
⎈Kubernetes
Integrating Public Perspectives in Microreactor Facility Design
arxiv.org·2d
⎈Kubernetes
How To Work With Local AI in the Zed IDE
thenewstack.io·4d
📦Unikernel Systems
Show HN: SARE, a Hybrid Quantum-Safe Encryption System Implemented in Rust
github.com·3d·
Discuss: Hacker News
📦Unikernel Systems