linear
1:06:08Scaling the Linear Sync Engine
37K views • 3 years ago
Linear
A Linear engineer talks about scaling the company's sync engine, which keeps client data local and synchronized. It follows an earlier talk on the same system.
39:43Do we need Attention? - Linear RNNs and State Space Models (SSMs) for NLP
35K views • 3 years ago
Sasha Rush
Sasha Rush surveys linear RNNs and state space models as replacements for attention in transformer-style models, in a talk for MLSys. It covers the foundational preliminaries and predates Mamba.
32:55Neom - The Line - The Rise and Fall of Saudi Arabia's Linear City.
3.2M views • 2 years ago
Patrick Boyle
Patrick Boyle's deadpan account of Saudi Arabia's Neom and The Line megaproject, a planned 170 km linear city that has been scaled back to a fraction of its size. He covers the feasibility problems and the financing.
45:55Turning Waves Into Particles
194K views • 1 year ago
Huygens Optics
Huygens Optics explores the idea that space is a non-linear elastic medium, and uses simulations to show how wave energy might be confined locally into particle-like objects. It touches on inertia, the Schwinger limit and the vacuum as a medium.
6:39Conventional Keyboards Are STAGGERINGLY STUPID!
209K views • 6 years ago
Ben Vallack
Ben Vallack compares finger movement on a staggered keyboard with an ortholinear grid keyboard, using an Anne Pro 2 and a ZSA Planck EZ. He argues the stagger forces awkward finger motion.
1:16:07React Helsinki February 2020
42K views • 6 years ago
Fraktio
React Helsinki meetup recording featuring a talk on lessons with Apollo GraphQL and Linear co-founder Tuomas Artman on real-time sync for web apps. The sync talk explains Linear's local-first architecture.
55:02GradIEEEnt half decent: The hidden power of imprecise lines
391K views • 3 years ago
suckerpinch
Tom 7 (suckerpinch) delivers a long, comedic digression on gradient descent and floating-point imprecision. He shows how rounding behavior can supply the nonlinearity needed to build a neural network.
44:23A Swift Introduction to Geometric Algebra
1.1M views • 6 years ago
sudgylacmoe
An animated introduction to geometric algebra, presented as a language that can describe most of physics. It was made with manim and covers multivectors and how they generalize familiar tools like cross products and quaternions.
Topic match · Pure mathematics
51:16Why can't you multiply vectors?
524K views • 3 years ago
Freya Holmér
Freya Holmer's Dutch Game Day 2023 talk asking why vectors can't be multiplied, building from complex numbers to a single axiom and arriving at geometric algebra, quaternions and multivectors.
Topic match · Pure mathematics
18:39This equation will change how you see the world (the logistic map)
17.1M views • 6 years ago
Veritasium
A Veritasium video on the logistic map, showing how a simple population equation leads to chaos and bifurcation. It connects the idea to convection, neuron firing and the Mandelbrot set, with interactive animations.
Topic match · Pure mathematics
23:29How Imaginary Numbers Were Invented
22.7M views • 5 years ago
Veritasium
Veritasium tells the history of how imaginary numbers arose from the quest for a general solution to the cubic equation, including the duels and secrecy among Renaissance mathematicians. It argues math had to give up the requirement that it mirror reality.
Topic match · Pure mathematics
21:12The Infinite Pattern That Never Repeats
21.9M views • 6 years ago
Veritasium
Veritasium explains how Penrose tilings and quasicrystals overturned the belief that 5-fold symmetry and non-periodic crystals were impossible, including an interview with Paul Steinhardt.
Topic match · Pure mathematics
11:26Do Complex Numbers Exist?
854K views • 5 years ago
Sabine Hossenfelder
Sabine Hossenfelder asks whether complex numbers are just a convenient tool or necessary in physics. She discusses a recent paper arguing that quantum mechanics cannot be done with real numbers alone.
Topic match · Pure mathematics
57:03HACKENBUSH: a window to a new world of math
562K views • 5 years ago
Owen Maitzen
Owen Maitzen's animated hour-long introduction to Hackenbush, a simple combinatorial game, and how its strategy leads to surreal numbers and the roots of the number system.
Topic match · Pure mathematics
1:01:081. A strange determinant
30K views • 5 years ago
Timothy Gowers
Timothy Gowers thinks aloud, in real time, as he tries to understand why Pascal's determinant equals 1. He does not fully solve it in this episode, but shows his exploratory process.
Topic match · Pure mathematics
0:51Hyperbolica: A Non-Euclidean Adventure [Old Trailer]
662K views • 6 years ago
CodeParade
The old announcement trailer for Hyperbolica, CodeParade's Unity game set in hyperbolic and spherical space. The creator has since posted devlog videos on building it.
Topic match · Pure mathematics
21:27How Many Holes Does a Human Have?
16.2M views • 6 years ago
Vsauce
Vsauce asks how many holes a human has and uses topology to show the answer depends on what counts as a hole, with animations and expert input.
Topic match · Pure mathematics
6:35The Maths of General Relativity (1/8) - Spacetime and Worldlines
421K views • 5 years ago
ScienceClic English
The first of an eight-part ScienceClic series building general relativity, covering worldlines, proper time and coordinate systems with animated visualizations.
Topic match · Pure mathematics
9:27Pentagons Are Terrible at One Thing
20.6M views • 6 years ago
CGP Grey
A CGP Grey video about why pentagons are bad at tiling and why hexagons are so special, in his usual playful style. It touches on honeycombs and tiling in nature.
Topic match · Pure mathematics
51:16What is Euler's formula actually saying? | Ep. 4 Lockdown live math
1.7M views • 6 years ago
3Blue1Brown
A 3Blue1Brown live lockdown math episode asking what Euler's formula e^(pi i) is actually saying. It builds intuition through exponentials, rotation and vectors landing on the unit circle.
Topic match · Pure mathematics
21:58Group theory, abstraction, and the 196,883-dimensional monster
3.8M views • 6 years ago
3Blue1Brown
3Blue1Brown introduces group theory and abstract groups, then builds toward classification of finite simple groups and the enormous Monster group with its 196,883 dimensions.
Topic match · Pure mathematics
21:05Why is there no equation for the perimeter of an ellipse‽
2.7M views • 6 years ago
Stand-up Maths
Stand-up Maths explains why the perimeter of an ellipse has no simple closed-form equation, showing the infinite series and presenting approximation formulas.
Topic match · Pure mathematics
23:34Why Democracy Is Mathematically Impossible
10.1M views • 2 years ago
Veritasium
Veritasium explains why no voting system can be perfectly fair, drawing on Arrow's theorem and the work of Eric Maskin. It looks at problems with systems like first-past-the-post and ranked-choice voting.
Topic match · Pure mathematics
23:32Inside a cheap set of eBay digital calipers
758K views • 5 years ago
bigclivedotcom
Big Clive tears down a cheap eBay digital caliper, explaining its capacitive linear encoder and measuring its quiescent current. He finds it surprisingly accurate and repeatable for its price.
12:05Why Traffic Congestion Grows Exponentially, Why It Matters, and What To Do About It // An Explainer
100K views • 4 years ago
Ray Delahanty | CityNerd
CityNerd explains why traffic congestion grows nonlinearly as more cars use a road network, and why adding road capacity tends not to fix it. It covers the consequences for drivers, bus riders, cyclists and pedestrians, and discusses alternatives such as true bus rapid transit.