🔨 Compilers - matmat · Scour

The Complicated Nature of Programming Languages 💻Programming languages

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

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

Spinel: Ruby AOT Native Compiler 🦀Rust Macros

github.com·1d·Lobsters, Hacker News

Gecko: A fast GLR parser with automatic syntax error recovery 🌳Incremental Parsing

vnmakarov.github.io·3d·Lobsters, Hacker News, Hacker News

Writing a C Compiler, in Zig 🦀Rust Macros

ar-ms.me·2d·Hacker News

CS 7520: Programming Languages and Semantics 💻Programming languages

my.eng.utah.edu·6d

From $200 to $30: Five Layers of LLM Cost Optimization 🔍BitFunnel

blog.dwornikowski.com·1d·Hacker News

Presentations: A Guide to React Compiler Rendering 🧩WASM Components

blog.isquaredsoftware.com·1d

Formally speaking, "Transpiler" is a useless word 💻Programming languages

people.csail.mit.edu·6d·Hacker News

How to Make a Fast Dynamic Language Interpreter 🐚Bash Combinators

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

LL and LR in Context: Why Parsing Tools Are Hard 📝Parsing Grammars

blog.reverberate.org·4d

Show HN: Building compiler from scratch without the help of LLMs [video] 📝Compiler Design

youtube.com·6d·Hacker News

An Algorithmic Reconstruction of Normalisation by Evaluation ⬆️Lambda Lifting

yangzhixuan.github.io·3d·Lobsters, Hacker News

Optimizing xreferee with elemIndex ⚙️Compression Benchmarking

brandonchinn178.github.io·6d·Lobsters

Mechanistic interpretability and lean ⚔️Lean Tactics

alok.github.io·4d

Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation 🧩WASM Components

GCC 16 Compiler Nearly Ready For Release With Zen 6, AVX10.2, APX & Algol 68 🖥️Modern CPU

phoronix.com·3d·Hacker News, r/linux

A History of Clojure (HOPL IV - Papers) 🧠Lisp Dialects

hopl4.sigplan.org·4d·Hacker News

What Makes a Language Flourish? 💻Programming languages

5jt.com·3d·Hacker News

LLM-Powered Deep Parsing for Industrial Inventory Search 🧮Prolog Parsing

hackernoon.com·5d

Log in to enable infinite scrolling