🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

New iOS app helps you stop re-checking stoves, doors, and switches
apps.apple.com·1d·
Discuss: Hacker News
🍎Apple
We're training a text-to-image model from scratch and open-sourcing it
photoroom.com·1d·
Discuss: Hacker News
💾Retro Computing
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·4d·
Discuss: Lobsters, Hacker News, r/hardware, r/programming
🐫Embedded OCaml
Week 1: Building ZipZen – Zero-Config Apt/YUM/Helm Repos
indiehackers.com·5d·
Discuss: Hacker News
🐳Containerization
Supply chains and watering holes
cryptography.dog·4d·
Discuss: Lobsters
💎Refinement Types
The Twin Users of the Future – Human and Agents
shouche.in·23h·
Discuss: Hacker News
⚙️Operating System Design
We SSH into GitHub Actions
blacksmith.sh·4d·
Discuss: Hacker News
🖥Self-Hosting
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: Asimov's three laws, a working implementation (don't use in production)
maybedont.ai·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Why Todays Identity and Access Management Can't Survive the AI Age
identityfusion.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: I Built Davia–A New Way to Create Interactive Documents with Code
news.ycombinator.com·2d·
Discuss: r/davia_ai
🐳Containerization
Virtualized gaming vm?
reddit.com·1d·
Discuss: r/homelab
🔬Unikernels
No for Some, Yes for Others: Persona Prompts and Other Sources of False Refusal in Language Models
arxiv.org·2d
🐫OCaml
CoAtNeXt:An Attention-Enhanced ConvNeXtV2-Transformer Hybrid Model for Gastric Tissue Classification
arxiv.org·1d
➡️Category Theory
Depth-Bounded Epistemic Planning
arxiv.org·2d
🧩Separation Logic
How I tell human and AI flash fiction apart
lesswrong.com·3d
⚡Process Calculi
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·3d·
Discuss: Hacker News
🏠HomeLab
LavaMoat – tools for sandboxing your dependency graph
github.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Fork that: Three alternative kernels show devs don't need Linux
theregister.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Creating a Standard for TAI Governance
lesswrong.com·2d
🩹Self-Healing Systems