The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Thankful for Memory Managed Languages
mooreds.com·12h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·14h
🕸️WebAssembly
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·21h·
Discuss: Substack
🔩Systems Programming
Flag this post
[D] Looking for resources on “problem framing + operational thinking” for ML ?
reddit.com·13h·
Discuss: r/MachineLearning
🎵Audio ML
Flag this post
Semantic Diffusion
martinfowler.com·1d
🔄Language Evolution
Flag this post
Infix Versus Prefix Operators
irreal.org·15h
🧠Lisp Dialects
Flag this post
Show HN: OriGen – A Deterministic Workflow Compiler (Maps → IR → CI/K8s)
origen-hub.github.io·1d·
Discuss: Hacker News
🌳Git Internals
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Rethinking C++: Architecture, Concepts, and Responsibility
blogs.embarcadero.com·3d·
Discuss: Hacker News
🛠Language Design
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·9h·
Discuss: Hacker News
📄Text Chunking
Flag this post
Introducing AWS CloudFormation Stack Refactoring: Reorganize Your Infrastructure Without Disruption
aws.amazon.com·1d
🦋Format Metamorphosis
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
Management Pseudo-Science
laser-coder.net·14h·
Discuss: Hacker News
📏Code Metrics
Flag this post
How Do We Effectively Communicate Architecture?
blog.scottlogic.com·2d
📟CLI Design
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
Dingo: A Meta-Language for Go
github.com·5h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Maybe somebody can explain to me how weak references solve the ODR problem
devblogs.microsoft.com·1d
🔗Static Linking
Flag this post