🐪 OCaml GADTs

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

CSS Typed Arithmetic
css-tricks.com·1d
📐Mathematical Computing
Airbags are terrible for hearing.
threadreaderapp.com·1d
🏰Capability Machines
PostgreSQL Gains a Built-In UUIDv7 Generation Function for Primary Keys
habr.com·12h·
Discuss: Hacker News
🔢Binary Formats
Integrating NVIDIA PhysX 5.6 with Unity engine: A Journey into Deformable GPU Physics
youtube.com·9h·
Discuss: DEV
🔗Language Toolchains
Synchronization
newsletter.francofernando.com·11h·
Discuss: Hacker News
🔗Concurrency Primitives
We Built the Responses API
developers.openai.com·2d·
Discuss: Hacker News
🏛️Elm Architecture
The hidden architecture of AI: Why building multi-agent systems is harder than it looks
nordot.app·20h
🎭Program Synthesis
Two Mathematical Perspectives on AI Hallucinations and Uncertainty
lesswrong.com·2d
⚖️Inference Rules
Jagged intelligence and how to measure it properly, or psychometric model of ability in LLMs
reddit.com·7h·
Discuss: r/LocalLLaMA
🔍ML Language
An opensource math competition website (still a WIP, but has functionality)
reddit.com·1h·
Discuss: r/opensource
🔄Nanopass
Service for Efficient Vector Embeddings
github.com·14h·
Discuss: r/golang
📋JSON Parsing
HelixDB - An open-source graph-vector database built in Rust
reddit.com·4d·
Discuss: r/opensource
🌳Persistent Data
How To Use RAG-Powered AI for Safer Legacy Code Maintenance
thenewstack.io·10h
🎮Language Ergonomics
A Machine Learning Framework for Pathway-Driven Therapeutic Target Discovery in Metabolic Disorders
arxiv.org·1d
✨Effect Inference
Finding My Voice: Generative Reconstruction of Disordered Speech for Automated Clinical Evaluation
arxiv.org·1d
📊LR Parsing
Building Self-Correcting LLM Systems: The Evaluator-Optimizer Pattern
dev.to·2d·
Discuss: DEV
🔧Error Recovery
Learn AI Independently: How to Use ChatGPT and Other Tools to Understand a Technical Book
dev.to·9h·
Discuss: DEV
📚Self-Documenting Code
CPT-4DMR: Continuous sPatial-Temporal Representation for 4D-MRI Reconstruction
arxiv.org·1d
🏗️MLIR
Improving Deep Tabular Learning
arxiv.org·2d
🌊Effect Rows
I Connected 3 MCP Servers to Claude & Built a No-Code Research Agent That Actually Cites Sources
dev.to·17h·
Discuss: DEV
🌲Tree-sitter