🐪 OCaml GADTs

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

Vision‑Language Models Lag on Real‑World Visual Spelling Correction
getnews.me·14h·
Discuss: r/GetNewsme
⚡Tokenizer Optimization
Techbro, Stop Using The Word Orthogonal
leetarxiv.substack.com·1d·
Discuss: Substack
🎮Language Ergonomics
Anchoring AI to a reference application
martinfowler.com·2h
🚚Code Migration
Detecting AI Fakes with Compression Artifacts
dmanco.dev·1d·
Discuss: Hacker News
✨Effect Inference
Building a Debugger • Sy Brand & Tim Misiak
buzzsprout.com·3d·
Discuss: r/programming
🔍Debugging Compilers
I tried learning from Anthropics AI tutor. I felt like I was back in college.
mashable.com·2d
🌱Minimal ML
Behavioral Validity Checks for ML‑Based "Coding"
gojiberries.io·2d·
Discuss: Hacker News
🧪Parser Testing
testssl/testssl.sh
github.com·10h
🧪Test DSLs
Hubstry-ISO_Code: Coding with Conscience from Brazil 🇧🇷
dev.to·20h·
Discuss: DEV
🎮Language Ergonomics
TEtrimmer: a tool to automate the manual curation of transposable elements
nature.com·19m
🌳Tree Diffing
Benchmarking ChatGPT and DeepSeek in April 2025: A Novel Dual Perspective Sentiment Analysis Using Lexicon-Based and Deep Learning Approaches
arxiv.org·8h
🔤Language Tokenizers
Anomaly Detection in Electric Vehicle Charging Stations Using Federated Learning
arxiv.org·1d
🌱Minimal ML
The Semantic Holder (SH): Algebraic Extraction for Legal Opposability
eprint.iacr.org·5d
📋S-Expression
Graph Variate Neural Networks
arxiv.org·8h
⚖️Weighted Automata
A Dimensional Approach to Canine Bark Analysis for Assistance Dog Seizure Signaling
arxiv.org·1d
🌱Minimal ML
Building Video Game Recommender Systems with FastAPI, PostgreSQL, and Render: Part 1
towardsdatascience.com·3m
💾Minimal Databases
Pathways of Thoughts: Multi-Directional Thinking for Long-form Personalized Question Answering
arxiv.org·1d
🪜Recursive Descent
Pico: A Modular Framework for Hypothesis-Driven Small Language Model Research
arxiv.org·2d
🌱Tiny Languages
Building a Type-Safe Rich Text Editor in Next.js (with Lexical & Lexkit)
dev.to·1d·
Discuss: DEV
🔄Incremental Lexing
Saga pattern with PHP: Masterful Coordination of Distributed Transactions in Microservices
dev.to·2d·
Discuss: DEV
🔀Control Structures