🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
🔍Formal Verification
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·1d
✓Automated Theorem Proving
Lisp in 99 Lines of C With TinyLisp
hackaday.com·6h
⚙️PL Implementation
Fuzzing Hardware Like Software (2021)
arxiv.org·11h·
Discuss: Hacker News
🔬Unikernels
AI is a Junior Dev and needs a Lead
getparthenon.com·20h·
Discuss: Hacker News, r/programming
🔬Static Analysis
Amazon Q Developer: Remote Code Execution with Prompt Injection
embracethered.com·10h·
Discuss: Hacker News
🌐NetworkProtocols
Structured (Synchronous) Concurrency
fsantanna.github.io·1d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Modelling Exactly-Once Delivery Using TLA+
medium.com·2d·
Discuss: Hacker News
🔍Formal Verification
Natural Language → SQL with Reinforcement Fine Tuning (RFT)
docs.fireworks.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving
I added a speaker view to my OCaml presentation tool
github.com·1d·
Discuss: Hacker News
🐫OCaml
Language Models as Thespians
jstrieb.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
how to resolve a halting paradox
academia.edu·8h·
Discuss: r/programming
🔄Finite State Machines
Constructor Best Practices in Rust
blog.cuongle.dev·16h·
Discuss: Hacker News
🐫OCaml
"Things are a bit bumpy right now" – FreeBSD:15 pkg repo is essentially down
lists.freebsd.org·11h·
Discuss: Hacker News
❄️Nixified Development
Fresh Eyes as a Service: Using LLMs to Test CLI Ergonomics
recursion.wtf·1d·
Discuss: Hacker News
👁️System Observability
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·2d
🤖Program Synthesis
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·4h
🐫OCaml
From Monolith to Cloud: Automating Your Migration Journey
blog.qaware.de·2d·
Discuss: Hacker News
🔄Reproducible Builds
Without the Futex, It's Futile
h4x0r.org·18h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
CRLite: Fast, private, and comprehensive certificate revocation checking in Firefox
hacks.mozilla.org·16h·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌐NetworkProtocols