Lively Linear Lisp (1992)
plover.com·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Cyclic Implicit Complexity
arxiv.org·1d
🐫OCaml
Embedding MicroHs
thma.github.io·3d
🐫OCaml
A quantum equivalent to Bayes' rule
lesswrong.com·1d
🐫OCaml
Dependent? Extensible? The curious case of union type in Kotlin
hacklewayne.com·1d
💎Refinement Types
Isolated(any)
nshipster.com·13h·
Discuss: Hacker News
📐Denotational Semantics
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·1d·
Discuss: Hacker News
🔠Type-Level Programming
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
Systems Engineering for Agentic Applications
agenticapplications.substack.com·15h·
Discuss: r/programming
🩹Self-Healing Systems
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·10h·
Discuss: Hacker News
🧩Parser Combinators
This Page Is a Quine
pranavg.me·1d·
Discuss: Hacker News
🧩Parser Combinators
Simple but Powerful Pratt Parsing
matklad.github.io·3d·
Discuss: r/programming
🧩Parser Combinators
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
🧩Parser Combinators
Math Moments: Blaise Pascal
kidswholovemath.substack.com·15h·
Discuss: Substack
⚡Process Calculi
Quirks of Common Lisp Types
fosskers.ca·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
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
Lessons from building an AI data analyst
pedronasc.com·12h·
Discuss: Hacker News
🧠Automated Reasoning