🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

How to recreate Navan's receipt scan feature to retrieve the total amount
blog.yasuflores.me·3d·
Discuss: Hacker News
🍎Apple
AI mirrors experimental science to uncover a mechanism of gene transfer
cell.com·3d·
Discuss: Hacker News
📝Term Rewriting
The founder of ID.me on war, vocation, and identity
joincolossus.com·23h·
Discuss: Hacker News
🩹Self-Healing Systems
Walking around the app
vickiboykis.com·6d·
Discuss: Hacker News
📊Runtime Verification
humanely dealing with humungus crawlers
flak.tedunangst.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🍎Apple
Choices (2000)
joelonsoftware.com·3d·
Discuss: Hacker News
📺Vintage Apple
Making a cross-platform game in Go with WebRTC Datachannels and Ebitengine
pion.ly·5d·
Discuss: Hacker News, r/golang
🌐NetworkProtocols
Tricks from OpenAI gpt-oss YOU 🫵 can use with transformers
huggingface.co·4d·
Discuss: Hacker News, r/LocalLLaMA
🔧Unikernel Development
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·6d·
Discuss: Substack
🎮Verification Games
Show HN: Vibe Code Kit code with confidence
vibecodekit.dev·3d·
Discuss: Hacker News
🤖Program Synthesis
Ask HN: Why is enrolling in Apple's Developer Program so difficult in 2025?
news.ycombinator.com·3d·
Discuss: Hacker News
🍎Apple
Show HN: DbSandboxer – Fast Isolated Postgres DBs for Spring Boot Tests
github.com·3d·
Discuss: Hacker News
📊Runtime Verification
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
STRIDE: Scalable and Interpretable XAI via Subset-Free Functional Decomposition
arxiv.org·3d
🐫OCaml
The Trauma You Need To Learn
staysaasy.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Widespread NPM Supply Chain Attack: Breaking Down Impact and Scope Across Debug
wiz.io·6d·
Discuss: Hacker News
🔄Reproducible Builds
A New Type of Computing
news.ycombinator.com·3d·
Discuss: Hacker News
🧩Separation Logic
MetaLLMix : An XAI Aided LLM-Meta-learning Based Approach for Hyper-parameters Optimization
arxiv.org·3d
📚Automata Learning
APML: Adaptive Probabilistic Matching Loss for Robust 3D Point Cloud Reconstruction
arxiv.org·4d
🧩Separation Logic
Show HN: TNX API – Natural Language Interaction with Databases, Now Open Source
github.com·1d·
Discuss: Hacker News
🖥Self-Hosting