🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Show HN: (Almost) instant NAICS, UNSPSC, HS code classification (free webapp)
classifast.com·2d·
Discuss: Hacker News
🔬Static Analysis
AI for the ancient world: how a new machine learning system can help make sense of Latin inscriptions
theconversation.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
How Bratags Relay Email Works: Behind the Scenes of Relay Bratags.com
bratags.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: Clio – AI journal that thinks for 60 seconds before responding
getclio.app·4h·
Discuss: Hacker News
✓Automated Theorem Proving
Thinking of an Animal: the classic guessing game
thepottshouse.org·2d·
Discuss: Hacker News
🎮Verification Games
War Games: MoD asks soldiers with 1337 skillz to compete in esports
theregister.com·4h·
Discuss: Hacker News
🎮Verification Games
Why San Francisco's Network Admin Went Rogue (2008)
infoworld.com·3d·
Discuss: Hacker News
📡Network Protocol Design
v4.0 Beta 1 Now Available
shirtpocket.com·4d·
Discuss: Hacker News
❄️Nixified Development
Self-Driving Postgres
postgres.ai·3d·
Discuss: Hacker News
🤖Program Synthesis
Why I’m Giving Up My Design Title—And What That Says About The Future of Design
suffsyed.com·23h·
Discuss: Hacker News, r/web_design
🍎Apple
Enough AI Copilots, We Need AI HUDs
geoffreylitt.com·1d·
Discuss: Lobsters, Hacker News
🎮Verification Games
LLMs Suck
underjord.io·4d·
Discuss: Hacker News
🔬Unikernels
TPC-H Query 1: Column Storage and Local Aggregation
database-doctor.com·4d·
Discuss: Hacker News
🔬Static Analysis
Models of Wave Propagation
hackaday.com·14h
📦Unikernel Systems
TDD Guard: Enforcing Test-Driven Development with Claude Code Hooks
nizar.se·6d·
Discuss: Hacker News
🧪Property-Based Testing
Sampling and entropy numbers in the uniform norm
arxiv.org·12h
➡️Category Theory
CompLeak: Deep Learning Model Compression Exacerbates Privacy Leakage
arxiv.org·5d
🌐NetworkProtocols
Harnessing RLHF for Robust Unanswerability Recognition and Trustworthy Response Generation in LLMs
arxiv.org·5d
🎮Verification Games
Looking for Advice - CWWK AMD-7940HS/8845HS - NAS Build
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Anthropic email to Max customers Re: Max account usage limits
news.ycombinator.com·21h·
Discuss: Hacker News
❄️Nix