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

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 circuits and encoding those into satisfiability...

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 DNA of functional programming langu...

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, research, and communication of mathematics....

Advait Shinde discusses the history of the theory of computation, delving into axiomatic thinking, Peano axioms, Turing Machines, Lambda Calculus, the Y Combinator, and the Von Neumann Model. Brillia...

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 was made as a presentation for my lab th...

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 twistors! Subscribe to the channel and beco...

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

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

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. This video gives a (gentle?) example-dr...

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/voxagonlabs/ - https://teardowngame.com/ BSC...

GPU programming is a mess. It relies on frameworks that are tied to specific devices, incompatible shading languages, and drivers that can sometimes cause problems. But WHY is it so bad? After all, CP...

Jacobian matrix and determinant are very important in multivariable calculus, but to understand them, we first need to rethink what derivatives and integrals mean. We can't think of derivatives as slo...

Paper: https://arxiv.org/abs/2507.02092 Code: https://github.com/alexiglad/EBT Website: https://energy-based-transformers.github.io/ Abstract: Inference-time computation techniques, analogous to huma...

Michael Levin is a biologist at Tufts University working on novel ways to understand and control complex pattern formation in biological systems. Please support this podcast by checking out our sponso...

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 spectral theorem and the principal axes 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 theory of orthonormal sets in Hilbert spac...

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 first 200 subscribers receive 20 percen...

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

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

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? Well, you're not going to get a good answ...

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 world's third most proficient computing powe...

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 Patreon: https://www.patreon.com/c/user?u=...

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

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

Kit Langton explores algebraic effects, emphasizing separating syntax from semantics. Kit demonstrates this through the Kyo library, discussing syntax and semantics using method examples. He showcases...

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 “How to think like a functional programmer”...

This presentation was recorded at GOTO Aarhus 2023. #GOTOcon #GOTOaar https://gotoaarhus.com Magnus Madsen - Assistant Professor at Aarhus University RESOURCES https://flix.dev https://github.com/fl...

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 almost everything else you use over the...

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

In this session, I will explore some playful low-power, sometimes analog, computation systems and esoteric programming languages, designed to work offline, on salvaged devices, advised from spending t...

Speaker: Joe Fioti

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

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 systems** — and show why FPGAs are faster than...

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

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

Algebraic geometry seminar Department of Pure Mathematics University of Waterloo September 22nd, 2016 Following the notes of Ravi Vakil, available at http://math.stanford.edu/~vakil/216blog/index.html

In this episode targeted at beginners, we show the end-to-end application development process, starting from an empty directory. We'll consider package configuration, taking advantage of editor integr...

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'll find out answers to all these questi...

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 subscription. How does the 3mm-thick sheet of ...

#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/1X6xqghfFNU3QRgbcrzgYPYTfBZtGEU0VvRG0zk...

This is a technical presentation about diffusion language models, a relatively new approach to text generation that differs fundamentally from traditional autoregressive models like GPT. 0:00:00 Diff...

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 preservation. As opposed to the seemingly nat...

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 background will be assumed. When we look caref...

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 University in Rotterdam features renowned c...

A CIMC Salon at the Internet Archive in San Francisco

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 covering everything AI and semiconductors. ...

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. Our pick this year is Jack Morris, who buc...

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

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 future roles of machine assistance in the ...

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

