🐪 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
Selective Population Protocols
arxiv.org·17h
📡Async Channels
What Is “State” in JavaScript, and How to Use It in Your Projects
dev.to·1h·
Discuss: DEV
🎪Playground Compilation
Your Code is a Minefield: Let's Talk About Kotlin's Sealed Classes
dev.to·1d·
Discuss: DEV
🔀Control Structures
RadarGaussianDet3D: An Efficient and Effective Gaussian-based 3D Detector with 4D Automotive Radars
arxiv.org·1d
🗺️Region Inference
GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
arxiv.org·17h
🚂Cranelift IR
Training-free Truthfulness Detection via Value Vectors in LLMs
arxiv.org·17h
🔍ML Language
MVCL-DAF++: Enhancing Multimodal Intent Recognition via Prototype-Aware Contrastive Alignment and Coarse-to-Fine Dynamic Attention Fusion
arxiv.org·17h
🧠Semantic Parsing
CogAtom: From Cognitive Atoms to Olympiad-level Mathematical Reasoning in Large Language Models
arxiv.org·17h
🔗Concatenative Theory
Enhanced Acoustic Anomaly Detection for Underwater Mine Countermeasures via Multi-Modal Fusion & Bayesian Filtering
dev.to·1d·
Discuss: DEV
📊Log Parsers
Adaptive Fast-and-Slow Visual Program Reasoning for Long-Form VideoQA
arxiv.org·17h
🗺️Region Inference
ChartHal: A Fine-grained Framework Evaluating Hallucination of Large Vision Language Models in Chart Understanding
arxiv.org·17h
📈Earley Parsing
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·17h
🔍ML Language
Causal Fuzzing for Verifying Machine Unlearning
arxiv.org·17h
🔍ML Language
GEM-T: Generative Tabular Data via Fitting Moments
arxiv.org·17h
🌊Effect Rows
Enhanced T Cell Receptor Sequencing Accuracy via Iterative Bayesian Filtering
dev.to·1h·
Discuss: DEV
✨Effect Inference
ViLReF: An Expert Knowledge Enabled Vision-Language Retinal Foundation Model
arxiv.org·17h
📊LR Parsing
Discovering Software Parallelization Points Using Deep Neural Networks
arxiv.org·17h
🚀Code Motion