✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·12h·
Discuss: Hacker News
🏗️Cranelift
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·6h·
Discuss: DEV
🧪Compiler Testing
Death of a lens(man)
dev.to·1d·
Discuss: DEV
🔗Lexical Scoping
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·19h
📊Pratt Parsers
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·4d
🔍ML Language
How to Deal with MCP “Tool Poisoning”
dev.to·2h·
Discuss: DEV
📝Rope Editors
Death to Type Classes
jappie.me·3d·
Discuss: Hacker News, r/programming
🐪OCaml
StringWa.rs on GPUs: Databases & Bioinformatics 🦠
ashvardanian.com·13h·
Discuss: Hacker News, r/programming
🚀Tokenizer Performance
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·9h·
Discuss: Lobsters, Hacker News
🌲Tree-sitter
Introduction to Python Module Two Part One: Debugging
dev.to·17h·
Discuss: DEV
🐛Debugging
Reasoned Safety Alignment: Ensuring Jailbreak Defense via Answer-Then-Check
arxiv.org·4h
🪜Recursive Descent
Linkage
11011110.github.io·16h
🧮Combinator Calculus
Caffeinated Commits- Day 3
dev.to·15h·
Discuss: DEV
🎓Teaching Compilers
Why OpenAI's solution to AI hallucinations would kill ChatGPT tomorrow
techxplore.com·14h
✨Effect Inference
Secure Semantic Communication over Wiretap Channels: Rate-Distortion-Equivocation Tradeoff
arxiv.org·4h
♾️Codata Types
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·1d
🧠Semantic Parsing
Learning Scala with chess #1 - Color and coordinates
dev.to·1d·
Discuss: DEV
🎭Racket
One... Two... Testing
dev.to·2d·
Discuss: DEV
🎲Test Generators