🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

RIP pthread_cancel
eissing.org·10h·
Discuss: Lobsters, Hacker News
🧩Separation Logic
Looking for feedback: heads-up poker training app
app.pokerheads.de·1d·
Discuss: r/programming
🎮Verification Games
Show HN: Free AI Business Name Generator and Domain Avalibility
namegator.lovable.app·1d·
Discuss: Hacker News
📦Unikernel Systems
Should you opt-in to Swift 6.2's Main Actor isolation?
donnywals.com·2d·
Discuss: Hacker News
🧩Separation Logic
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·5d·
Discuss: Hacker News
📚Automata Learning
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·4d·
Discuss: Hacker News
💾Retro Computing
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·4d·
Discuss: Hacker News
❄️Nixified Development
Browser Support in 2025: What new features can I safely use?
caseywatts.com·2d·
Discuss: Hacker News
🐳Containerization
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
NPM Security Collapsed Thanks to a 2FA Exploit
securityboulevard.com·2d·
Discuss: Hacker News
❄️Nixified Development
crates.io phishing campaign
blog.rust-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🌐NetworkProtocols
From Staff Messages to Actionable Insights: A Multi-Stage LLM Classification Framework for Healthcare Analytics
arxiv.org·4d
⚙Operational Semantics
Your APIs Are Costing More Than You Think
thenewstack.io·1d
👁️System Observability
Homelab Virgin
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Experimenting with local LLMs on macOS
blog.6nok.org·5d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
Shape Checking for Annotated Tensor Names
github.com·3d·
Discuss: Hacker News
🐫OCaml
HumanAgencyBench: Scalable Evaluation of Human Agency Support in AI Assistants
arxiv.org·2d
📚Automata Learning
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·4d
🐫OCaml
A modified RIME algorithm with covariance learning and diversity enhancement for numerical optimization
arxiv.org·1d
🔠Type-Level Programming
Enhancing 6G Network Security and Incident Response through Integrated VNF and SDN Technologies
arxiv.org·2d
📡Network Protocol Design