A type system for RCL (2024)
ruudvanasseldonk.com·2d·
Discuss: Lobsters, Hacker News
🐫OCaml
Dependent? Extensible? The curious case of union type in Kotlin
hacklewayne.com·1d
🌊Coalgebra
Cyclic Implicit Complexity
arxiv.org·17h
🐫OCaml
Systems Engineering for Agentic Applications
agenticapplications.substack.com·8h·
Discuss: r/programming
🩹Self-Healing Systems
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·7h·
Discuss: Substack
⚙️Operating System Design
Breaking Verifiable Abstractions
alperenkeles.com·9h·
Discuss: Hacker News, r/programming
🔍Formal Verification
Embedding MicroHs
thma.github.io·2d
🐫OCaml
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·9h·
Discuss: Hacker News
🔄Reproducible Builds
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming
DeepQuali: Determining Software Quality with AI
blog.qaware.de·14h·
Discuss: Hacker News
🔄Reproducible Builds
Lively Linear Lisp (1992)
plover.com·19h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·1d·
Discuss: Lobsters, Hacker News, r/cpp
🐫OCaml
How to Test
matklad.github.io·10h·
Discuss: Hacker News
🧪Property-Based Testing
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·1d·
Discuss: Hacker News
🔤DSLs
Quirks of Common Lisp Types
fosskers.ca·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Learn about building a Rust Plugin System
blog.anirudha.dev·15h·
Discuss: Hacker News
⚙️PL Implementation
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev·1d·
Discuss: r/rust
⚙️PL Implementation
Answering some questions about Baba Yaga
eli.li·2d·
Discuss: Hacker News
🧩Parser Combinators
New Features We Find in the Kubernetes 1.34 Release
metalbear.com·6h·
Discuss: Hacker News
⎈Kubernetes