Gordon Moore, co-founder of Intel Corporation, to whom the term "Moore's Law" is attributed, speaks about the ubiquitous microchip. Series: "Frontiers of Knowledge" [11/2006] [Science] [Show ID: 11925...

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 inference. August 19th, 2023.

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 research paper called Continuous Thought M...

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

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 session on “Scaling Computing Perfor...

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: https://github.com/SebLague/Fluid-Sim/tr...

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, Google's Imagen, Stable Diffusion, Midjour...

*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 throwing a lot of shade at LaTeX, a tool...

at Napoleonic hall of Brera palace

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 subscription Socials: X/Twitter: https://x.com/...

Dr. Dr. h.c. Joscha Bach (*1973 Weimar, DDR) Humboldt-Universität, Forschung am MIT und Harvard, Kognitionswissenschaftler, KI-Forscher und Philosoph. Bach ist bekannt für seine Arbeiten und Beiträge...

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 ever thought of with DR. JOHN CONWAY, Pr...

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 instruction set architecture, and describe ...

Breakthrough Discuss is an annual academic conference focused on life in the Universe and novel ideas for space exploration. Breakthrough Discuss 2025: Life As We Don't Yet Know It was held April 23-2...

Mitchell takes us through his AI workflow and we dive into a recent commit of his: https://github.com/ghostty-org/ghostty/commit/3de3f48faf830fe1326f44b08fb9f27fa65cefcd. We cover his approach to age...

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 corrupted image. This way, they can generat...

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 journey into low-level programming, the chal...

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 contributed to a wide range of fields f...

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. Andrej also further broke down his keyn...

(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 be 3:37 - Install Nix 4:13 - Nix Languag...

CUDA Teaching Center Oklahoma State University ECEN 4773/5793

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 with the hardware that it runs on. Stepping...

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 Turing machine and lambda calculus are e...

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 tools to show you that have replaced and...

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 Patreon: https://patreon.com/artemkirsa...

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://x.com/ArtemKRSV Patreon: https://www....

Leading physicist Raphael Bousso joins Brian Greene to explore the almost unreasonable capacity of our theories of gravity to give deep insights into quantum physics. This program is part of the Big...

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? Take anything; find all its parts; combine ...

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. Chapters: 00:00 Introducing JPEG and RGB Re...

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 broader family of diffusion models. Perso...

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

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 DDPM formulation of diffusion models. We go...

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 Discord server! https://p2r3.com/discord All...

In this video, I break down DeepSeek's Group Relative Policy Optimization (GRPO) from first principles, without assuming prior knowledge of Reinforcement Learning. By the end, you’ll understand the co...

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 20% off an annual premium subscription....

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 becoming a channel member. ✅ I use AEJ...

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 Learning, a method of Machine Learning which...

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 we attack the AES key generation. The th...

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

In this video, Daniel Cumming a formal verification engineer at Runtime Verification and Rust instructor at RareSkills explains how the Rust compiler works under the hood. This talk will explain the ...

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 essential representations, known as latent space...

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/ Visit my main channel: https://www.youtube...

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 the elements of a tensor product. In thi...

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 perfectly. To understand why it works the ...

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 the large language models Claude 3.4 Sonne...

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 more context is good: 0:33 - R1 longer co...

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

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 further out Join on youtube for happy ...

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 training scholars where I do a short research...

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

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-page human proof of, and set the task of f...

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

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

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 developments in computational investigati...

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 our previous episodes; they were original...

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 schedule of talks at https://www.ai.engineer...

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://transformer-circuits.pub/2025/attribution-gr...

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

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

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 kind of performance. ARM v9, tight pack...

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 An equally valuable form of support is to...

Zuck on: * Llama 4, benchmark gaming, open vs source * Intelligence explosion, business models for AGI * DeepSeek/China, export controls, & Trump * Orion glasses, AI relationships, and not getting rew...

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 remarkably robust, inspiring the design ...

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 mean for interpretability? What is the ...

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. From how they consolidate power among Big ...

Speaker: Scott Aaronson, Department of Computer Science, University of Texas, Austin Title: How Much Math Is Knowable? Abstract: Theoretical computer science has over the years sought more and more ...

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 AI: https://dwarkeshpatel.com/universal-...

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://buymeacoffee.com/arjunkhemani Timestamps:...

We discuss quantum computing, Turing machines, multiverses, consilience, interdisciplinarity, and the state of academia among other fascinating topics. David will be back for a second chat soon. Dav...

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 three-dimensional space we observe emerge fr...

The evolution of artificial intelligence has seen remarkable milestones, particularly in developing systems capable of advanced reasoning. This panel will explore the journey from AI mastering strateg...

This presentation was recorded at GOTO Copenhagen 2024. #GOTOcon #GOTOcph https://gotocph.com Kevlin Henney - Consultant, Programmer, Keynote Speaker, Technologist, Trainer & Writer @KevlinHenney R...

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

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" number — a notoriously difficult problem i...

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 experts? To start your journey, visit ww...

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

This presentation was recorded at GOTO Chicago 2024. #GOTOcon #GOTOchgo https://gotochgo.com Matt Godbolt - Low-level Latency Geek @MattGodbolt RESOURCES https://bsky.app/profile/matt.godbolt.org h...

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 Anymore [06:43] What sort of company is NVIDI...

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 Intel is shaking things up. 🎙️ New to str...

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 going to run the GPUs for those companies?...

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 the ARC-AGI series raises the bar for dif...

In this insightful panel, pioneering architects behind CUDA—including ​Gregory Diamos, Davor Capalija, Micah Villmow, and Nicholas Wilt—explore the rise of NVIDIA’s CUDA as the standard for parallel c...

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

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 Semiconductor Manufacturing Company), spoke ...

Hosted by the Acquired podcast, "Live at NVIDIA GTC With Acquired," this special pregame broadcast featured luminary speakers offering valuable insights into NVIDIA’s remarkable journey over the past ...

ACCU Membership: https://tinyurl.com/ydnfkcyn Join us for ACCU Conference 2025 - 1st-4th April - Online & in Bristol, UK https://accuconference.org/ --- Not Your Grandparent's C++ - The Evolution of ...

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

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.” This talk was introduced by Bryna Kra, Nor...

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 been striving to discover and implement t...

Join The ACCU Membership For Exclusive Benefits, Discounts & Reduced Conference Ticket Pricing: https://accu.org/menu-overviews/membership/ --- The Genius of RISC-V Microprocessors - Erik Engheim - A...

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. CEO Jim Keller Software and #Riscv wit...

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 how to do this using what cryptographer...

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 a comment. 00:00 Introduction 00:37 Ent...

Is category theory a mathematical theory? Or something more? In this brief presentation, educational designer Paul Dancstep shares an animated description of what category theory is and where it sits ...

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. After they learned this relatively smal...

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 (ジム・ケラー) | Tenstorrent (テンストレント) (カナダ) RISC...

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 hardware is based on its Wormhole proces...

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% off your first Panda Crate! MLA/DeepS...

MAKE HISTORY WITH US THIS SUMMER: https://demystifysci.com/demysticon-2025 PATREON https://www.patreon.com/c/demystifysci PARADIGM DRIFT https://demystifysci.com/paradigm-drift-show Jim Keller is ...

Research Scientist Hado van Hasselt covers policy algorithms that can learn policies directly and actor critic algorithms that combine value predictions for more efficient learning. Slides: https://d...

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

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 Theorem prover Lean4. We also prove tha...

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

"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 have to push through the fundamentals." ...

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, AMD, Apple, and Tesla, he’s worked for ...

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? Let's take a look at a small example fr...

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 why he believes his latest work, XLSTM, ...

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 Zurich - they revealed how they achieved ...

Clement Bonnet discusses his novel approach to the ARC (Abstraction and Reasoning Corpus) challenge. Unlike approaches that rely on fine-tuning LLMs or generating samples at inference time, Clement's ...

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 learn by seeing the outcome of a random var...

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 challenges of the Python packaging ecosyst...

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.raylib.com/ https://github.com/raysan5/ra...

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

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 Godbolt is known as the creator of Compil...

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 Artwork by Kurt Bruns Thanks to Paul Dancs...

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

Trading at light speed: designing low latency systems in C++ - David Gross - Meeting C++ 2022 Slides: https://slides.meetingcpp.com Survey: https://survey.meetingcpp.com Making a trading system "fast...

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, inequality cannot. Further reading wit...

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 of the videos. Special thanks to these s...

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

#logic #prooftheory #modeltheory #goedel Access exclusive content on Patreon: https://www.patreon.com/user?u=86649007 All the way at the foundations of mathematics, you will find the language of lo...

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

—————SOURCES———————————————————————— Percolation – Béla Bollobás and Oliver Riordan Cambridge University Press, New York, 2006. Sixty Years of Percolation – Hugo Duminil-Copin https://www.ihes.fr/~d...

My code: https://github.com/keyframe41/ParticleSimulation Part 1 video: https://youtu.be/XL8B5nzNEOc Finally this video is done. Still have more particle ideas planned for the future though! Fluid sim...

Lecture 1 of Algebraic Topology course by Pierre Albin.

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

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-latency systems. Maintaining consistent...

Goal. Explaining basic concepts of algebraic topology in an intuitive way. This time. What is...homotopy? Or: The same shape!? Disclaimer. Nobody is perfect, and I might have said something silly...

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), and give a couple of applications (R^...

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 has also come along with an unprecedente...

Sign up with brilliant and get 20% off your annual subscription: https://brilliant.org/ZachStar/ STEMerch Store: https://stemerch.com/ Support the Channel: https://www.patreon.com/zachstar PayPal(one...

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 the limits of computer thinking? Can beaut...

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 Calandra, Summary of features introduced ...

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

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 of games and in terms of his programmin...

STEMerch Store: https://stemerch.com/ Support the Channel: https://www.patreon.com/zachstar PayPal(one time donation): https://www.paypal.me/ZachStarYT Versión en español de este video: https://www.y...

Rust is increasingly used in high-stakes sectors where errors can have serious consequences. In fields such as healthcare, aerospace, defense, and finance, software must be exceedingly dependable, mis...

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

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 displayed. Contents: 00:00 - Introduction...

Definition of category. Example categories. Isomorphisms and monomorphisms.

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 Brown, Dario Amodei, and Jared Kaplan. ...

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 into the world of debuggers. On top of t...

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 algebra and geometry. Help fund futur...

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 extra 3 months free at https://surfshark....

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, interpretability, and the future of AI...

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 private evaluation set. They explore two...

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 notes for free here: https://courses.phy...

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 Monotone convergence theorem, the Dominate...

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

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 06:16 Transport Tycoon 08:52 RollerCoast...

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 repository at https://github.com/nicbarker/c...

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 ethics, from Rust's 2024 edition to monetizat...

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 more advanced mathematics subjects. How to ...

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

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. Computerphile is supported by Jane Street. Le...

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://iai.tv/video/the-case-for-conscious-ai?u...

http://cppnow.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: http://cppnow.org/history/2019/talks/ — Composition is the essence of code architecture, and ...

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 episode, Ty and Ron consider the functional...

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

"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. All of the slides are available at: http:/...

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.

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

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

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 by the Bay 2019. Slides: https://github....

By first outlining a mathematically rigorous definition of a category, we can embark on a fascinating journey through category theory with examples from mathematics, computer science and logic. This ...

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 backbone of most applications’ performance....

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

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

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 any category we want. The solution t...

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

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

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 Foundation. Abstract: Rust doesn’t just...

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 leur discipline. Entretien enregistré...

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 can be extremely complex, often with byz...

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 crafting highly parallel and optimized program...

Video lectures at MIT. See http://brendanfong.com/programmingcats.html Lecturers: Brendan Fong, Bartosz Milewski, David Spivak Summary: In this course we explain how category theory—a branch of m...

_Note: This video contains hardcoded subtitles. For the most accurate English video transcription, please enable YouTube subtitles and select "English" under YouTube's subtitles/CC settings. We recomm...

Description: Category theory and its applications Slides: No Slides

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 than any actual math. I gave this talk ...

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 series that provides data professionals ...

Rachel Denison, Boston University Attention is a cognitive process that allows us to prioritize the sensory information that is most relevant for our behavioral goals. In a successful class of comput...

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

_Note: This video contains hardcoded subtitles. For the most accurate English video transcription, please enable YouTube subtitles and select "English" under YouTube's subtitles/CC settings. We recomm...

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 revolutionizing scientific discovery, delving into ...

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

_Note: This video contains hardcoded subtitles. For the most accurate English video transcription, please enable YouTube subtitles and select "English" under YouTube's subtitles/CC settings. We recomm...

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

Category Theory for the Working Hacker The talk will explain why category theory is of interest for developers. The principle of Propositions as Types describes a correspondence between propositions ...

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

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://www.youtube.com/playlist?list=PL9eL-xg...

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 type system. Because of a), Rust can be — ...

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 questions in calculus, including the Rieman...

