🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Indie App Spotlight: ‘SUMRY’ turns your Apple Watch activity into workout stories
9to5mac.com·1d
🍎Apple
PythonBPF – Writing eBPF Programs in Pure Python
xeon.me·2d·
Discuss: Hacker News
🐫Embedded OCaml
Basic Guide to Einsum
ajcr.net·6h·
Discuss: Hacker News
🧮Lambda Calculus
New iOS app helps you stop re-checking stoves, doors, and switches
apps.apple.com·2d·
Discuss: Hacker News
🍎Apple
Norways first adventure game part 1
spillhistorie.no·2d·
Discuss: Hacker News
🎮Verification Games
MariaDB Cloud launched with "Serverless tier is free forever for small projects"
mariadb.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Supply chains and watering holes
cryptography.dog·5d·
Discuss: Lobsters
💎Refinement Types
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·6d·
Discuss: Lobsters, Hacker News, r/golang
📐Denotational Semantics
Why Todays Identity and Access Management Can't Survive the AI Age
identityfusion.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·4d·
Discuss: Hacker News
🏠HomeLab
Narrative-Guided Reinforcement Learning: A Platform for Studying Language Model Influence on Decision Making
arxiv.org·3d
📚Automata Learning
How I tell human and AI flash fiction apart
lesswrong.com·4d
⚡Process Calculi
LavaMoat – tools for sandboxing your dependency graph
github.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
Fork that: Three alternative kernels show devs don't need Linux
theregister.com·2d·
Discuss: Hacker News
🔧Unikernel Development
The Astronaut and the Planet: Part II
lesswrong.com·2d
🩹Self-Healing Systems
R640 or R740 for upgrading my homelab
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
Rust Support Now in Beta
socket.dev·3d·
Discuss: Hacker News
❄️Nixified Development
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·5d
⚙Operational Semantics
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·5d
📚Automata Learning