🐪 OCaml GADTs

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

I built a free, no-signup extension that gives you a universal clipboard for your computer and phone.
i.redd.it·4h·
Discuss: r/webdev
📝Rope Editors
Rust 1.90 Speeds Compile Times
i-programmer.info·1d
🏗️Cranelift
LLMs are strangely-shaped tools
near.blog·18h·
Discuss: Hacker News
🎮Language Ergonomics
Enabling Deterministic Inference for SGLang
lmsys.org·2d
🗺️Region Inference
Taming Large Codebases with Kiro: Lessons from a 58K-LoC Rust Migration
github.com·1d·
Discuss: DEV
🚂Cranelift Backend
llvm/llvm-project llvmorg-21.1.2
github.com·1d
🏗️LLVM
MoPE: A Mixture of Password Experts for Improving Password Guessing
arxiv.org·1d
🔗Hash Functions
Differential Privacy for Euclidean Jordan Algebra with Applications to Private Symmetric Cone Programming
arxiv.org·1d
🧩Constraint Solvers
Automated Glycan Structure Elucidation via Hybrid Quantum-Graph Neural Networks
dev.to·18h·
Discuss: DEV
🪜Recursive Descent
The Proof-Theoretic Origin of Double Negation Introduction & Elimination
arxiv.org·1d
📈Monotonic Logic
The Reverse File System: Towards open cost-effective secure WORM storage devices for logging
arxiv.org·1d
📏Linear Memory
Etude: Piano Cover Generation with a Three-Stage Approach -- Extract, strucTUralize, and DEcode
arxiv.org·1d
🌱Minimal ML
FRAUDGUESS: Spotting and Explaining New Types of Fraud in Million-Scale Financial Data
arxiv.org·2d
🌸Bloom Filters
Systematic Comparative Analysis of Large Pretrained Language Models on Contextualized Medication Event Extraction
arxiv.org·17h
⚖️Weighted Automata
LLMsPark: A Benchmark for Evaluating Large Language Models in Strategic Gaming Contexts
arxiv.org·1d
🤖Abstract Machines
Weakly Supervised Food Image Segmentation using Vision Transformers and Segment Anything Model
arxiv.org·17h
✨Effect Inference
SmartWilds: Multimodal Wildlife Monitoring Dataset
arxiv.org·17h
📐Succinct Data Structures
Computationally-Sound Symbolic Cryptography in Lean
eprint.iacr.org·6d
∫Symbolic Math
Findings of the Fourth Shared Task on Multilingual Coreference Resolution: Can LLMs Dethrone Traditional Approaches?
arxiv.org·1d
🌉Language Bridges
RadEval: A framework for radiology text evaluation
arxiv.org·1d
🏗️MLIR