Video wird geladen...

Video konnte nicht geladen werden

Beim Laden dieses Videos ist ein Problem aufgetreten. Dies könnte an einem vorübergehenden Netzwerkproblem liegen oder das Video ist möglicherweise nicht verfügbar.

Math is art. Machine instructions are an abstraction derived from mathematical operations at the hardware level. Assembly is a low-level representation of these instructions. Your C code compiles down to assembly, and Python was implemented in C. Learn the math.

tetsuo

226,878 subscribers

18,693 Aufrufe • vor 1 Jahr •via X (Twitter)

Anya Rossi• Live Now

Private livecam show

11 Kommentare

Profilbild von Fantasm Lister (mog/acc)

Fantasm Lister (mog/acc)vor 1 Jahr

Amazing!

Profilbild von tetsuo.sol – mog/acc

tetsuo.sol – mog/accvor 1 Jahr

🤍

Profilbild von Matt Figdore

Matt Figdorevor 2 Jahren

This is the biggest productivity cheat code right now. Kiss reading documents goodbye. You can get an instant summary of any document with this tool.

Profilbild von /̵͇̿̿/'̿'̿ ̿ ̿̿ ̿̿ ̿̿ ∑:

/̵͇̿̿/'̿'̿ ̿ ̿̿ ̿̿ ̿̿ ∑:vor 1 Jahr

remilio

Profilbild von tetsuo.sol – mog/acc

tetsuo.sol – mog/accvor 1 Jahr

remilio

Profilbild von Aemilivs

Aemilivsvor 1 Jahr

But... Machine instructions are specific implementations of mathematical operations, not abstractions derrived from them

Profilbild von tetsuo.sol – mog/acc

tetsuo.sol – mog/accvor 1 Jahr

yeah you're kind of right.

Profilbild von TRiM

TRiMvor 1 Jahr

Everything is math..

Profilbild von @unknown

@unknownvor 1 Jahr

This is strong

Profilbild von nathfavour🚀👨🏾‍💻

nathfavour🚀👨🏾‍💻vor 1 Jahr

Learn the math 📍

Profilbild von 🌠

🌠vor 1 Jahr

@KefitzatHaderek

Ähnliche Videos

🧵1/2 MIT's Charles Leiserson lectures on how C code is compiled into assembly and machine code, leading to hardware-level execution. 👇 Full MIT Performance Engineering of Software Systems Course in C and Assembly👇

🧵1/2 MIT's Charles Leiserson lectures on how C code is compiled into assembly and machine code, leading to hardware-level execution. 👇 Full MIT Performance Engineering of Software Systems Course in C and Assembly👇

tetsuo

56,241 Aufrufe • vor 1 Jahr

Linus Torvalds says that C is king for OS development due to its efficient hardware interaction and the ability to predict the assembly language output of C code.

Linus Torvalds says that C is king for OS development due to its efficient hardware interaction and the ability to predict the assembly language output of C code.

tetsuo

3,010,229 Aufrufe • vor 1 Jahr

FINALLY finishing up a MASSIVE PR from hell for the Sega Dreamcast port of Grand Theft Auto 3! This is an actual hardware capture now of the DC version under a high load, which would've previously been a slideshow, between the dynamic lighting from the sirens, the amount of rigid bodies in the physics simulation from the cars, and the high-speed chase placing high-demands on asset streaming... I went through all of the low-level common math infrastructure in both the engine and at the RenderWare driver layer and made numerous optimizations, before slowly working my way up to optimizing individual algorithms at the application layer using the new math routines. Firstly, the common low-level floating-point math routines for everything from trig and inverse square root operations to floor(), ceiling(), and clamp(), were replaced with what was meticulously found (in Compiler Explorer) to be the optimal patterns for GCC 14.2.0, targeting our SH architecture (sometimes favoring C builtins, sometimes inline SH4 ASM). Next, in the layer above, with inline SH4 assembly, the common matrix math and linear algebra routines were accelerated using the Dreamcast's vector instructions. Some cleverness went down here, such as cramming matrix metadata into unused insignificant bits of an element, combining loading two matrices with multiplying them, fast transposes, fast quaternion multiplication using 4 dot products, etc. Once the foundation was laid, some of the Renderware code such as the calculations for the lighting, updating bounding volumes, and deriving UV coordinates for specular environment maps on the cars was made faster automatically. The main gainz were actually made rewriting a decent amount of the collision intersection and contact resolution code, though, from using C++-style overloaded operators for multiplying single 4D vectors by a 4x4 matrix to doing batches of 4D vectors by the same matrix. This SUBSTANTIALLY reduced the number of times the backing 4x4 matrix bank had to be reloaded and allowed me to keep it resident within registers while it was being used by the intersection algorithms!

