🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Best Backup Strategy for 2 Proxmox Hosts (1x ZFS, 1x UFS) - ZFS Proxmox has TrueNAS VM?
forum.proxmox.com·3h·
Discuss: r/homelab
🏠HomeLab
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·1d·
Discuss: r/javascript, r/programming
💎Refinement Types
The Android Linux Commander
hackaday.com·8h
🐳Containerization
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·5d
✓Automated Theorem Proving
Show HN: Conformal – Type-safe FormData parsing and canonical submission flow
github.com·1d·
Discuss: Hacker News
🐫OCaml
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·1d·
Discuss: Lobsters, Hacker News, r/hardware
🐫Embedded OCaml
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com·2h·
Discuss: Hacker News
🌐NetworkProtocols
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·4h·
Discuss: Hacker News
⚙️PL Implementation
Widespread NPM Supply Chain Attack: Breaking Down Impact and Scope Across Debug
wiz.io·13h·
Discuss: Hacker News
🔄Reproducible Builds
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·12h·
Discuss: Hacker News
🤖Program Synthesis
An Introduction to XForms
xml.com·12h·
Discuss: Hacker News
⚙️PL Implementation
I built diff2ai — a CLI that turns Git diffs into AI-ready code review prompts (local & repo-safe)
reddit.com·5h·
Discuss: r/programming
🔄Reproducible Builds
Show HN: Asimov's three laws, a working implementation (don't use in production)
maybedont.ai·6h·
Discuss: Hacker News
🩹Self-Healing Systems
Week 1: Building ZipZen – Zero-Config Apt/YUM/Helm Repos
indiehackers.com·1d·
Discuss: Hacker News
🐳Containerization
Practical CI-friendly Performance Tests
solidean.com·10h·
Discuss: Lobsters, r/cpp
👁️System Observability
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·1d·
Discuss: Hacker News
📐Denotational Semantics
Deliberate Abstraction
entropicthoughts.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
Does the world need another distributed queue?
techblog.cloudkitchens.com·9h·
Discuss: r/programming
⚙️Operating System Design