Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

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.

tetsuoai's profile picture

tetsuo

226,878 subscribers

18,693 görüntüleme • 1 yıl önce •via X (Twitter)

LIVE

Anya Rossi• Live Now

Private livecam show

11 Yorum

Fantasm Lister (mog/acc) profil fotoğrafı
Fantasm Lister (mog/acc)1 yıl önce

Amazing!

tetsuo.sol – mog/acc profil fotoğrafı
tetsuo.sol – mog/acc1 yıl önce

🤍

Matt Figdore profil fotoğrafı
Matt Figdore2 yıl önce

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.

/̵͇̿̿/'̿'̿ ̿ ̿̿ ̿̿ ̿̿ ∑: profil fotoğrafı
/̵͇̿̿/'̿'̿ ̿ ̿̿ ̿̿ ̿̿ ∑:1 yıl önce

remilio

tetsuo.sol – mog/acc profil fotoğrafı
tetsuo.sol – mog/acc1 yıl önce

remilio

Aemilivs profil fotoğrafı
Aemilivs1 yıl önce

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

tetsuo.sol – mog/acc profil fotoğrafı
tetsuo.sol – mog/acc1 yıl önce

yeah you're kind of right.

TRiM profil fotoğrafı
TRiM1 yıl önce

Everything is math..

@unknown profil fotoğrafı
@unknown1 yıl önce

This is strong

nathfavour🚀👨🏾‍💻 profil fotoğrafı
nathfavour🚀👨🏾‍💻1 yıl önce

Learn the math 📍

🌠 profil fotoğrafı
🌠1 yıl önce

@KefitzatHaderek

Benzer Videolar

🧵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:16:33

🧵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 görüntüleme • 1 yıl önce

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.
1:18

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 görüntüleme • 1 yıl önce

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!
1:05

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 görüntüleme • 1 yıl önce

C Code to Assembly.
2:19

C Code to Assembly.

tetsuo

90,934 görüntüleme • 11 ay önce

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.
6:45

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 görüntüleme • 8 ay önce

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)
0:28

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,620 görüntüleme • 19 gün önce

Everyone should learn C and Assembly
3:25

Everyone should learn C and Assembly

Mohit Mishra

1,381,179 görüntüleme • 1 yıl önce

use Assembly if you're paid hourly use C if you want fast code use Python if you're late for your vasectomy
1:01

use Assembly if you're paid hourly use C if you want fast code use Python if you're late for your vasectomy

Kai Fall

2,902,485 görüntüleme • 9 ay önce

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.
0:33

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 görüntüleme • 4 ay önce

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."
5:18

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 görüntüleme • 6 ay önce

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."
0:36

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,643 görüntüleme • 1 ay önce

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.
0:27

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 görüntüleme • 2 yıl önce

Embedder (YC S25) just launched the world's first hardware-aware coding agent. By understanding and interacting directly with your hardware, it achieves state of the art performance in an embedded systems (C/C++) context. Embedder
1:40

Embedder (YC S25) just launched the world's first hardware-aware coding agent. By understanding and interacting directly with your hardware, it achieves state of the art performance in an embedded systems (C/C++) context. Embedder

Ethan Gibbs

708,808 görüntüleme • 10 ay önce

George Hotz says that everyone should learn C and Assembly.
0:22

George Hotz says that everyone should learn C and Assembly.

tetsuo

1,981,865 görüntüleme • 2 yıl önce

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)
1:11

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 görüntüleme • 1 yıl önce

Hawu... Six triplets? Aowa the math is not mathematical
1:34

Hawu... Six triplets? Aowa the math is not mathematical

Peché Africa 🇿🇦

18,700 görüntüleme • 4 gün önce

.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."
2:04

.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 görüntüleme • 5 ay önce

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.
0:23

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 görüntüleme • 1 yıl önce

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:
0:24

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

141,855 görüntüleme • 2 ay önce