🐪 OCaml GADTs

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

Very cool work from Meta Superintelligence Lab.
threadreaderapp.com·1d
🏰Capability Machines
Porting a library to a different language with a sentence
randomlabs.ai·21h·
Discuss: Hacker News
🎮Language Ergonomics
Novel convex model-based approach for data-driven fault diagnosis considering uncertainty
sciencedirect.com·1d
📈Monotonic Logic
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·15h
📊LR Parsing
Selective Population Protocols
arxiv.org·15h
📡Async Channels
WarpSpeed: A High-Performance Library for Concurrent GPU Hash Tables
arxiv.org·15h
🔗Hash Algorithms
Guard Your Rust Code with Tests
dev.to·2d·
Discuss: DEV
🎲Test Generators
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·15h
🏷️Attribute Grammars
Your Code is a Minefield: Let's Talk About Kotlin's Sealed Classes
dev.to·1d·
Discuss: DEV
🔀Control Structures
Phase Diagram of Extensive-Rank Symmetric Matrix Denoising beyond Rotational Invariance
journals.aps.org·7h
🧮Linear Algebra
Open Political Corpora: Structuring, Searching, and Analyzing Political Text Collections with PoliCorp
arxiv.org·15h
🔄Incremental Parsers
Spiffy: Multiplying Diffusion LLM Acceleration via Lossless Speculative Decoding
arxiv.org·15h
🗺️Region Inference
RadarGaussianDet3D: An Efficient and Effective Gaussian-based 3D Detector with 4D Automotive Radars
arxiv.org·1d
🗺️Region Inference
GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
arxiv.org·15h
🚂Cranelift IR
Sum of Natural Numbers - A First Step into Algorithms in Go
dev.to·1d·
Discuss: DEV
🔢Algebraic Datatypes
Training-free Truthfulness Detection via Value Vectors in LLMs
arxiv.org·15h
🔍ML Language
MVCL-DAF++: Enhancing Multimodal Intent Recognition via Prototype-Aware Contrastive Alignment and Coarse-to-Fine Dynamic Attention Fusion
arxiv.org·15h
🧠Semantic Parsing
CogAtom: From Cognitive Atoms to Olympiad-level Mathematical Reasoning in Large Language Models
arxiv.org·15h
🔗Concatenative Theory