🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Apple researchers taught an AI model to reason about app interfaces
9to5mac.com·4h
🍎Apple
Steve Albini interview by Billy Hell (2005)
furious.com·4h·
Discuss: Hacker News
🌐NetworkProtocols
Fighting Brandolini's Law with Sampling
brady.fyi·6h·
Discuss: Hacker News
✓Automated Theorem Proving
Clever Cloud: The New Linux, Static, and V runtimes
clever-cloud.com·1d·
Discuss: r/programming
🔬Unikernels
Blender HDR and the reference white issue
blog.sebastianwick.net·1d·
Discuss: Hacker News, r/linux
📦Unikernel Systems
FSociety Hits APSCON2025 IEEE Registration Database in Multi-Level Cyberattack
leakd.com·10h·
Discuss: Hacker News
🌐NetworkProtocols
Cidco MailStation as a Z80 Development Platform (2019)
jcs.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
System Design Basics - Databases and Connection Pools
javarevisited.substack.com·2d·
Discuss: Substack, r/programming
👁️System Observability
TypeScript vs JavaScript Explained with Real-Life Examples
codewithvinod.com·17h·
Discuss: r/programming
🔬Static Analysis
ACP Agent Communication Protocol Course with Deeplearning.ai
learn.deeplearning.ai·2d·
Discuss: Hacker News
🌐NetworkProtocols
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·5d·
Discuss: Hacker News
🔬Static Analysis
Using AMD MI300X for High-Throughput, Low-Cost LLM Inference
herdora.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Discrete Differential Principle for Continuous Smooth Function Representation
arxiv.org·23h
🐫OCaml
3DGAA: Realistic and Robust 3D Gaussian-based Adversarial Attack for Autonomous Driving
arxiv.org·23h
🎮Verification Games
Homelabbing... where to start?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Efficient Triple Modular Redundancy for Reliability Enhancement of DNNs Using Explainable AI
arxiv.org·23h
🔍Formal Verification
Warm Starts Accelerate Generative Modelling
arxiv.org·23h
🎮Verification Games
Simulation as Supervision: Mechanistic Pretraining for Scientific Discovery
arxiv.org·23h
🎮Verification Games
"high level" languages are easier to optimize
jyn.dev·3d·
Discuss: Hacker News
🔤DSLs
A comprehensive study of LLM-based argument classification: from LLAMA through GPT-4o to Deepseek-R1
arxiv.org·1d
✓Automated Theorem Proving