🔗 Lexical Scoping - abnv · Scour

Python Closures: Coming from JavaScript

dev.to·1d·

Discuss: DEV

📦Closure Conversion

HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation

arxiv.org·4h

📊Graph Compilers

Making a Language

thunderseethe.dev·11h

🔬programming language theory

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·17h·

Discuss: Hacker News

🪢Rope Data Structures

Subterms Modulo Theories I

philipzucker.com·3d

✅Type Checking

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

GNU C Language Manual

gnu.org·14h

🪄C Metaprogramming

Designing a Programming Language for the Desert

futhark-lang.org·17h·

Discuss: Hacker News

🔄Bootstrapping

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌲Tree-sitter

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🌊Gradual Effects

OpenSkills – Stop bloating your LLM context with unused agent instructions

news.ycombinator.com·2h·

Discuss: Hacker News

⚡Incremental Parsing

Streamlining CUB with a Single-Call API

developer.nvidia.com·12h

⏲️Embedded GC

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·2d·

Discuss: Hacker News

🗂️Type Indexing

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·20h

🔧Scheme Macros

network library for C/C++

mongoose.ws·23h·

Discuss: Hacker News

📡Network Serialization

Reduction for Structured Concurrent Programs

arxiv.org·1d

🔀Concurrency Models

Parse, don’t validate

lexi-lambda.github.io·3d

✅Type Checking

Python Pass by Reference or Value: Unraveling the Mystery

coderivers.org·7h

🌊Gradual Typing

MIT's Recursive Language Models Improve Performance on Long-Context Tasks

infoq.com·1d

🪜Recursive Descent

Loading more...