🐪 OCaml GADTs

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

Barcelona vs. Real Sociedad lineups: Predicted starting XI, team news as Lamine Yamal returns
sportingnews.com·15h
🔍Fuzzy Matching
Why false claims and false positives ruin digital accessibility programs
deque.com·2d
🛡️Error Ergonomics
just nuked 120+ unused npm deps from a huge Nx monorepo
johnjames.blog·1h·
Discuss: r/javascript
📦Monorepos
Working with a factory (ESP flasher board)
revk.uk·13h·
Discuss: www.revk.uk
🧪Test DSLs
Postal BS.
languagehat.com·2d
📋S-Expression
Title: Discover the Magic of Team Avatar in MTG's New Avatar Set
dev.to·1h·
Discuss: DEV
🔗Unification
Summation-based aggregation: a simpler alternative to self-attention
techrxiv.org·3d·
Discuss: Hacker News
🪜Recursive Descent
I finally cleaned up my messy contacts and it was easier than I thought
makeuseof.com·15h
📐String Similarity
Times are tough right now, and saving money where we can makes a big difference. I came across a set of 10 freezer-prep meals that are simple, budget-friendly, ...
threadreaderapp.com·9h
🔄Subinterpreters
How to make an actor's graphics and animation modular?
reddit.com·9h·
Discuss: r/godot
🎪Actor Frameworks
Introduction to Postgres Extension Development
pgedge.com·3d·
Discuss: r/programming
📋Tablegen
The ADK-TS Hackathon 2025 Is Live!
dev.to·17h·
Discuss: DEV
🏁Language Benchmarks
Decoding Nonlinear Signals In Large Observational Datasets
towardsdatascience.com·3d
🗺️Region Inference
GPT-5’s Enhanced Reasoning Comes With a Steep Hidden Cost
thenewstack.io·4d
🎭Program Synthesis
Beyond Memorization: Building Graph AI That Truly Adapts by Arvind Sundararajan
dev.to·21h·
Discuss: DEV
🪢Rope Data Structures
I found this new NotebookLM feature so good, I might stop using all my other productivity apps
xda-developers.com·11h
💬Smalltalk VMs
Automated Semantic Validation & Impact Forecasting via Hypergraph Resonance Analysis
dev.to·1d·
Discuss: DEV
🗺️Region Inference
BEAM: In Plain English
dev.to·2d·
Discuss: DEV
📡Erlang BEAM
Collective homeostasis of condensation-prone proteins via their mRNAs
nature.com·3d
🗺️Region Polymorphism
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.to·4d·
Discuss: DEV
🪢Rope Data Structures