🐪 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
Blueprints for Flutter Development: Building Reliable Foundations
hutouch.com·3d·
Discuss: DEV
🎮Language Ergonomics
PostgreSQL Gains a Built-In UUIDv7 Generation Function for Primary Keys
habr.com·6h·
Discuss: Hacker News
🔢Binary Formats
Integrating NVIDIA PhysX 5.6 with Unity engine: A Journey into Deformable GPU Physics
youtube.com·3h·
Discuss: DEV
🔗Language Toolchains
We Built the Responses API
developers.openai.com·2d·
Discuss: Hacker News
🏛️Elm Architecture
What I learned building an AI-driven spaced repetition app
seangoedecke.com·2d·
Discuss: Hacker News
💬Interactive REPLs
The hidden architecture of AI: Why building multi-agent systems is harder than it looks
nordot.app·14h
🎭Program Synthesis
Two Mathematical Perspectives on AI Hallucinations and Uncertainty
lesswrong.com·2d
⚖️Inference Rules
Rhizomes and the Roots of Efficiency—Improving Prio
eprint.iacr.org·3d
🧮Combinator Calculus
Jagged intelligence and how to measure it properly, or psychometric model of ability in LLMs
reddit.com·1h·
Discuss: r/LocalLLaMA
🔍ML Language
Service for Efficient Vector Embeddings
github.com·8h·
Discuss: r/golang
📋JSON Parsing
How To Use RAG-Powered AI for Safer Legacy Code Maintenance
thenewstack.io·4h
🎮Language Ergonomics
Just How Resilient Are Large Language Models?
rdrocket.com·1d·
Discuss: Hacker News
🏰Capability Machines
A Machine Learning Framework for Pathway-Driven Therapeutic Target Discovery in Metabolic Disorders
arxiv.org·1d
✨Effect Inference
What Is a Weak Pointer in Rust (and Why It Matters)?
dev.to·3d·
Discuss: DEV
🔗Weak References
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·1d·
Discuss: DEV
🔧Error Recovery
Learn AI Independently: How to Use ChatGPT and Other Tools to Understand a Technical Book
dev.to·3h·
Discuss: DEV
📚Self-Documenting Code
CPT-4DMR: Continuous sPatial-Temporal Representation for 4D-MRI Reconstruction
arxiv.org·1d
🏗️MLIR