The big mathematics divide: between "exact" and "approximate" | Sociology and Pure Maths | NJW
Modern pure mathematics suffers from a major schism that largely goes unacknowledged: that many aspects of the subject are parading as "exact theories" when in fact they are really only "approximate theories". In this sense they can be viewed either as belonging more properly to applied ma
From playlist Sociology and Pure Mathematics
Reactive Systems use a high-performance software architecture. They are resilient under stress, and their reactive design allows them to scale elastically to meet demand. The reactive design approach allows the creation of more complex, more flexible systems and forms the basis for some of
From playlist Software Engineering
On the Setoid Model of Type Theory - Erik Palmgren
Erik Palmgren University of Stockholm October 18, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Reconsidering `functions' in modern mathematics | Arithmetic and Geometry Math Foundations 43
The general notion of `function' does not work in mathematics, just as the general notions of `number' or `sequence' don't work. This video explains the distinction between `closed' and `open' systems, and suggests that mathematical definitions should respect the open aspect of mathemat
From playlist Math Foundations
Discrete-Time Dynamical Systems
This video shows how discrete-time dynamical systems may be induced from continuous-time systems. https://www.eigensteve.com/
From playlist Data-Driven Dynamical Systems
The Scientific Method and the question of "Infinite Sets" | Sociology and Pure Maths| N J Wildberger
Let's get some kind of serious discussion going about the differences in methodology and philosophy between the sciences and mathematics, and how these differences manifest themselves in the attitude towards the logical foundations of mathematics. In particular we look at a bulwark notio
From playlist Sociology and Pure Mathematics
Type Systems I - Vladimir Voevodsky
Vladimir Voevodsky Institute for Advanced Study November 28, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Natural Models of Type Theory - Steve Awodey
Steve Awodey Carnegie Mellon University; Member, School of Mathematics March 28, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
PureScript: Tomorrow’s JavaScript Today
It's almost impossible to imagine the web without JavaScript. And as professional web developers, it's almost heresy to do so. But despite 20 years of maturity and a truly frantic pace of innovation, JavaScript isn't just the sea we swim in, it's also the shark trying to bite us. JavaScrip
From playlist JavaScript
Stanford Seminar - Concatenative Programming: From Ivory to Metal
EE380: Computer Systems Colloquium Seminar Concatenative Programming: From Ivory to Metal Speaker: Jon Purdy, Microsoft Concatenative programming is a relatively new programming paradigm built on a simple yet powerful tool: function composition. In this talk I will give an overview of con
From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series
PROG2006: Programming: Terminology 2/2
PROG2006: Advanced Programming Introduction Programming Terminology continued.
From playlist PROG2006 - Programming
EmberConf 2021 - Keep It Local by Chris Krycho
Keep It Local by Chris Krycho What do Steve McConnell’s variable scoping guidelines in Code Complete 2, pure functional programming, the data ownership system in Rust, classical object-oriented programming, the actor model in Erlang, and autotracking in Glimmer all have in common? Every o
From playlist EmberConf 2021
SHM - 16/01/15 - Constructivismes en mathématiques - Thierry Coquand
Thierry Coquand (Université de Gothenburg), « Théorie des types et mathématiques constructives »
From playlist Les constructivismes mathématiques - Séminaire d'Histoire des Mathématiques
Brave New World: Tales of PureScript and Haskell in Production
The rumours are true. Writing code in purely functional languages tends to produce code that is much easier to read, modify and reason about. This talk examines how an experienced Scala team transitioned into writing production code using PureScript in AWS lambda, and services using Haskel
From playlist Software Development
Lec 34 | MIT 3.091 Introduction to Solid State Chemistry
Two-component Phase Diagrams: Limited Solid Solubility Lever Rule View the complete course at: http://ocw.mit.edu/3-091F04 License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu
From playlist MIT 3.091 Introduction to Solid State Chemistry, Fall 2004
18. Weber on Traditional Authority
Foundations of Modern Social Thought (SOCY 151) We return to Weber's idea of domination, Herrschaft. Herrschaft has been translated into English as "authority" and as "domination." The translation into domination highlights the elements of power and legitimacy that are co-mingled in t
From playlist Foundations of Modern Social Theory with Iván Szelényi
PROG2006 Advanced Programming Haskell - state, introduction Identity element Associative, Commutative operations Functor
From playlist PROG2006 - Programming
ArrrrCamp 2014- Functional Programming for Rubyists
By, Arne Brasseur Slides @ http://arnebrasseur.net/talks/arrrrcamp2014/#/ Ruby isn't exactly know for being a functional programming language, but neither is it known for not being a functional programming language. With lambdas, blocks, and Matz himself citing LISP as a major influenc
From playlist ArrrrCamp 2014
Introduction to Differential Equations
Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Introduction to Differential Equations - The types of differential equations, ordinary versus partial. - How to find the order of a differential equation.
From playlist Differential Equations