✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

MCP standard
dev.to·8h·
Discuss: DEV
📡Protocol Parsers
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·1d·
Discuss: Hacker News
🐛Interactive Debuggers
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·2d·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
The Hidden DNA of LLM-Generated JavaScript: Structural Patterns EnableHigh-Accuracy Authorship Attribution
paperium.net·22h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·4d·
Discuss: r/javascript, r/programming
λLambda Calculus
Flag this post
build system tradeoffs
jyn.dev·1d·
Discuss: Lobsters, Hacker News
🔗Language Toolchains
Flag this post
Iterators - Dive into Lazy, Composable Processing
itsfoxstudio.substack.com·15h·
Discuss: r/rust
🔗Borrowing Extensions
Flag this post
Python Coding Challenges: FizzBuzz, String Equality, and Heterogram Checks for Beginners
dev.to·8h·
Discuss: DEV
🪢Rope Algorithms
Flag this post
Revisiting interface segregation in Go
rednafi.com·2d·
Discuss: Hacker News, r/golang
📡Protocol Buffers
Flag this post
Joy & Curiosity #60
registerspill.thorstenball.com·17h
🌊Gradual Effects
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.to·4h·
Discuss: DEV
📋Souffle Datalog
Flag this post
Linkage
11011110.github.io·2d
🪢Rope Data Structures
Flag this post
Breaking Code, Building Skills: Lessons from My Early JavaScript Errors
blog.shubhra.dev·14h·
Discuss: DEV
🔧Error Recovery
Flag this post
Why Your AI Agent Keeps Failing in Production (And How to Fix It)
pub.towardsai.net·3h
🎭Erlang OTP
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·4d·
Discuss: Substack
🌈Gradual Languages
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·4d·
Discuss: Substack
⚡functional programming
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·3d·
Discuss: Lobsters, Hacker News
🌐WASM Runtimes
Flag this post
Evidence on language model consciousness
lesswrong.com·1d
🎲Parser Fuzzing
Flag this post
JavaScript Did not Crash. That Does not Mean It is Fine.
dev.to·1d·
Discuss: DEV
🚂Error Propagation
Flag this post
The Rise of AI-Driven Formal Methods: How Machine Learning Is Revolutionizing Software Verification in 2025
reddit.com·2d·
Discuss: r/compsci
🎭Program Synthesis
Flag this post