ehsanmok's profile picture. Mojo🔥 maximalist @Modular. Teacher at heart. Into powerlifting. Used to know some Math. Opinions are mine.

𝔈𝔥𝔰𝔞𝔫

@ehsanmok

Mojo🔥 maximalist @Modular. Teacher at heart. Into powerlifting. Used to know some Math. Opinions are mine.

𝔈𝔥𝔰𝔞𝔫 已轉發

I crossed an interesting threshold yesterday, which I think many other mathematicians have been crossing recently as well. In the middle of trying to prove a result, I identified a statement that looked true and that would, if true, be useful to me. 1/3


𝔈𝔥𝔰𝔞𝔫 已轉發

You probably know @clattner_llvm built the foundation of the software we all use today. Well now Chris is concerned: AI might create a whole cohort of coders that don't understand how to built software that lasts. Watch the full video to be sure you don't end up one of them:


𝔈𝔥𝔰𝔞𝔫 已轉發

Tip a cube on its corner, and another cube can pass through it. quantamagazine.org/first-shape-fo…

QuantaMagazine's tweet image. Tip a cube on its corner, and another cube can pass through it. quantamagazine.org/first-shape-fo…

Lifting heavy weight regularly with good technique is a privilege.


𝔈𝔥𝔰𝔞𝔫 已轉發

Your point about productivity is the more important facet. While I agree it is hard to measure, Modular now supports 7 GPU archs from 3 HW vendors and is providing leading performance across a wide range of metrics. This is done with a tiny kernel team - high productivity!


𝔈𝔥𝔰𝔞𝔫 已轉發

Thank you to folks at @metaai for publishing their independent perf analysis comparing CUDA and Mojo against Triton and TileLang DSLs, showing Mojo meeting and beating CUDA, and leaving DSLs in the dust.

clattner_llvm's tweet image. Thank you to folks at @metaai for publishing their independent perf analysis comparing CUDA and Mojo against Triton and TileLang DSLs, showing Mojo meeting and beating CUDA, and leaving DSLs in the dust.

At this rate, python dsl kernel libs have a chance of beating js web frameworks.


Recently published the edition 1 of our book. Check it out 👇

We just launched Mojo🔥 GPU Puzzles Edition 1, a hands-on guide that teaches GPU programming through 34 progressive challenges, not lectures. Learn by doing, from your first GPU threads to tensor cores. Works on NVIDIA, AMD, and Apple GPUs. puzzles.modular.com



𝔈𝔥𝔰𝔞𝔫 已轉發

We just launched Mojo🔥 GPU Puzzles Edition 1, a hands-on guide that teaches GPU programming through 34 progressive challenges, not lectures. Learn by doing, from your first GPU threads to tensor cores. Works on NVIDIA, AMD, and Apple GPUs. puzzles.modular.com


Yeah, small players punch up like this!

Strongly dislike when companies do this. Especially companies providing technical infrastructure. You’re not down today, but one day you will be. You work under the same constraints everyone else does. You know how stressful it is when it happens to you. Be better.



𝔈𝔥𝔰𝔞𝔫 已轉發

We have a fast growing open source Mojo🔥+MAX🧑‍🚀 community and Modular is hiring for a number of roles! Please check out our careers page: modular.com/company/career…, visit us at PyTorch Con🔥, or LLVM Developer Conference🐉 next week. It's such an exciting time in the industry! 🚀


𝔈𝔥𝔰𝔞𝔫 已轉發

In just 14 days, @Modular achieved state-of-the-art performance with @AMD MI355X GPUs on @TensorWaveCloud 🚀 Check out the article in the link below 👇

tensorwave's tweet image. In just 14 days, @Modular achieved state-of-the-art performance with @AMD MI355X GPUs on @TensorWaveCloud 🚀

Check out the article in the link below 👇

𝔈𝔥𝔰𝔞𝔫 已轉發

What we owe the minds we create timdavis.com/blog/what-we-o…


𝔈𝔥𝔰𝔞𝔫 已轉發

pytorch consulting the math library heuristics which say transposing the matrix will yield a 30% speedup over the non-transposed case, deciding to transpose the matrix, and immediately running out of memory


𝔈𝔥𝔰𝔞𝔫 已轉發

GPT-5 Pro found a counterexample to the NICD-with-erasures majority optimality (Simons list, p.25). simons.berkeley.edu/sites/default/… At p=0.4, n=5, f(x) = sign(x_1-3x_2+x_3-x_4+3x_5) gives E|f(x)|=0.43024 vs best majority 0.42904.

PI010101's tweet image. GPT-5 Pro found a counterexample to the NICD-with-erasures majority optimality (Simons list, p.25).
simons.berkeley.edu/sites/default/…

At p=0.4, n=5, f(x) = sign(x_1-3x_2+x_3-x_4+3x_5) gives E|f(x)|=0.43024 vs best majority 0.42904.
PI010101's tweet image. GPT-5 Pro found a counterexample to the NICD-with-erasures majority optimality (Simons list, p.25).
simons.berkeley.edu/sites/default/…

At p=0.4, n=5, f(x) = sign(x_1-3x_2+x_3-x_4+3x_5) gives E|f(x)|=0.43024 vs best majority 0.42904.

𝔈𝔥𝔰𝔞𝔫 已轉發

I encourage you to read this article, in which we describe the current situation and the directions in which, in our view, mathematics is heading. Many thanks to Ken Ono for including me in this extraordinary project. I look forward to a wide-ranging discussion and will be…

nasqret's tweet image. I encourage you to read this article, in which we describe the current situation and the directions in which, in our view, mathematics is heading. Many thanks to Ken Ono for including me in this extraordinary project. I look forward to a wide-ranging discussion and will be…

𝔈𝔥𝔰𝔞𝔫 已轉發

Makes sense. Mojo gives you the full power of the hardware, it doesn't "abstract" it like some other systems, so it is perfect for doing this sort of work. It provides helper libraries that you can optionally use to make some things (incl tiling etc) more declarative, and…


Loading...

Something went wrong.


Something went wrong.