Minion: a Fast and Scalable Constraint Solver
This talk is part of the MEMOCODE conference taking place at Microsoft Research, Cambridge on Monday 11th - Wednesday 13th July 2011.
Microsoft Research
Joe Kachmar - Input Validation in PureScript: Simpler, Safer, and Stronger (Part 1) - λC 2018
I've often found myself asking the following questions while writing software: how can I write functions that take untyped, unvalidated input and return something ...
LambdaConf
Dimitri Zvonkine The locus of curves with abelian differentials and Witten's r spin class
The locus of curves with abelian differentials and Witten's r-spin class Abstract: In the moduli space of genus g curves with n marked points we consider the locus ...
Mathematics at HSE
Samson Abramsky: "Non-unital Frobenius algebras: infinite-dimensional categorical quantum mechanics"
Speaker: Samson Abramsky (University of Oxford) Title: Non-unital Frobenius algebras: infinite-dimensional categorical quantum mechanics Event: Flowin'Cat ...
OxfordQuantumVideo
Mikhail Gromov - The Abel Laureate Lecture
This lecture was given by the 2009 Abel Laurate Mikhail Leonidovich Gromov at The University of Oslo, May 20, 2009 and was part of the Abel Prize Lectures in ...
The Abel Prize
FunctionalKnox: Algebra for Programmers by Emily Estes
For this week's meeting, Emily Estes will give a presentation titled Algebra for Programmers in which she'll talk about the connections between abstract algebra ...
KnoxDevs
dr Ryszard Paweł Kostecki "Revisiting the foundations of quantum theory"
dr Ryszard Paweł Kostecki (Perimeter Institute, Waterloo, Kanada) "Revisiting the foundations of quantum theory with an artillery of quantum information ...
Centrum Fizyki Teoretycznej PAN
Toward the code
matsciencechannel
Pedro Resende: "Stably Gelfand quantales, groupoids and Cartan sub-C*-algebras"
Speaker: Pedro Resende (Instituto Superior Tecnico, Lisbon) Title: Stably Gelfand quantales, groupoids and Cartan sub-C*-algebras Event: Categories, Logic ...
OxfordQuantumVideo
Session 1B - QCSP monsters and the demise of the Chen Conjecture
Association for Computing Machinery (ACM)
Peter Hines: "Diagrams and Coherence Theorems in Cryptography and Cryptanalysis"
Talk given as part of Categories Logic and Physics Scotland: http://conferences.inf.ed.ac.uk/clapscotland/ This talk intends to demonstrate that categorical ...
OxfordQuantumVideo
Lecture 2: Effective Theories for Computational Systems
Lectures by Simon DeDeo (simon@santafe.edu) during the Santa Fe Institute 2012 Complex Systems Summer School, an interdisciplinary course for graduate ...
Santa Fe Institute
Haskell Live-Coding, Session 12, Succinct Serialization, Part 4
Broadcast in the middle of the week. We mostly spent this time exploring building an alternative form of generic programming, because of a desire for better ...
Edward Kmett
2019-05-17 computational calculi colab @Bruno Gavranović, compositional neural networks, equivalence
DivvyDAO: Colab, RChain, DigLife,
Talk on log curves (incl. introduction to log geometry) by Prof. Fumiharu Kato (Oct. 7, 2020)
This is my lecture at the RIMS online seminar "Homotopical Arithmetic Geometry Seminar" (http://www.kurims.kyoto-u.ac.jp/~bcollas/HoAriGeo-Seven.html) on ...
加藤文元
Ryszard P. Kostecki - Geometrisation of quantum theory beyond pure states and Hilbert spaces
Jurekfest 2019 - day 4, lecture 7 Speaker: Ryszard P. Kostecki (introduction by Jurek Lewandowski). Title: Geometrisation of quantum theory beyond pure states ...
KTWiG FUW
2018 NIL Haskell School - Session 5
Session 5 of the 2018 Haskell School in the Networked Imagination Laboratory at McMaster University (Fri 31 Aug 10 AM). Topics covered: Parsing, Discussion ...
David Ogborn
Samson Abramsky: "Contextual semantics: quantum mechanics and beyond", Lecture 3
Samson Abramsky Contextual Semantics: Quantum mechanics and beyond Lecture 2 Spring School in Quantum Structures in Physics and Computer Science, ...
OxfordQuantumVideo
Non-constructive but still weaker than excluded middle
Brouwer, Bishop, the Russians etc. all work differently. In this video I explain various principles adopted by various constructive schools. Markov's rule and ...
Nikolaj-K
0.999...
00:00:00 Introduction : 0.999... 00:02:04 Part 1: Elementary proof 00:03:12 Chapter 1: Intuitive explanation 00:04:43 Chapter 2: Discussion on completeness ...
FrogCast
Pathological (mathematics) | Wikipedia audio article
This is an audio version of the Wikipedia Article: https://en.wikipedia.org/wiki/Pathological_(mathematics) 00:00:32 1 In analysis 00:01:04 2 In topology 00:01:36 ...
wikipedia tts
Algebraic structure
If you find our videos helpful you can support us by buying something from amazon. https://www.amazon.com/?tag=wiki-audio-20 Algebraic structure In ...
WikiAudio
Peano axioms
If you find our videos helpful you can support us by buying something from amazon. https://www.amazon.com/?tag=wiki-audio-20 Peano axioms In mathematical ...
WikiAudio
Extensible Effects in Scala - Dan Robert: OKC FP
An introduction to extensible effects. What are they? How are they used? What benefits might they provide in purely functional programs? Practical implications ...
Techlahoma
BDSBTB 2015: Matthew Fuchs, Map/Reduce as an Example of Programming with Categories
Scale By the Bay 2019 is held on November 13-15 in sunny Oakland, California, on the shores of Lake Merritt: https://scale.bythebay.io. Join us! ----- Category ...
FunctionalTV
The Power of Two Variables
Howard Straubing, Boston College https://simons.berkeley.edu/talks/howard-straubing-11-07-2016 {Symmetry, Logic, Computation}
Simons Institute
Scale By The Bay 2018 Unconference: Greg Pfeil
Scale By the Bay 2019 is held on November 13-15 in sunny Oakland, California, on the shores of Lake Merritt: https://scale.bythebay.io. Join us! ----- Greg Pfeil ...
FunctionalTV
Semigroup theory lecture- 17 first part
Unit-2.
Wajih Ashraf
Cody Long - Constraints on Standard Model Constructions in F-theory 5-20-20
Affiliation: Cornell University Abstract: I will argue that the following three statements cannot all be true:(i) our vacuum is a type IIB / F-theory vacuum at ...
Kadanoff Center for Theoretical Physics
PVSeminar 15 October 2020. Speaker: Gesine Reinert.
PVSeminar 15 October 2020 (https://probvic.wordpress.com/pvseminar/). Gesine Reinert (Oxford University): Stein's method for multivariate distributions, ...
PVSeminar
AQIS '20: Nilanjana Datta, Perfect discrimination of unitary channels and novel quantum speed limits
SPEAKER: Dr. Nilanjana Datta AFFILIATION: University of Cambridge, UK TITLE: Perfect discrimination of unitary channels and novel quantum speed limits ...
UTS Quantum
Zlil Sela - Word equations
We use techniques from geometric group theory and from low dimensional topology to study the structure of sets of solutions to systems of equations (varieties) ...
Growth, Symbolic Dynamics and Combinatorics of Words in Groups
Philly ETE 2017 #15 - Scio: Moving Big Data to Google Cloud, a Spotify Story - Neville Li
We will talk about Spotify's story of migrating our big data infrastructure to Google Cloud. Over the past year or so we moved away from maintaining our own ...
ChariotSolutions
Symmetry-Preserving Finite Synthesis and Amalgamation
Martin Otto, Technische Universität Darmstadt https://simons.berkeley.edu/talks/martin-otto-11-10-2016 {Symmetry, Logic, Computation}
Simons Institute
Alexander Grigor’yan | Heat kernels on ultra-metric spaces
We discuss a family of jump processes on ultra-metric spaces and obtain estimates of their heat kernels.
Dodziuk Fest 2018
Semiring
If you find our videos helpful you can support us by buying something from amazon. https://www.amazon.com/?tag=wiki-audio-20 Semiring In abstract algebra, ...
WikiAudio
Tech Time 2/9/2018 - Intro to Category Theory & FS2 Kafka Overview
OVO Tech Team
Multiset
If you find our videos helpful you can support us by buying something from amazon. https://www.amazon.com/?tag=wiki-audio-20 Multiset In mathematics, ...
WikiAudio
Library design for Dotty: a preview of Cats and Circe in 2021
Travis maintains Circe, iteratee.io, and a handful of other open-source projects, and has written Scala at Twitter, Stripe, and the University of Maryland. Library ...
MEETUPVIDEO United Kingdom
It's About Time: An Introduction to Timely Dataflow | Clockworks
Download Slides: https://www.datacouncil.ai/talks/its-about-time-an-introduction-to-timely-dataflow WANT TO EXPERIENCE A TALK LIKE THIS LIVE? New York ...
Data Council
Fifty Years of the Spectral Theory of Schrodinger Operators - B. Simon - 2/24/2019
caltech
Scala & Data Science Fun with Folks from Linkedin & eBay
Data Science has a reputation for being complicated, but with the help of Scala and Scalding most patterns can be significantly simplified. This talk shows that ...
InfoQ
