🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

How do I get better at programming
google.com·6h·
Discuss: r/programming
💻CS
Don’t compare programming to the real world
expressionstatement.com·3d·
Discuss: r/programming
👁️System Observability
You're Not Refactoring – You're Just Moving Code Around
thecynical.dev·15h·
Discuss: Hacker News
🔬Static Analysis
Hards Things First
subbu.org·1h·
Discuss: Hacker News
🔄Reproducible Builds
IndexTTS2: Emotional duration-controlled autoregressive zero-shot text-to-speech
index-tts.github.io·3h·
Discuss: Hacker News
🐫Embedded OCaml
Monitoring My Homelab, Simply
b.tuxes.uk·3d·
Discuss: Lobsters, Hacker News
👁️System Observability
A model for IV&V that's useful
waldo.jaquith.org·3d·
Discuss: Hacker News
🔄Reproducible Builds
Notes on Astro
boda.sh·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com·2d·
Discuss: Substack
🔬Static Analysis
The Wild West of Agentic AI – An Attack Surface CISOs Can't Afford to Ignore
securityweek.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·3d·
Discuss: Hacker News
🔄Reproducible Builds
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·3d·
Discuss: Substack
🐫Embedded OCaml
Itty-AWS: 34KB AWS SDK for Effect
github.com·4h·
Discuss: Hacker News
🌐NetworkProtocols
I don't think LLM's are making us stupider
news.ycombinator.com·2d·
Discuss: Hacker News
🔬Static Analysis
The Non-Linear Representation Dilemma: Is Causal Abstraction Enough for Mechanistic Interpretability?
arxiv.org·1h
➡️Category Theory
How to Interview AI Engineers
blog.promptlayer.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
arxiv.org·5d
⚙️Operating System Design
The Right Approach to Authorization in RAG
osohq.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
RadiomicsRetrieval: A Customizable Framework for Medical Image Retrieval Using Radiomics Features
arxiv.org·1h
🧱Immutable Infrastructure