🐪 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
The Database Zoo: Inside Time-Series Engines (InfluxDB, Prometheus, Timescale)
hackernoon.com·10h
🗄️Database Engines
Altoids by the Fistful
scottsmitelli.com·8h·
Discuss: Lobsters, Hacker News
🔗Concatenative
Show HN: Python Audio Transcription: Convert Speech to Text Locally
pavlinbg.com·18h·
Discuss: Hacker News
🌊Streaming Lexers
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·18h·
Discuss: Hacker News
🌸Bloom Indexing
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·16h
🎯99-Line Tools
Mitigating Strategy-Selection Bias in Reasoning for More Effective Test-Time Scaling
arxiv.org·8h
🧪Parser Testing
Attention Consistency for LLMs Explanation
arxiv.org·8h
🔄Subinterpreters
RadEval: A framework for radiology text evaluation
arxiv.org·8h
🏗️MLIR
Etude: Piano Cover Generation with a Three-Stage Approach -- Extract, strucTUralize, and DEcode
arxiv.org·8h
🌱Minimal ML
A Generative Framework for Personalized Sticker Retrieval
arxiv.org·8h
📋Row Typing
Randomized matrix computations: Themes and variations
arxiv.org·8h
🧮Linear Algebra
Building a Row Echelon Form Checker in Python and Go with Tests
dev.to·18h·
Discuss: DEV
🔢Algebraic Datatypes
Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering
arxiv.org·8h
📚Self-Documenting Code
Lets Be Real: Its Time to Ditch `any` for `unknown` in TypeScript
dev.to·1d·
Discuss: DEV
🔧API Design
Why Does Concurrency Have to Be So Hard in Java After 20 Years?
dev.to·15h·
Discuss: DEV
🔗Concurrency Primitives
Local Surface Parameterizations via Smoothed Geodesic Splines
arxiv.org·8h
⚡Partial Evaluation
PCSR: Pseudo-label Consistency-Guided Sample Refinement for Noisy Correspondence Learning
arxiv.org·1d
🗺️Region Polymorphism
Pico: A Modular Framework for Hypothesis-Driven Small Language Model Research
arxiv.org·8h
🌱Tiny Languages