Ludwig - cs/theory/compilers

LudwigAbap

Resources › cs › theory › compilers

Bookmarks

bookmark notes.eatonphil.com · 3 min Parser generators vs. handwritten parsers: surveying major language implementations in 2021 parsing

bookmark haskellforall.com · 11 min A bidirectional typechecking puzzle type systems
bookmark julesh.com · 13 min A first look at programming in Poly type systems design

bookmark proofsandintuitions.net · 29 min Verifying Move Borrow Checker in Lean: an Experiment in AI-Assisted PL Metatheory type systems proof assistants

bookmark discourse.llvm.org · 2 min BOLT Open Projects analysis optimization
bookmark cwabbottdev.blogspot.com · 1 min Compiler Theory Links code generation optimization

bookmark jimmyhmiller.com · 7 min The Easiest Way to Build a Type Checker type systems

video youtube.com · 55:03 Pyrefly: Type Checking 1.8 Million Lines of Python Per Second performance optimization type systems

bookmark discuss.ocaml.org · 1 min Book draft: “Control structures in programming languages” type systems functional

video youtube.com · 1:52:46 Sam H. Smith – Parsing without ASTs and Optimizing with Sea of Nodes – BSC 2025 intermediate representation parsing
video youtube.com · 41:31 Bidirectional Type Checking type systems type theory

bookmark neel04.github.io · 24 min PyTorch is dead. Long live JAX. distributed systems jit
bookmark stephendiehl.com · 19 min Affine Dialect and OpenMP intermediate representation optimization

bookmark dl.acm.org · 1 min Unnamed Document people parsing

video youtube.com · 1:12:33 Advanced C: The UB and optimizations that trick good programmers. c optimization
video youtube.com · 1 min I made a Compiler in 25 Days - Here is what I learned compilers intermediate representation
video youtube.com · 1 min ATTACK of the KILLER FEATURES - Martin Wickham - Software You Can Love Vancouver 2023 zig optimization
video youtube.com · 1 min Lightning Talk: Your Favorite Undefined Behavior in C++ - JF Bastien - CppNow 2023 safety optimization
video youtube.com · 1:50:14 Understanding Compiler Optimization - Chandler Carruth - Opening Keynote Meeting C++ 2015 performance optimization optimization
video youtube.com · 2:06:52 484 - All About Dat Compiler + Some Chill Browsing (TempleOS | Livestream) [2016] operating systems history

video youtube.com · 2:04:25 "Boundaries of Language Design" with Andrew Kelley & Ginger Bill code generation design
video youtube.com · 1 min What is a Lexer (No BS explanation) compilers parsing
video youtube.com · 47:55 A Type System From Scratch – Robert Widmann type systems design
video youtube.com · 1:15:45 CppCon 2017: Matt Godbolt “What Has My Compiler Done for Me Lately? Unbolting the Compiler's Lid” performance optimization analysis
video youtube.com · 1:26:47 François Chollet on OpenAI o-models and ARC code generation
video youtube.com · 49:54 2024 LLVM Developers' Meeting - Rust ❤️ LLVM llvm
video youtube.com · 23:00 Tenstorrent: Relegating the Important Stuff to the Compiler ai accelerators code generation
video youtube.com · 30:30 Grammars, parsing, and recursive descent parsing
video youtube.com · 1 min Intro to TT-Forge optimization
video youtube.com · 2:13:11 Lecture 55: Modular’s unified device accelerator language optimization
video youtube.com · 1:56:32 How the Rust Compiler Works, a Deep Dive toolchains
video youtube.com · 1 min A Hundred PyTorch Backends: Mark Saroufim at the Modular GPU Kernel Hackathon cuda code generation
video youtube.com · 41:42 Typst is pretty neat rust parsing
video youtube.com · 28:20 GOSIM CHINA 2024 - Nicholas Nethercote: Rust Compiler Overview toolchains
video youtube.com · 1:09:29 Luminal - Search-Based Deep Learning Compilers optimization
video youtube.com · 2:53:17 Is this the Future of Programming Languages? code generation
video youtube.com · 1:46:04 George Hotz | Programming | rewriting linearizer (tinygrad) | Day In The Life Of A Software Engineer cuda intermediate representation

bookmark raw.githack.com · 1h 30m Inference in Agda type systems

bookmark pldi25.sigplan.org · 1 min An MLIR Dialect for Distributed Heterogeneous Computing intermediate representation llvm

bookmark bastianhagedorn.github.io · 4h 59m High-Performance Domain-Specific Compilation Without Domain-Specific Compilers intermediate representation optimization

bookmark llvm.org · 46 min User Guide for NVPTX Back-end gpus llvm

bookmark youssefaa.com · 10 min Notes/Primer on Clang Compiler Frontend (1) : Introduction and Architecture llvm

bookmark huyenchip.com · 21 min A friendly introduction to machine learning compilers and optimizers optimization

bookmark docs.tenstorrent.com · 11 min tt-mlir documentation intermediate representation
bookmark mlir.llvm.org · 1 min Tutorials code generation intermediate representation
bookmark lastweek.io · 11 min Yizhou Shan's Home Page intermediate representation

