🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Making Batteries Removable and Replaceable
repair.eu·14h·
Discuss: Hacker News
🔬Unikernels
Anthropic Faces Potentially "Business-Ending" Copyright Lawsuit
obsolete.pub·23h·
Discuss: Hacker News
🍎Apple
Breakneck: China's Quest to Engineer the Future
danwang.co·1d·
Discuss: Hacker News
🍎Apple
Three HTTP versions later, forms are still a mess
yorickpeterse.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🌐NetworkProtocols
Efficient streaming of Markdown in the terminal
willmcgugan.github.io·2d·
Discuss: Hacker News, r/programming
⚙️PL Implementation
Personal aviation is about to get interesting
elidourado.com·38m·
Discuss: Hacker News
🔍Formal Verification
Apple's Tahoe Beta Is Here–and It Might Be the Best macOS Update in Years
pcmag.com·2d·
Discuss: Hacker News
🍎Apple
Throughput Upgrade (With Train Illustrations)
blog.healthchecks.io·2d·
Discuss: Hacker News
📡Network Protocol Design
Total Body Disruption
en.wikipedia.org·1d·
Discuss: Hacker News
🤖Program Synthesis
FileMock - Client-side mock file generator
reddit.com·14h·
Discuss: r/programming
❄️Nixified Development
Developing our position on AI
recurse.com·3d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
MARSCalib: Multi-robot, Automatic, Robust, Spherical Target-based Extrinsic Calibration in Field and Extraterrestrial Environments
arxiv.org·2d
🔍Formal Verification
Decoding Instructional Dialogue: Human-AI Collaborative Analysis of Teacher Use of AI Tool at Scale
arxiv.org·1d
🎮Verification Games
Are you thinking about homelabbing but have little technical experience? Start small!
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
The great AI delusion is falling apart
mikemcbrideonline.com·2d·
Discuss: Hacker News
💾Retro Computing
Cross-domain Multi-step Thinking: Zero-shot Fine-grained Traffic Sign Recognition in the Wild
arxiv.org·2d
🐫Embedded OCaml
Ask HN: Help me navigate a PIP at a remote startup in the Netherlands
news.ycombinator.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Server in Critical State: Multiple Hardware Failures - Need Advice! dl360 gen10
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
RAID 1 vs. Automatic Backup for Mini PC Server
reddit.com·22h·
Discuss: r/homelab
🏠HomeLab
why art will survive AI
news.ycombinator.com·1h·
Discuss: Hacker News
🎮Verification Games