🐪 OCaml GADTs

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

Very cool work from Meta Superintelligence Lab.
threadreaderapp.com·1d
🏰Capability Machines
Porting a library to a different language with a sentence
randomlabs.ai·1d·
Discuss: Hacker News
🎮Language Ergonomics
We need to come up with a catchy name for "failures/exploits caused by in-band signaling", like "the billion dollar mistake" was for nullable pointers.
bsky.app·11h·
Discuss: Bluesky
🚂Error Propagation
Auditability and the Landscape of Distance to Multicalibration
arxiv.org·21h
🗺️Region Inference
ChartHal: A Fine-grained Framework Evaluating Hallucination of Large Vision Language Models in Chart Understanding
arxiv.org·21h
📈Earley Parsing
Why ETL Becomes ELT or Even LET?
dev.to·23h·
Discuss: DEV
📋Souffle Datalog
Sum of Natural Numbers - A First Step into Algorithms in Go
dev.to·1d·
Discuss: DEV
🔢Algebraic Datatypes
System-Level Uncertainty Quantification with Multiple Machine Learning Models: A Theoretical Framework
arxiv.org·21h
🔍ML Language
Causal Fuzzing for Verifying Machine Unlearning
arxiv.org·21h
🔍ML Language
GEM-T: Generative Tabular Data via Fitting Moments
arxiv.org·21h
🌊Effect Rows
ViLReF: An Expert Knowledge Enabled Vision-Language Retinal Foundation Model
arxiv.org·21h
📊LR Parsing
Discovering Software Parallelization Points Using Deep Neural Networks
arxiv.org·21h
🚀Code Motion
Generative AI Myths, Busted: An Engineers’s Quick Guide
towardsdatascience.com·7h
🎭Program Synthesis
Enhanced T Cell Receptor Sequencing Accuracy via Iterative Bayesian Filtering
dev.to·6h·
Discuss: DEV
✨Effect Inference
The Art of Simple Python Variables
dev.to·7h·
Discuss: DEV
💬Interactive REPLs
Evaluation Codes in Bottleneck Metrics
arxiv.org·21h
🎯Bit Vectors
Real, Fake, or Manipulated? Detecting Machine-Influenced Text
arxiv.org·1d
📊LR Parsing
On the Existence and Complexity of Core-Stable Data Exchanges
arxiv.org·21h
📮Message Queues
EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solving
arxiv.org·21h
🌱Minimal ML
Web Developer Travis McCracken on Zero Downtime Deploys in Kubernetes
dev.to·13h·
Discuss: DEV
📦Monorepos