🐪 OCaml GADTs

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

Is Better Auth the key to solving authentication headaches?
blog.logrocket.com·1d
🎮Language Ergonomics
The First Illustrated Arithmetic, and Common Long Division
pballew.blogspot.com·11h·
Discuss: www.blogger.com
📐Mathematical Computing
HTB: Puppy
0xdf.gitlab.io·3h
🔐Capability Protocols
NVIDIA Solved The Physics Bug That Stumped Everyone!
youtube.com·1h
🔀SIMD Programming
Bulk Ingestion of Congressional Actions and Materials Dataset
nature.com·1d
🌳Tree Diffing
Demystifying Python Decorators: A Beginner's Guide with Real-World Examples
dev.to·3d·
Discuss: DEV
🔍Comby
Show HN: Family Chess: Play across firewalls and Internet cultures
github.com·17h·
Discuss: Hacker News
🎭Racket Modules
Transformer-Gather, Fuzzy-Reconsider: A Scalable Hybrid Framework for Entity Resolution
arxiv.org·4d
🔗Unification Algorithms
Truth Without Comprehension: A BlueSky Agenda for Steering the Fourth Mathematical Crisis
arxiv.org·4d
📡Binary Protocols
Achilles' Heel of Mamba: Essential difficulties of the Mamba architecture demonstrated by synthetic data
arxiv.org·4d
🔍ML Language
DragOSM: Extract Building Roofs and Footprints from Aerial Images by Aligning Historical Labels
arxiv.org·4d
📈Earley Parsing
Medical priority fusion: achieving dual optimization of sensitivity and interpretability in nipt anomaly detection
arxiv.org·4d
✨Effect Inference
Mitigating Strategy-Selection Bias in Reasoning for More Effective Test-Time Scaling
arxiv.org·4d
🧪Parser Testing
I built a fully functional enterprise level SaaS platform with Claude Code and it’s unbelievably amazing
reddit.com·3h·
Discuss: r/ClaudeAI
⚡Live Coding
NUMINA: A Natural Understanding Benchmark for Multi-dimensional Intelligence and Numerical Reasoning Abilities
arxiv.org·4d
🏗️MLIR
Anomaly Detection by Clustering DINO Embeddings using a Dirichlet Process Mixture
arxiv.org·2d
✨Effect Inference
OraPO: Oracle-educated Reinforcement Learning for Data-efficient and Factual Radiology Report Generation
arxiv.org·3d
✨Effect Inference
CLUE: Conflict-guided Localization for LLM Unlearning Framework
arxiv.org·1d
🔍ML Language
SeHDR: Single-Exposure HDR Novel View Synthesis via 3D Gaussian Bracketing
arxiv.org·1d
🔍Lens Libraries
LangGraph Beginner to Advance: Part 2: Hello World Graph in LangGraph
pub.towardsai.net·20h
🌱Minimal Interpreters