Favorites
(0)
Conferences
(110)
Latest events:
Euruko 2021
GatsbyConf 2021
Next.js Conf 2020
Topics:
JavaScript
(559)
React
(505)
Python
(295)
Android
(275)
PHP
(225)
Ember
(192)
Frontend
(186)
Ruby
(172)
Testing
(150)
Rails
(142)
DevOps
(135)
React Native
(132)
GraphQL
(129)
Angular
(115)
Vue
(109)
Open Source
(82)
Databases
(78)
Flutter
(78)
C++
(77)
Clojure
(76)
Software Development
(76)
Docker
(71)
Kotlin
(68)
CSS
(65)
Node.js
(59)
Swift
(56)
Next.js
(52)
NGINX
(50)
Design Patterns
(48)
Kubernetes
(48)
Go
(46)
Big Data
(45)
Django
(45)
Machine Learning
(41)
.NET
(39)
iOS
(39)
Jamstack
(38)
Developer Community
(37)
Game Development
(35)
Haskell
(35)
Laravel
(33)
Backend
(32)
GatsbyJS
(31)
Serverless
(31)
Compilers & Interpreters
(30)
Java
(30)
Debugging
(29)
Erlang
(29)
Firebase
(26)
Redux
(26)
Functional Programming
(25)
Language Design
(25)
SQL
(25)
Web Development
(23)
Elixir
(22)
AWS
(20)
Rust
(20)
TypeScript
(20)
Hardware
(19)
Data Structures & Algorithms
(15)
HTML
(15)
Electron
(14)
Julia
(13)
Scala
(13)
JSON
(12)
WebAssembly
(12)
Webpack
(12)
Lisp
(11)
System Architecture
(11)
Distributed Systems
(10)
PostgreSQL
(10)
Secutiry
(10)
Software Design
(10)
Agile
(9)
Gradle
(9)
Linux
(9)
Mathematics
(9)
Programming Languages
(9)
Symfony
(9)
Cognitive Development
(8)
Elm
(8)
MongoDB
(8)
Theoretical Computer Science
(8)
Creative Technology
(7)
Cryptocurrencies
(7)
Idris
(7)
Web Components
(7)
Blockchain
(6)
C#
(6)
Meteor
(6)
MySQL
(6)
SVG
(6)
Test-Driven Development
(6)
Backbone.js
(5)
Computer Graphics and Vision
(5)
Computer History
(5)
Data Science
(5)
Git
(5)
Operating Systems
(5)
Racket
(5)
APL
(4)
Apache
(4)
Artificial Intelligence
(4)
Assembly
(4)
Elasticsearch
(4)
Entrepreneurship
(4)
Pair Programming
(4)
UI & UX
(4)
Unison
(4)
VimL
(4)
Logic Programming
(3)
Methodologies
(3)
OCaml
(3)
Performance Engineering
(3)
Program Synthesis
(3)
Prolog
(3)
Redis
(3)
Scheme
(3)
Smalltalk
(3)
Type Theory
(3)
Bash
(2)
Bootstrap
(2)
Bower
(2)
Ceylon
(2)
CouchDB
(2)
Crystal
(2)
D
(2)
D3.js
(2)
Debian
(2)
Hackett
(2)
Image Optimization
(2)
Ionic
(2)
Objective C
(2)
Robotics
(2)
SQLite
(2)
Soft Skills
(2)
Typography
(2)
Version Control
(2)
Alpaca
(1)
Babel
(1)
Babylon.js
(1)
C
(1)
CakePHP
(1)
Cloud & Containers
(1)
Confluence
(1)
Drupal
(1)
Express.js
(1)
F#
(1)
Factor
(1)
Frege
(1)
Grunt
(1)
Gulp
(1)
Kafka
(1)
NestJS
(1)
OAuth
(1)
Object-Oriented Programming
(1)
Project Automation
(1)
PureScript
(1)
Research
(1)
SASS
(1)
Sequelize
(1)
TensorFlow
(1)
Ubuntu
(1)
Virtualization
(1)
Wolfram Language
(1)
XML
(1)
jQuery
(1)
Version 1.0.6
Awesome Theoretical Computer Science Talks
A curated list of amazing
Theoretical Computer Science
related conference talks.
Category Theory for the Working Hacker by Philip Wadler
November 2016
GOTO 2015 • Impossible Programs • Tom Stuart
July 2015
Jean Yang on An Axiomatic Basis for Computer Programming
December 2014
RubyConf 2014 - A Lever for the Mind by Tom Stuart
December 2014
Lambda Calculus Then and Now
January 2013
Andrew Odlyzko: Turing and the Riemann zeta function
August 2012
Barbara Liskov: Programming the Turing Machine
August 2012
Philip Wadler: Church’s Coincidences
August 2012