🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Looking for feedback: heads-up poker training app
app.pokerheads.de·16h·
Discuss: r/programming
🎮Verification Games
Show HN: Consentless – A minimalist, privacy-preserving traffic counter
consentless.joeldare.com·16h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
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·13h·
Discuss: Hacker News
📦Unikernel Systems
HN: Arambh Labs: agentic platform for cyber defense
arambhlabs.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·3d·
Discuss: Hacker News
💾Retro Computing
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·3d·
Discuss: Hacker News
❄️Nixified Development
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
Home Servers with dynamic IPv6 prefix, and external DNS entries.
reddit.com·1d·
Discuss: r/homelab
📡Network Protocol Design
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·20h·
Discuss: r/homelab
🏠HomeLab
Virtualized gaming vm?
reddit.com·18h·
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
Governments ban self-custody crypto, require backdoors on all computers (2035)
news.ycombinator.com·10h·
Discuss: Hacker News
🩹Self-Healing Systems
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·2d
📚Automata Learning
APML: Adaptive Probabilistic Matching Loss for Robust 3D Point Cloud Reconstruction
arxiv.org·2d
🧩Separation Logic
Low-Resource Fine-Tuning for Multi-Task Structured Information Extraction with a Billion-Parameter Instruction-Tuned Model
arxiv.org·2d
🧩Parser Combinators