🐪 OCaml GADTs

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

Revisiting old style Windows Log Schema Mapping
rainer.gerhards.net·1d
📊Log Parsers
PowderBot: An automated device for decision-making in crop breeding programs based on DNA extraction from seed powder
sciencedirect.com·1d
✨Effect Inference
How to choose the right embedding model for your RAG application? | by Vivedha Elango | Sep, 2025 | Level Up Coding
levelup.gitconnected.com·1d
🎨Domain-Specific Languages
Pointer Tagging in C++: The Art of Packing Bits Into a Pointer
vectrx.substack.com·2d·
Discuss: Substack, r/cpp
🏷️Memory Tagging
Let's look at the structure of Vec<T>
marma.dev·4d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Rust Borrowing
Speeding Up NestJS Tests with DB Transactions
medium.com·1d·
Discuss: Hacker News
🧪Compiler Testing
D-FlipFlip circuit model with signals and Dart
dev.to·3h·
Discuss: DEV
🧸Toy Compilers
Predictive Atmospheric Dispersion Modeling via Hybrid Gaussian Process-LSTM Networks for Enhanced Air Quality Management
dev.to·6h·
Discuss: DEV
📋JSON Parsing
GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
arxiv.org·1d
🚂Cranelift IR
OnePiece: Bringing Context Engineering and Reasoning to Industrial Cascade Ranking System
arxiv.org·1d
🏷️Attribute Grammars
Why ETL Becomes ELT or Even LET?
dev.to·1d·
Discuss: DEV
📋Souffle Datalog
Automated High-Throughput Organoid Maturation Scoring via Spatiotemporal Feature Extraction
dev.to·11h·
Discuss: DEV
✨Effect Inference
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
Anomaly Detection in Electric Vehicle Charging Stations Using Federated Learning
arxiv.org·10h
🌱Minimal ML
CCQA: Generating Question from Solution Can Improve Inference-Time Reasoning in SLMs
arxiv.org·10h
🪜Recursive Descent
Causal Fuzzing for Verifying Machine Unlearning
arxiv.org·1d
🔍ML Language
GEM-T: Generative Tabular Data via Fitting Moments
arxiv.org·1d
🌊Effect Rows