🐪 OCaml GADTs

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

Feeds to Scour
SubscribedAll
Scoured 259187 posts in 2.11 s
Friendly Little Wrapper Types — Sympolymathesy, by Chris Krycho
v5.chriskrycho.com·23m
🔧API Design
Preview
Report Post
Backtracking Strings: Draw the Tree, Fix the Bugs
dev.to·8h·
Discuss: DEV
🌳Tree Walking
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·11h
🔧LLVM IR
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·3h
⚙️Configuration Parsing
Preview
Report Post
[Discussion] The "Noise" Bottleneck in Local 8B RAG – A comparison of cleaning strategies (Regex vs. Unstructured vs. Entropy)
reddit.com·3h·
Discuss: r/LocalLLaMA
🧪Parser Testing
Preview
Report Post
Algebraic Topology 1: Homotopy Equivalence
youtube.com·7h
🔗Category Theory
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🎯Symbolic Execution
Preview
Report Post
Exploring TabPFN: A Foundation Model Built for Tabular Data
towardsdatascience.com·7h
🌱Minimal ML
Preview
Report Post
C Right-Left Rule (Rick Ord's CSE 30
cseweb.ucsd.edu·1d
🪄C Metaprogramming
Preview
Report Post
Why is calling my asm function from Rust slower than calling it from C?
ohadravid.github.io·8h·
Discuss: Lobsters, Hacker News
📜Bytecode Interpreters
Preview
Report Post
GHC 9.12.3 is now available
haskell.org·22h
📏Linear Haskell
Preview
Report Post
The production bug that made me care about undefined behavior
gaultier.github.io·12h·
Discuss: Hacker News, r/programming
🔧Error Recovery
Preview
Report Post
Postgres client in Standard ML
bsky.app·7h·
Discuss: Bluesky
📐Standard ML
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.com·1d
🧸Toy Compilers
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.org·14h·
Discuss: r/compsci
🧠Semantic Parsing
Preview
Report Post
T3X.ORG nmhbasic/index
t3x.org·8h·
Discuss: Hacker News
💻Terminal Control
Preview
Report Post
Multi-omics integration identifies diverse transcripts and chromatin accessibility profiles in <i>Monopterus albus</i> gonads
nature.com·11h
✨Effect Inference
Preview
Report Post
Meeting Seed7
genodians.org·1d
🌱Forth Kernels
Preview
Report Post
Rethinking Absence: A Gentle Introduction to the Option Type in TypeScript
npmjs.com·2d·
Discuss: DEV
🔧Error Recovery
Preview
Report Post
The Transformer Architecture: A Deep Dive into How LLMs Actually Work
dev.to·2h·
Discuss: DEV
📊LR Parsing
Preview
Report Post