🐪 OCaml GADTs

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

Build systems à la carte - 3236774.pdf
dl.acm.org·4h
🌱Forth Kernels
Cactus Language • Mechanics 2
inquiryintoinquiry.com·22h
📋Backus-Naur Form
A scalable, elastic database and search solution for 1B+ vectors built on LanceDB and Amazon S3
aws.amazon.com·22h
📋JSON Parsing
Lightweight C++ Allocation Tracking
solidean.com·2h·
Discuss: r/cpp
📊Memory Profilers
Very cool work from Meta Superintelligence Lab.
threadreaderapp.com·23h
🏰Capability Machines
Sneaky Code Bites Back
architecture-weekly.com·1d·
Discuss: r/programming
📡Protocol Buffers
Porting a library to a different language with a sentence
randomlabs.ai·17h·
Discuss: Hacker News
🎮Language Ergonomics
Novel convex model-based approach for data-driven fault diagnosis considering uncertainty
sciencedirect.com·1d
📈Monotonic Logic
The Proof-Theoretic Origin of Double Negation Introduction & Elimination
arxiv.org·11h
📈Monotonic Logic
Enhanced Acoustic Anomaly Detection for Underwater Mine Countermeasures via Multi-Modal Fusion & Bayesian Filtering
dev.to·1d·
Discuss: DEV
📊Log Parsers
LLMsPark: A Benchmark for Evaluating Large Language Models in Strategic Gaming Contexts
arxiv.org·11h
🤖Abstract Machines
The Semantic Holder (SH): Algebraic Extraction for Legal Opposability
eprint.iacr.org·3d
📋S-Expression
The Syndrome-Space Lens: A Complete Resolution of Proximity Gaps for Reed-Solomon Codes
eprint.iacr.org·2d
🎯Ring Buffers
Circular-arc H-graphs: Ordering Characterizations and Forbidden Patterns
arxiv.org·11h
🔗Graph Rewriting
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.org·11h
🪜Recursive Descent
On efficient block Krylov-solvers for $\mathcal H^2$-matrices
arxiv.org·11h
🧮Linear Algebra
Accurate Thyroid Cancer Classification using a Novel Binary Pattern Driven Local Discrete Cosine Transform Descriptor
arxiv.org·11h
📐Succinct Data Structures
REAMS: Reasoning Enhanced Algorithm for Maths Solving
arxiv.org·11h
🧩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