⚙️ PL Implementation - matmat · Scour

The Complicated Nature of Programming Languages 💻Programming languages

functiondispatch.substack.com·1d·r/programming

Regiux: prototyping a fast Nix interpreter (lixcon2026) 🦀Rust Borrowing

cdn.media.ccc.de·6d

Two Compilers, One Moment 🏗️Compiler Archaeology

intertwingly.net·1h·Hacker News

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs 🎯Performance Proofs

Create Your Own LLVM Pass as a Plugin (Step-by-Step Guide) 🏭Compiler Backends

compilersutra.com·4d·DEV

llmrb/llm.rb: Ruby's most capable AI runtime 🧩WASM Components

github.com·1d·Lobsters

CppCast: Compiler Warnings as Errors with Keith Stockdale 📜Proof Carrying Code

cppcast.com·5d·r/cpp

How Dolt Represents and Evaluates Queries: A Case Study 🗃️Database Storage

dolthub.com·5d

Conflating Ego with Intelligence 🔲Cellular Automata

artagnon.com·5d·Hacker News

The Center Will Not Hold review – a compelling conversation between US dance styles 🎭Cinema Acoustics

theguardian.com·6d

Spinel: Ruby AOT Native Compiler 🦀Rust Macros

github.com·1d·Lobsters, Hacker News

How to Make a Fast Dynamic Language Interpreter 🐚Bash Combinators

zef-lang.dev·4d·Lobsters, Hacker News, r/programming

Extending Contract Verification for Parallel Programming Models to Fortran ⚡Parallel Computing

Back to the future | Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications 🌐Protocol Synthesis

LLM-Guided Strategy Synthesis for Scalable Equality Saturation 📐E-graphs

Flint: Compiler Enabled Cluster-Free Design Space Exploration for Distributed ML 📼Tape Combinators

Compiling Deterministic Structure into SLM Harnesses 🔨Compilers

Evaluating SYCL as a Unified Programming Model for Heterogeneous Systems 🔤DSLs

Layer-wise MoE Routing Locality under Shared-Prefix Code Generation: Token-Identity Decomposition and Compile-Equivalent Fork Redundancy 📼Cassette Combinators

HELIX: Verified compilation of cyber-physical control systems to LLVM IR ⚖️RISC-V Formal

Log in to enable infinite scrolling