🐪 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·13h
🔍Fuzzy Matching
Agility SDK 1.618: Microsoft brings the first real console feel to the PC with “Advanced Shader Delivery”
igorslab.de·19h
🔮Speculative Execution
Why false claims and false positives ruin digital accessibility programs
deque.com·2d
🛡️Error Ergonomics
Hugging Face Researchers Warn AI-Generated Video Consumes Much More Power Than Expected
hardware.slashdot.org·5h
🚀Tokenizer Performance
Despite 30 MOS work, Python's JIT compiler is often slower than the interpreter
devclass.com·2d·
Discuss: Hacker News
⚡Interpreter Optimization
Working with a factory (ESP flasher board)
revk.uk·11h·
Discuss: www.revk.uk
🧪Test DSLs
I finally cleaned up my messy contacts and it was easier than I thought
makeuseof.com·13h
📐String Similarity
Our Beloved Monsters
lesswrong.com·9h
🏠indieweb
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·7h
🔄Subinterpreters
From Prompt to Production: A Developer's Guide to Deploying LLM Applications
codowithdhanian.gumroad.com·3d·
Discuss: DEV
🎮Language Ergonomics
How to make an actor's graphics and animation modular?
reddit.com·7h·
Discuss: r/godot
🎪Actor Frameworks
The ADK-TS Hackathon 2025 Is Live!
dev.to·15h·
Discuss: DEV
🏁Language Benchmarks
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·19h·
Discuss: DEV
🪢Rope Data Structures
Using drones for FinOps with AWS Agentic AI - Part 2
dev.to·9h·
Discuss: DEV
📊Profilers
Programming logic, when will it click?
reddit.com·1d·
Discuss: r/godot
📋Souffle Datalog
From Copper Wire to Code: A Master Electrician's Journey into Software Development ⚡💻
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
AI Safety Isn't So Unique
lesswrong.com·22h
🏰Capability Machines
Augmenting Limited and Biased RCTs through Pseudo-Sample Matching-Based Observational Data Fusion Method
arxiv.org·3d
✨Effect Inference
I found this new NotebookLM feature so good, I might stop using all my other productivity apps
xda-developers.com·9h
💬Smalltalk VMs