🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

Cyclic Implicit Complexity
arxiv.org·21h
🐫OCaml
Dependent? Extensible? The curious case of union type in Kotlin
hacklewayne.com·1d
💎Refinement Types
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·1d·
Discuss: Hacker News
🔠Type-Level Programming
Lively Linear Lisp (1992)
plover.com·23h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Systems Engineering for Agentic Applications
agenticapplications.substack.com·12h·
Discuss: r/programming
🩹Self-Healing Systems
Isolated(any)
nshipster.com·10h·
Discuss: Hacker News
🧮Lambda Calculus
Embedding MicroHs
thma.github.io·3d
🐫OCaml
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming
Help me understand: how do multiverse acausal trades work?
lesswrong.com·22h
⚡Process Calculi
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·21h
🧩Parser Combinators
Combining struct literal syntax with read-only field access
kobzol.github.io·14h·
Discuss: Lobsters, r/rust
🐫Embedded OCaml
Simple but Powerful Pratt Parsing
matklad.github.io·3d·
Discuss: r/programming
🧩Parser Combinators
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·11h·
Discuss: Substack
⚙️Operating System Design
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·7h·
Discuss: Hacker News
🧩Parser Combinators
Answering some questions about Baba Yaga
eli.li·2d·
Discuss: Hacker News
💎Refinement Types
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
Sheafification - The optimal path to mathematical mastery
sheafification.com·1d·
Discuss: Hacker News
➡️Category Theory
Learn about building a Rust Plugin System
blog.anirudha.dev·20h·
Discuss: Hacker News
⚙️PL Implementation
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·1d·
Discuss: Lobsters, Hacker News, r/cpp
🐫OCaml
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·1d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml