🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

The Android Linux Commander
hackaday.com·1d
🐳Containerization
Standards for Age Verification
avpassociation.com·11h·
Discuss: Hacker News
🌐NetworkProtocols
Best Backup Strategy for 2 Proxmox Hosts (1x ZFS, 1x UFS) - ZFS Proxmox has TrueNAS VM?
forum.proxmox.com·1d·
Discuss: r/homelab
🏠HomeLab
X Open Sourced Algorithm Code, So I analyzed it to learn how to grow on X
supabird.io·9h·
Discuss: Hacker News
🧩Parser Combinators
Is the Microsoft Teams data export tool vaporware?
blog.zulip.com·11h·
Discuss: Hacker News
👁️System Observability
Rackintosh Plus
identity4.com·13h·
Discuss: Hacker News
💾Retro Computing
Cybercrooks ripped the wheels off at Jaguar Land Rover. Here's how not to get taken for a ride
theregister.com·20h·
Discuss: Hacker News
🩹Self-Healing Systems
'Make invalid states representable' considered harmful
seangoedecke.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Validity Verification of the New TOEFL Writing Task Based on Classical Test Theory
arxiv.org·2d
✓Automated Theorem Proving
IO is special
blog.ploeh.dk·2d·
Discuss: Lobsters
💎Refinement Types
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·2d
🐫OCaml
Hnfm: Building a local-first AI podcast generator for Hacker News
briancaffey.github.io·1d·
Discuss: Hacker News
🐳Containerization
AI-Personalized Welcome Messages for Website Visitors
peteallport.substack.com·8h·
Discuss: Substack
📦Unikernel Systems
As hackers exploit one high-severity SAP flaw, company warns of 3 more
arstechnica.com·1d·
Discuss: Hacker News
👁️System Observability
Monitoring Claude Code with OpenTelemetry
signoz.io·15h·
Discuss: Hacker News
👁️System Observability
Vibecoding is scarily powerful: minutes to get C and Python recursive pdf-to-txt
news.ycombinator.com·10h·
Discuss: Hacker News
🐫Embedded OCaml
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·13h·
Discuss: Hacker News
👁️System Observability
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics
arxiv.org·3d
✅Model Checking
Hyperbolic Large Language Models
arxiv.org·2d
📚Automata Learning
AI Safety Law-a-thon: We need more technical AI Safety researchers to join!
lesswrong.com·18h
🎮Verification Games