🐪 OCaml GADTs

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

MCP Protocol Specification
modelcontextprotocol.io·14h·
Discuss: Hacker News
📞Session Types
Biconnected components
emi-h.com·1d·
Discuss: Hacker News, r/programming
🕸️Graph Algorithms
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·1d·
Discuss: Hacker News, r/programming
📚Stack Allocation
Hacking with AI SASTs: An Overview of 'AI Security Engineers' / 'LLM Security S
joshua.hu·1d·
Discuss: Lobsters, Hacker News
🧪Testing Compilers
The Theory of Universal Computation: Bayesian Optimality, Solomonoff Induction & AIXI
towardsdatascience.com·14h
⚖️Inference Rules
haskell/mtl
github.com·5d
🚂Error Monads
Guard Your Rust Code with Tests
dev.to·1d·
Discuss: DEV
🎲Test Generators
The story of Musium
ruudvanasseldonk.com·11h·
Discuss: Lobsters, Hacker News
💬Smalltalk VMs
LLM-JEPA: Large Language Models Meet Joint Embedding Predictive Architectures
arxiviq.substack.com·16h·
Discuss: Substack
🪜Recursive Descent
Three Meanings of Effects
burakemir.ch·3d·
Discuss: Hacker News
💫Effect Systems
Creating and Deploying an MCP Server from Scratch
towardsdatascience.com·9h
🌍Minimal HTTP
Mastering Collections in C#
dev.to·2d·
Discuss: DEV
🔗Concatenative Languages
Token Models as Statistical Simulations: A Different Take
medium.com·1d·
Discuss: Hacker News
🔍Tokenizers
Am I missing the boat on vector databases for RAG?
littleleaps.substack.com·1d·
Discuss: Substack
🧩Persistent Vectors
Computationally-Sound Symbolic Cryptography in Lean
eprint.iacr.org·4d
∫Symbolic Math
FRAUDGUESS: Spotting and Explaining New Types of Fraud in Million-Scale Financial Data
arxiv.org·23h
🌸Bloom Filters
Shipping a Tool to Help Agents Fix Slow Code
indragie.com·6h·
Discuss: Hacker News
📊Profilers
RadarGaussianDet3D: An Efficient and Effective Gaussian-based 3D Detector with 4D Automotive Radars
arxiv.org·23h
🗺️Region Inference
Research Agenda: Synthesizing Standalone World-Models (+ Bounties, + Seeking Funding)
lesswrong.com·8h
💫Effect Systems
Parallelism Strategies in Deep Learning
afmck.in·12h·
Discuss: Hacker News
🔀SIMD Programming