🐪 OCaml GADTs

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

GHC Developer Blog: GHC 9.12.3-rc1 is now available
haskell.org·1d
📏Linear Haskell
Altoids by the Fistful
scottsmitelli.com·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative
Show HN: Python Audio Transcription: Convert Speech to Text Locally
pavlinbg.com·15h·
Discuss: Hacker News
🌊Streaming Lexers
Replacing clojure-lsp with clj-kondo and Refactor-nREPL
andreyor.st·1d
🔮Clojure
Libghostty Is Coming
mitchellh.com·1d·
Discuss: Lobsters, Hacker News, Hacker News
💻Terminal Emulators
Show HN: Lessie AI – Your People Search AI Agent
lessie.ai·16h·
Discuss: Hacker News
🌸Bloom Indexing
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·14h
🎯99-Line Tools
The Art of the Key: A Definitive Guide to i18n Key Naming for Longevity and Sanity
dev.to·1h·
Discuss: DEV
🎮Language Ergonomics
Automatic Real-time Vehicle Classification by Image Colour Component Based Template Matching
arxiv.org·6h
🧵String Matching
Testing and MicroBenchmarking tool for C++ Code Optimisation
reddit.com·1d·
Discuss: r/cpp
⚡Interpreter Optimization
parSAT: Parallel Solving of Floating-Point Satisfiability
arxiv.org·6h
🧩SAT Solvers
From Easy to Hard: The MIR Benchmark for Progressive Interleaved Multi-Image Reasoning
arxiv.org·6h
🗺️Region Inference
Learning Neural Antiderivatives
arxiv.org·6h
🔢Algebraic Datatypes
From Chaos to Clarity: Leveraging Pydantic for Smarter AI
dev.to·5h·
Discuss: DEV
📋JSON Parsing
Hyperbolic Sets in Incomplete Tables
arxiv.org·6h
📐Succinct Data Structures
Rhizomes and the Roots of Efficiency—Improving Prio
eprint.iacr.org·18h
🧮Combinator Calculus
Mitigating Strategy-Selection Bias in Reasoning for More Effective Test-Time Scaling
arxiv.org·6h
🧪Parser Testing
Attention Consistency for LLMs Explanation
arxiv.org·6h
🔄Subinterpreters
RadEval: A framework for radiology text evaluation
arxiv.org·6h
🏗️MLIR
Etude: Piano Cover Generation with a Three-Stage Approach -- Extract, strucTUralize, and DEcode
arxiv.org·6h
🌱Minimal ML