🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Lute: Python/Flask tool for learning foreign languages through reading
luteorg.github.io·3h·
Discuss: Hacker News
📚Automata Learning
Use Stories to Connect with People
talk.bradwoods.io·15h·
Discuss: Hacker News
🎮Verification Games
What I Learned Starting an AI-Only Fantasy Football League
brooklynhacker.com·23h·
Discuss: Hacker News
🎮Verification Games
We're training a text-to-image model from scratch and open-sourcing it
photoroom.com·1d·
Discuss: Hacker News
💾Retro Computing
The Twin Users of the Future – Human and Agents
shouche.in·1d·
Discuss: Hacker News
⚙️Operating System Design
Week 1: Building ZipZen – Zero-Config Apt/YUM/Helm Repos
indiehackers.com·5d·
Discuss: Hacker News
🐳Containerization
Shamir's Secret Sharing
en.wikipedia.org·3d·
Discuss: Hacker News
🧩Separation Logic
Does the world need another distributed queue?
techblog.cloudkitchens.com·4d·
Discuss: r/programming
⚙️Operating System Design
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·4d·
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
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: I Built Davia–A New Way to Create Interactive Documents with Code
news.ycombinator.com·2d·
Discuss: r/davia_ai
🐳Containerization
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
Creating a Standard for TAI Governance
lesswrong.com·2d
🩹Self-Healing Systems
Narrative-Guided Reinforcement Learning: A Platform for Studying Language Model Influence on Decision Making
arxiv.org·2d
📚Automata Learning