🐪 OCaml GADTs

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

Cactus Language • Mechanics 2
inquiryintoinquiry.com·1d
📋Backus-Naur Form
Very cool work from Meta Superintelligence Lab.
threadreaderapp.com·1d
🏰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·20h·
Discuss: Hacker News
🎮Language Ergonomics
Novel convex model-based approach for data-driven fault diagnosis considering uncertainty
sciencedirect.com·1d
📈Monotonic Logic
Accurate Thyroid Cancer Classification using a Novel Binary Pattern Driven Local Discrete Cosine Transform Descriptor
arxiv.org·13h
📐Succinct Data Structures
Why ETL Becomes ELT or Even LET?
dev.to·14h·
Discuss: DEV
📋Souffle Datalog
REAMS: Reasoning Enhanced Algorithm for Maths Solving
arxiv.org·13h
🧩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
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·13h
📊LR Parsing
Selective Population Protocols
arxiv.org·13h
📡Async Channels
WarpSpeed: A High-Performance Library for Concurrent GPU Hash Tables
arxiv.org·13h
🔗Hash Algorithms
Computationally-Sound Symbolic Cryptography in Lean
eprint.iacr.org·5d
∫Symbolic Math
OnePiece: Bringing Context Engineering and Reasoning to Industrial Cascade Ranking System
arxiv.org·13h
🏷️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·5h
🧮Linear Algebra
Open Political Corpora: Structuring, Searching, and Analyzing Political Text Collections with PoliCorp
arxiv.org·13h
🔄Incremental Parsers
Spiffy: Multiplying Diffusion LLM Acceleration via Lossless Speculative Decoding
arxiv.org·13h
🗺️Region Inference