🐪 OCaml GADTs

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

Revisiting old style Windows Log Schema Mapping
rainer.gerhards.net·1d
📊Log Parsers
Let's look at the structure of Vec<T>
marma.dev·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Rust Borrowing
6G Twin: Hybrid Gaussian Radio Fields for Channel Estimation and Non-Linear Precoder Design for Radio Access Networks
arxiv.org·6h
📡Async Channels
Turk-LettuceDetect: A Hallucination Detection Models for Turkish RAG Applications
arxiv.org·1d
📊LR Parsing
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.org·1d
🪜Recursive Descent
Your Code is a Minefield: Let's Talk About Kotlin's Sealed Classes
dev.to·1d·
Discuss: DEV
🔀Control Structures
Real-time Deer Detection and Warning in Connected Vehicles via Thermal Sensing and Deep Learning
arxiv.org·6h
✨Effect Inference
Autonomous Data Agents: A New Opportunity for Smart Data
arxiv.org·6h
🎓Educational Databases
OnePiece: Bringing Context Engineering and Reasoning to Industrial Cascade Ranking System
arxiv.org·1d
🏷️Attribute Grammars
GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
arxiv.org·1d
🚂Cranelift IR
Why ETL Becomes ELT or Even LET?
dev.to·1d·
Discuss: DEV
📋Souffle Datalog
Training-free Truthfulness Detection via Value Vectors in LLMs
arxiv.org·1d
🔍ML Language
Adaptive Fast-and-Slow Visual Program Reasoning for Long-Form VideoQA
arxiv.org·1d
🗺️Region Inference
CogAtom: From Cognitive Atoms to Olympiad-level Mathematical Reasoning in Large Language Models
arxiv.org·1d
🔗Concatenative Theory
ChartHal: A Fine-grained Framework Evaluating Hallucination of Large Vision Language Models in Chart Understanding
arxiv.org·1d
📈Earley Parsing
Automated High-Throughput Organoid Maturation Scoring via Spatiotemporal Feature Extraction
dev.to·8h·
Discuss: DEV
✨Effect Inference
BULL-ODE: Bullwhip Learning with Neural ODEs and Universal Differential Equations under Stochastic Demand
arxiv.org·6h
📈Earley Parsing
Anomaly Detection in Electric Vehicle Charging Stations Using Federated Learning
arxiv.org·6h
🌱Minimal ML
CCQA: Generating Question from Solution Can Improve Inference-Time Reasoning in SLMs
arxiv.org·6h
🪜Recursive Descent
Causal Fuzzing for Verifying Machine Unlearning
arxiv.org·1d
🔍ML Language