✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·7h
📦Closure Conversion
Greyscale-box test-driven development
blog.ploeh.dk·15h
🧪Compiler Testing
Zettelkasten for Programmers: Processing Swift Actor Usage Advice in Depth
christiantietze.de·4h
✨Gleam
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·3d·
Discuss: Hacker News
🎯Type Theory
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·6h
⚖️Inference Rules
What is Algebraic about Algebraic Effects?
interjectedfuture.com·18h
💫Effect Systems
AQUA: Attention via QUery mAgnitudes for Memory and Compute Efficient Inference in LLMs
arxiv.org·6h
🔍ML Language
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·6h
🧪Testing Compilers
ECMAScript TC39 proposal-pattern-matching
github.com·21h·
Discuss: Hacker News
🎯Pattern Matching
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·22h·
Discuss: Hacker News
🌱Minimal Lisps
Mastering JavaScript Booleans: A Complete Guide with Examples & Best Practices
dev.to·2h·
Discuss: DEV
📝Rope Editors
Show HN: I wrote a book: The Elements of Code
news.ycombinator.com·19h·
Discuss: Hacker News
📚Self-Documenting Code
Effective Software Engineering with Claude Code
reddit.com·21h·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🪢Rope Data Structures
Typescript : Generic Data Fetch
dev.to·6h·
Discuss: DEV
🔧API Design
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·21h·
Discuss: DEV
🏗️Cranelift
[NodeBook] Understanding Buffers in Node.js - Why they exist, where they live in memory, and how they handle binary data
thenodebook.com·1d·
Discuss: r/node
🔢Binary Formats
Students’ reading skills are in crisis - Olean Times Herald
oleantimesherald.com·2h
📈Earley Parsing
Stop Guessing, Start Testing: Level-Up Your API with Test Data in EchoAPI
echoapi.com·2h·
Discuss: DEV
💬Interactive REPLs
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
⚡functional programming