🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Beyond Parity: The Case for True Accessibility Affordances
devinprater.micro.blog·1d·
Discuss: Hacker News
🍎Apple
Fastest Sites Run on Fastly
fastly.com·3d·
Discuss: Hacker News
👁️System Observability
Show HN: I built an app to help you get dating advice and learn how to flirt
howtoflirt.co·2d·
Discuss: Hacker News
🍎Apple
It's Nothing But Its a Start
preview.redd.it·1d·
Discuss: r/homelab
🔬Unikernels
I Built a Leadership Simulator for Aspiring Tech Leads (And Why The Soft Skills Matter Most)
techleadpilot.com·5d·
Discuss: DEV, Hacker News
🎮Verification Games
Headscale and Name Resolution
reddit.com·1d·
Discuss: r/homelab
📦Unikernel Systems
Was Your Kid’s Report Card Written By AI?
theatlantic.com·3d·
Discuss: Hacker News
🎮Verification Games
Reverse engineering the RP3A0 SoC from the Raspberry Pi Zero 2W
github.com·2d·
Discuss: Lobsters, Hacker News
💾Retro Computing
May Contain Hardware Acceleration: Building a 3D Graphics Accelerator in FPGA for the MCH2022 Badge (WHY2025)
cdn.media.ccc.de·5d
💾Retro Computing
Evaluating the GPT-5 Series on Custom Benchmarks
labelstud.io·6d·
Discuss: Hacker News
🧪Property-Based Testing
📧 Your own Mailserver - 2025 Edition (WHY2025)
cdn.media.ccc.de·4d
🖥️Self-hosted Infrastructure
Urban-STA4CLC: Urban Theory-Informed Spatio-Temporal Attention Model for Predicting Post-Disaster Commercial Land Use Change
arxiv.org·2d
➡️Category Theory
Australia OPNSense Router advice
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Open-Source Agentic Hybrid RAG Framework for Scientific Literature Review
arxiv.org·4d
🧱Immutable Infrastructure
Uncertainty-quantified Rollout Policy Adaptation for Unlabelled Cross-domain Temporal Grounding
arxiv.org·4d
📦Unikernel Systems
How to become your own ISP (WHY2025)
cdn.media.ccc.de·2d
📡Network Protocol Design
Study: Social media probably can’t be fixed
arstechnica.com·1d·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Ask HN: How do you deliver big projects as a solo contractor?
news.ycombinator.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
impuTMAE: Multi-modal Transformer with Masked Pre-training for Missing Modalities Imputation in Cancer Survival Prediction
arxiv.org·1d
💻CS
Adding a failed laptop to the homelab
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab