🐪 OCaml GADTs

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

Revisiting old style Windows Log Schema Mapping
rainer.gerhards.net·12h
📊Log Parsers
PowderBot: An automated device for decision-making in crop breeding programs based on DNA extraction from seed powder
sciencedirect.com·8h
✨Effect Inference
How to choose the right embedding model for your RAG application? | by Vivedha Elango | Sep, 2025 | Level Up Coding
levelup.gitconnected.com·10h
🎨Domain-Specific Languages
Let's look at the structure of Vec<T>
marma.dev·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Rust Borrowing
Github Repository for Top LLM Datasets
analyticsvidhya.com·2d
🔍ML Language
Comparing RAG and GraphRAG for Page-Level Retrieval Question Answering on Math Textbook
arxiv.org·16h
📊Parse Tables
Generative AI Myths, Busted: An Engineers’s Quick Guide
towardsdatascience.com·2h
🎭Program Synthesis
The Reverse File System: Towards open cost-effective secure WORM storage devices for logging
arxiv.org·16h
📏Linear Memory
The Proof-Theoretic Origin of Double Negation Introduction & Elimination
arxiv.org·16h
📈Monotonic Logic
LLMsPark: A Benchmark for Evaluating Large Language Models in Strategic Gaming Contexts
arxiv.org·16h
🤖Abstract Machines
r/AI_Central
reddit.com·15h·
Discuss: r/AI_Central
🧠Memory Models
The Semantic Holder (SH): Algebraic Extraction for Legal Opposability
eprint.iacr.org·3d
📋S-Expression
Circular-arc H-graphs: Ordering Characterizations and Forbidden Patterns
arxiv.org·16h
🔗Graph Rewriting
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.org·16h
🪜Recursive Descent
On efficient block Krylov-solvers for $\mathcal H^2$-matrices
arxiv.org·16h
🧮Linear Algebra
The Syndrome-Space Lens: A Complete Resolution of Proximity Gaps for Reed-Solomon Codes
eprint.iacr.org·3d
🎯Ring Buffers
Accurate Thyroid Cancer Classification using a Novel Binary Pattern Driven Local Discrete Cosine Transform Descriptor
arxiv.org·16h
📐Succinct Data Structures
REAMS: Reasoning Enhanced Algorithm for Maths Solving
arxiv.org·16h
🧩Constraint Solvers
From Data to Diagnosis: A Large, Comprehensive Bone Marrow Dataset and AI Methods for Childhood Leukemia Prediction
arxiv.org·1d
✨Effect Inference
FRAUDGUESS: Spotting and Explaining New Types of Fraud in Million-Scale Financial Data
arxiv.org·1d
🌸Bloom Filters