🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Looking for feedback: heads-up poker training app
app.pokerheads.de·12h·
Discuss: r/programming
🎮Verification Games
Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
Browser Support in 2025: What new features can I safely use?
caseywatts.com·1d·
Discuss: Hacker News
🐳Containerization
Show HN: Free AI Business Name Generator and Domain Avalibility
namegator.lovable.app·9h·
Discuss: Hacker News
📦Unikernel Systems
HN: Arambh Labs: agentic platform for cyber defense
arambhlabs.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·4d·
Discuss: Hacker News
📚Automata Learning
Shamir's Secret Sharing
en.wikipedia.org·2d·
Discuss: Hacker News
🧩Separation Logic
Does the world need another distributed queue?
techblog.cloudkitchens.com·3d·
Discuss: r/programming
⚙️Operating System Design
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·2d·
Discuss: Hacker News
💾Retro Computing
The Supply Chain Is the New Watering Hole
material.security·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Resources, Laziness, and Continuation-Passing Style
journal.infinitenegativeutility.com·5d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: DbSandboxer – Fast Isolated Postgres DBs for Spring Boot Tests
github.com·1d·
Discuss: Hacker News
📊Runtime Verification
Virtualized gaming vm?
reddit.com·14h·
Discuss: r/homelab
🔬Unikernels
Widespread NPM Supply Chain Attack: Breaking Down Impact and Scope Across Debug
wiz.io·3d·
Discuss: Hacker News
🔄Reproducible Builds
No for Some, Yes for Others: Persona Prompts and Other Sources of False Refusal in Language Models
arxiv.org·1d
🐫OCaml
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·1d·
Discuss: Hacker News
👁️System Observability
Narrative-Guided Reinforcement Learning: A Platform for Studying Language Model Influence on Decision Making
arxiv.org·1d
📚Automata Learning
Growing a homelab
reddit.com·17h·
Discuss: r/homelab
🏠HomeLab
APML: Adaptive Probabilistic Matching Loss for Robust 3D Point Cloud Reconstruction
arxiv.org·1d
🧩Separation Logic