🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Solar Cannibalization: Spain vs. Germany
solarletter.substack.com·1d·
Discuss: Substack
🩹Self-Healing Systems
The Illusion of Moral Superiority
pmc.ncbi.nlm.nih.gov·14h·
Discuss: Hacker News
🔠Type-Level Programming
Looking for feedback: heads-up poker training app
app.pokerheads.de·1d·
Discuss: r/programming
🎮Verification Games
Need Help Making C Program for Macro Pad
reddit.com·8h·
Discuss: r/programming
📺Vintage Apple
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·4d·
Discuss: Hacker News
❄️Nixified Development
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·4d·
Discuss: Hacker News
🔤DSLs
Behind The Scenes of Bun Install
bun.com·3d·
Discuss: Lobsters, Hacker News, r/programming, r/programming
🔧Unikernel Development
1,200 undergrads hung out to dry after jailbreak attack on laundry machines
theregister.com·1d·
Discuss: Hacker News
🔬Unikernels
You are not going to turn into Google eventually
idiallo.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
From Staff Messages to Actionable Insights: A Multi-Stage LLM Classification Framework for Healthcare Analytics
arxiv.org·5d
⚙Operational Semantics
Your APIs Are Costing More Than You Think
thenewstack.io·1d
👁️System Observability
Homelab Virgin
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
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·3d
📚Automata Learning
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·5d
🐫OCaml
A modified RIME algorithm with covariance learning and diversity enhancement for numerical optimization
arxiv.org·2d
🔠Type-Level Programming
As hackers exploit one high-severity SAP flaw, company warns of 3 more
arstechnica.com·4d·
Discuss: Hacker News
👁️System Observability
Work in progress
reddit.com·1h·
Discuss: r/homelab
🏠HomeLab
Enhancing 6G Network Security and Incident Response through Integrated VNF and SDN Technologies
arxiv.org·3d
📡Network Protocol Design
Generative Engine Optimization: How to Dominate AI Search
arxiv.org·2d
🧩Parser Combinators