In this talk, I introduce the primary definition(s) of the course, along with some "low dimensional" examples from graph theory.

🎤 Conférence : "Les maths à l'ère de l'IA" de David Bessis, lors de la "Journée Impact : Enjeux Sociétaux de l'IA" du 8 février 2026 ! Co-financé par l'institu...

This is a ~53 minute talk + Q&A titled "On the Mechanics of Cellular and Multicellular Active Matter" by Haiqian Yang (https://www.linkedin.com/in/haiqian-yang-...

Attention Residuals replaces the standard fixed residual accumulation with softmax attention over previous layer outputs. This enables each layer to selectively...

Course website: https://topos.site/poly-course Book: https://topos.site/poly-book.pdf Book suggestions document: https://docs.google.com/document/d/1qY5hLglgSW...

Tutorial given at Applied Category Theory 2023 https://act2023tutorials.netlify.app/ https://act2023.github.io/

MIT Category Theory Seminar 2020/10/01 ©Spifong Speaker: David Jaz Myers Title: Paradigms of composition Abstract: Scientists and engineers manage the blist...

Découvrez l'histoire fascinante du groupe Bourbaki, ce collectif de mathématiciens qui a révolutionné la discipline au XXe siècle. Dans cette rencontre exceptio...

Video lectures at MIT. See http://brendanfong.com/programmingcats.html Lecturers: Brendan Fong, Bartosz Milewski, David Spivak Summary: In this course we expl...

aboutlogic #05 | We’re joined by Steve Awodey, one of the founders of Homotopy Type Theory. In this episode, we talk about the relationship between philosophy a...

Links: - Patreon (Support the channel directly!): https://www.patreon.com/Asianometry - X: https://twitter.com/asianometry - Bluesky: https://bsky.app/profile/a...

Daniel Litt is a professor of mathematics at the University of Toronto. He has been a careful observer of AI’s progress toward accelerating mathematical discove...

The Heidelberg Laureate Forum Foundation presents the HLF Laureate Portraits: Sir W. Timothy Gowers; Fields Medal, 1998. Interview recorded in 2019. In this s...

Linear attention and its variants have emerged as promising techniques for sequential modeling. Compared to standard softmax attention in Transformers, these mo...

Dr. Bert Chan (https://twitter.com/BertChakovsky) presents "Lenia a Continuous Model of Virtual Cell Growth Patterns" as part of the #mathonco (https://twitter....

In this video we prove a version of Lawveres fixed point theorem that holds in Cartesian closed categories. It's a nice construction that specializes to results...

Presentation by Adam Pease at SRI, Menlo Park, CA. I discuss implementation details of writing an automated theorem prover in Java for first order logic. A su...

Title: Computational Complexity and Explanations in Physics Speaker: Scott Aaronson (University of Texas at Austin) Date: January 8, 2026 Abstract: The fact, o...

Sir William Timothy Gowers is a British mathematician and a Royal Society Research Professor at the Department of Pure Mathematics and Mathematical Statistics a...

0:09 Plans for Abel Prize funds incl. to Higher School of Economics 3:26 Importance of awards, prizes 4:46 The value of the multi-faceted threads of the Abel P...

David Bessis is a mathematician and the author of Mathematica: A Secret World of Intuition and Curiosity. We explore David's provocative claim that mathematical...

The inaugural Natural Philosophy Symposium was held in Baltimore on May 29-31, 2025. It was sponsored by the Natural Philosophy Forum at Johns Hopkins (https://...

This presentation offers a heuristic proof (and simulations of a primordial soup) suggesting that life—or biological self-organization—is an inevitable and emer...

Taken from: Logic for CS, Shai Ben-David, U Waterloo Fall 2015 https://www.youtube.com/channel/UCg9V0y9_RxG7hg5GjcyS2OA

20-ish Questions shows a different side of Wyss Institute faculty, touching on aspects of their personal life, hobbies, interests, as well as their research. Th...

ACCU Membership: https://tinyurl.com/ydnfkcyn --- The Past, Present and Future of Programming Languages - Kevlin Henney - ACCU 2025 --- Programming languages ...

An introduction to the Twin Prime Conjecture and sieve methods, one of the most beautiful branches of modern number theory. ONLINE COURSE: I'm teaching an onl...

What does a mathematical theory consist of? This question was at the heart of the foundational dispute between the members of Bourbaki and practitioners of cate...

This is a ~57 min talk titled "Whitehead on the Ingression of Novel Form: Toward a New Formal Causality in the Life Sciences" by Matt Segall (footnotes2plato.co...

Prof. Richard Borcherds received a Fields medal in 1998. He is most famous for proving Monstrous Moonshine, a conjecture of John Conway and Simon Norton relatin...

A pioneer in developmental and synthetic biology, Levin’s lab explores how bioelectric signaling among non-neural cells implements patterning, regeneration, and...

This is a ~1 hour 8 minute talk titled "The ontogenetic alternative: “Platonism”, khôric mater(ial)ism, and open-ended evolution" by Timothy Jackson (https://sc...

Interviewed by Dag Spicer on 2025-08-20 in Mountain View, CA © Computer History Museum This interview is with three principal designers and architects of the R...

Millennium Prize Problems Lecture 11/12/2025 Speaker: Pierre Deligne, Institute for Advanced Study Title: What is the Hodge conjecture? Abstract: The Hodge c...

first AGITTOC pseudolecture June 27, 2020 (see math216.wordpress.com for more on the AGITTOC experiment) Also a first stab at playing with this technology.

Grigori Perelman proved the Poincare conjecture and then refused a million dollar prize (the Millennium Prize). He is the only mathematician who has declined th...

William Zhang - TinyTPU

All available speaker abstracts and slides can be found on our webpage - https://www.chapman.edu/scst/conferences-and-events/grothendieck-conference.aspx

My p-adic hat: https://www.bonfire.com/p-adic-hat-1/ My Patreon: https://patreon.com/K_Theory?utm_medium=unknown&utm_source=join_link&utm_campaign=creatorshare...

How do you type-check 1.8 million lines of Python per second? Neil Mitchell explains how Pyrefly (a new Python type checker) achieves this level of performance....

This is an invited talk in BAMΞ's Mathematical Phenomenology Sprint. Cf. https://bamxi.org/research-activities/mathematical-phenomenology-sprint/ Organizing In...

This is a ~1 hour 30 minute talk + Q&A by Chris Fields (https://allencenter.tufts.edu/christopher-a-chris-fields-ph-d/) titled "From Experience to Math", given ...

This is a ~50-minute talk titled "Substrate-dependent mathematics hypothesis" by Olaf Witkowski (https://olafwitkowski.com/), presented for our Platonic Space s...

Analysis and Mathematical Physics 2:30pm|Simonyi Hall 101 and Remote Access Topic: Towards a Geometric Theory of Deep Learning Speaker: Govind Menon Affiliation...

Mecha BREAK is finally here! https://t.mechabreak.com/c/yfzzso Thank you to Amazing Season Games for Sponsoring this video ►Follow my Twitch! https://www.twitc...

As #rust gets more and more production usage, many of the examples people talk about are fairly high level: things like web applications. While that’s great, is...

The CERN Large Hadron Collider (LHC) generates an unprecedented O(10,000) exabytes of raw data annually from high-energy proton collisions. Managing this vast d...

Teaching Tom Crawford a bit about my favorite subject -- Lie algebras. Check out Part 2: https://www.youtube.com/watch?v=ap7GZKCcgS8 🌟Support the channel🌟 Pat...

What are the nature of physical reality, and the nature of consciousness? These two questions have remained unanswered since the beginning of the human race. Sc...

Diffusion models, CLIP, and the math of turning text into images Welch Labs Book: https://www.welchlabs.com/resources/imaginary-numbers-book Sections 0:00 - In...

To try this awesome whiteboard: 📌 [Free whiteboard] https://tldraw.com/?utm_source=youtube&utm_medium=socials&utm_campaign=standard&utm_term=yacinemahdid 📌 [SD...

A conversation with screenwriter Justin Kuritzkes moderated by Patrick Mcgowan

Sam H. Smith's talk at BSC 2025 about implementing AST-free compilers and optimizing with sea of nodes. Sam's links: - https://x.com/SamHSmith2 - https://samhs...

Code/Writeup/Resources: https://github.com/cnlohr/lolra LoLRa Merch: https://cnlohr-shop.fourthwall.com/ Patreon: https://patreon.com/cnlohr Memes, in order of...

Try SendCutSend 15% off for your next project! https://sendcutsend.com/breakingtaps/ My descent into madness, chasing one micrometer. Watch this ad-free on Ne...

Compose NYC 2019 Speaker: David Christiansen When implementing a type checker, one must answer two questions: how to compare types for sameness, be it a subsum...

https://www.cppnow.org​ --- Beyond Sequential Consistency - Leveraging Atomics for Fun and Profit - Christopher Fretz - C++Now 2025 --- In 2011, C++ introduce...

A Celebration of Mathematics and Computer Science Celebrating Avi Wigderson's 60th Birthday October 5 - 8, 2016 More videos on http://video.ias.edu

Welcome to the 2nd Episode of our Tennis Elbow 4 New Player Guide mini-series! In this video, I will show you HOW TO PLAY Tennis Elbow 4. We will dive deep in...

https://Patreon.com/ThinkingFootball Our beats can be found here! ⬇️⬇️⬇️ https://twtw.bandcamp.com/ #nfl #cfb #interception

This is a ~46 minute talk given at a conference on consciousness, presenting my lab's data on cognition in body organs outside the brain and then some speculati...

Avi Wigderson is a professor of Mathematics at the Institute for Advanced Study in Princeton. After studying Computer Science at Technion in Haifa, he obtained ...

This is a ~ 1 hour and 10 minute talk plus ~30 minutes Q&A discussion with the computational group in our Center, titled "A Theoretical Computer Science Lens on...

Coaching form: https://forms.gle/N2ue7X8YzoTRtLJM7 Where To Follow Me! My Twitch: https://www.twitch.tv/piggyxdd My Twitter: https://twitter.com/piggyxdd Pig...

Links: - Patreon (Support the channel directly!): https://www.patreon.com/Asianometry - X: https://twitter.com/asianometry - Newsletter & Podcast (available thr...

Keynote: Linus Torvalds, Creator of Linux & Git, in Conversation with Dirk Hohndel, Head of the Open Source Program Office, Verizon

If you have questions, you can come to one of Jon's streams: https://www.twitch.tv/j_blow

Streamed Live on Twitch: https://twitch.tv/tsoding Enable Subtitles for Twitch Chat References: - Tsoding - Musializer - https://github.com/tsoding/musializer ...

Offline Session More Episodes: https://www.youtube.com/playlist?list=PLpM-Dvs8t0VZ08cYW6yqNTWLKqLssw0nm References: - Lode's Computer Graphics Tutorial - Rayca...

Stream from June 28, 2024 at https://twitch.tv/sphaerophoria Pre-stream content available on patreon at https://patreon.com/sphaerophoria 00:00 Intro 07:22 Imp...

Stream from June 29, 2024 at https://twitch.tv/sphaerophoria June 29 pre stream available at https://patreon.com/sphaerophoria 00:00 Intro 06:10 Compile simula...

Gleam is a great language, but sometimes you just need to access the underlying platform, be it JavaScript, Erlang or Elixir. This video will teach you just how...

Welcome to Lesson 1 of the ARM Assembly Series from LaurieWired! In this video, we will cover how registers work, create some simple ASM source code, go over a...

Source channel: https://www.twitch.tv/j_blow Recorded on Aug 26, 2019.

From Zig MiLAN PARTY 2022 Andrew's data oriented talk at Handmade Seattle https://guide.handmade-seattle.com/c/2021/practical-dod/

Elite may be the most complex 8-bit game ever produced. And it was arguably the most groundbreaking game ever released for its time. Back in the early 1980s whe...

Ever wondered how your computer can run multiple programs at once? Join me as we explore the historical innovations of Britian's Atlas supercomputer, enabling ...

Learn how to use constraint satisfaction algorithms to generate a wide variety of procedural content, including maps, plants, and textures.

Checkout DragonflyDB - https://www.dragonflydb.io/ DragpnflyDB Source Code - https://github.com/dragonflydb/dragonfly System Design for SDE-2, SDE-3, and above...

Date of stream 25 Jun 2018. Live-stream chat added as Subtitles/CC - English (Twitch Chat). Stream title: twitchchess: a simple neural chess AI. how long will i...

This is a video that will talk about some less know things in the programming language C, and how these things impact optimizations and the kinds of bugs that t...

Join CodeCrafters and learn by creating your own: Redis, Git, Http server, Interpreter, Grep... in your favorite programming language: https://app.codecrafters....

This presentation was recorded at YOW! 2018. #GOTOcon #YOW https://yowcon.com Mark Hibberd - CTO at Kinesis Australia @markhibberd1207 RESOURCES https://mth....

Stream from July 14, 2024 at https://twitch.tv/sphaerophoria https://patreon.com/sphaerophoria 00:00 Intro 05:10 Draw textured axis aligned rect 22:20 Adding s...

A video comparing implementations of the standard deviation formula in APL, BQN and Uiua inspired by James Gosling's talk from reClojure 2022 https://www.youtub...

Official website: https://softwareyoucan.love Vancouver Conference Website: https://softwareyoucanlove.ca Abstract: When you hear that a project becomes pa...

Casey Muratori giving his thoughts on smart-pointers, RAII, OOP, briefly the Rust borrow checker etc, and why you should avoid them and instead focus on learnin...

Checkout yacine's twitter: https://twitter.com/yacineMTB Welcome to OverPowered, Today we deep dive into the fascinating world of Generative AI and explore the...

This week we talk to Simon Peyton Jones, a veteran language designer and researcher, and key figure in the development of Haskell. Haskell. Simon has made count...

Support me on Ko-fi: https://ko-fi.com/jonathanblowclips Jonathan Blow on the Design of Jai Clip from Jonathan Blow Original: https://www.youtube.com/watch?v=7...

Subscribe to new channel Lambda Media: https://youtube.com/@lambdamedia1?si=nFTaQFo7z4C0S6yf Join the weekend retreat! https://forms.gle/teKVeiwMfr32va1RA A...

Learn OpenGL is a massive resource for anyone starting or growing their knowledge of OpenGL. It's been instrumental for me. In this video, we go through and tak...

To try everything Brilliant has to offer for free for a full 30 days, visit https://brilliant.org/Reducible/ Chapters: 0:00 Introduction and Graph Representat...

Kickstarter link: https://www.kickstarter.com/projects/annarettberg/meow-the-infinite-book-two This was a presentation I gave to the University of Twente in ea...

From Zig SHOWTIME #9 Subscribe to the newsletter for more Zig content! https://zig.show/newsletter/ 0:00 Title 0:30 Talk 28:50 Interview

https://www.kickstarter.com/projects/annarettberg/meow-the-infinite-book-two Live Channel: https://www.twitch.tv/molly_rocket Part 1: https://youtu.be/pgoetgxe...

In data-oriented programming (DOP), we model data as data and polymorphic behavior with pattern matching. This talk will introduce the concept of DOP and its fo...

Covers how a binary is executed, what segments are mapped to memory, the purpose/working of stack and heap memory, and how values of Rust's data types are laid ...

an explanation of the source coding theorem, arithmetic coding, and asymmetric numeral systems this was my entry into #SoMEpi. this video can get pretty confusi...

Understanding Compiler Optimization Chandler Carruth Opening Keynote Meeting C++ 2015 Slides: https://meetingcpp.com/files/mcpp/2015/talks/meetingcxx_2015-unde...

http://CppCon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/cppcon/cppcon2016 — As C++ evolves...

In this video I combine all the assembly language functions from the previous videos to create a functional (yet very simple) artificial neural network. It has ...

I had the honor to chat with Casey Muratori - one of the most inspiring figures in the programming world. I followed Casey's work for a long time now and I've l...

this is a video about category theory... for #SoME3 haha jk this is just algebraic topology btw i forgot the ray is supposed to go the other way (f(x) to...

Have you ever wondered how generative AI actually works? Well the short answer is, in exactly the same as way as regular AI! In this video I break down the st...

Cache me outside, how bout that? People always talk about Big O time for analyzing speed, but Big O isn't the only important factor in writing performant code....

François Chollet discusses the limitations of Large Language Models (LLMs) and proposes a new approach to advancing artificial intelligence. He argues that curr...

On Friday, October 18, 2024, Stephen Wolfram, Founder & CEO of Wolfram Research, gave a keynote talk titled "Where the Computational Paradigm Leads (in Physics,...

Calculus has unlocked so many doors in math, but there are still problems that remain unsolved. But now let's take a closer look at some of the biggest open que...

Join live on Twitch on Thursday, 17:00 UTC at https://www.twitch.tv/tigerbeetle ! Follow along at https://github.com/tigerbeetle/tigerbeetle/ Playlist: https:...

_Note: This video contains hardcoded subtitles. For the most accurate English video transcription, please enable YouTube subtitles and select "English" under Yo...

Lots of news this week ahead of the foundry events coming up. AMD's 2nm Venice, both AMD and NVIDIA building in Arizona, there's a new ChatGPT, and Lip-bu at In...

Full File: 2016-03-21T00:00:00+00:00 - Terry A Davis Live Stream (iQcHAW34A1U).webm Full Archive: https://archive.org/download/TerryADavis_TempleOS_Archive/ Vi...

GPU programming is a mess. It relies on frameworks that are tied to specific devices, incompatible shading languages, and drivers that can sometimes cause probl...

To try everything Brilliant has to offer—free—for a full 30 days, visit https://brilliant.org/GSheaf/ . You’ll also get 20% off an annual premium subscription. ...

Stalk of a Presheaf at a point, Sheafification, Kernel & Image of a Morphism of Sheaves

This video is an introduction to geometric algebra, a severely underrated mathematical language that can be used to describe almost all of physics. This video ...

ABSTRACT I will give a live demo of how to use the Lean interactive theorem prover, and discuss uses, and potential future uses, of such tools in teaching, res...

Support us on Patreon: http://patreon.com/polylog What if we could run algorithms backwards? We discuss how we could do this by turning algorithms into circuit...

B-trees are a popular data structure for storing large amounts of data, frequently seen in databases and file systems. But how do they really work? What makes t...

I talk with Andrew Kelley and Ginger Bill about the position of classical languages in the textual programming paradigm. We talk about what makes a programming...

This video explains the MIP*=RE result. We skip the proof details, just explain what the result means. Please leave comments in the comment section if somethin...

The kick-off talk for Systems Distributed '23: https://systemsdistributed.com. https://andrewkelley.me https://github.com/andrewrk https://mastodon.social/@and...

A clarification on drivers: https://youtu.be/xXSIs4aTqhI If you have questions, you can come to one of Jon's streams: https://www.twitch.tv/j_blow

In this series, we write a compiler and interpreter for my stack based language "MCL" (a programming language I designed) in Rust. Originally written in C++, we...

References: - Source Code: https://github.com/tsoding/zigout - Paid Zig Stream: https://www.youtube.com/watch?v=eIX9zER9vjY - Jaibreak Source Code: https://gith...

#odin_lang I made a rope a few months ago, I had written down a presentation of it, but did not record until today. The video shows what it is and how it works,...

This video was sponsored by Codecrafters. Sign Up to CodeCrafters, it's free. Get a 40% discount if you upgrade: https://app.codecrafters.io/join?via=jdvillal ...

Learn important back-of-the-envelope calculations for Transformers / LLM. Useful primer for grad school, or maybe a job interview...

CppBayArea presentation by Ed Yu Recorded July 11, 2023 at JFrog in Sunnyvale, California Event sponsored by JFrog

In this video, I'll be going over the new Zig 0.13.0 Release Notes! There are many interesting things to talk about today: CVE mitigations, environment variable...

A language’s AST—it’s abstract syntax tree—is nearly always a hidden implementation detail. It’s not treated as part of the language, but merely the intermediat...

#dynamicprogramming #leetcode

https://www.cppnow.org --- C++26 Preview - Jeffrey Garland - C++Now 2024 --- Join us as we explore the cutting-edge advancements of C++26, covering both small...

This is a video of a talk I did in August 2023, aiming to teach the concepts described in my blog post at https://www.rfleury.com/p/untangling-lifetimes-the-are...

http://CppCon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/CppCon/CppCon2018 — For decades C+...

Really? You may wonder. This is 2024 and do we all not know Java already really well. Most of us do and yet there are so many things we tend to not realize unti...

http://CppCon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/CppCon/CppCon2018 — We are all awa...

Tony Hawk's Pro Strcpy is a game save and network RCE exploit for the Tony Hawk video game series. Use it to hack your Xbox, Playstation 2, Gamecube, and Xbox 3...

►Conversation/Podcast Playlist: https://www.youtube.com/playlist?list=PLvv0ScY6vfd_Hk1jw-NIDSOK-RhMOhEg3 ►Find full courses on: https://courses.mshah.io/ ►Join ...

From https://softwareyoucan.love Milan 2024 0:00 Intro 1:31 Talk 28:06 Q&A

http://CppCon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/CppCon/CppCon2017 — Automated trad...

Unpacking the multilayer perceptrons in a transformer, and how they may store facts Instead of sponsored ad reads, these lessons are funded directly by viewers:...

The definition of a tensor made with the transformation rules of tensor components never resonated with me. The definition provided by the geometric viewpoint i...

This study evaluates model merging at scale, revealing insights on expert model quality, size, and merging methods, ultimately enhancing generalization and perf...

Bartosz Milewski (http://twitter.com/@bartoszmilewski) Programming is math and math is programming. But the kind of math that's useful in programming is not wh...

Category Theory is the Mathematicians' interpretation of interface-based design, so whenever you hack together a new API in your favourite OO language, it is al...

This interview was recorded at GOTO Copenhagen for GOTO Unscripted. #GOTOcon #GOTOunscripted #GOTOcph https://gotopia.tech Read the full transcription of this ...

The talk will explain why category theory is of interest for developers, taking examples from Java and Haskell, and referencing the new blockchain scripting lan...

http://CppCon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/CppCon/CppCon2018 — There seems to...

Rust really hits a sweet spot with respect to programming languages on account of a) its usefulness when working at a low level, coupled with b) its style of ty...

Andrew Gordon Wilson (New York University) https://simons.berkeley.edu/talks/andrew-gordon-wilson-new-york-university-2024-09-27 Transformers as a Computational...

Category Theory for the Working Hacker The talk will explain why category theory is of interest for developers. The principle of Propositions as Types describe...

Dr. Joscha Bach discusses advanced AI, consciousness, and cognitive modeling. He presents consciousness as a virtual property emerging from self-organizing soft...

Website: https://scalingintelligence.stanford.edu/ Github: https://github.com/ScalingIntelligence HuggingFace: https://huggingface.co/ScalingIntelligence

Join Professor Hannah Fry at the AI for Science Forum for a fascinating conversation with Google DeepMind CEO Demis Hassabis. They explore how AI is revolutioni...

_Note: This video contains hardcoded subtitles. For the most accurate English video transcription, please enable YouTube subtitles and select "English" under Yo...

This is a 1 hour 45 minute talk by Joscha Bach (http://bach.ai/) given in our Center.

Rachel Denison, Boston University Attention is a cognitive process that allows us to prioritize the sensory information that is most relevant for our behaviora...

Filmed at the March 11, 2014 LispNYC meetup at Meetup HQ in NYC. ABOUT DATA COUNCIL: Data Council (https://www.datacouncil.ai/) is a community and conference ...

This is a gentle introduction to applied category theory – more about the history of the subject, what people are trying to do, and my own personal involvement ...

Description: Category theory and its applications Slides: No Slides

_Note: This video contains hardcoded subtitles. For the most accurate English video transcription, please enable YouTube subtitles and select "English" under Yo...

Video lectures at MIT. See http://brendanfong.com/programmingcats.html Lecturers: Brendan Fong, Bartosz Milewski, David Spivak Summary: In this course we e...

https://cppnorth.ca/ --- C++ Memory Model: from C++11 to C++23 In the realm of C++ development, threading and memory management play a crucial role in crafti...

Strong static typing detects a lot of bugs at compile time, so why would anyone prefer to program in JavaScript or Python? The main reason is that type systems ...

Dans cet entretien, le mathématicien Etienne Ghys interroge ses pairs Terence Tao, Nalini Anantharaman et Timothy Gowers autour de la question de la preuve dans...

A talk by Joshua Liebow-Feeser (Software Engineer, Fuchsia Security, Google) at RustConf 2024 in Montreal, Canada & online on September 12. Hosted by the Rust F...

To view a version of this talk without hardcoded subtitles, click here: https://www.youtube.com/watch?v=qd3x5MCUrhw _Note: This video contains hardcoded subtit...

When you hear that someone is "studying algebra". What comes to mind? Are they drilling through thousands of factorisation problems? Are they an undergraduate s...

To fully utilise the exciting category theory we've learnt so far, we need a way to abstract definitions from a specific category and then be able to apply them...

In this video, I describe how all of the different theorems of multivariable calculus (the Fundamental Theorem of Line Integrals, Green's Theorem, Stokes' Theor...

Streamed Live on Twitch: https://twitch.tv/tsoding Enable Subtitles for Twitch Chat More Tore Episodes: https://www.youtube.com/playlist?list=PLpM-Dvs8t0Vb6rfYL...

This talk will explore the world of memory allocation and its impact on application performance. Memory allocators are an often overlooked topic but are the bac...

By first outlining a mathematically rigorous definition of a category, we can embark on a fascinating journey through category theory with examples from mathema...

What did category theory ever do for us (functional programmers)? - An extreme pragmatic and un-academic approach. Examples are in Scala. Talk given at Scale b...

Category theory is a framework that unifies all of mathematics in an abstract and homogeneous language by extracting the essence of mathematical structures. The...

http://CppCon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/CppCon/CppCon2017 — In 2012, Matt ...

A summary of why Jane Street uses OCaml, including a discussion of how OCaml fits into the broader space of programming languages. Given to our summer interns.

"The most dangerous thought you can have as a creative person is to think you know what you're doing." Presented at Dropbox's DBX conference on July 9, 2013. Al...

PL Virtual Meetup: https://www.meetup.com/Programming-Languages-Toronto-Meetup/ CtFP Textbook: https://github.com/hmemcpy/milewski-ctfp-pdf Github Repo: https:/...

Ty Overby is a programmer in Jane Street’s web platform group where he works on Bonsai, our OCaml library for building interactive browser-based UI. In this epi...

http://cppnow.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: http://cppnow.org/history/2019/talks/ — Composition i...

Joscha Bach puts forward his radical theory of cyber animism. Can the natural world be understood in terms of software agents? Watch the full talk at https://...

Modern CPUs manage to speed up even the simplest code, Matt Godbolt explains how there's a lot of juggling going on even in the simple use of registers. Compu...

In this video I give an overview of things I've learned after using Odin professionally on the same project for a year.

In this video I will share something that will change the way you think about mathematics forever. If you learn this one thing, you can then go on and learn mor...

What better time to start the new year than with a Q&A‽ In the span of four hours, we got through almost 90 questions(!) covering everything from IPv6 to ethic...

Clay (short for C Layout) is a high performance 2D UI layout library. See the website at https://nicbarker.com/clay for more info, or check out the github repo...

Patreon: https://www.patreon.com/ahoy Merch: https://ahoy-shop.fourthwall.com/ 00:00 Introduction 01:04 Chris Sawyer's Early Career 03:56 Transition to the PC ...

In this Lambda World 2019 keynote, Emily Riehl discusses category theory and computational effects. Slides are available here: http://www.math.jhu.edu/~eriehl...

In this video, we explore basic concepts of Measure Theory and the Lebesgue Integral. We will learn about important theorems of Lebesgue Integration like the Mo...

There's a lot more to physics than F = ma! In this physics mini lesson, I'll introduce you to the Lagrangian and Hamiltonian formulations of mechanics. Get the ...

François Chollet discusses the outcomes of the ARC-AGI (Abstraction and Reasoning Corpus) Prize competition in 2024, where accuracy rose from 33% to 55.5% on a ...

At an Anthropic Research Salon event in San Francisco, four of our researchers—Alex Tamkin, Jan Leike, Amanda Askell and Josh Batson—discussed alignment science...

A peek into the world of Riemann surfaces, and how complex analysis is algebra in disguise. Secure your privacy with Surfshark! Enter coupon code ALEPH for an e...

Algebraic geometry is often presented as the study of zeroes of polynomial equations. But it's really about something much deeper: the duality between abstract ...

This time I'm joined by Ryan Fleury, who is working on RAD Debugger in Epic Game Tools (formerly RAD Game Tools). It's incredibly detailed, technical deep dive ...

The co-founders of Anthropic discuss the past, present, and future of Anthropic. From left to right: Chris Olah, Jack Clark, Daniela Amodei, Sam McCandlish, Tom...

Definition of category. Example categories. Isomorphisms and monomorphisms.

A whistle-stop tour of how computers work, from how silicon is used to make computer chips, perform arithmetic to how programs run and computer graphics are dis...

EECS Colloquium Wednesday, September 18, 2019 306 Soda Hall (HP Auditorium) 4-5p Captions available upon request

Rust is increasingly used in high-stakes sectors where errors can have serious consequences. In fields such as healthcare, aerospace, defense, and finance, soft...

STEMerch Store: https://stemerch.com/ Support the Channel: https://www.patreon.com/zachstar PayPal(one time donation): https://www.paypal.me/ZachStarYT Versión...

Here is the discussion with Jonathan Blow. I am extremely grateful for this discussion - I am following Jonathan streams and am a fan of his work, both in terms...

Playlist: https://www.youtube.com/playlist?list=PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4 What is category theory? In this lecture we introduce categories, which incl...

A quick run through of some tips for programming in C that have helped with my productivity and enjoyment of the language. Referenced in this video: Anthony C...

Kurt Gödel showed that mathematical thinking cannot be captured in a formal axiomatic reasoning system. What does this deep result mean in practice? What are th...

Sign up with brilliant and get 20% off your annual subscription: https://brilliant.org/ZachStar/ STEMerch Store: https://stemerch.com/ Support the Channel: htt...

Over the last 10 years we've seen Machine Learning consume everything, from the tech industry to the Nobel Prize, and yes, even the ML acronym. This rise in ML ...

This lecture is part of an online course on algebraic topology. We define the fundamental group, calculate it for some easy examples (vector spaces and spheres...

Goal. Explaining basic concepts of algebraic topology in an intuitive way. This time. What is...homotopy? Or: The same shape!? Disclaimer. Nobody is perfec...

In this Tech Talk, Tudor Brindus, a software engineer at Jane Street, shares his expertise on reducing jitter—deviations from mean input processing times—in low...

2024 LLVM Developers' Meeting https://llvm.org/devmtg/2024-10/ ------ Rust ❤️ LLVM Speaker: Nikita Popov ------ Slides: https://llvm.org/devmtg/2024-10/slides/k...

Lecture 1 of Algebraic Topology course by Pierre Albin.

My code: https://github.com/keyframe41/ParticleSimulation Part 1 video: https://youtu.be/XL8B5nzNEOc Finally this video is done. Still have more particle ideas ...

—————SOURCES———————————————————————— Percolation – Béla Bollobás and Oliver Riordan Cambridge University Press, New York, 2006. Sixty Years of Percolation – H...

The first in a two-lecture series on our recently-announced Categorical Deep Learning framework (categoricaldeeplearning.com), given as a lecture for the Geomet...

#logic #prooftheory #modeltheory #goedel Access exclusive content on Patreon: https://www.patreon.com/user?u=86649007 All the way at the foundations of mathe...

This presentation was recorded at YOW! 2019. #GOTOcon #YOW https://yowcon.com Hillel Wayne - Author of Practical TLA+ @hillelwayne3236 RESOURCES https://twit...

An explanation of fractal dimension. Help fund future projects: https://www.patreon.com/3blue1brown An equally valuable form of support is to simply share some ...

We explore a counter-intuitive property of proof by induction, where one inequality can be proven by induction easily, but a seemingly easier to prove, weaker, ...

Trading at light speed: designing low latency systems in C++ - David Gross - Meeting C++ 2022 Slides: https://slides.meetingcpp.com Survey: https://survey.meeti...

AI. DeepSeek. OpenAI. Tech competition. Support me! Donation and Support: https://buymeacoffee.com/windspiritz https://www.patreon.com/Awakening_Richard

The Cosmic Distance Ladder, how we learned distances in the heavens. P Patreon supporters see early views of new videos: https://www.patreon.com/3blue1brown Ar...

Relatively speedy-to-access cache saves your computer having to trudge over to the RAM, but with multiple levels of cache memory, how does it all work? Matt G...

Socials: https://www.twitch.tv/noahpop77 GitHub Repo: https://github.com/noahpop77/Papy Blog Post 1: https://medium.com/@noahpop77/exploring-your-limits-limit...

Ramon, the creator of raylib library, joins me to discuss its C code and design! We talk about open source model of development as well! Join us! https://www.r...

Charlie Marsh is the founder of Astral, which develops uv, a next-generation Python package manager written in Rust. In this talk, Charlie details the unique ch...

In this lecture from Sam Cohen’s 3rd year ‘Information Theory’ course, one of eight we are showing, Sam asks: how do we measure the amount of information we lea...

Clement Bonnet discusses his novel approach to the ARC (Abstraction and Reasoning Corpus) challenge. Unlike approaches that rely on fine-tuning LLMs or generati...

Daniel Franzen and Jan Disselhoff, the "ARChitects" are the official winners (with co-researcher David Hartmann) of the ARC Prize 2024. Filmed at Tufa Labs in Z...

Sepp Hochreiter, the inventor of LSTM (Long Short-Term Memory) networks – a foundational technology in AI. Sepp discusses his journey, the origins of LSTM, and ...

There's often a lot of emphasis in math on generalizing concepts beyond the domains where they were originally defined, but what are the limits of this process?...

Jim Keller is a microprocessor engineer who has run the gauntlet of today’s leading tech companies during their peak performance years. He’s designed for Intel,...

"If you think something is unsolvable it will not get solved. Solving problems is partly about believing you can solve everything and sometimes that means you ...

Links: https://david-vanderson.github.io/

Continuous functions play a crucial role in various disciplines in math. We discuss the epsilon-delta criterion and formalize it in the programming language and...

Doug McLean, retired Boeing Technical Fellow, discusses several examples of erroneous ways of looking at phenomena in aerodynamics, that have either taken hold ...

Research Scientist Hado van Hasselt covers policy algorithms that can learn policies directly and actor critic algorithms that combine value predictions for mor...

MAKE HISTORY WITH US THIS SUMMER: https://demystifysci.com/demysticon-2025 PATREON https://www.patreon.com/c/demystifysci PARADIGM DRIFT https://demystifysci...

Thanks to KiwiCo for sponsoring today’s video! Go to https://www.kiwico.com/welchlabs and use code WELCHLABS for 50% off your first monthly club crate or for 20...

Everyone wants AI hardware to test and develop on, and Tenstorrent is leading the way from the AI startups when it comes to development kits. This new round of ...

Audio Noise Removal Version / 音声ノイズ除去バージョン 0925 The Future of RISC-V and RISC-V AI Jim Keller | CEO, Tenstorrent (Canada) 0925 RISC-VとAIとの未来 Jim Keller (ジム・...

THE 70s MUST HAVE BEEN A WILD TIME TO BE ALIVE, right? I often daydream about the lives of people who picked up C just at this perfect time, right at the start....

Is category theory a mathematical theory? Or something more? In this brief presentation, educational designer Paul Dancstep shares an animated description of wh...

This video is a walkthrough of the overall code structure of my game written in x64 assembly. If you want me to go through something in more detail, tell me in ...

Support us on Patreon: http://patreon.com/polylog I can convince you that I’ve solved a sudoku without giving you any information about my solution. We discuss...

Watch the first half of Day 1 of our RISC-V Technology Conference in Bangalore. Opening Remarks from Minister Rajeev Chandrasekhar Keynote from Tenstorrent Inc...

Join The ACCU Membership For Exclusive Benefits, Discounts & Reduced Conference Ticket Pricing: https://accu.org/menu-overviews/membership/ --- The Genius of R...

Presented by Ljubisa Bajic, CEO and Lead Architect, and Stan Skokrac, VP Software, Tenstorrent The machine learning field is red hot, and numerous teams have b...

Yann LeCun, Meta, gives the AMS Josiah Willard Gibbs Lecture at the 2025 Joint Mathematics Meetings on “Mathematical Obstacles on the Way to Human-Level AI.” Th...

ACCU Membership: https://tinyurl.com/ydnfkcyn Sponsored By think-cell: https://www.think-cell.com/accu https://accu.org Keynote: Development Environments Shape...

ACCU Membership: https://tinyurl.com/ydnfkcyn Join us for ACCU Conference 2025 - 1st-4th April - Online & in Bristol, UK https://accuconference.org/ --- Not Yo...

Hosted by the Acquired podcast, "Live at NVIDIA GTC With Acquired," this special pregame broadcast featured luminary speakers offering valuable insights into NV...

As part of the Manufacturing@MIT Distinguished Speaker Series, Dr. Morris Chang SB ’52, SM ’53, ME ‘55, founder and former chairman and CEO of TSMC (Taiwan Semi...

Links: - Patreon (Support the channel directly!): https://www.patreon.com/Asianometry - X: https://twitter.com/asianometry - Bluesky: https://bsky.app/profile/a...

In this insightful panel, pioneering architects behind CUDA—including ​Gregory Diamos, Davor Capalija, Micah Villmow, and Nicholas Wilt—explore the rise of NVID...

https://arcprize.org/arc-agi#arc-agi-2 Play ARC-AGI: https://arcprize.org/play?task=1ae2feb7 ARC-AGI-2 was launched on March 24, 2025. This second edition in t...

Abstract: When every big company such as Microsoft, Amazon, Google, Meta, Apple, ..., is rushing to buy Nvidia GPUs to train and run their AI models, who are go...

Ege Erdil and Tamay Besiroglu have 2045+ timelines, think the whole "alignment" framing is wrong, don't think an intelligence explosion is plausible, but are co...

Interesting stuff coming out of NVIDIA's event. The Analyst Q&A with Jensen was particularly eye-opening. [00:00] Keynotes [01:49] Does NVIDIA Build GPUs Anymo...

This presentation was recorded at GOTO Chicago 2024. #GOTOcon #GOTOchgo https://gotochgo.com Matt Godbolt - Low-level Latency Geek @MattGodbolt RESOURCES htt...

This presentation was recorded at YOW! Australia 2024. #GOTOcon #YOW https://yowcon.com Yan Chernikov - Director at Studio Cherno @TheCherno RESOURCES https:...

On this episode of Approximately Correct, we talk about Richard S. Sutton's AI journey and with his peers about his recent Turing Award. Want to learn from AI ...

A team of amateurs recently came together in an online collaboration called the Busy Beaver Challenge to pin down the value of BB(5), the fifth "busy beaver" nu...

Dhanya Sridhar (IVADO + Université de Montréal + Mila) https://simons.berkeley.edu/talks/dhanya-sridhar-ivado-universite-de-montreal-mila-2025-04-16 Safety-Guar...

This presentation was recorded at GOTO Copenhagen 2024. #GOTOcon #GOTOcph https://gotocph.com Kevlin Henney - Consultant, Programmer, Keynote Speaker, Technolo...

The evolution of artificial intelligence has seen remarkable milestones, particularly in developing systems capable of advanced reasoning. This panel will explo...

Hypergraphs can have any number of dimensions. They can be 2-dimensional, 3-dimensional, 4.81-dimensional or, in the limit, ∞-dimensional. So how does the thre...

We discuss quantum computing, Turing machines, multiverses, consilience, interdisciplinarity, and the state of academia among other fascinating topics. David w...

I had the pleasure of sitting down with David Deutsch in his lovely garden in Oxford a few months ago. Here’s our conversation. Support this podcast: http://bu...

David Deutsch is the founder of the field of quantum computing and the author of The Beginning of Infinity and The Fabric of Reality. Read me Contra David, on ...

Speaker: Scott Aaronson, Department of Computer Science, University of Texas, Austin Title: How Much Math Is Knowable? Abstract: Theoretical computer science ...

In this episode of Unsupervised Learning, we sit down with Dylan Patel, Chief Analyst at SemiAnalysis, to break down what these sweeping changes really mean. Fr...

A talk I gave to my MATS 8.0 training program on thinking models. Thinking models seem like a really big deal! Why are they such an improvement? What does this...

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 ...

Zuck on: * Llama 4, benchmark gaming, open vs source * Intelligence explosion, business models for AGI * DeepSeek/China, export controls, & Trump * Orion glasse...

Qubits, state vectors, and Grover's algorithm for search. Instead of sponsored ad reads, these lessons are funded directly by viewers: https://3b1b.co/support A...

A rare look at one of the most unconventional CPUs on the horizon. Fujitsu’s latest chip isn’t chasing hype — it’s focused, deliberate, and built for a specific...

Smooth lesson from my smooth brain about... CHANNEL LINKS 🗞️ Substack — https://verynormal.substack.com ☕ Buy me a Ko-fi! — https://ko-fi.com/verynormal USEFU...

This video has a page on 0DE5 with exercises and resources https://www.0de5.net/stimuli/a-reintroduction-to-programming/instructions-to-languages/grammars-parsi...

An in-depth look at Anthropic's Transformer Circuit Blog Post Part 1 here: https://youtu.be/mU3g2YPKlsA Discord here: https;//ykilcher.com/discord https://tran...

Current and future hardware requirements for next generation frontier models. Recorded live in San Francisco at the AI Engineer World's Fair. See the full sche...

If Charles Dickens was alive in 2024, A Tale of Two Cities might be the divide between the “GPU poor” and the “GPU rich”. We mentioned these terms in some of o...

Talk kindly contributed by Stephen Wolfram in SEMF's 2024 Interdisciplinary Summer School: https://semf.org.es/school2024 TALK ABSTRACT A talk on the recent d...

Slides: https://drive.google.com/file/d/1pIVJDkohQUt1ZawQvzzR7Wi3cRmyE8Pa/view?usp=sharing

This interview was recorded for the GOTO Book Club. #GOTOcon #GOTObookclub http://gotopia.tech/bookclub Read the full transcription of the interview here: http...

In this experiment, I took a statement in universal algebra that a collaborator of mine (Bruno Le Floch) on the Equational Theories Project had written a one-pa...

Visit our website: https://aprendemosjuntos.bbva.com/ Subscribe to our youtube channel: https://www.youtube.com/channel/UCI6Q... Visit our website: https://apre...

Note: Sorry about the video quality! When I'm properly coding I zoom in so it should be readable, but could be better. A session with some of my MATS 8.0 train...

Stream from May 11, 2025 at https://twitch.tv/sphaerophoria Please consider supporting. This content WILL end some day, but every dollar I make pushes that day...

Edward Witten will consider the algebra of observables along the worldline of an observer as a background independent algebra in quantum gravity.

In today's video, I wanted to cover context windows in the transformer's architecture and how to make them BIG. # Table of Content - Introduction: 0:00 - Why m...

Following on from the previous video at https://www.youtube.com/watch?v=cyyR7j2ChCI, I now attempt to formalize a different proof of the same assertion using th...

DON'T memorize this – understand it. Matrix multiplication isn’t just some weird set of rules. It's a carefully designed system that fits real-world problems pe...

The tensor product of vector spaces (or modules over a ring) can be difficult to understand at first because it's not obvious how calculations can be done with ...

In this video, we dive into the world of autoencoders, a fundamental concept in deep learning. You'll learn how autoencoders simplify complex data into essentia...

In this video, Daniel Cumming a formal verification engineer at Runtime Verification and Rust instructor at RareSkills explains how the Rust compiler works unde...

Stephen Wolfram is a prominent computer scientist and theoretical physicist, best known for developing Mathematica and authoring A New Kind of Science. Today, w...

In this series we hunt for the backdoor that the NSA allegedly uses in order to crack AES encryption. The backdoor is inside of Intel (and AMD) CPUs and today w...

AI Competes in a 100m Dash! In this video 5 AI Warehouse agents compete to learn how to run 100m the fastest. The AI were trained using Deep Reinforcement Lear...

Course: https://www.udemy.com/course/introduction-to-power-system-analysis/?couponCode=KELVIN ✅ If you want to support me to make more frequent videos, consider...

This video was sponsored by Brilliant. To try everything Brilliant has to offer—free—for a full 30 days, visit https://brilliant.org/Tariq10x/ . You’ll also get...

In this video, I break down DeepSeek's Group Relative Policy Optimization (GRPO) from first principles, without assuming prior knowledge of Reinforcement Learni...

I found a way to turn Portal 2 into a web server. Thank you for watching! This project is available on GitHub: https://github.com/p2r3/HTTPortal Join our Disco...

The first 500 people to use my link https://skl.sh/deepia05251 will get a 1 month free trial of Skillshare! In this video you'll learn everything about the DDP...

See part 2 here: Implementing GPT-2 from Scratch https://neelnanda.io/transformer-tutorial-2 Template notebook: https://neelnanda.io/transformer-template Solut...

In this video we are looking at Diffusion Models from a different angle, namely through Score-Based Generative Models, which arguably can be considered as the b...

Visit https://brilliant.org/Reducible/ to get started learning STEM for free, and the first 200 people will get 20% off their annual premium subscription. Cha...

Donate to Closer To Truth and help us keep our content free and without paywalls: https://shorturl.at/OnyRq Does ordinary stuff have mysterious properties? Tak...

Leading physicist Raphael Bousso joins Brian Greene to explore the almost unreasonable capacity of our theories of gravity to give deep insights into quantum ph...

Get 4 months extra on a 2 year plan here: https://nordvpn.com/artemkirsanov. It’s risk free with Nord’s 30 day money-back guarantee! Socials: X/Twitter: https...

Head to https://squarespace.com/artem to save 10% off your first purchase of a website or domain using code ARTEM Socials: X/Twitter: https://x.com/ArtemKRSV P...

It's been a little over 2 years since my last Oxidise your Command Line video, and so it's about time for an update! Today I have 30 rust-powered command line ...

ERRATA: • The "Church-Turing Thesis" is different from the "Church-Turing Theorem". The "theorem" is the claim which I discussed in the video- namely, that the ...

Come for an introduction to programming the GPU by the lead architect of CUDA. CUDA's unique in being a programming language designed and built hand-in-hand wit...

CUDA Teaching Center Oklahoma State University ECEN 4773/5793

(CORRECTIONS IN THE DESCRIPTION) What is Nix? And how does it build software in a completely deterministic way? Chapters: 0:00 - Intro 0:45 - How Nix came to ...

Andrej Karpathy shared the story of how he built llm.c and encouraged the audience to build more reference architectures that can fit in an LLMs context length....

Terence Tao is widely considered to be one of the greatest mathematicians in history. He won the Fields Medal and the Breakthrough Prize in Mathematics, and has...

Nic Barker is a self-taught programmer who went from web development to building Clay, a fast UI layout library in C. We talk about how he got started, his jour...

This is my entry to #SoME4, 3Blue1Brown's Summer of Math Exposition Competition! Diffusion models are typically portrayed as models that learn to denoise a cor...

Mitchell takes us through his AI workflow and we dive into a recent commit of his: https://github.com/ghostty-org/ghostty/commit/3de3f48faf830fe1326f44b08fb9f27...

Breakthrough Discuss is an annual academic conference focused on life in the Universe and novel ideas for space exploration. Breakthrough Discuss 2025: Life As ...

Open source has revolutionized software. Now it is hardware's turn. This talk will present today's chip design economics, introduce the free and open RISC-V ins...

IT’S ALL ABOUT MATH! An ongoing series hosted by The Department of Mathematics of the University of Toronto How playing games led to more numbers than anybody ...

Dr. Dr. h.c. Joscha Bach (*1973 Weimar, DDR) Humboldt-Universität, Forschung am MIT und Harvard, Kognitionswissenschaftler, KI-Forscher und Philosoph. Bach ist...

To try everything Brilliant has to offer—free—for a full 30 days, visit https://brilliant.org/ArtemKirsanov . You’ll also get 20% off an annual premium subscrip...

at Napoleonic hall of Brera palace

*tl;dr: a programming language for documents* James shares a bit about Typst as an excited newcomer to the 'documents as code' ecosystem, while simultaneously ...

Diffusion models are a key innovation with far-reaching impacts on multiple fields in machine learning, being the technology behind OpenAI's DALL-E and Sora, Go...

Let's try to convince a bunch of particles to behave (at least somewhat) like water. Written in C# and HLSL, and running inside the Unity engine. Source code: ...

Song Han, Associate Professor, MIT Electrical Engineering and Computer Science, on accelerating large language model and generative AI. Han’s talk was part of ...

The billionaire Peter Thiel is unimpressed with our pace of innovation. In this episode, he critiques artificial intelligence, longevity science and space trave...

Speaker, institute & title 1) Alex Alberts, Purdue University, Information field theory for solving Bayesian inverse problems

Remove your personal information from the web at https://JoinDeleteMe.com/BYCLOUD and use code BYCLOUD for 20% off🙌 In this video, we take a look at this re...

Dr. Karl Friston, University College London, applies the free energy principle to set forth an account of life, or self-organization, in terms of active inferen...

Gordon Moore, co-founder of Intel Corporation, to whom the term "Moore's Law" is attributed, speaks about the ubiquitous microchip. Series: "Frontiers of Knowle...

Fireside Chat With Ilya Sutskever and Jensen Huang AI Today and Vision of the Future March 2023

In this Presidential Lecture, Terence Tao will survey historical and recent developments in the use of machines in mathematics. He will also speculate on the fu...

https://cpponline.uk/ --- Declarative C++ - Ankur Satle - C++Online 2025 "What" - Express intent directly Declarative C++ is about working with the "what" i.e...

Our last AI PhD grad student feature was Shunyu Yao, who happened to focus on Language Agents for his thesis and immediately went to work on them for OpenAI. Ou...

Dylan Patel breaks down the current chaos inside the world’s top AI companies. Dylan is the founder and CEO of SemiAnalysis, one of the best analyst firms cover...

A CIMC Salon at the Internet Archive in San Francisco

Exploring AI, Consciousness, and the Mind: A Lecture with Joscha Bach This lecture, presented to the students of the "Computing Brain" minor at the Erasmus Uni...

Ever wonder what goes on behind the scenes with your favorite tech YouTubers? In this candid interview, join us as we chat with Jon from Asianometry, a renowned...

Abstract: I will try to share a glimpse of this strange unification of many different ideas. This talk is aimed at a general audience, and no particular backgro...

Here are some of Devine's disjointed thoughts on the creation of a clean-slate computing stack based on the universal virtual machine strategy for digital prese...

This is a technical presentation about diffusion language models, a relatively new approach to text generation that differs fundamentally from traditional autor...

#LambdaConf2025 took place in Estes Park Colorado this past May 12th and 13th. UPCOMING EVENT: The Ultimate Coder Casting call: https://docs.google.com/forms/d...

To try everything Brilliant has to offer—free—for a full 30 days, visit https://brilliant.org/ArtemKirsanov/ . You’ll also get 20% off an annual premium subscri...

Type theory is one of the central ideas in theoretical computer science and formal linguistics. But what is it, where did it come from, and how does it work? We...

In this episode targeted at beginners, we show the end-to-end application development process, starting from an empty directory. We'll consider package configur...

Algebraic geometry seminar Department of Pure Mathematics University of Waterloo September 22nd, 2016 Following the notes of Ravi Vakil, available at http://mat...

www.pydata.org Diving into Transformer Model Internals While everybody and their dog is building applications on generative AI, the inner workings of tran...

[C++ Under the Sea 2024 conference] https://cppunderthesea.nl/ 11th of October 2024 Video recording sponsored by think-cell: https://www.think-cell.com [T...

What gives High-Frequency Trading (HFT) its insane speed? In this first part of our FPGA deep dive, we break down the **hardware that powers low-latency system...

Episode #4 of Yesterday: Dylan Patel is the founder of SemiAnalysis, the leading research and consulting firm for AI infrastructure and buildouts. Their public...

Speaker: Joe Fioti

In this session, I will explore some playful low-power, sometimes analog, computation systems and esoteric programming languages, designed to work offline, on s...

Jordan Wolfe sits down with Dylan Patel, Founder and Chief Analyst at SemiAnalysis, a research and consulting firm specializing in semiconductor and other AI-in...

Go to http://piavpn.com/torscabinet to get 83% off from our sponsor Private Internet Access with 4 months free! Featuring technology invented by Bell Labs, like...

This presentation was recorded at GOTO Aarhus 2023. #GOTOcon #GOTOaar https://gotoaarhus.com Magnus Madsen - Assistant Professor at Aarhus University RESOURCE...

The purpose of monads and their alternatives (old and new). For people who love monads, hate monads, and those who don’t get them. Make FP click by joining “Ho...

Kit Langton explores algebraic effects, emphasizing separating syntax from semantics. Kit demonstrates this through the Kyo library, discussing syntax and seman...

Links: - Patreon (Support the channel directly!): https://www.patreon.com/Asianometry - X: https://twitter.com/asianometry - Bluesky: https://bsky.app/profile/a...

Links: - The Asianometry Newsletter: https://www.asianometry.com - Patreon: https://www.patreon.com/Asianometry - Threads: https://www.threads.net/@asianometry ...

How a small Belgian town became the center of semicondcutor innovation. From High-NA EUV to silicon photonics. A closer look at imec. Become a supporter on Pa...

In 1986, the Soviet Union had slightly more than 10,000 computers. The Americans had 1.3 million. At the time of Stalin's death, the Soviet Union was the worl...

I'm sure we've all heard of the Yoneda Lemma before, but why does it get so much hype in category theory when the result itself is quite elementary to prove? W...

Links: - Patreon (Support the channel directly!): https://www.patreon.com/Asianometry - X: https://twitter.com/asianometry - Bluesky: https://bsky.app/profile/a...

Casey Muratori's talk at BSC 2025. Casey's links: - https://ComputerEnhance.com/ - https://x.com/cmuratori/ BSC links: - https://BetterSoftwareConference.com/...

This video’s sponsor Brilliant is a great way to learn more. You can try Brilliant for free for thirty days by visiting https://brilliant.org/WelchLabs and the...

In this video, we generalize Euclidean vector space to obtain Hilbert spaces. In the process, we come across Bessel's inequality and Parseval's identity. The th...

In this video, we aim to explore the full geometric meaning of the second derivative test through the lens of linear algebra. We'll uncover the power of the spe...

Michael Levin is a biologist at Tufts University working on novel ways to understand and control complex pattern formation in biological systems. Please support...

Paper: https://arxiv.org/abs/2507.02092 Code: https://github.com/alexiglad/EBT Website: https://energy-based-transformers.github.io/ Abstract: Inference-time c...

Jacobian matrix and determinant are very important in multivariable calculus, but to understand them, we first need to rethink what derivatives and integrals me...

Dennis Gustafsson's talk at BSC 2025 about parallelizing the physics solver in for an upcoming game. Dennis' links: - https://voxagon.se/ - https://x.com/voxag...

To learn more about various areas of Group Theory: https://en.wikipedia.org/wiki/Group_theory Galois Theory article in Encyclopedia of Mathematics: https://en...

In this episode we dive into Pauli Spinors, Weyl Spinors, Dirac Spinors, and Majorana Spinors. We talk about their difference and later we compare them to twis...

Advait Shinde discusses the history of the theory of computation, delving into axiomatic thinking, Peano axioms, Turing Machines, Lambda Calculus, the Y Combina...

The Lambda Calculus is a tiny symbol manipulation system which suffices to compute anything Turing-computable. Thanks to this expressive power, LC is woven into...

The great Stephen Wolfram spends 2 hours discussing the ruliads and computational irreducibility at the Real World Risk Institute Summer School.

Check out the latest (and most visual) video on this topic! The Celestial Mechanics of Attention Mechanisms: https://www.youtube.com/watch?v=RFdb2rKAqFw Attent...

The history of the first microprocessor is murky and ill-defined. For years, the Intel 4004 was generally accepted to hold the title. However, in 1998, the hist...

In this video, learn how a CPU uses hardware timers to control execution timing. More 6502 stuff: https://eater.net/6502 Support these videos on Patreon: https...

This discussion took place on July 26, 2023, at Cemex Auditorium, Stanford University, and was hosted by the Stanford Graduate School of Business. This talk co...

Sam Altman, CEO, OpenAI and Anna Makanju, Vice President of Global Affairs, OpenAI join Bloomberg’s Brad Stone for a conversation at Bloomberg House at Davos. ...

Sam Altman speaks at the 'Technology in a turbulent world' event in Davos, Switzerland

Tutorial on building intuition about LLMs. Slides: https://link.excalidraw.com/p/readonly/aBWlNjEckdUlrszwwo6V or https://github.com/srush/LLM-Talk/blob/main/T...

An excellent summary of the field of quantum computing. Find out more about Qiskit at https://qiskit.org and their YouTube channel https://www.youtube.com/c/qis...

This talk discards hand-wavy pop-science metaphors and answers a simple question: from a computer science perspective, how can a quantum computer outperform a c...

Santosh Vempala, Georgia Tech

January 10, 2023 Introduction to Transformers Andrej Karpathy: https://karpathy.ai/ Since their introduction in 2017, transformers have revolutionized Natural ...

A visual introduction to probability's most important theorem Help fund future projects: https://www.patreon.com/3blue1brown Special thanks to these lovely supp...

In this video I explain all the basics of particle physics and the standard model of particle physics. Check out Brilliant here: https://brilliant.org/DOS/ Buy ...

Dmitry Krotov, MIT / IBM Research

We explore the fundamental nature of entropy and its deep link to information. If you were taught that entropy measured disorder, you are in for a treat! Chapt...

Please check out Numerai - our sponsor @ http://numer.ai/mlst Patreon: https://www.patreon.com/mlst Discord: https://discord.gg/ESrGqhf5CB The Second Law: Res...

Brian Cheung, MIT

Douglas Eck, Google DeepMind

Yury Polyanskiy (MIT): Self-regularizing Property of Nonparametric Maximum Likelihood Estimator in Mixture Models Introduced by Kiefer and Wolfowitz 1956, the...

Po-Shen Loh is a mathematician at CMU and coach of the USA International Math Olympiad team. Please support this podcast by checking out our sponsors: - The Jor...

#Linux #stable #security #development #t2sde #Ad: You can support my work at: https://patreon.com/renerebe https://github.com/sponsors/rxrbln/ https://buymeacof...

Links: - The Asianometry Newsletter: https://www.asianometry.com - Patreon: https://www.patreon.com/Asianometry - Threads: https://www.threads.net/@asianometry ...

Check out Grant’s channel: 3blue1brown: https://www.youtube.com/3blue1brown This video recounts a lecture by Richard Feynman giving an elementary demonstration...

Watch the full documentary Grounded II: Making The Last of Us™ Part II, which takes viewers through the development process of Naughty Dog’s acclaimed sequel, T...

To apply for an open position with MatX, visit www.matx.com/jobs. 🌟Support the channel🌟 Patreon: https://www.patreon.com/michaelpennmath Channel Membership: ht...

Researchers at Google research lab DeepMind trained an AI system called AlphaTensor to find new, faster algorithms to tackle an age-old math problem: matrix mul...

Abstract: In this talk I’ll highlight several exciting trends in the field of AI and machine learning. Through a combination of improved algorithms and major ef...

#vjepa #meta #unsupervisedlearning V-JEPA is a method for unsupervised representation learning of video data by using only latent representation prediction as...

The Tokenizer is a necessary and pervasive component of Large Language Models (LLMs), where it translates between strings and tokens (text chunks). Tokenizers a...

▬▬ Papers / Resources ▬▬▬ LoRA Paper: https://arxiv.org/abs/2106.09685 QLoRA Paper: https://arxiv.org/abs/2305.14314 Huggingface 8bit intro: https://huggingface...

Perhaps the most important formula in probability. Help fund future projects: https://www.patreon.com/3blue1brown An equally valuable form of support is to simp...

Bram Nauta, University of Twente, Enschede, The Netherlands. Since its inception, Moore’s Law has been the driving force for IC design. Although during the fir...

Transformers Neural Network explained and implemented using PyTorch. Code Repository: https://github.com/tgautam03/Transformers References: The blog post by ...

A civil engineer's tour of the ITER megaproject Watch Jade's @upandatom video here: https://youtu.be/A5RxUW7VC-A I don’t know much about superconducting coils...

(April 21, 2010) Nathan Woodling and Anthony Chung-Ming Ng give a broad overview of the field of neuroscience and how it relates to human biology. They discuss ...

00:00 Intro 01:38 Change the lengths! 06:34 What is a good potential? 12:31 Implementation 16:20 Bonus Tom Sláma's video: https://youtu.be/umszOeerdsU Our Pat...