🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Introducing JWT Signing Keys
supabase.com·17h·
Discuss: Hacker News
🌐NetworkProtocols
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Full QuickJS Support for Nginx
blog.nginx.org·3d·
Discuss: Hacker News
🌐NetworkProtocols
AI the Ripper
hugston.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
My 2025 Home Server Build
pcpartpicker.com·1d·
Discuss: r/homelab
🏠HomeLab
Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com·5d·
Discuss: r/devops, r/programming
🖥️Self-hosted Infrastructure
Great Software
maraoz.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
How much attention do you need, really? Experiments in O(1) task completion
notion.so·1d·
Discuss: Hacker News
🏹Effect Systems
Swiss boffins just trained a 'fully open' LLM on the Alps supercomputer
theregister.com·4d·
Discuss: Hacker News
📦Unikernel Systems
Croissant! Building a No-Framework Web App
dbushell.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Stop Converting Your REST APIs to MCP
jlowin.dev·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Entity-Specific Cyber Risk Assessment using InsurTech Empowered Risk Factors
arxiv.org·20h
🖥️Self-hosted Infrastructure
Distilling Empathy from Large Language Models
arxiv.org·20h
🔠Type-Level Programming
Trying to route local game server through Oracle VM's IP.
reddit.com·1d·
Discuss: r/homelab
📡Network Protocol Design
Flox: A virtual environment and package manager all in one
github.com·1d·
Discuss: Hacker News
❄️Nixified Development
Computational algorithm for downward continuation of gravity anomalies
arxiv.org·20h
✓Automated Theorem Proving
Reddit starts verifying ages of UK users to comply with child-safety law
arstechnica.com·3h·
Discuss: Hacker News
🍎Apple
Onepass
github.com·11h·
Discuss: Hacker News
🍎Apple