🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Show HN: Consentless – A minimalist, privacy-preserving traffic counter
consentless.joeldare.com·9h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
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
Should you opt-in to Swift 6.2's Main Actor isolation?
donnywals.com·1d·
Discuss: Hacker News
🧩Separation Logic
Show HN: Free AI Business Name Generator and Domain Avalibility
namegator.lovable.app·6h·
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
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·2d·
Discuss: Hacker News
💾Retro Computing
Resources, Laziness, and Continuation-Passing Style
journal.infinitenegativeutility.com·5d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
🚀 Looking for Feedback on ClearWork: Real-World Process Mapping, Future-State Design & Agentic Workflows
clearwork.io·2d·
Discuss: DEV, Hacker News
👁️System Observability
Why Todays Identity and Access Management Can't Survive the AI Age
identityfusion.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Cross-platform gRPC Test tool
reddit.com·1d·
Discuss: r/programming
📺Vintage Apple
The second wave of MCP: Building for LLMs, not developers
vercel.com·3d·
Discuss: Hacker News
💎Refinement Types
AI Testing Tools in 2025: What works and what doesn’t
bug0.com·3d·
Discuss: r/programming
👁️System Observability
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
Widespread NPM Supply Chain Attack: Breaking Down Impact and Scope Across Debug
wiz.io·3d·
Discuss: Hacker News
🔄Reproducible Builds
Growing a homelab
reddit.com·13h·
Discuss: r/homelab
🏠HomeLab
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