🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Defold editor scripting adds scene editing in 1.10.4
defold.com·8h·
Discuss: Hacker News
🧱Immutable Infrastructure
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·1h·
Discuss: Hacker News
🔄Reproducible Builds
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·22m·
Discuss: Hacker News, r/programming
🔬Static Analysis
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🧪Property-Based Testing
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence
guptadeepak.com·18h·
Discuss: Hacker News
👁️System Observability
Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes
c3-lang.org·3h·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com·1h·
Discuss: Hacker News
🌐NetworkProtocols
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·1d·
Discuss: Substack
🧪Property-Based Testing
The #1 Reason Your GenAI Project Will Fail in Production
mlwhiz.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
The Wild West of Agentic AI – An Attack Surface CISOs Can't Afford to Ignore
securityweek.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Why LLM Authorization is Hard
osohq.com·2d·
Discuss: Hacker News
🔍Formal Verification
Speclinter MCP
github.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·1d·
Discuss: Hacker News
❄️Nixified Development
Making Docs Better for AI and Humans
redmonk.com·1h·
Discuss: Hacker News
🤖Program Synthesis
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
🔬Static Analysis
Lisp error handling (advanced): how handler-bind doesn't unwind the stack
lisp-journey.gitlab.io·3d·
Discuss: Hacker News
🔍Formal Verification
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·19h·
Discuss: Hacker News
🔄Reproducible Builds
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·3d
➡️Category Theory
Open Sources: Voices from the Open Source Revolution (1999)
oreilly.com·19h·
Discuss: Hacker News
💾Retro Computing