🐪 OCaml GADTs

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

GHC Developer Blog: GHC 9.12.3-rc1 is now available
haskell.org·2d
📏Linear Haskell
From Batch to Insights: How to Automate Data Validation Workflows
onboardingbuddy.co·6h·
Discuss: r/programming
🛡️Error Ergonomics
BusyBeaver(5) is now known to be 47,176,870
scottaaronson.blog·19h
🧮Combinator Calculus
Libghostty Is Coming
mitchellh.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News, r/neovim, r/programming
💻Terminal Emulators
Show HN: Python Audio Transcription: Convert Speech to Text Locally
pavlinbg.com·1d·
Discuss: Hacker News
🌊Streaming Lexers
MM-Spatial: Exploring 3D Spatial Understanding in Multimodal LLMs
machinelearning.apple.com·1d
🏗️MLIR
The Database Zoo: Inside Time-Series Engines (InfluxDB, Prometheus, Timescale)
hackernoon.com·1d
🗄️Database Engines
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·1d
🎯99-Line Tools
Show HN: Lessie AI – Your People Search AI Agent
lessie.ai·1d·
Discuss: Hacker News
🌸Bloom Indexing
Accurate Thyroid Cancer Classification using a Novel Binary Pattern Driven Local Discrete Cosine Transform Descriptor
arxiv.org·1d
📐Succinct Data Structures
Guard Your Rust Code with Tests
dev.to·2d·
Discuss: DEV
🎲Test Generators
WolBanking77: Wolof Banking Speech Intent Classification Dataset
arxiv.org·9h
📊LR Parsing
Weakly Supervised Food Image Segmentation using Vision Transformers and Segment Anything Model
arxiv.org·9h
✨Effect Inference
Rapid epigenomic classification of acute leukemia
nature.com·17h·
Discuss: Hacker News
✨Effect Inference
SmartWilds: Multimodal Wildlife Monitoring Dataset
arxiv.org·9h
📐Succinct Data Structures
Computationally-Sound Symbolic Cryptography in Lean
eprint.iacr.org·5d
∫Symbolic Math
Findings of the Fourth Shared Task on Multilingual Coreference Resolution: Can LLMs Dethrone Traditional Approaches?
arxiv.org·1d
🌉Language Bridges
RadEval: A framework for radiology text evaluation
arxiv.org·1d
🏗️MLIR
EPIC: Generative AI Platform for Accelerating HPC Operational Data Analytics
arxiv.org·1d
📋Souffle Datalog
Automated Acoustic Biomarker Analysis for Early Psychosis Detection via Multimodal Fusion
dev.to·7h·
Discuss: DEV
✨Effect Inference