bookmark yasserarg.com · 2 min Tilde, my LLVM alternative code generation optimization
bookmark wasmgroundup.com · 16 min A WebAssembly compiler that fits in a tweet code generation

bookmark erikeidt.github.io · 6 min The Double-E Infix Expression Parsing Method parsing

bookmark paultaylor.eu · 4h 10m Proofs and Types type systems logic logic

bookmark blog.regehr.org · 13 min How LLVM Optimizes a Function llvm optimization
bookmark sbaziotis.com · 7 min Tell the Compiler What You Know optimization
bookmark sbaziotis.com · 21 min Compiler Optimization in a Language you Can Understand optimization
bookmark sbaziotis.com · 8 min How Target-Independent is Your IR? intermediate representation

bookmark archive-pml.github.io · 1h 34m Bibliopolis-Book-retypeset-1984 type systems logic logic

bookmark andrewkelley.me · 24 min `zig cc`: a Powerful Drop-In Replacement for GCC/Clang toolchains

bookmark isuckatcs.github.io · 3 min How to Compile Your Language code generation llvm

bookmark jeremykun.com · 17 min Google’s Fully Homomorphic Encryption Compiler — A Primer specialized crypto

bookmark webassembly.org · 13 min Will I be able to access proprietary platform APIs (e.g. Android / iOS)? llvm
bookmark blog.trailofbits.com · 11 min The future of Clang-based tooling llvm

bookmark c9x.me · 2 min QBE vs LLVM llvm
bookmark c9x.me · 3 min Compiler Backend code generation intermediate representation

bookmark dzone.com · 11 min Too Fast, Too Megamorphic: what influences method call performance in Java? performance optimization jit
bookmark shipilev.net · 1 min The Black Magic of (Java) Method Dispatch performance optimization jit
bookmark colinsblog.net · 4 min Resources for Building Programming Languages llvm parsing

bookmark lambda-the-ultimate.org · 1 min Graydon Hoare: 21 compilers and 3 orders of magnitude in 60 minutes intermediate representation optimization

bookmark wilfred.me.uk · 3 min Baby Steps to a C Compiler code generation

bookmark aro.vexu.eu · 1 min Aro - a C compiler c toolchains

bookmark bernsteinbear.com · 3 min Programming languages resources code generation jit

bookmark faultlore.com · 11 min Compiler Optimizations Are Hard Because They Forget optimization

bookmark github.com · 2 min GitHub - DoctorWkt/acwj: A Compiler Writing Journey code generation parsing
bookmark externals.io · 1 min A new JIT engine for PHP-8.4/9 intermediate representation jit

bookmark 2017.ecoop.org · 1 min Compiling tree transforms to operate on packed representations code generation

bookmark ralfj.de · 12 min Undefined Behavior deserves a better reputation optimization rust
bookmark cis.upenn.edu · 52 min KHM+15 c research

bookmark sh4dy.com · 2 min Learning LLVM (Part-1) - Writing a simple LLVM pass llvm
bookmark typesanitizer.com · 12 min Zig-style generics are not well-suited for most languages type systems design

bookmark medium.com · 7 min Manually linking Rust binaries to support out-of-tree LLVM passes linkers llvm
bookmark blog.mozilla.org · 9 min How to speed up the Rust compiler one last time performance optimization optimization
bookmark nnethercote.github.io · 4 min How to speed up the Rust compiler in March 2024 compilers optimization

bookmark github.com · 1 min jamiebuilds/the-super-tiny-compiler: :snowman: Possibly the smallest compiler ever code generation parsing

bookmark scontent.fbeg1-1.fna.fbcdn.net · 1h 0m 448997590_1496256481254967_2304975057370160015_n efficiency optimization

bookmark mitchellh.com · 15 min Zig Parser parsing

bookmark robert.ocallahan.org · 6 min What Is The Minimal Set Of Optimizations Needed For Zero-Cost Abstraction? optimization
bookmark outerproduct.net · 4 min Your ABI is Probably Wrong ffi code generation
bookmark blog.kevmod.com · 5 min Why is Python slow performance optimization jit

bookmark blog.llvm.org · 9 min What Every C Programmer Should Know About Undefined Behavior #1/3 c optimization

bookmark archive.org · 1 min Principles of compiler design code generation parsing

bookmark langdev.stackexchange.com · 11 min How should I read type system notation? type systems

bookmark brinckerhoff.org · 2h 54m essentials-of-compilation code generation parsing

bookmark arxiv.org · 59 min MLIR: A Compiler Infrastructure for the End of Moore's Law intermediate representation
bookmark jeremykun.com · 13 min MLIR — Getting Started intermediate representation llvm

bookmark mcyoung.xyz · 31 min A Gentle Introduction to LLVM IR intermediate representation llvm

bookmark craftinginterpreters.com · 1 min Ever wanted to make your own programming language or wondered how they are designed and built? intermediate representation parsing

Subcategories