✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·8h
🔧Scheme Macros
How to Debug Chez Scheme Programs (2002)
scheme.com·15h·
Discuss: Hacker News
💬Error Message Design
Algebraic Types are not Scary
blog.aiono.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔮Type Inference Visualization
Semantic Dictionary Encoding
falvotech.com·22h·
Discuss: Hacker News
🗂️Type Indexing
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·18h·
Discuss: Hacker News
🔗Lexical Scoping
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·23h·
Discuss: DEV
🧮Theorem Provers
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·21h·
Discuss: www.blogger.com
🔮Lisp Interpreters
Show HN: Semlib – Semantic Data Processing
github.com·22h·
Discuss: Hacker News
🔍ML Language
I made a library to stop writing giant switch statements for Go errors
reddit.com·11h·
Discuss: r/golang
🛡️Error Handling
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·4h
🗺️Region Inference
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·8h
🧪Testing Compilers
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Balance between refactoring and inheritance in your code
github.com·1d·
Discuss: Hacker News
🧪Compiler Testing
What Does -> Mean in Python Function Definitions?
realpython.com·22h
🌊Gradual Typing
Model Kombat by HackerRank
producthunt.com·8h
🏁Language Benchmarks
Towards Automated Error Discovery: A Study in Conversational AI
arxiv.org·8h
🧠Semantic Parsing
Asynchronous Exceptions in Practice (2017)
simonmar.github.io·17h·
Discuss: Hacker News
🔗Concurrency Primitives
The Case for Compact AI – Communications of the ACM
dl.acm.org·4h·
Discuss: Hacker News
🌱Minimal ML
Introducing: A Go package to reduce err boilerplate
dev.to·2d·
Discuss: DEV
🛡️Error Handling
Code Reviews as Exploratory Testing
codemanship.wordpress.com·4h
🚚Code Migration