http://CppCon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/CppCon/CppCon2018 — There seems to be a widely held belief among programme...

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

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

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

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 always a smart idea to ask the question x ...

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 what they teach you in school. In fact it'...

This study evaluates model merging at scale, revealing insights on expert model quality, size, and merging methods, ultimately enhancing generalization and performance in large-scale applications. ht...

The definition of a tensor made with the transformation rules of tensor components never resonated with me. The definition provided by the geometric viewpoint is much more satisfying, as you would exp...

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: https://3b1b.co/support An equally valu...

François Chollet discusses the limitations of Large Language Models (LLMs) and proposes a new approach to advancing artificial intelligence. He argues that current AI systems excel at pattern recognit...

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

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. Two important things to keep in mind ar...

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 state of the art in generative AI - Auto-r...

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

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

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 x) im just dumb af pls dont crucify me

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 360 consoles. See my blog post covering ...

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 learned a lot from him. In this discussio...

http://CppCon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/CppCon/CppCon2018 — We are all aware that we should know the STL algorithm...

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 a single layer of artificial neurons, em...

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 until those things bite us in the back. This...

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

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

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-arena-allocator, in a different format, wit...

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

an explanation of the source coding theorem, arithmetic coding, and asymmetric numeral systems this was my entry into #SoMEpi. this video can get pretty confusing, so don't worry if it takes some rewa...

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 out in memory. The data types that we co...

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 four principles: - model the data, the wh...

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 tweaks and large-scale additions. Despi...

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

