2:06Currying, or There Are Only Functions with One Argument - [Look It Up]Thomas van Dijk82 views·2 years ago
38:11Concurrency, Mutual Exclusion and Peterson's Algorithm - An IntroductionThomas van Dijk559 views·2 years ago
3:28Decision, Optimisation, Construction Problem variants - [Look It Up]Thomas van Dijk64 views·2 years ago
1:50Some Handy Expressions in Cartesian Coordinates - [Look It Up]Thomas van Dijk67 views·2 years ago
1:37Binary Encoding for Arbitrarily Large Integers - [Look It Up]Thomas van Dijk521 views·2 years ago
1:35PP is overpowered - Probabilistic Polynomial Time [Look It Up]Thomas van Dijk445 views·3 years ago
1:16Can't look it up if you've never heard of it. - [Look It Up series introduction]Thomas van Dijk461 views·3 years ago
5:36Algorithmically-Assisted Interactive Metro Map Design (SIGSPATIAL 2022)Thomas van Dijk1.4K views·3 years ago
24:37Archana Prabhakar - Transit Maps How They Shape Our Minds [SMW '22]Thomas van Dijk57 views·3 years ago
24:03Samantha Fuchs - MetroSAT Logic-based Computation of Metro Maps [SMW '22]Thomas van Dijk102 views·3 years ago
29:33Patrick Brosi - A Toolchain for Generating Transit Maps from Schedule Data [SMW '22]Thomas van Dijk169 views·3 years ago