📦 Closure Conversion - abnv · Scour

Python Closures: Coming from JavaScript

dev.to·1d·

Discuss: DEV

🔗Lexical Scoping

Functional Logic Program Transformations

arxiv.org·22h

🏭Functional Compilers

Type-Safe Routing Without the Build Step

werkbank.dev·9h·

Discuss: Hacker News

⚙️TOML Parsers

Making a Language

thunderseethe.dev·5h

🔬programming language theory

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·14h

🔧Scheme Macros

Kolmogorov Complexity

en.wikipedia.org·15h·

Discuss: Hacker News

λLambda Calculus

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·12h·

Discuss: Hacker News

🔒Rust Borrowing

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition

arxiv.org·22h

🩺Compiler Diagnostics

GNU C Language Manual

gnu.org·8h

🪄C Metaprogramming

Rust async combinators for elegant and secure concurrency

kerkour.com·21h·

Discuss: r/rust

🪆Embedded DSLs

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🌊Gradual Effects

Streamlining CUB with a Single-Call API

developer.nvidia.com·6h

⏲️Embedded GC

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Exploring Crystal macros: Building file-based routing for Kemal

krthr.co·8h·

Discuss: Hacker News

🔧Scheme Macros

Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI

news.ycombinator.com·10h·

Discuss: Hacker News

📋Souffle Datalog

Google Releases FunctionGemma Model

i-programmer.info·11h

💬Smalltalk VMs

bloomberg/crane: A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

github.com·1d·

Discuss: Lobsters

🚂Cranelift Backend

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

understanding LSM trees via read, write, and space amplification

bitsxpages.com·4h

🔗Memory Linearization

Loading more...