✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

Stop Guessing, Start Testing: Level-Up Your API with Test Data in EchoAPI
echoapi.com·4h·
Discuss: DEV
💬Interactive REPLs
Getting Started with Agentic AI in LangGraph
digitalocean.com·2h
🌉Language Bridges
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
⚡functional programming
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·18h
📋Tablegen
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·5d·
Discuss: Hacker News
🔮Type Inference Visualization
The Capability-Tractability Tradeoff (2023)
buttondown.com·3d·
Discuss: Hacker News
⚡Partial Evaluation
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·16h·
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·11h·
Discuss: DEV
🧪Compiler Testing
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·23h
📊Pratt Parsers
Caffeinated Commits- Day 3
dev.to·20h·
Discuss: DEV
🎓Teaching Compilers
One... Two... Testing
dev.to·3d·
Discuss: DEV
🎲Test Generators
How to Deal with MCP “Tool Poisoning”
dev.to·6h·
Discuss: DEV
📝Rope Editors
What I Learned During My Paternity Leave
thecoder.cafe·2h
📚Self-Documenting Code
Death to Type Classes
jappie.me·4d·
Discuss: Hacker News, r/programming
🐪OCaml
Reasoned Safety Alignment: Ensuring Jailbreak Defense via Answer-Then-Check
arxiv.org·8h
🪜Recursive Descent
Learning Scala with chess #1 - Color and coordinates
dev.to·1d·
Discuss: DEV
🎭Racket
Understanding Core Concepts of LangGraph (Deep Dive)
dev.to·9h·
Discuss: DEV
🪢Rope Data Structures
Linkage
11011110.github.io·20h
🧮Combinator Calculus
Secure Semantic Communication over Wiretap Channels: Rate-Distortion-Equivocation Tradeoff
arxiv.org·8h
♾️Codata Types