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·1d
🐫OCaml
Systems Engineering for Agentic Applications
agenticapplications.substack.com·16h·
Discuss: r/programming
🩹Self-Healing Systems
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·15h·
Discuss: Substack
⚙️Operating System Design
Breaking Verifiable Abstractions
alperenkeles.com·17h·
Discuss: Hacker News, r/programming
🔍Formal Verification
Embedding MicroHs
thma.github.io·3d
🐫OCaml
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·18h·
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·23h·
Discuss: Hacker News
🔄Reproducible Builds
Lively Linear Lisp (1992)
plover.com·1d·
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·18h·
Discuss: Hacker News
🧪Property-Based Testing
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·1d·
Discuss: Hacker News
🔤DSLs
Build an AI coding agent in Python
theptrk.com·50m·
Discuss: Hacker News
✓Automated Theorem Proving
Quirks of Common Lisp Types
fosskers.ca·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Learn about building a Rust Plugin System
blog.anirudha.dev·1d·
Discuss: Hacker News
⚙️PL Implementation
Answering some questions about Baba Yaga
eli.li·2d·
Discuss: Hacker News
🧩Parser Combinators
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev·2d·
Discuss: r/rust
⚙️PL Implementation