🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Hiroshima (1946)
newyorker.com·1d·
Discuss: Hacker News, r/Longreads
💾Retro Computing
Electron beam irradiation decomposes Teflon-like fluoroplastics efficiently
phys.org·19h·
Discuss: Hacker News
💾Retro Computing
A Voyage to Bring Norway’s Lighthouses Into the 21st Century
nytimes.com·8h·
Discuss: Hacker News
📦Unikernel Systems
How to reverse engineer an analog chip: the TDA7000 FM radio receiver
righto.com·23h·
Discuss: Hacker News
🐫Embedded OCaml
Emilio, your AI inbox agent
meetemilio.com·4d·
Discuss: Hacker News
🎮Verification Games
Notes on Asymmetry, Heteronomy, Delegation
ratfactor.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Anthropic Revokes OpenAI's Access to Claude
wired.com·1d·
Discuss: Hacker News, r/technews
💾Retro Computing
Sea creatures evolve into crabs, databases evolve into DynamoDB
stately.cloud·3d·
Discuss: Hacker News
⎈Kubernetes
I built a Redis-like server in Go, just for fun and learning – supports redis-cli, RESP protocol, and TTL!
reddit.com·4d·
Discuss: r/programming
🌐NetworkProtocols
Perfect Graph Modification Problems: An Integer Programming Approach
arxiv.org·4d
🏹Effect Systems
Termagotchi – A terminal-based Tamagotchi simulation written in Go
github.com·1d·
Discuss: Hacker News
🎮Verification Games
Pull Requests Are a Poor Fit For Agentic AI
bauer.codes·5d·
Discuss: Hacker News, Hacker News, r/programming
🔄Reproducible Builds
Microsoft is taking steps to open-sourcing Windows 11 user interface framework
neowin.net·1d·
Discuss: Hacker News, r/technews
📦Unikernel Systems
LLM-Adapted Interpretation Framework for Machine Learning Models
arxiv.org·4d
🐫OCaml
cost
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Cardiac-CLIP: A Vision-Language Foundation Model for 3D Cardiac CT Images
arxiv.org·4d
💻CS
"Seed-Strapped" AI Startups Are Refusing Millions– To Make Billions
forbes.com·2d·
Discuss: Hacker News
⎈Kubernetes
The Evolution of Video Anomaly Detection: A Unified Framework from DNN to MLLM
arxiv.org·4d
🎮Verification Games
Reframe Your Life Story: Interactive Narrative Therapist and Innovative Moment Assessment with Large Language Models
arxiv.org·5d
🐫OCaml
MOR-VIT: Efficient Vision Transformer with Mixture-of-Recursions
arxiv.org·4d
🐫Embedded OCaml