🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

EXT4 Shows Wild Gains With Better Block Allocation Scalability In Linux 6.17
phoronix.com·14h·
Discuss: Hacker News
⚙️Operating System Design
Three lessons for creating a sustainable AI advantage
openai.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Ukraine rescues soldier via drone delivery of complete e-bike
arstechnica.com·4h·
Discuss: Hacker News
🧗Climbing Tech
OverHAuL: Harnessing Automation for C Libraries with Large Language Models
kchousos.github.io·5d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
Show HN: I created an AI writing app that helps you write books
bookswriter.xyz·3d·
Discuss: Hacker News
✓Automated Theorem Proving
HTTP Ranges Are Broken for Firefox on GitHub Pages
github.com·6h·
Discuss: Hacker News
📡Network Protocol Design
Tech jobs evolve, you should too
read.perspectiveship.com·1d·
Discuss: Hacker News, r/programming
🍎Apple
PyPI Phishing Attack: Incident Report
blog.pypi.org·1d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Belgium Bans Internet Archive’s ‘Open Library’ in Sweeping Site Blocking Order
torrentfreak.com·13h·
Discuss: Hacker News, r/Piracy
🔬Unikernels
I launched 17 side projects. Result? I'm rich in expired domains
news.ycombinator.com·2d·
Discuss: Hacker News
❄️Nix
Apple set to acquire yet another campus in the Bay Area
9to5mac.com·2d
🍎Apple
Symposium Driven Development: A Not So New Paradigm for Software Creation
medium.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Predicting stock prices with ChatGPT-annotated Reddit sentiment
arxiv.org·20h
🎮Verification Games
Towards Interpretable Renal Health Decline Forecasting via Multi-LMM Collaborative Reasoning Framework
arxiv.org·1d
✓Automated Theorem Proving
VRISE: A Virtual Reality Platfrom for Immersive and Interactive Surveying Education
arxiv.org·1d
🎮Verification Games
Hands On: The Hacker Pager
hackaday.com·1d
🔬Unikernels
Looking for ultra-low power mini PC / NAS (~3W idle) — beginner-friendly advice?
reddit.com·1d·
Discuss: r/homelab
⚙️Operating System Design
Distributionally Robust Shape and Topology Optimization
arxiv.org·2d
🧪Property-Based Testing
FedBAP: Backdoor Defense via Benign Adversarial Perturbation in Federated Learning
arxiv.org·2d
🎮Verification Games
Efficient Neural Combinatorial Optimization Solver for the Min-max Heterogeneous Capacitated Vehicle Routing Problem
arxiv.org·2d
💻CS