🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Defold editor scripting adds scene editing in 1.10.4
defold.com·14h·
Discuss: Hacker News
🧱Immutable Infrastructure
A Mental Model for C++ Coroutine
uvdn7.github.io·6h·
Discuss: Hacker News
🏹Effect Systems
Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes
c3-lang.org·10h·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·6h·
Discuss: Hacker News, r/programming
🔬Static Analysis
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·1d·
Discuss: Hacker News
❄️Nixified Development
Why LLM Authorization is Hard
osohq.com·2d·
Discuss: Hacker News
🔍Formal Verification
Making Docs Better for AI and Humans
redmonk.com·7h·
Discuss: Hacker News
🤖Program Synthesis
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·1d·
Discuss: Hacker News
🔄Reproducible Builds
Talking Postgres with Shireesh Thota, Microsoft CVP
talkingpostgres.com·3h·
Discuss: Hacker News
🔄Reproducible Builds
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
🔬Static Analysis
How to Build Agents Users Can Trust
builders.ramp.com·1d·
Discuss: Hacker News
🤖Program Synthesis
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·1d·
Discuss: Hacker News
💾Retro Computing
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Adventures in Vibe Coding with AI from a Non-Coder
ozeanmedia.com·6h·
Discuss: Hacker News
🤖Program Synthesis
I don't think LLM's are making us stupider
news.ycombinator.com·6h·
Discuss: Hacker News
🔬Static Analysis
Breaking down the Zero-Click AI Vulnerability Enabling Data Ex-filtration Through Calendar Invites in Eleven-labs Voice Assistants
repello.ai·18h·
Discuss: Hacker News, Hacker News, r/programming
✓Automated Theorem Proving
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·4d·
Discuss: Hacker News
🐫OCaml