#dynamicprogramming #leetcode

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

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 intermediate step between parsing and compiling. Bu...

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 early 2021. It's a case study of how simpl...

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 Representation 1:37 Greedy Approach 4:12 Uniform Co...

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 take Learn OpenGL's text rendering example ...

Subscribe to new channel Lambda Media: https://youtube.com/@lambdamedia1?si=nFTaQFo7z4C0S6yf Join the weekend retreat! https://forms.gle/teKVeiwMfr32va1RA Also why not join the discord https://dis...

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 drama, an incredible-looking CLI progre...

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=7BaWley751Y Twitch: https://twitch.tv/j_b...

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

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 countless contributions to advancement of fun...

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

Checkout yacine's twitter: https://twitter.com/yacineMTB Welcome to OverPowered, Today we deep dive into the fascinating world of Generative AI and explore their impact on the future with our guest Y...

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 learning and moving to the next stage of progra...

Official website: https://softwareyoucan.love Vancouver Conference Website: https://softwareyoucanlove.ca Abstract: When you hear that a project becomes parallel, you usually expect to see a spee...

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 In this episode we learn about how memor...

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.youtube.com/watch?v=Ynu9QEJSGX8 BQN: https://...

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 stb_image to our wasm module 52:50 Code s...

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

Join CodeCrafters and learn by creating your own: Redis, Git, Http server, Interpreter, Grep... in your favorite programming language: https://app.codecrafters.io/join?via=jdvillal This video was spo...

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 they can produce. This is not a video for...

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 it take to beat me? Source files: - http...

