🐪 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·6h·
Discuss: r/webdev
📝Rope Editors
Intel XeSS multi-frame generation reference found in driver files
tweaktown.com·19h
🤖Embedded Go
Startup update 20: LLM Zombies
moderndescartes.com·19h
🌳Tree Diffing
How to factor cost into agentic tool design
speakeasy.com·10h·
Discuss: Hacker News
⚡Interpreter Optimization
Regexss: Turned into over $6k in Bounties
sec.stealthcopter.com·13h·
Discuss: Hacker News
🛡️Parser Security
Enabling Deterministic Inference for SGLang
lmsys.org·2d
🗺️Region Inference
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
The Reverse File System: Towards open cost-effective secure WORM storage devices for logging
arxiv.org·1d
📏Linear Memory
The Proof-Theoretic Origin of Double Negation Introduction & Elimination
arxiv.org·1d
📈Monotonic Logic
Etude: Piano Cover Generation with a Three-Stage Approach -- Extract, strucTUralize, and DEcode
arxiv.org·1d
🌱Minimal ML
WolBanking77: Wolof Banking Speech Intent Classification Dataset
arxiv.org·19h
📊LR Parsing
SmartWilds: Multimodal Wildlife Monitoring Dataset
arxiv.org·19h
📐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
How Fine-Tuning Transforms Generic AI Models into Specialists
blog.bytebytego.com·7h
🪜Recursive Descent
EPIC: Generative AI Platform for Accelerating HPC Operational Data Analytics
arxiv.org·1d
📋Souffle Datalog
Automated Acoustic Biomarker Analysis for Early Psychosis Detection via Multimodal Fusion
dev.to·17h·
Discuss: DEV
✨Effect Inference
The Night I Discovered I'd Built Something Revolutionary (And Didn't Know It)
dev.to·5h·
Discuss: DEV
🔄Bootstrapping