🐪 OCaml GADTs

Generalized Algebraic Data Types, Type Witnesses, Pattern Matching, ML

X Design Notes: Pattern Matching II
blog.polybdenum.com·22h
🎯Pattern Matching
Creating a database of motivated proofs
gowers.wordpress.com·19m
⚖️Inference Rules
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·13h
🌿Trie Structures
Polymorphism for Beginners
roscidus.com·2d·
Discuss: Hacker News
🎭Polymorphic Variants
Using historical books to create structured knowledge graphs in SurrealDB
dev.to·5h·
Discuss: DEV
🌱Minimal ML
Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.com·20h
🐪OCaml
Proof Rules for MetaSMT
philipzucker.com·22h
🧮Theorem Provers
Variadic Generics Micro Survey
blog.rust-lang.org·22h·
Discuss: r/rust
🔧API Design
第四: A Japanese and Forth inspired postfix language
gist.github.com·17h·
Discuss: Lobsters, Hacker News
🔗Concatenative Languages
Typename syntax and resolution in ClojureCLR
dmiller.github.io·1d
🔮Type Inference Visualization
Identity Types
bartoszmilewski.com·9h·
Discuss: Hacker News
🎯Type Theory
GSoC 2025: Improving Core Clang-Doc Functionality
blog.llvm.org·22h
📋Tablegen
Hybrid Lie semi-group and cascade structures for the generalized Gaussian derivative model for visual receptive fields
arxiv.org·18h
🗺️Region Polymorphism
Implementing a generic Schwartzian transform in Rust for fun
medium.com·2d·
Discuss: r/rust
🦀Rust Macros
Your Code is a Minefield: Let's Talk About Kotlin's Sealed Classes
dev.to·5h·
Discuss: DEV
🔀Control Structures
Building Search for this Site – Search on a static site
alexleighton.com·1d·
Discuss: Hacker News
📋Tablegen
Testing and MicroBenchmarking tool for C++ Code Optimisation
reddit.com·20h·
Discuss: r/cpp
⚡Interpreter Optimization
SEC annual opponents revealed: Alabama-LSU will no longer be yearly in nine-game schedule
nytimes.com·7h
🗺️Region Polymorphism
The Syndrome-Space Lens: A Complete Resolution of Proximity Gaps for Reed-Solomon Codes
eprint.iacr.org·2d
🎯Ring Buffers
Show HN: Python Audio Transcription: Convert Speech to Text Locally
pavlinbg.com·4h·
Discuss: Hacker News
🌊Streaming Lexers