🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Looking for feedback: heads-up poker training app
app.pokerheads.de·1d·
Discuss: r/programming
🎮Verification Games
Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·2d·
Discuss: Hacker News
🧮Lambda Calculus
Show HN: Free AI Business Name Generator and Domain Avalibility
namegator.lovable.app·1d·
Discuss: Hacker News
📦Unikernel Systems
Should you opt-in to Swift 6.2's Main Actor isolation?
donnywals.com·2d·
Discuss: Hacker News
🧩Separation Logic
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·4d·
Discuss: Hacker News
📚Automata Learning
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·3d·
Discuss: Hacker News
💾Retro Computing
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·3d·
Discuss: Hacker News
❄️Nixified Development
Browser Support in 2025: What new features can I safely use?
caseywatts.com·1d·
Discuss: Hacker News
🐳Containerization
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
With Docker, use Proxmox for multiple VMs or use MACVLANs to seperate?
reddit.com·17h·
Discuss: r/homelab
🐳Containerization
The Astronaut and the Planet: Part II
lesswrong.com·17h
🩹Self-Healing Systems
No, AI won’t take all the jobs. Here’s why.
freethink.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
Virtualized gaming vm?
reddit.com·1d·
Discuss: r/homelab
🔬Unikernels
Home Servers with dynamic IPv6 prefix, and external DNS entries.
reddit.com·1d·
Discuss: r/homelab
📡Network Protocol Design
Depth-Bounded Epistemic Planning
arxiv.org·2d
🧩Separation Logic
A GitHub Co-Founder's Next Commit
opensourcepledge.com·2d·
Discuss: Hacker News
🍏Darwin
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·3d·
Discuss: Hacker News
🏠HomeLab
How I tell human and AI flash fiction apart
lesswrong.com·3d
⚡Process Calculi
Ask HN: Getting over Burnout with Imposter Syndrome
news.ycombinator.com·12h·
Discuss: Hacker News
🩹Self-Healing Systems
LavaMoat – tools for sandboxing your dependency graph
github.com·3d·
Discuss: Hacker News
🔄Reproducible Builds