Jan Vitek - Getting everything wrong without doing anything right!

Ron Pressler - Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On

Joe Armstrong - Keynote: The Forgotten Ideas in Computer Science - Code BEAM SF 2018

Lambda World 2018 - What FP can learn from Smalltalk by Aditya Siram

John Mumm - A CRDT Primer: Defanging Order Theory

code::dive conference 2014 - Scott Meyers: Cpu Caches and Why You Care

О выразительной силе языков программирования Шрирама Кришнамурти [PWLConf 2019]

Growing a Language, by Guy Steele

Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer

Type-Driven Development in Idris — Edwin Brady

Category Theory, The essence of interface-based design - Erik Meijer

"Building Haskell Programs with Fused Effects" by Patrick Thomson

VCF East: Ken Thompson interviewed by Brian Kernighan

Surge 2013 Speaker: Bryan Cantrill

PLISS 2019

Analyzing Programs with Z3

Designing and Evaluating Reusable Components - 2004

Computer Science - Brian Kernighan on successful language design

CppCon 2018: Stoyan Nikolov “OOP Is Dead, Long Live Data-oriented Design”

John Mumm - Safely Sharing Data - Reference Capabilities in the Pony Programming Language

A Categorical View of Computational Effects