🐪 OCaml GADTs

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

The Database Zoo: Inside Time-Series Engines (InfluxDB, Prometheus, Timescale)
hackernoon.com·1d
🗄️Database Engines
BusyBeaver(5) is now known to be 47,176,870
scottaaronson.blog·10h
🧮Combinator Calculus
MM-Spatial: Exploring 3D Spatial Understanding in Multimodal LLMs
machinelearning.apple.com·1d
🏗️MLIR
Altoids by the Fistful
scottsmitelli.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative
Show HN: Lessie AI – Your People Search AI Agent
lessie.ai·1d·
Discuss: Hacker News
🌸Bloom Indexing
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·1d
🎯99-Line Tools
SlowFast-SCI: Slow-Fast Deep Unfolding Learning for Spectral Compressive Imaging
arxiv.org·1d
🎯Bit Vectors
Explainable Gait Abnormality Detection Using Dual-Dataset CNN-LSTM Models
arxiv.org·1d
📈Earley Parsing
The Semantic Holder (SH): Algebraic Extraction for Legal Opposability
eprint.iacr.org·4d
📋S-Expression
Local Surface Parameterizations via Smoothed Geodesic Splines
arxiv.org·1d
⚡Partial Evaluation
PCSR: Pseudo-label Consistency-Guided Sample Refinement for Noisy Correspondence Learning
arxiv.org·2d
🗺️Region Polymorphism
A Generative Framework for Personalized Sticker Retrieval
arxiv.org·1d
📋Row Typing
DS-Diffusion: Data Style-Guided Diffusion Model for Time-Series Generation
arxiv.org·36m
🔍ML Language
Saga pattern with PHP: Masterful Coordination of Distributed Transactions in Microservices
dev.to·18h·
Discuss: DEV
🔀Control Structures
FRAUDGUESS: Spotting and Explaining New Types of Fraud in Million-Scale Financial Data
arxiv.org·2d
🌸Bloom Filters
Systematic Comparative Analysis of Large Pretrained Language Models on Contextualized Medication Event Extraction
arxiv.org·36m
⚖️Weighted Automata
LLMsPark: A Benchmark for Evaluating Large Language Models in Strategic Gaming Contexts
arxiv.org·1d
🤖Abstract Machines
WolBanking77: Wolof Banking Speech Intent Classification Dataset
arxiv.org·36m
📊LR Parsing
Weakly Supervised Food Image Segmentation using Vision Transformers and Segment Anything Model
arxiv.org·36m
✨Effect Inference
SmartWilds: Multimodal Wildlife Monitoring Dataset
arxiv.org·36m
📐Succinct Data Structures