🐪 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·9h·
Discuss: Hacker News
🔢Binary Formats
Integrating NVIDIA PhysX 5.6 with Unity engine: A Journey into Deformable GPU Physics
youtube.com·7h·
Discuss: DEV
🔗Language Toolchains
Synchronization
newsletter.francofernando.com·9h·
Discuss: Hacker News
🔗Concurrency Primitives
90% of devs now use AI (but don't trust it)
therundown.ai·14h
🎭Program Synthesis
The hidden architecture of AI: Why building multi-agent systems is harder than it looks
nordot.app·17h
🎭Program Synthesis
[THM CTF] Industrial Intrusion Warm-up — Breach
infosecwriteups.com·16h
🔐Capability Protocols
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·4h·
Discuss: r/LocalLLaMA
🔍ML Language
Hans-Juergen Schoenig: PostgreSQL: "UPDATE … RETURNING" made even better
cybertec-postgresql.com·18h
🗃️Query Compilation
Service for Efficient Vector Embeddings
github.com·11h·
Discuss: r/golang
📋JSON Parsing
HelixDB - An open-source graph-vector database built in Rust
reddit.com·4d·
Discuss: r/opensource
🌳Persistent Data
2 ways I used AI today to finally learn/write Typescript myself
reddit.com·1d·
Discuss: r/typescript
🛡️Error Ergonomics
How To Use RAG-Powered AI for Safer Legacy Code Maintenance
thenewstack.io·7h
🎮Language Ergonomics
A Measurement Report Data-Driven Framework for Localized Statistical Channel Modeling
arxiv.org·20h
🔍ML Language
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
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