🐪 OCaml GADTs

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

Build systems à la carte - 3236774.pdf
dl.acm.org·13h
🌱Forth Kernels
Checking that functions are constant time with Valgrind
imperialviolet.org·5h·
Discuss: Hacker News
🏷️Memory Tagging
A scalable, elastic database and search solution for 1B+ vectors built on LanceDB and Amazon S3
aws.amazon.com·1d
📋JSON Parsing
Lightweight C++ Allocation Tracking
solidean.com·11h·
Discuss: r/cpp
📊Memory Profilers
Three highlights from Apple’s recent workshop on natural language processing
9to5mac.com·2h
🗺️Region Inference
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·20h
📊Parse Tables
Circular-arc H-graphs: Ordering Characterizations and Forbidden Patterns
arxiv.org·20h
🔗Graph Rewriting
The Ktor roadmap and previews
blog.jetbrains.com·5h
🚂Cranelift IR
Accurate Thyroid Cancer Classification using a Novel Binary Pattern Driven Local Discrete Cosine Transform Descriptor
arxiv.org·20h
📐Succinct Data Structures
REAMS: Reasoning Enhanced Algorithm for Maths Solving
arxiv.org·20h
🧩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
Huxe: A Personal Intelligence System
huxe.com·6h·
Discuss: Hacker News
📈Earley Parsing
Hybrid Lie semi-group and cascade structures for the generalized Gaussian derivative model for visual receptive fields
arxiv.org·1d
🗺️Region Polymorphism
Turk-LettuceDetect: A Hallucination Detection Models for Turkish RAG Applications
arxiv.org·20h
📊LR Parsing
WarpSpeed: A High-Performance Library for Concurrent GPU Hash Tables
arxiv.org·20h
🔗Hash Algorithms
OnePiece: Bringing Context Engineering and Reasoning to Industrial Cascade Ranking System
arxiv.org·20h
🏷️Attribute Grammars
Guard Your Rust Code with Tests
dev.to·2d·
Discuss: DEV
🎲Test Generators
Phase Diagram of Extensive-Rank Symmetric Matrix Denoising beyond Rotational Invariance
journals.aps.org·12h
🧮Linear Algebra