🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

We made our infrastructure read-only and never looked back
devcenter.upsun.com·8h·
Discuss: r/programming
🐳Containerization
Flag this post
Introdution to cloud-init and bridge networking
h45h.gitlab.io·10h·
Discuss: r/homelab
🏠HomeLab
Flag this post
A prison of my own making
jsteuernagel.de·1d·
Discuss: Lobsters, Hacker News
🖥Self-Hosting
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·2d·
Discuss: DEV
💬Mach Messages
Flag this post
dcaf: An implementation of the ACE-OAuth framework
docs.rs·7h·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
A Friendly Tour of Process Memory on Linux
0xkato.xyz·1h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
What does the ideal information environment look like?
defenderofthebasic.substack.com·7h·
Discuss: Substack
🔲Cellular Automata
Flag this post
Building an AI Code Helper Agent with Mastra Framework and Telex.im Integration
dev.to·17h·
Discuss: DEV
🔧DevOps
Flag this post
Enhancing LOD Integrity via Hyperdimensional Semantic Graph Normalization & Automated Anomaly Detection
dev.to·3h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
blog.gbase.ai·13h·
Discuss: Hacker News
🔧DevOps
Flag this post
Do I want Coders to Code?
yeikoff.xyz·2h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Beyond Localhost: Security, Authentication, and Real-World Sources
hackernoon.com·19h
🌐Network Protocols
Flag this post
Ghosts in the Codex Machine
docs.google.com·11h·
Discuss: Hacker News
👁️System Observability
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·1d·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·4d
λFunctional Programming
Flag this post
Octocode MCP – AI Researcher for Smart, Deep Multi-Repo Code Context
github.com·16h·
Discuss: Hacker News
💬Mach Messages
Flag this post
Vibecoding my way to a crit on GitHub
furbreeze.github.io·1d·
Discuss: Hacker News
🔧DevOps
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·4d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·4d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
From product to system network challenges in system of systems lifecycle management
arxiv.org·19h
🧱Immutable Infrastructure
Flag this post