FINALLY finishing up a MASSIVE PR from hell for the Sega Dreamcast port of Grand Theft Auto 3! This is an actual hardware capture now of the DC version under a high load, which would've previously been a slideshow, between the dynamic lighting from the sirens, the amount of rigid bodies in the physics simulation from the cars, and the high-speed chase placing high-demands on asset streaming... I went through all of the low-level common math infrastructure in both the engine and at the RenderWare driver layer and made numerous optimizations, before slowly working my way up to optimizing individual algorithms at the application layer using the new math routines. Firstly, the common low-level floating-point math routines for everything from trig and inverse square root operations to floor(), ceiling(), and clamp(), were replaced with what was meticulously found (in Compiler Explorer) to be the optimal patterns for GCC 14.2.0, targeting our SH architecture (sometimes favoring C builtins, sometimes inline SH4 ASM). Next, in the layer above, with inline SH4 assembly, the common matrix math and linear algebra routines were accelerated using the Dreamcast's vector instructions. Some cleverness went down here, such as cramming matrix metadata into unused insignificant bits of an element, combining loading two matrices with multiplying them, fast transposes, fast quaternion multiplication using 4 dot products, etc. Once the foundation was laid, some of the Renderware code such as the calculations for the lighting, updating bounding volumes, and deriving UV coordinates for specular environment maps on the cars was made faster automatically. The main gainz were actually made rewriting a decent amount of the collision intersection and contact resolution code, though, from using C++-style overloaded operators for multiplying single 4D vectors by a 4x4 matrix to doing batches of 4D vectors by the same matrix. This SUBSTANTIALLY reduced the number of times the backing 4x4 matrix bank had to be reloaded and allowed me to keep it resident within registers while it was being used by the intersection algorithms!

Falco Girgis

114,524 Aufrufe • vor 1 Jahr

Your DNA is like a computer program according to Blaise Agüera (@blaiseaguera.bsky.social). Von Neumann figured this out before scientists even discovered how DNA works -- that for anything to make a copy of itself, it needs: * Instructions (the code/DNA) * A machine to read those instructions (ribosomes) * A "photocopier" for the instructions (DNA polymerase) Blaise reckons that your cells are running actual computations to build proteins and replicate i.e. life is "software" running on hardware.

Your DNA is like a computer program according to Blaise Agüera (@blaiseaguera.bsky.social). Von Neumann figured this out before scientists even discovered how DNA works -- that for anything to make a copy of itself, it needs: * Instructions (the code/DNA) * A machine to read those instructions (ribosomes) * A "photocopier" for the instructions (DNA polymerase) Blaise reckons that your cells are running actual computations to build proteins and replicate i.e. life is "software" running on hardware.

Machine Learning Street Talk

15,794 Aufrufe • vor 8 Monaten

Terence Tao summarized how AI is massively accelerating math career and math research. "In math, you previously had to basically go through years and years of education to be a math PhD before you could contribute to the frontier of math research. But now it's quite possible at the high school level or whatever, that you could get involved in a math project and actually make a real contribution because of all these AI tools and lean and everything else." From Dwarkesh Patel podcast (link to full video in comment)

Terence Tao summarized how AI is massively accelerating math career and math research. "In math, you previously had to basically go through years and years of education to be a math PhD before you could contribute to the frontier of math research. But now it's quite possible at the high school level or whatever, that you could get involved in a math project and actually make a real contribution because of all these AI tools and lean and everything else." From Dwarkesh Patel podcast (link to full video in comment)

Rohan Paul

61,705 Aufrufe • vor 1 Monat

Going from design to code is going from something built and usable to an unnecessary level of abstraction. It's like finishing a house then asking for the blueprints so someone else can rebuild it. Design is code. Code is design. Use a code-first canvas. Use MagicPath.

Going from design to code is going from something built and usable to an unnecessary level of abstraction. It's like finishing a house then asking for the blueprints so someone else can rebuild it. Design is code. Code is design. Use a code-first canvas. Use MagicPath.

Pietro Schirano

26,974 Aufrufe • vor 4 Monaten

Jordi: It seems pretty obvious that the models just getting smarter is not by default going to make adoption accelerate massively again. If you're a business that's not doing code-gen, not generating a bunch of assets, etc. - and somebody says, "For $20 a month, you get someone that's PhD level in math, but extremely low agency." A laundromat would be like, "Actually, I don't need somebody who's PhD level at math. Sir this is a laundromat."

