🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

Cyclic Implicit Complexity
arxiv.org·1d
🐫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·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Testing the not-so-happy path
jorgeortiz.dev·4h·
Discuss: r/rust
🧪Property-Based Testing
Systems Engineering for Agentic Applications
agenticapplications.substack.com·22h·
Discuss: r/programming
🩹Self-Healing Systems
Isolated(any)
nshipster.com·19h·
Discuss: Hacker News
🧮Lambda Calculus
Time's arrow => decision theory
lesswrong.com·4h
🧠Automated Reasoning
Embedding MicroHs
thma.github.io·3d
🐫OCaml
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
🧩Parser Combinators
Combining struct literal syntax with read-only field access
kobzol.github.io·1d·
Discuss: Lobsters, r/rust
🐫Embedded OCaml
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·20h·
Discuss: Substack
⚙️Operating System Design
Simple but Powerful Pratt Parsing
matklad.github.io·3d·
Discuss: r/programming
🧩Parser Combinators
Demangling the Details: Symbol Resolution in Rusty Trap
system.joekain.com·1h·
Discuss: Hacker News
🐫Embedded OCaml
Answering some questions about Baba Yaga
eli.li·2d·
Discuss: Hacker News
💎Refinement Types
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·16h·
Discuss: Hacker News
🧩Parser Combinators
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
Sheafification - The optimal path to mathematical mastery
sheafification.com·2d·
Discuss: Hacker News
➡️Category Theory
Learn about building a Rust Plugin System
blog.anirudha.dev·1d·
Discuss: Hacker News
⚙️PL Implementation