Chapters
Transcript
Episode notes
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
Introduction
00:00 • 2min
Softer Verification - What Is It?
02:09 • 3min
Programming Languages - What You Mean by Undecidability?
04:45 • 5min
Tests and Tests in Programming
09:50 • 3min
Is There a Way to Speed Up Execution?
12:39 • 2min
Compiler Verification
14:12 • 4min
Super Super Optimization - How to Prove Equivalents
18:36 • 3min
Compiler Architecture
21:36 • 5min
Is Super Optimization a Way to Improve Compiler Development?
26:35 • 3min
The Trade Off Between Industrial and Research
29:36 • 2min
The Connection Between User and Compiler
31:53 • 3min
How to Improve the Runtime of a Critical Programming Program
35:11 • 2min
Compiler Benchmarking
37:40 • 2min
Fdo Is an Interesting Kind of Example on a Spectrum, Right?
40:08 • 3min
Compiler Optimisation
43:13 • 2min
What Has It Been Like Changing Languages?
45:22 • 3min
O'Camell as a Language to Work In?
48:25 • 3min
The Structure of the C++ Compiler and How It Affects the Cogeneration Process
51:36 • 4min
How Well Adapted Is O Camel to Arm?
55:23 • 3min
Is This an Area We'll Start to Care About More?
57:59 • 4min
The Challenges of Working on a Camal Language
01:01:38 • 4min
Is It a Cogeneration for a Camel?
01:05:20 • 3min
The Importance of Modularity in a Compiler
01:08:29 • 2min