#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, with a quick overview of my code.

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

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

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 efficient multitasking and memory manage...

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

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 investigate how it works, rewrite it in...

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 when arcade-shooters reigned supreme, two u...

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

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

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

The kick-off talk for Systems Distributed '23: https://systemsdistributed.com. https://andrewkelley.me https://github.com/andrewrk https://mastodon.social/@andrewrk Join the chat at slack.tigerbeetl...

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 few basic assembly instructions, as wel...

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 simulation to wasm 46:50 Interfacing with the ...

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 something is unclear. The links mentioned in th...

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 Implement bump allocator 01:02:15 Only allo...

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

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

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 system suited to the native computing l...

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 them efficient? In this video, we explore...

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

We dive into the Discrete Diffusion Modeling by Estimating the Ratios of the Data Distribution paper, a technique, competitive with GPT-2, that can use diffusion techniques to generate text. -- Get...

This is the second half of the Hardware SPI video that would have been far too long. As such the beginning jumps strait into implementation, I usually try and start in a less sudden way. In this vid...

The Power of Counting Arguments (Cadence Labs Distinguished Speaker Series, 16 January 2001) Downloaded from http://www.cs.utexas.edu/users/EWD/video-audio/video-audio.html

Entropy, Cross-Entropy and KL-Divergence are often used in Machine Learning, in particular for training classifiers. In this short video, you will understand where they come from and why we use them i...