Jordi: It seems pretty obvious that the models just getting smarter is not by default going to make adoption accelerate massively again. If you're a business that's not doing code-gen, not generating a bunch of assets, etc. - and somebody says, "For $20 a month, you get someone that's PhD level in math, but extremely low agency." A laundromat would be like, "Actually, I don't need somebody who's PhD level at math. Sir this is a laundromat."

TBPN

76,844 Aufrufe • vor 7 Monaten

Bjarne Stroustrup (Creator of C++) on the costs of abstraction: "It's compiled away. This is why I talk about zero overhead abstraction. And people are beginning to take me to task for that because that's underestimating the ability of the C++ compiler. We can do negative overhead abstraction." Ryan: "What if you're really good at writing assembly and had all the time in the world to write it?" Bjarne: "If you are very smart and you have infinite time, you can do better. By and large, we are not as smart as the optimizers anymore, and we don't have infinite time."

Bjarne Stroustrup (Creator of C++) on the costs of abstraction: "It's compiled away. This is why I talk about zero overhead abstraction. And people are beginning to take me to task for that because that's underestimating the ability of the C++ compiler. We can do negative overhead abstraction." Ryan: "What if you're really good at writing assembly and had all the time in the world to write it?" Bjarne: "If you are very smart and you have infinite time, you can do better. By and large, we are not as smart as the optimizers anymore, and we don't have infinite time."

Ryan Peterman

144,978 Aufrufe • vor 1 Monat

Here's some accidental mathematical art in Excel. Each cell is a²b-b mod c where b is the column, c is the row, and a varies from 1 to 30. I put a heat map on the cells (small=red, big=green) and noticed the beautiful patterns.

Here's some accidental mathematical art in Excel. Each cell is a²b-b mod c where b is the column, c is the row, and a varies from 1 to 30. I put a heat map on the cells (small=red, big=green) and noticed the beautiful patterns.

Dave Richeson

92,448 Aufrufe • vor 2 Jahren

Math is the essential part of reasoning. When we teach a model to do math, we are incepting the ability to reason. Sonya Huang 🐥 and I had the pleasure of speaking to Tudor Achim and Vlad Tenev about Harmonic, an AI research lab with the goal of pushing the frontiers of human knowledge through Mathematical Superintelligence (MSI)

Math is the essential part of reasoning. When we teach a model to do math, we are incepting the ability to reason. Sonya Huang 🐥 and I had the pleasure of speaking to Tudor Achim and Vlad Tenev about Harmonic, an AI research lab with the goal of pushing the frontiers of human knowledge through Mathematical Superintelligence (MSI)

Pat Grady

13,468 Aufrufe • vor 1 Jahr

An Indian-American entrepreneur in the United States complained in a speech that Chinese students are four years ahead of American students in mathematics and are mocking the math level in the United States.

An Indian-American entrepreneur in the United States complained in a speech that Chinese students are four years ahead of American students in mathematics and are mocking the math level in the United States.

Johannes Maria

25,807 Aufrufe • vor 1 Jahr

Even if this video is played at the African Union Assembly or any African nation’s assembly, most African leaders and politicians—especially in the useless AU—won’t learn from it. They are in love with imperialists.

Even if this video is played at the African Union Assembly or any African nation’s assembly, most African leaders and politicians—especially in the useless AU—won’t learn from it. They are in love with imperialists.

Typical African

144,366 Aufrufe • vor 5 Monaten

I've combined Manim Nous Research's Hermes Agent skill + 's Math Code. Math Code executes the proof on a problem called Jordan's Lemma and Hermes Agent with Claude Sonnet 3.7 directs Math Code, writes a script, gets Manim to render an explanatory video. Jordan's Lemma: It helps to simplify high-dimensional problems by breaking them down into manageable, 2D pieces. The lemma is the underlying mathematical reason why Grover's Algorithm (useful in quantum) works by rotating within a 2D plane. Rendered explanation video below:

I've combined Manim Nous Research's Hermes Agent skill + 's Math Code. Math Code executes the proof on a problem called Jordan's Lemma and Hermes Agent with Claude Sonnet 3.7 directs Math Code, writes a script, gets Manim to render an explanatory video. Jordan's Lemma: It helps to simplify high-dimensional problems by breaking them down into manageable, 2D pieces. The lemma is the underlying mathematical reason why Grover's Algorithm (useful in quantum) works by rotating within a 2D plane. Rendered explanation video below:

Jeanne

142,049 Aufrufe • vor 3 Monaten

.Adam Marblestone explains the value of all these efforts to have AI automate formal math reasoning: "I think of it like when everybody had to write assembly code. The amount of cool startups that got created was a lot less. Fewer people could do it. Progress was more grinding, slow, and lonely. I think there are actually lots of people who could have interesting ideas. Can you have outsider string theorists because the math is just done for them by the computer? Does that lead to more innovation in string theory? Maybe yes."

