The Capability-Tractability Tradeoff (2023)
buttondown.com·3d·
Discuss: Hacker News
⚡Partial Evaluation
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·9h·
Discuss: Lobsters, Hacker News
🌲Tree-sitter
ECMAScript TC39 proposal-pattern-matching
github.com·18h·
Discuss: Hacker News
🎯Pattern Matching
List Vs. Tuple: Understanding The Differences In Python - Maine News Online
mainenewsonline.com·23h
🐍CPython Internals
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·19h·
Discuss: Hacker News
🌱Minimal Lisps
[CS 2881r] Some Generalizations of Emergent Misalignment
lesswrong.com·1d
🔍ML Language
How to Debug Chez Scheme Programs (2002)
scheme.com·10h·
Discuss: Hacker News
💬Error Message Design
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com·19h
🔧Error Recovery
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
Swift 6.2 Released
swift.org·21h
🦉Swift Interpreters
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·16h·
Discuss: www.blogger.com
🔮Lisp Interpreters
Model Kombat by HackerRank
producthunt.com·3h
🏁Language Benchmarks
utf-8-history.txt
cl.cam.ac.uk·2h
🔢Binary Formats
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·13h
📋Tablegen
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
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
⚡functional programming
MiniRust
github.com·3d·
Discuss: Hacker News
🦀MIR Optimization
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·4h
📦Closure Conversion
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·3h
🧪Testing Compilers