Playlist: https://www.youtube.com/playlist?list=PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4 When are two shapes the "same"? Topics covered include deformation retract, homotopy of maps, and the homotopy equiv...

Shortform link: https://shortform.com/artem In this video we will talk about backpropagation – an algorithm powering the entire field of machine learning and try to derive it from first principles. ...

This is the most information-dense introduction to group theory you'll see on this website. If you're a computer scientist like me and have always wondered what group theory is useful for and why it e...

Alexander Borst, Max-Planck-Institute for Biological Intelligence, Martinsried, Germany Abstract: Detecting the direction of image motion is important for visual navigation, predator avoidance and pr...

Remember when I used a video with a coconut in the thumbnail to drive a stake through the heart of mathematical structure? Today, in this introduction to the basics of category theory, I attempt to re...

Bioelectric networks as targets for regenerative medicine

Andrew Ng, founder of DeepLearning.AI and AI Fund, speaks at Sequoia Capital's AI Ascent about what's next for AI agentic workflows and their potential to significantly propel AI advancements—perhaps ...

Had so much fun chatting with my good friends Trenton Bricken and Sholto Douglas on the podcast. No way to summarize it, except: This is the best context dump out there on how LLMs are trained, wha...

The Anthropic prompt is to help you create better prompts MetaPrompt Colab: https://drp.li/8Odmv Meta Prompt colab Original: https://colab.research.google.com/drive/1SoAajN8CBYTl79VyTwxtxncfCWlHlyy9 ...

The Busy Beaver game, pointless? Or a lesson in the problems of computability? - How do you decide if something can be computed or not? Professor Brailsford's code and further reading: http://bit.ly/...

Schematics, datasheets, kits, and more at https://eater.net/6502 Part 1: https://www.youtube.com/watch?v=LnzuMJLZRdU Part 2: This video! Part 3: https://www.youtube.com/watch?v=oO8_2JJV0B4 Part 4: ht...

Date of the stream 27 Jan 2024. from $1250 buy https://comma.ai/shop/comma-3x & best ADAS system in the world https://openpilot.comma.ai Live-stream chat added as Subtitles/CC - English (Twitch Chat) ...

References: - Source Code: https://github.com/tsoding/qbe-notes - https://c9x.me/compile/ - Tsoding Daily - Hare Programming Language - https://www.youtube.com/watch?v=2E3E_Rh3mvw - https://llvm.org/ ...