.Adam Marblestone explains the value of all these efforts to have AI automate formal math reasoning: "I think of it like when everybody had to write assembly code. The amount of cool startups that got created was a lot less. Fewer people could do it. Progress was more grinding, slow, and lonely. I think there are actually lots of people who could have interesting ideas. Can you have outsider string theorists because the math is just done for them by the computer? Does that lead to more innovation in string theory? Maybe yes."

Dwarkesh Patel

30,813 Aufrufe • vor 6 Monaten

C Language is to be learnt by running experiments on Bare-metal (just the CPU) and without the OS noise! I added more lectures to the C Language course under the "Bitwise Operators" and the video (a snippet from the last lecture listed above) shows the level to which the course is hands-on. I pretty much prove all the claims I make about the concepts by experiments! Lectures I added include - + What are bitwise operations and the types + Shift Operations - Left, Logical and Arithmetic Right + The Bitwise NOT operation + Understanding using printf + Understanding the Assembly View + Exploring the Shift operations + Assembly view of Shift operation I have been recording this course for over a year now, 91 Lectures (almost all with hands on experiments) and we are far from concluding it. I'll continue to add more... If learning by experimenting (and reasoning from first principles) is your thing, you will love this course. This is included as part of the library access and you can check the current table on contents here:

C Language is to be learnt by running experiments on Bare-metal (just the CPU) and without the OS noise! I added more lectures to the C Language course under the "Bitwise Operators" and the video (a snippet from the last lecture listed above) shows the level to which the course is hands-on. I pretty much prove all the claims I make about the concepts by experiments! Lectures I added include - + What are bitwise operations and the types + Shift Operations - Left, Logical and Arithmetic Right + The Bitwise NOT operation + Understanding using printf + Understanding the Assembly View + Exploring the Shift operations + Assembly view of Shift operation I have been recording this course for over a year now, 91 Lectures (almost all with hands on experiments) and we are far from concluding it. I'll continue to add more... If learning by experimenting (and reasoning from first principles) is your thing, you will love this course. This is included as part of the library access and you can check the current table on contents here:

Piyush Itankar

41,636 Aufrufe • vor 6 Monaten

Out of 53 public schools in Illinois, not one student is proficient in math at grade level. The Department of Education has failed our children and must be abolished.

Out of 53 public schools in Illinois, not one student is proficient in math at grade level. The Department of Education has failed our children and must be abolished.

DR. ETIQUETTE 🤦‍♂️

139,101 Aufrufe • vor 1 Jahr

Only 1 out of every 4 Chicago Public Schools students can read at grade level, and only 17% are proficient in math. Since 2019, CPS’s budget has grown by more than 57% to over $9 billion, yet there has been no significant improvement in test scores. Just 21% of students in Chicago can read and do math at an eighth-grade proficiency level. At Douglas Academy High School, which has the capacity for more than 900 students, only 34 were enrolled in 2024. The school spent $68,091 per student, 3x the average, yet failed to produce a single student proficient in either math or English at grade level.

Only 1 out of every 4 Chicago Public Schools students can read at grade level, and only 17% are proficient in math. Since 2019, CPS’s budget has grown by more than 57% to over $9 billion, yet there has been no significant improvement in test scores. Just 21% of students in Chicago can read and do math at an eighth-grade proficiency level. At Douglas Academy High School, which has the capacity for more than 900 students, only 34 were enrolled in 2024. The school spent $68,091 per student, 3x the average, yet failed to produce a single student proficient in either math or English at grade level.

I Meme Therefore I Am 🇺🇸

49,102 Aufrufe • vor 4 Monaten

“Baltimore City Schools SUED As 23 Schools HAVE ZERO Students Able To Do Math At Grade Level” This is how you destroy a country from the inside.

“Baltimore City Schools SUED As 23 Schools HAVE ZERO Students Able To Do Math At Grade Level” This is how you destroy a country from the inside.

The Researcher

84,905 Aufrufe • vor 1 Jahr

Anthropic's Boris Cherny says coding is moving to a higher level of abstraction A year ago, the workflow was writing code in an IDE, then prompting multiple Claude instances in parallel. Now, it is writing loops that prompt Claude and figure out what to do "the next transition is coming this year"

Anthropic's Boris Cherny says coding is moving to a higher level of abstraction A year ago, the workflow was writing code in an IDE, then prompting multiple Claude instances in parallel. Now, it is writing loops that prompt Claude and figure out what to do "the next transition is coming this year"

Haider.

526,384 Aufrufe • vor 1 Monat