🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

The 100MHz 6502
e-basteln.de·12h·
Discuss: Hacker News
💾Retro Computing
Spectre haunts CPUs again: VMSCAPE vulnerability leaks cloud secrets
theregister.com·12h·
Discuss: Hacker News
🔧Unikernel Development
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·10h·
Discuss: Hacker News
➡️Category Theory
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·3d·
Discuss: Hacker News
👁️System Observability
Show HN: I built an operating file system for my agent (CRUD)
youtube.com·2d·
Discuss: Hacker News
🐳Containerization
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·1d·
Discuss: Hacker News
👁️System Observability
HumanAgencyBench: Scalable Evaluation of Human Agency Support in AI Assistants
arxiv.org·23h
📚Automata Learning
Alloyed agents: combining LLMs to improve AI code generation
enginelabs.ai·3d·
Discuss: Hacker News
💎Refinement Types
Dotter: Dotfile manager and templater written in Rust
github.com·1d·
Discuss: Hacker News
🐳Containerization
Lexy: A parser combinator library for C++17
github.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Cybercrooks ripped the wheels off at Jaguar Land Rover. Here's how not to get taken for a ride
theregister.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
NPM Security Collapsed Thanks to a 2FA Exploit
securityboulevard.com·10h·
Discuss: Hacker News
❄️Nixified Development
From Staff Messages to Actionable Insights: A Multi-Stage LLM Classification Framework for Healthcare Analytics
arxiv.org·2d
⚙Operational Semantics
IO is special
blog.ploeh.dk·3d·
Discuss: Lobsters
💎Refinement Types
Building Conscious* AI: An Illusionist Case
lesswrong.com·9h
🧠Automated Reasoning
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·2d
🐫OCaml
Enhancing 6G Network Security and Incident Response through Integrated VNF and SDN Technologies
arxiv.org·23h
📡Network Protocol Design
Billion-Line Days Demand Billion-Test Nights
momentic.ai·2d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Forked styled-components with optimizations (40% faster for Linear)
github.com·10h·
Discuss: Hacker News
💎Refinement Types
As hackers exploit one high-severity SAP flaw, company warns of 3 more
arstechnica.com·2d·
Discuss: Hacker News
👁️System Observability