Lively Linear Lisp (1992)
plover.com·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Systems Engineering for Agentic Applications
agenticapplications.substack.com·12h·
Discuss: r/programming
🩹Self-Healing Systems
DynaMark: A Reinforcement Learning Framework for Dynamic Watermarking in Industrial Machine Tool Controllers
arxiv.org·22h
🩹Self-Healing Systems
Breaking Verifiable Abstractions
alperenkeles.com·13h·
Discuss: Hacker News, r/programming
🔍Formal Verification
How to Test
matklad.github.io·14h·
Discuss: Hacker News
🧪Property-Based Testing
Embedding MicroHs
thma.github.io·3d
🐫OCaml
⿻ Plurality & 6pack.care
lesswrong.com·5h
🔬Unikernels
Tripping Around REPL
vlaaad.github.io·16h·
Discuss: Hacker News
🛡️seL4
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·1d·
Discuss: Hacker News
🔠Type-Level Programming
Cyclic Implicit Complexity
arxiv.org·22h
🐫OCaml
Isolated(any)
nshipster.com·10h·
Discuss: Hacker News
🧮Lambda Calculus
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·1d·
Discuss: Lobsters, Hacker News, r/cpp
🐫OCaml
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
Combining struct literal syntax with read-only field access
kobzol.github.io·15h·
Discuss: Lobsters, r/rust
🐫Embedded OCaml
The Paradigm
nonint.com·5h·
Discuss: Hacker News
📚Automata Learning
Proper Error Handling for Your Node.js Application
masteringbackend.com·19h·
Discuss: Hacker News
📊Runtime Verification
Dependent? Extensible? The curious case of union type in Kotlin
hacklewayne.com·1d
💎Refinement Types
Learn about building a Rust Plugin System
blog.anirudha.dev·20h·
Discuss: Hacker News
⚙️PL Implementation
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·6d·
Discuss: Lobsters, Hacker News, r/programming
🔄Finite State Machines
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·22h
🧠Automated Reasoning