Other video explaining the maths & code: https://youtu.be/scvuli-zcRc Download (Windows 64-bit): https://particle-life.com Source Code: https://github.com/tom-mohr/particle-life-app Discord Server: h...

We build a Generatively Pretrained Transformer (GPT), following the paper "Attention is All You Need" and OpenAI's GPT-2 / GPT-3. We talk about connections to ChatGPT, which has taken the world by sto...

This is the first part in a series about Computational Fluid Dynamics where we build a Fluid Simulator from scratch. We highlight the Microscopic Perspective on Quantum Mechanics, Molecular Dynamics,...

Mike Continues his look at AI Image Generation with Stable Diffusion Mike's code: https://colab.research.google.com/drive/1roZqqhsdpCXZr8kgV_Bx_ABVBPgea3lX?usp=sharing Jonathan: https://twitter.com...

Learn how AI image generation works. This video goes over the AI components of AI image generation models like Stable Diffusion and explains how they work and how they're trained. Blog post: https://...

This is a line by line code example on how to perform a parameter efficient LoRA fine-tuning on a LLM. Github link to code notebook: https://github.com/ScientificCoding/scientific-coding/blob/main/le...

..or can you? A deceptively simple question with a complex answer – come join a mathematical journey into madness and wonder, in search of answers that might just give you a new perspective on the mat...

Become a Patreon: https://www.patreon.com/theaiepiphany 👨‍👩‍👧‍👦 Join our Discord community: https://discord.gg/peBrCpheKE I invited head of silicon at Groq, Igor Arsovski, to share the nitty-gritty d...

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 Patreon: https://www.patreon.com/Polylog Gi...

(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 the different lobes of the brain and the...

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 or cyclotron resonance heating or breed...

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

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 first decade, “everything” seemed to be bet...

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

▬▬ Papers / Resources ▬▬▬ LoRA Paper: https://arxiv.org/abs/2106.09685 QLoRA Paper: https://arxiv.org/abs/2305.14314 Huggingface 8bit intro: https://huggingface.co/blog/hf-bitsandbytes-integration PEF...

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

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

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 efficiency improvements in ML-specialized ...

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 multiplication. Advances in matrix multipli...

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

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, The Last of Us™ Part II. Learn from behin...

Check out Grant’s channel: 3blue1brown: https://www.youtube.com/3blue1brown This video recounts a lecture by Richard Feynman giving an elementary demonstration of why planets orbit in ellipses. See ...

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

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

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 Jordan Harbinger Show: https://jordanharbin...

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

Douglas Eck, Google DeepMind

Brian Cheung, MIT

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

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! Chapters: 00:00 Intro 00:10 Macro- and Micros...

Dmitry Krotov, MIT / IBM Research

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 the poster here: https://store.dftba.com...

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

January 10, 2023 Introduction to Transformers Andrej Karpathy: https://karpathy.ai/ Since their introduction in 2017, transformers have revolutionized Natural Language Processing (NLP). Now, transfor...

Santosh Vempala, Georgia Tech

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 classical computer? Attendees will learn ...

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/qiskit And get the poster here: https://sto...

Tutorial on building intuition about LLMs. Slides: https://link.excalidraw.com/p/readonly/aBWlNjEckdUlrszwwo6V or https://github.com/srush/LLM-Talk/blob/main/Tutorial.pdf 00:00 - Intro 02:15 - 1: Ge...

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 covers: Trends in AI Technologies and Tool...

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://www.patreon.com/beneater or https://e...

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 historical record was rewritten as the exist...

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

Event-driven architectures can solve many difficult problems in modern enterprise workloads. For example, it can be challenging to work with large amounts of data in different data stores and location...

Guido van Rossum is the creator of Python programming language. Please support this podcast by checking out our sponsors: - GiveDirectly: https://givedirectly.org/lex to get gift matched up to $1000 -...

Christopher Chapman from Adobe Fonts will describe the internals of fonts and the text rendering stack to provide some insight into the additional work needed to support a writing system after it is a...