Play allCompilers and interpreters
477 videos • 417 hr 49 min
Part of Systems programming. Ordered by how many people recommended each video and for how long; 60 are classics.
1 2 How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework
Видео с мероприятий {speach!
Recommended by 16 •
Classic3 4 CppCon 2016: Jason Turner “Rich Code for Tiny Computers: A Simple Commodore 64 Game in C++17”
CppCon
Recommended by 15 •
Classic5 6 Finding the Missing Memristor - R. Stanley Williams
The Qualcomm Institute
Recommended by 12 •
Classic7 8 Compiling C to printable x86, to make an executable research paper
suckerpinch
Recommended by 10 •
Classic9 "Outperforming Imperative with Pure Functional Languages" by Richard Feldman
Strange Loop Conference
Recommended by 10 •
Classic10 Clasp: Common Lisp using LLVM and C++ for Molecular Metaprogramming
Google TechTalks
Recommended by 9 •
Classic11 CppCon 2017: Matt Godbolt “What Has My Compiler Done for Me Lately? Unbolting the Compiler's Lid”
CppCon
Recommended by 10 •
Classic12 A Talk Near the Future of Python (a.k.a., Dave live-codes a WebAssembly Interpreter)
David Beazley
Recommended by 9 •
Classic13 Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
Adrian Crenshaw
Recommended by 7 •
Classic14 15 16 17 18 19 20 21 22 Into the Core - Squeezing Haskell into Nine Constructors by Simon Peyton Jones
Erlang Solutions
Recommended by 4 •
Classic23 24 Java on a 1000 Cores - Tales of Hardware / Software CoDesign
Google TechTalks
Recommended by 5 •
Classic25 26 27 28 29 Saša Jurić - Parsing from first principles - WebCamp Zagreb 2019
WebCamp Zagreb
Recommended by 4 •
Hidden gem30 "A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference
Recommended by 5 •
Classic31 "Tree-sitter - a new parsing system for programming tools" by Max Brunsfeld
Strange Loop Conference
Recommended by 5 •
Classic32 33 Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On!
Recommended by 4 •
Hidden gem34 35 36 Modernizing Compiler Design for Carbon Toolchain - Chandler Carruth - CppNow 2023
CppNow
Recommended by 4 •
37 SPJ: Pursuing a Trick a Long Way, Just To See Where It Goes
André Popovitch
Recommended by 3 •
Hidden gem38 "Liberating the Smalltalk lurking in C and Unix" by Stephen Kell
Strange Loop Conference
Recommended by 4 •
Classic39 40 41 42 43 Fil-C: Garbage In, Memory Safety Out! - Filip Pizlo | SSW 2026
Software Should Work
Recommended by 3 •
Recent pick44 "Pixie - A Lightweight Lisp with 'Magical' Powers" by Timothy Baldridge
Strange Loop Conference
Recommended by 4 •
45 Next-gen Haskell Compilation Techniques with Csaba Hruska
Berlin Functional Programming Group
Recommended by 3 •
Hidden gem46 CUFP 2013: Julien Verlaguet, Facebook: Analyzing PHP statically
CUFP 2013
Recommended by 4 •
Hidden gem47 Chris Lattner: Compilers, LLVM, Swift, TPU, and ML Accelerators | Lex Fridman Podcast #21
Lex Fridman
Recommended by 4 •
Classic48 49 50 51 52 53 54 CppCon 2015: Chandler Carruth "Tuning C++: Benchmarks, and CPUs, and Compilers! Oh My!"
CppCon
Recommended by 4 •
Classic55 2016 LLVM Developers’ Meeting: D. Dunbar “A New Architecture for Building Software”
LLVM
Recommended by 3 •
Hidden gem56 CppCon 2016: Chandler Carruth “Garbage In, Garbage Out: Arguing about Undefined Behavior..."
CppCon
Recommended by 5 •
Classic57 "Let's Build a Hygienic Macro Expander" by Matthew Flatt
Strange Loop Conference
Recommended by 3 •
Classic58 59 60 61 Lennart Augustsson - MicroHaskell
Chalmers Functional Programming Seminar Series
Recommended by 3 •
Hidden gem62 63 64 65 How Lisp is designing Nanotechnology (with Prof. Christian Schafmeister)
Developer Voices
Recommended by 3 •
66 67 68 "Performance (Really) Matters" with Emery Berger
Association for Computing Machinery (ACM)
Recommended by 3 •
Classic69 70 Write a GHC extension in 30 minutes by Richard Eisenberg
Zürich Friends of Haskell
Recommended by 2 •
Hidden gem71 Flutter, Dart, and WASM-GC: A new model for Web applications by Kevin Moore @ Wasm I/O 2023
WASM I/O
Recommended by 2 •
72 73 74 75 Ziglibc: Sweeping out the rug from underneath C - Jonathan Marler - Software You Can Love 2022
Zig SHOWTIME
Recommended by 2 •
76 77 78 79 C++Now 2018: Matt Godbolt “What Else Has My Compiler Done For Me Lately?”
CppNow
Recommended by 3 •
Hidden gem80 81 82 Chris Lattner: The Future of Computing and Programming Languages | Lex Fridman Podcast #131
Lex Fridman
Recommended by 3 •
83 84 Stitch: The Sound Type-Indexed Type Checker (Functional Pearl)
ACM SIGPLAN
Recommended by 2 •
Hidden gem85 86 Locknote: How Badly Do We Want Correct Compilers? - John Regehr - NDC TechTown 2023
NDC Conferences
Recommended by 2 •
Hidden gem87 What's Bad About Julia | Jeff Bezanson | JuliaCon 2019
The Julia Programming Language
Recommended by 3 •
Classic88 89 Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy
Ryan Peterman
Recommended by 2 •
Recent pick90 Compose Conference - Pi-Forall: How to use and implement a dependently-typed language
NYC Haskell User's Group
Recommended by 2 •
Hidden gem91 04 An Optimizing Compiler for a Purely Functional Web Application Language
ICFP Video
Recommended by 2 •
Hidden gem92 93 94 95 96 97 Accelerating the Zig Tokenizer (with AVX-512) - Niles Salter
Zig SHOWTIME
Recommended by 2 •
Recent pick98 Stephanie Weirich on From System F to Typed Assembly Language
Papers We Love Philadelphia
Recommended by 2 •
Hidden gem99 Clockwork Clojure: A Protocol-Powered Runtime for Composable Evaluation - Ferri
ClojureTV
Recommended by 2 •
Hidden gem100 101 102 103 104 How the TypeScript Compiler Compiles - understanding the compiler internal
orta therox
Recommended by 2 •
105 106 In search of software perfection - 2016 Milner Award lecture by Dr Xavier Leroy.
The Royal Society
Recommended by 2 •
Hidden gem107 Executable Grammars: Seeking the minimal extensible self-compiling compiler
Stanford
Recommended by 2 •
Hidden gem108 HIW 2014: Lennart Augustsson: Better type-error messages
Malcolm Wallace
Recommended by 2 •
Hidden gem109 110 111 Lisp at the Frontier of Computation, by Robert Smith at Rigetti Computing
Arthur Gleckler
Recommended by 3 •
Hidden gem112 Clasp: Common Lisp using LLVM and C++ for Designing Molecules
Google TechTalks
Recommended by 2 •
Classic113 114 115 116 117 118 39C3 - From Silicon to Darude Sand-storm: breaking famous synthesizer DSPs
media.ccc.de
Recommended by 2 •
119 120 121 What Spectre Means for Lanugage Implementers - Ben Titzer - PLISS 2019
PLISS
Recommended by 2 •
Hidden gem122 "Boundaries of Language Design" with Andrew Kelley & Ginger Bill
Mr. 4th Programming
Recommended by 2 •
123 124 Keynote: What is a Component (and Why)? - Luke Wagner, Distinguished Engineer, Fastly
The Linux Foundation
Recommended by 3 •
Hidden gem125 126 CheerpX: a WebAssembly-based x86 virtual machine in the browser, Yuri Iozzelli
WebAssembly NA
Recommended by 2 •
Classic127 128 129 130 Jonathan Worthington - RakuAST - Raku Keynote
The Perl and Raku Conference - Greenville, SC 2026
Recommended by 1 •
131 Optimizing Trees — How to Create a Compiler part 2/5 — Simple optimizations to a program in an AST
Bisqwit
Recommended by 3 •
132 CppCon 2017: John Regehr “Undefined Behavior in 2017 (part 1 of 2)”
CppCon
Recommended by 2 •
Hidden gem133 134 C++ Exceptions Reduce Firmware Code Size - Khalil Estell - ACCU 2024
ACCU Conference
Recommended by 2 •
Hidden gem135 Todd Mortimer Removing ROP Gadgets from OpenBSD EuroBSDCon 2018
Tom Smyth
Recommended by 2 •
Hidden gem136 ICFP 2014: Hindley-Milner Elaboration in Applicative Style (Functional Pearl) - Francois Pottier
Malcolm Wallace
Recommended by 2 •
Classic137 138 139 140 Understanding Compiler Optimization - Chandler Carruth - Opening Keynote Meeting C++ 2015
Meeting Cpp
Recommended by 3 •
141 @lexi_lambda: How to make a Haskell program 5x faster with 16 lines of code
Tweag by Modus Create
Recommended by 1 •
142 143 Defining Target Machines — How to Create a Compiler part 5b/5 — Data oriented programming
Bisqwit
Recommended by 2 •
144 "An Introduction to Combinator Compilers and Graph Reduction Machines" by David Graunke
Strange Loop Conference
Recommended by 2 •
Hidden gem145 [normalized Sound] A deep dive into dispatching techniques - Jonathan Müller - Meeting C++ 2022
Meeting Cpp
Recommended by 2 •
Hidden gem146 147 2023 LLVM Dev Mtg - Mojo 🔥: A system programming language for heterogenous computing
LLVM
Recommended by 2 •
Recent pick148 Dublin Kotlin Meetup - A Functional Approach to Exception Handling & Writing Kotlin Compiler Plugins
Dublin Kotlin User Group
Recommended by 2 •
Hidden gem149 Andrew Shitov. Perl 6 grammars for simple compilers (lightning talk)
Andrey Shitov
Recommended by 1 •
Classic150 151 152 TypeScript is being ported to Go | interview with Anders Hejlsberg
Michigan TypeScript
Recommended by 3 •
153 154 JavaScript Engines: The Good Parts™ - Mathias Bynens & Benedikt Meurer - JSConf EU 2018
JSConf
Recommended by 1 •
155 156 157 Jeffrey M. Siskind – The tension between convenience and performance in automatic differentiation
MILA: Montreal Institute for Learning Algorithms
Recommended by 2 •
Hidden gem158 159 160 MuniHac 2018: Keynote: A low-latency garbage collector for GHC
TNG Technology Consulting GmbH
Recommended by 1 •
161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 Bare Metal Embedded C Lecture 1: Build Process Explained
Fastbit Embedded Brain Academy
Recommended by 1 •
177 Bare Metal Embedded C Lecture 4: Writing Linker Scripts and Section Placement
Fastbit Embedded Brain Academy
Recommended by 1 •
178 Bare Metal Embedded C Lecture 2: Makefile and Relocatable Object File Analysis
Fastbit Embedded Brain Academy
Recommended by 1 •
179 Bare Metal Embedded C Lecture 5: Linking and Analyzing the Memory Map File
Fastbit Embedded Brain Academy
Recommended by 1 •
180 181 @lexi_lambda: The GHC strictness analyzer, unboxing, and the worker-wrapper transformation
Tweag by Modus Create
Recommended by 1 •
182 183 Building A Language Parser and Interpreter [Parser Combinators from Scratch] Episode 5
Low Byte Productions
Recommended by 1 •
184 185 186 Introduction to Haskell execution and garbage collection internals – Maxim Koltsov
Serokell
Recommended by 1 •
187 188 189 190 Hack.lu 2017 Lightning Talk: RetDec: An Open-Source Machine-Code Decompiler by Peter Matula
Cooper
Recommended by 1 •
191 Using Logic Programming to Recover C++ Classes and Methods from Compiled Executables
Association for Computing Machinery (ACM)
Recommended by 1 •
192 193 194 Functional Programmers Paris - Building a language, in Haskell, with an LLVM backend
Daniel Gazard
Recommended by 1 •
195 DConf 2016 Day 2 Keynote: Spelunking D Compiler Internals -- Walter Bright
The D Language Foundation
Recommended by 2 •
Hidden gem196 197 198 199 200 201 202 Parser and Lexer — How to Create a Compiler part 1/5 — Converting text into an Abstract Syntax Tree
Bisqwit
Recommended by 2 •
203 204 205 206 207 Daniel Beskin at #ScalaUA - Compile Time Logic Programming in Scala
ScalaUA Conference
Recommended by 1 •
208 209 210 211 212 213 214 LiveCoding 3 - Writing a Turing Complete Langauge with CaffeineEight - (tutorial)
Code & Optimism
Recommended by 1 •
215 Mike Fikes explains the ClojureScript Compiler (from https://cljs.pro)
Chris Oakman
Recommended by 1 •
216 Introduction to Scala 3 Macros - How Macros Work, Quoting, Matching and Reflection
Rock the JVM
Recommended by 1 •
217 218 219 220 Into the Core Squeezing Haskell into nine Constructors - Simon Peyton Jones | ZuriHac 2022
OST – Ostschweizer Fachhochschule
Recommended by 1 •
221 222 223 224 225 226 "Rusty Runtimes: Building Languages In Rust" by Aditya Siram
Strange Loop Conference
Recommended by 2 •
Hidden gem227 228 Handmade Hero Chat 013 - Translation Units, Function Pointers, Compilation, Linking, and Execution
Molly Rocket
Recommended by 1 •
229 230 231 232 Ilfak Guilfanov - Decompiler internals: Microcode [RootedCON 2018 - ENG]
Rooted CON
Recommended by 1 •
233 234 235 Horace He: Building Machine Learning Systems for a Trillion Trillion Floating Point Operations
Jane Street
Recommended by 2 •
Recent pick236 237 238 239 240 241 Dangerous Optimizations in C and C++ Programming Languages - Robert C. Seacord - ACCU 2025
ACCU Conference
Recommended by 1 •
242 243 Kotlin: Decompiled – How its features are represented on the JVM
The Self-Taught Software Engineer
Recommended by 1 •
244 245 246 247 248 249 250 251 GNU poke: an extensible editor for structured binary data - GNU Tools Cauldron 2019
GNU Tools Cauldron
Recommended by 1 •
252 253 Compile time reference counting & Lifetime Analysis in Lobster
Wouter van Oortmerssen
Recommended by 1 •
254 Ints, Uints, and Parsing an IP Packet Header [Parser Combinators From Scratch] Episode 7
Low Byte Productions
Recommended by 1 •
255 256 257 258 259 260 261 Tree-sitter: a new parsing system for programming tools - GitHub Universe 2017
GitHub
Recommended by 2 •
Classic262 263 264 265 Chris Seaton @ VMSS16: JRuby+Truffle: Why it’s Important to Optimise the Tricky Parts
softdevteamuk
Recommended by 2 •
Hidden gem266 267 Ones and Zeros: Binary Part 1 [Parser Combinators from Scratch] Episode 6
Low Byte Productions
Recommended by 1 •
268 How Do We Make LLVM Quantum? - Josh Izaac @ Quantum Village, DEF CON 32
Quantum Village
Recommended by 2 •
Hidden gem269 GeeCON Prague 2017: Chris Thalinger - Twitter's quest for a wholly Graal runtime
geecon conference
Recommended by 1 •
270 271 272 Lambda Days 2018 - Jarek Ratajski - Beauty and the beast Haskell on JVM
Erlang Solutions
Recommended by 1 •
273 clojureD 2018: "Implementing Clojure on a new VM - A Walkthrough" by Juan Facorro
:clojureD
Recommended by 1 •
274 Jubi Taneja presents "Improving Compiler Construction Using Formal Methods"
Berkeley Programming Systems
Recommended by 1 •
275 How Parser Combinators Work [Parser Combinators From Scratch] Episode 1
Low Byte Productions
Recommended by 2 •
276 277 278 279 2019 LLVM Developers’ Meeting: S. Haastregt & A. Stulova “An overview of Clang ”
LLVM
Recommended by 1 •
280 Building SDL2 applications with TCC, The Tiny C Compiler, on Windows
AtoZ Programming Tutorials
Recommended by 1 •
281 282 30 Years Inside the BEAM: Björn Gustafsson on Building Erlang's Runtime
BEAM There, Done That
Recommended by 1 •
Recent pick283 284 DConf 2014 Day 2 Talk 2: Refactoring JIT Compilation by Maxime Chevalier-Boisvert
Maxime Chevalier
Recommended by 2 •
Hidden gem285 286 287 288 289 290 291 Louis Pilfold on Building Gleam - Static Types on the BEAM
BEAM There, Done That
Recommended by 1 •
Recent pick292 293 294 Inside the BEAM JIT: How Lukas Backström Made Erlang Faster
BEAM There, Done That
Recommended by 1 •
Recent pick295 296 ElixirConf 2019 - Day 1 Morning Keynote - Brian Cardarella, Luke Imhoff, Paul Schoenfelder
ElixirConf
Recommended by 1 •
297 MuniHac 2018: Keynote: The Curious Case of Pattern-Match Coverage Checking
TNG Technology Consulting GmbH
Recommended by 1 •
298 299 300 301 302 303 304 "Parser Parser Combinators for Program Transformation" by Rijnard van Tonder
Strange Loop Conference
Recommended by 1 •
305 306 Nuno Lopez 2022-10-08 11:00 GEP Pavillon Workshop on Dependable and Secure Software Systems
ETH WSCR
Recommended by 1 •
307 308 309 310 Richard Eisenberg on Simplifying Constraint Solving in GHC
Berlin Functional Programming Group
Recommended by 1 •
311 312 2017 03 09 - Joachim Breitner - Why use theorem provers when we have compilers
Simon Meier
Recommended by 1 •
313 314 Java Performance Myths: JIT vs AOT, GraalVM, Compilers – Thomas Wuerthinger | The Marco Show
IntelliJ IDEA, a JetBrains IDE
Recommended by 1 •
315 316 WebAssembly: What and What Next? • Ben Titzer & Andreas Rossberg • GOTO 2017
GOTO Conferences
Recommended by 1 •
317 Simon Peyton Jones - Revisiting pattern match overlap checks in Haskell | Code Mesh LDN 19
Code Sync
Recommended by 1 •
318 Jeremy G. Siek - Crash Course on Notation in Programming Language Theory (Part 1) - λC 2018
LambdaConf
Recommended by 1 •
319 320 321 Deep .NET: An even DEEPER Dive into LINQ with Stephen Toub and Scott Hanselman
dotnet
Recommended by 1 •
322 MakeCode Arcade with Static TypeScript - Tom Ball & Holly Mitchell
SitePen
Recommended by 2 •
Hidden gem323 324 325 Optimizing Compilers for Parallel Computers, lecture by Frances E. Allen
Computer History Museum
Recommended by 2 •
Hidden gem326 Structures de contrôle : de « goto » aux effets algébriques (14) - Xavier Leroy (2023-2024)
Mathématiques et informatique - Collège de France
Recommended by 2 •
Hidden gem327 C++ as Assembly 2.0 - Hello Nim - Viktor Kirilov - code::dive 2019
code::dive conference
Recommended by 1 •
328 Ajhc Haskell compiler can create Haskell Apps running on Android NDK!
Metasepi Project
Recommended by 1 •
329 "From JVM to JS: Implementing Math Functions in ClojureScript" by Paula Gearon
ClojureTV
Recommended by 1 •
330 331 332 Opening Ceremony & Rob Rix - “Languages all the way down” @ ZuriHac 2020
Zürich Friends of Haskell
Recommended by 1 •
333 Build a Markdown Parser in Haskell with Megaparsec | Complete Tutorial
Purely Haskell
Recommended by 1 •
334 335 336 337 How Compilers Work: Introduction to LLVM Passes - Andrzej Warzynski - C++ on Sea 2022
cpponsea
Recommended by 1 •
338 339 340 341 CANDO: A Compiled Programming Language for Computer-Aided Nanomaterial Design and Optimization
European Lisp Symposium
Recommended by 2 •
Hidden gem342 Scala project from scratch #3 - compiling the client with GraalVM Native Image
Jakub Kozłowski
Recommended by 1 •
343 344 345 Scala Space Podcast: The Future of Scala IDEs with Igal Tabachnik and Jędrzej Rochala
Scala Space
Recommended by 1 •
346 347 348 349 350 351 352 353 354 355 babashka and sci - Clojure command line tool internals - Michiel Borkent
London Clojurians
Recommended by 1 •
356 MicroHs, a tiny Haskell Compiler – Lennart Augustsson (Language Pioneer & Compiler Expert)
OST – Ostschweizer Fachhochschule
Recommended by 1 •
357 358 359 360 PLSE Seminar Series: Amal Ahmed, "Compositional Compiler Verification for a Multi-Language World"
UW PLSE
Recommended by 1 •
361 362 Arne Martin Aurlien: Implement an Esoteric Programming Language for Fun | JSConf EU 2014
JSConf
Recommended by 2 •
363 364 365 The Future of Write Once, Run Anywhere: From Java to WebAssembly by Patrick Ziegler & Fabio Niephaus
WASM I/O
Recommended by 1 •
366 367 Ben Lynn on "MacGyver's Haskell Compiler" @ZuriHac2023
OST – Ostschweizer Fachhochschule
Recommended by 1 •
368 369 The entire history of the #JVM from #JDK & #JRE to #Graal & #GraalVM in ONE video!
DevInsideYou
Recommended by 1 •
370 Coding in the 3DO M2 SDK - Tech Deep End - Video Game Esoterica
Video Game Esoterica
Recommended by 1 •
371 372 Artyom Kuznetsov - GHC: Dependency Analysis of Haskell Declarations
Zürich Friends of Haskell
Recommended by 1 •
373 374 !!Con 2019- Tail Call Optimization: The Musical!! by Anjana Vakil & Natalia Margolis
Confreaks
Recommended by 1 •
375 376 377 378 379 380 HaskellerZ - January 2020 - Marion Schleifer & Alexis King - Open-Source GraphQL Engine in Haskell
Zürich Friends of Haskell
Recommended by 1 •
381 382 Discussing Vulkan, Neural Rendering, SLANG, AI & More - Neil Trevett & Khronos Group Interview
RedGamingTech
Recommended by 1 •
Recent pick383 384 385 386 Bracer: Transforming Real-World Languages with Coproducts and Recursion Schemes - Patrick Thomson
Maitria Alex Harms
Recommended by 1 •
387 388 389 390 Oh the things you’ll compile - modern WebAssembly (Chrome Dev Summit 2019)
Chrome for Developers
Recommended by 1 •
391 392 RustConf 2019 - Rust for Weld, a High Performance Parallell JIT Compiler by Shoumik Palkar
Rust Programming Language
Recommended by 1 •
393 394 395 396 Gus Smith's Generals Talk: Generating Compiler Backends from Formal Models of Hardware
Gus Smith
Recommended by 1 •
397 Cliff Click — The Sea of Nodes and the HotSpot JIT
Joker — Конференция о будущем разработки
Recommended by 2 •
Hidden gem398 2015 LLVM Developers’ Meeting: Hans Wennborg "The recent switch lowering improvements"
LLVM
Recommended by 2 •
Classic399 400 401 402 FFI in Miri at 8000 segfaults per second (Nia Deckers at RustWeek)
RustNL
Recommended by 1 •
Recent pick403 Erlang Master Class 1: Video 1 - Introduction to language processing
Kent Computing
Recommended by 1 •
404 CASA Distinguished Lecture with Andreas Zeller (CISPA Helmholtz Center for Information Security)
CASA - Cluster of Excellence for Cybersecurity
Recommended by 1 •
405 406 407 GopherCon 2017: Generating Better Machine Code with SSA - Keith Randall
Gopher Academy
Recommended by 2 •
Classic408 409 Tutorial: Building the Simplest Possible Linux System - Rob Landley, se-instruments.com
The Linux Foundation
Recommended by 1 •
410 *(char*)0 = 0; - What Does the C++ Programmer Intend With This Code? - JF Bastien - C++ on Sea 2023
cpponsea
Recommended by 1 •
411 412 Data-Oriented Design Revisited: Type Safety in the Zig Compiler - Matthew Lugg
Zig SHOWTIME
Recommended by 1 •
413 414 415 416 417 418 419 420 421 422 Bridging the Gap Between Languages (with Martin Johansen)
Developer Voices
Recommended by 2 •
Hidden gem423 [ICFP'23] Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebr...
ACM SIGPLAN
Recommended by 1 •
424 425 426 427 Stuck macros: deterministically interleaving macro-expansion and typechecking
Compose Conference
Recommended by 1 •
428 R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments
ACM SIGPLAN
Recommended by 1 •
429 430 431 432 433 434 RubyConf 2016 - Ruby’s C Extension Problem and How We're Solving It by Chris Seaton
Confreaks
Recommended by 1 •
435 Quarkus and GraalVM: booting Hibernate at supersonic speed, subatomic size by Sanne Grinovero
Devoxx
Recommended by 1 •
436 437 438 439 440 441 Mojo Lang - Tomorrow's High Performance Python? (with Chris Lattner)
Developer Voices
Recommended by 1 •
442 Swift for TensorFlow: The Next-Generation Machine Learning Framework (TF Dev Summit '19)
TensorFlow
Recommended by 1 •
443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 WebAssembly in Production: A Compiler in a Web Page • Brian Carroll • GOTO 2023
GOTO Conferences
Top upload •
461 462 463 464 465 466 467 468 Keynote: Safety, Security, Safety and C / C++ - C++ Evolution - Herb Sutter - ACCU 2024
ACCU Conference
Top upload •
469 470 471 472 473 474 475 476 477






























































![[HIW'22] State of GHC](https://i.ytimg.com/vi/gJSTSkI0Uj8/maxresdefault.jpg)
















































![[POPL'25] Maximal Simplification of Polyhedral Reductions](https://i.ytimg.com/vi/AFH6dDpfsE4/maxresdefault.jpg)



![[ICFP'24] Orange 3 - Haskell (Sep 7th)](https://i.ytimg.com/vi/uMurx1a6Zck/maxresdefault.jpg)





















![[HIW'23] GHC status report](https://i.ytimg.com/vi/LFIL0myeOlo/maxresdefault.jpg)





![[normalized Sound] A deep dive into dispatching techniques - Jonathan Müller - Meeting C++ 2022](https://i.ytimg.com/vi/P4BUvMmdTMU/maxresdefault.jpg)







![[PADL'23] Modern Macros](https://i.ytimg.com/vi/YMUCpx6vhZM/maxresdefault.jpg)





























![Building A Language Parser and Interpreter [Parser Combinators from Scratch] Episode 5](https://i.ytimg.com/vi/PzodUuERBZc/maxresdefault.jpg)














![[POPL 2021] CoqPL: Verifying a compiler through equational means](https://i.ytimg.com/vi/Qj8dGo010zI/maxresdefault.jpg)






















![[GPCE] Language Design meets Verifying Compilers](https://i.ytimg.com/vi/fWSGhxyTG-4/maxresdefault.jpg)










![Ilfak Guilfanov - Decompiler internals: Microcode [RootedCON 2018 - ENG]](https://i.ytimg.com/vi/Btba9Q5Fq7k/maxresdefault.jpg)
![[PLMW'22] Implementing Languages for Fun and Profit](https://i.ytimg.com/vi/tdg03gEbyS8/maxresdefault.jpg)




















![Ints, Uints, and Parsing an IP Packet Header [Parser Combinators From Scratch] Episode 7](https://i.ytimg.com/vi/X1sKg0_r4JM/maxresdefault.jpg)












![Ones and Zeros: Binary Part 1 [Parser Combinators from Scratch] Episode 6](https://i.ytimg.com/vi/ZgHlc3Q2YjU/maxresdefault.jpg)


![AoC 2021 Day 24 using Go [Compiler Analysis]](https://i.ytimg.com/vi/hmq6veCFo0Y/maxresdefault.jpg)




![How Parser Combinators Work [Parser Combinators From Scratch] Episode 1](https://i.ytimg.com/vi/6oQLRhw5Ah0/maxresdefault.jpg)





































![[OOPSLA'25] The Simple Essence of Monomorphization](https://i.ytimg.com/vi/xqoTzQ9b9S0/maxresdefault.jpg)




















![[VDZ19] Eta lang - Haskell On JVM by Jarek Ratajski](https://i.ytimg.com/vi/7U9rDg4Pfdc/maxresdefault.jpg)














































































![[ML'23] Modernizing Standard ML of New Jersey: A Status Report](https://i.ytimg.com/vi/fJPN_NOJlmc/maxresdefault.jpg)









![[ICFP'23] Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebr...](https://i.ytimg.com/vi/l6Q1SexHkio/maxresdefault.jpg)















































![Don't constexpr All the Things - David Sankel [CppNow 2021]](https://i.ytimg.com/vi/NNU6cbG96M4/maxresdefault.jpg)
![A Tour of Julia - Erik Engheim [ ACCU 2021 ]](https://i.ytimg.com/vi/wU6c8CDRXJE/maxresdefault.jpg)




