Beyond Quantum Computation: Constructor Theory | Chiara Marletto, Oxford University
Zoom Transcription: https://otter.ai/s/de2hWE18Qf2yL6RffIrpLw The theory of the universal quantum computer has brought us rapid technological developments, ...
Foresight Institute
"Propositions as Types" by Philip Wadler
The principle of Propositions as Types links logic to computation. At first sight it appears to be a simple coincidence---almost a pun---but it turns out to be ...
Strange Loop
ACT@UCR Seminar: Mathematics in the 21st Century - John Baez
The global warming crisis is part of a bigger transformation in which humanity realizes that the Earth is a finite system and that our population, energy usage, and ...
Applied Category Theory
TSC 2020 Roger Penrose
Sir Roger Penrose OM, FRS Title: Orch OR: New Results on the Physics of OR Presented on Sept 18, 2020 at the The Science of Consciousness (TSC) Online ...
The Science of Consciousness - Conferences - CCS
3 01 A Functional Programmer's Guide to Homotopy Type Theory
ICFP Video
Introducing arxiv-sanity
Arxiv is great, but there are many papers and we don't have good interfaces for interacting with this large body of work. Enter http://www.arxiv-sanity.com/ !
Andrej Karpathy
Applied Category Theory. Chapter 4, lecture 2 (Fong)
Applied Category Theory MIT Course 18.S097 Independent Activities Period (IAP) 2019 Taught by David Spivak and Brendan Fong © Spifong.
Topos
Big Data at the Intersection of Typed FP and Category Theory – Long Cao
Big data, functional programming, and category theory aren't just three trendy topics smashed into a talk title as bait! Foundational ideas from typed functional ...
Typelevel
The Mathematics of Networks
John Baez, UC Riverside https://simons.berkeley.edu/talks/john-baez-12-06-2016 Compositionality.
Simons Institute
YOW! Lambda Jam 2015 Ken Scambler - Introduction to Category Theory #YOWLambdaJam #YOWLambdaJam
Category Theory is known as one of the most terrifyingly abstract branches of maths, yet functional programmers swear by its effectiveness applied to code.
YOW! Conferences
Data Structures for Quasistrict Higher Categories
Jamie Vicary, University of Oxford https://simons.berkeley.edu/talks/jamie-vicary-2016-12-05 Compositionality.
Simons Institute
Programming with Categories - Lecture 2
Video lectures at MIT. See http://brendanfong.com/programmingcats.html Lecturers: Brendan Fong, Bartosz Milewski, David Spivak Summary: In this course we ...
Topos
Demystifying Differentiable Programming - Shift/Reset the Penultimate Backpropagator
ACM SIGPLAN
(Pastor, Beurier, Ehresmann, Waldeck) Interfacing Biology, Category Theory & Mathematical Statistics
Applied Category Theory 2019, Oxford http://www.cs.ox.ac.uk/ACT2019/
Jelle Herold
ACT@UCR Seminar: The Pi Calculus - Christian Williams
Historically, code represents a sequence of instructions for a single machine. Each computer is its own world, and only interacts with others by sending and ...
Applied Category Theory
Category Theory 10.1: Monads
Monads.
Bartosz Milewski
YOW! Lambda Jam 2019 - Bartosz Milewski - A Taste of Type Theory
We use types in programming, often without realizing how deeply rooted they are in the foundations of mathematics. There is a constant flow of ideas from type ...
YOW! Conferences
Category Theory: Visual Mathematics for the 21st century
RCON 3 Day 3 track 4 Session 4 Category Theory: Visual Mathematics for the 21st century by Jamie Vicary.
RChain
James Fairbanks: Categorical Modeling Languages: Bringing ACT to Scientific Computing
Speaker : James Fairbanks Date : April 30 Title : Categorical Modeling Languages: Bringing ACT to Scientific Computing Abstract : I'll discuss a perspective on ...
UMD Category Seminar
Rigetti Computing Software Demo: Forest
Recent progress on quantum computing hardware, especially in superconducting qubit systems, highlights the need for practical programming models and tools ...
Microsoft Research
Lec 1 | MIT 6.00 Introduction to Computer Science and Programming, Fall 2008
Lecture 1: Goals of the course; what is computation; introduction to data types, operators, and variables Instructors: Prof. Eric Grimson, Prof. John Guttag View ...
MIT OpenCourseWare
DeepMind x UCL | Deep Learning Lectures | 5/12 | Optimization for Machine Learning
Optimization methods are the engines underlying neural networks that enable them to learn from data. In this lecture, DeepMind Research Scientist James ...
DeepMind
Steve Brunton: "Dynamical Systems (Part 1/2)"
Watch part 2/2 here: https://youtu.be/HgeC0-VIUtc Machine Learning for Physics and the Physics of Learning Tutorials 2019 "Dynamical Systems (Part 1/2)" ...
Institute for Pure & Applied Mathematics (IPAM)
Creative Computation – Jack Rusher
An exploration of the ways in which computation can aid creativity and vice versa, with many examples.
Metosin
Cloud Computing Tutorial for Beginners | Cloud Computing Explained | Cloud Computing | Simplilearn
This Cloud Computing tutorial will help you understand why Cloud Computing has become so popular, what is Cloud Computing, types of Cloud Computing, ...
Simplilearn
Lambda World 2019 - Optimising your code with math - April Gonçalves
In this Lambda World 2019 presentation, April Gonçalves shows you how to improve the performance of your programs using algebraic properties.
Lambda World
Neuman Vong: The circuit as a point-free general model of computation
Discover how to create shorter simpler programs by modeling them as a circuit of intercommunicating processes. Modern web applications and libraries have to ...
JSConf
How to generate DFT calculation input files - Training workshop on Computational DFT
Crystallography, DFT, Drug design research Group Training program group for crystallography, Density functional theory calculations, and drug design research.
Dr. RAVIKUMAR CHANDRASEKARAN
Logic, Co-induction and Infinite Computation
Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations. Where ...
Microsoft Research
IBPS Bank Exams arithmetic section clocks rightangle position with examples chapter 3
Free math lessons basically help them with learning Maths easily and competitive exams Arithmetic,Algebra,elementary,linear,multilinear,abstract,Geometry ...
My Maths Board
Ben Sherman: Computing with Continuous Values
MIT Category Theory Seminar 2019/08/29 ©Spifong Title: A programming language for sound computation with continuous values Abstract: Many algorithms are ...
Topos
Plain Functional Programming by Martin Odersky
Subscribe to Devoxx on YouTube @ https://bit.ly/devoxx-youtube Like Devoxx on Facebook @ https://www.facebook.com/devoxxcom Follow Devoxx on Twitter ...
Devoxx
James Fairbanks: Compositional Scientific Computing with Catlab and SemanticModels
Keynote talk at the Applied Category Theory 2020 Conference Main website: https://act2020.mit.edu/ More talks in this playlist: ...
Applied Category Theory
f(by) 2020: Dysfunctional programming with F#, Roman Liman
f(by) 2020 FP track Dysfunctional programming with F# - Roman Liman @atsapura People often confuse F# for Haskell on .NET platform. When they find out it's ...
SPACE
Computational Propaganda, COVID-19, and the Assault on Democracy
What can we do to stop malicious actors from undermining our fragile democracy with computational propaganda? Viewers will learn how bots, trolls, ...
Trinity University
Alessandro Bisio: Axiomatic theory of Higher-Order Quantum Computation
A talk by Alessandro Bisio at the 14th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2019), Day 3. TQC 2019 ...
QuICS
IBPS Bank Exams arithmetic section clocks mirror image chapter 8
Free math lessons basically help them with learning Maths easily and competitive exams,Arithmetic,Algebra,elementary,linear,multilinear,abstract,Geometry ...
My Maths Board
Take Back MIT (Eric Weinstein) | AI Podcast Clips
Full episode with Eric Weinstein (Apr 2020): https://www.youtube.com/watch?v=rIAZJNe7YtE Clips channel (Lex Clips): https://www.youtube.com/lexclips Main ...
Lex Fridman
Category Selectivity in the Ventral Visual Pathway: Computational Models and Developmental Origins
Next CogTalk by Prof. Nancy Kanwisher from MIT on "Category Selectivity in the Ventral Visual Pathway: Computational Models and Developmental Origins" ...
University of Hyderabad
IBPS Bank Exams arithmetic section clocks coincidence position with examples 2
Free math lessons basically help them with learning Maths easily and competitive exams Arithmetic,Algebra,elementary,linear,multilinear,abstract,Geometry ...
My Maths Board
CGAL: The Open Source Computational Geometry Algorithms Library
Google Tech Talks March, 3 2008 ABSTRACT Introduction Project mission statement, history, internal organization, partners, CGAL in numbers. What's in CGAL ...
Google TechTalks
ACT@UCR Seminar: Separation Logic Through a New Lens - Sarah Rovner-Frydman
Separation logic aims to reason compositionally about the behavior of programs that manipulate shared resources. When working with separation logic, it is ...
Applied Category Theory
