正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

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 次观看 • 1 年前 •via X (Twitter)

Anya Rossi• Live Now

Private livecam show

11 条评论

Fantasm Lister (mog/acc) 的头像

Fantasm Lister (mog/acc)1 年前

Amazing!

tetsuo.sol – mog/acc 的头像

tetsuo.sol – mog/acc1 年前

🤍

Matt Figdore 的头像

Matt Figdore2 年前

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.

/̵͇̿̿/'̿'̿ ̿ ̿̿ ̿̿ ̿̿ ∑: 的头像

/̵͇̿̿/'̿'̿ ̿ ̿̿ ̿̿ ̿̿ ∑:1 年前

remilio

tetsuo.sol – mog/acc 的头像

tetsuo.sol – mog/acc1 年前

remilio

Aemilivs 的头像

Aemilivs1 年前

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

tetsuo.sol – mog/acc 的头像

tetsuo.sol – mog/acc1 年前

yeah you're kind of right.

TRiM 的头像

TRiM1 年前

Everything is math..

@unknown 的头像

@unknown1 年前

This is strong

nathfavour🚀👨🏾‍💻 的头像

nathfavour🚀👨🏾‍💻1 年前

Learn the math 📍

🌠 的头像

🌠1 年前

@KefitzatHaderek

相关视频

🧵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 次观看 • 1 年前

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 次观看 • 1 年前

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 次观看 • 1 年前

C Code to Assembly.

C Code to Assembly.

tetsuo

90,934 次观看 • 11 个月前

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 次观看 • 8 个月前

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,620 次观看 • 19 天前

Everyone should learn C and Assembly

Everyone should learn C and Assembly

Mohit Mishra

1,381,179 次观看 • 1 年前

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

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 次观看 • 9 个月前

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 次观看 • 4 个月前

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 次观看 • 6 个月前

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,643 次观看 • 1 个月前

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 次观看 • 2 年前

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

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 次观看 • 10 个月前

George Hotz says that everyone should learn C and Assembly.

George Hotz says that everyone should learn C and Assembly.

tetsuo

1,981,865 次观看 • 2 年前

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 次观看 • 1 年前

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

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

Peché Africa 🇿🇦

18,700 次观看 • 4 天前

.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 次观看 • 5 个月前

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 次观看 • 1 年前

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

141,855 次观看 • 2 个月前