αρ

Software developer and mathematician, learning to build AI at scale.

[Mo @atmoio]

Rich people who were too stupid to code before are now superstars. And actually brilliant engineers are made to feel stupid and redundant. Meanwhile coding has been synthesized into beige gooey calorie dense bars made from cockroaches and engineers have to line up with a small plate begging for their share from the token barons who, fortunately, at any given moment can feel generous enough to press a button that makes the tokens fly out like projectile vomit. Engineers at these companies, who sit mere inches from the spigot, frequently bless us with thinkpieces that we too should be doing what they do, and it’s actually quite unfashionable not to do so. Of course none of this is so much engineering advice as it is financial advice.

But sure, “wHy dO pEoPle hATe Ai?”

[αρ @alpharh0]

@atcoder OK

[αρ @alpharh0]

Just a bit more...

[αρ @alpharh0]

RT @GPU_MODE: Jack Carlisle & Jay Shah talk on the Fundamentals of CuTe Layout Algebra. Special guest Cris Ceka

See you soon! https://t.c…

[Chester @chesterzelaya]

the male equivalent to flowers is probably an RTX6000 Pro Blackwell Workstation

[電機くん @denkikun_stepup]

これが工学部男性の平均的な人生らしい。

・19歳：カフェテリアでデュエル
・24歳：新卒でメーカー入社
・25歳：年収450万円突破
・30歳：彼女出来ずに30歳へ
・35歳：結婚を諦める
・37歳：おひとり様マンション購入
・40歳：独身管理職爆誕
　　　　 特に理由なくBMW新車で買う
・45歳：年収1,000万円突破
・55歳：役職定年、住宅ローン完済
・65歳：退職時の金融資産4,000万円
・70歳：シニア退職
・71歳：心筋梗塞で孤独死
亡くなってから発見まで2週間かかる。

[αρ @alpharh0]

This has been a huge issue for a while now. Football has control over our internet.

[Álvaro Hernández @ahachete]

This is Spain today:

I cannot

docker pull postgres:18

because there's football games happening.

Yes, you read it well. This image is being served from @Cloudflare , which is apparently blocked massively during football games by mafia-managed @LaLiga

Ofc, VPN -> pull completed

[Harmonic @HarmonicMath]

There are two ways to build AI for mathematics.

One is to work in private and surface results after the fact.

The other is to put real tools in the hands of mathematicians, learn from real use, engage in public, credit the community you build on, and support the ecosystem itself.

We believe in the second model.

Mathematics is a profoundly human endeavor.
AI should strengthen mathematicians, not route around them.

Build with mathematicians, not around them.

[αρ @alpharh0]

@HarmonicMath @leanprover Really, really cool stuff what you are doing.

[数学を愛する会 @mathlava]

シロップを入れる正方形の穴を最も重鎮したワッフルらしい

[Obsidian @obsdmd]

Anything you can do in Obsidian you can do from the command line.

Obsidian CLI is now available in 1.12 (early access).

[Irene González @irene_freedom]

Solo en 2025 han entrado 144.000 colombianos y este irresponsable traidor sigue fomentando que vengan. No tienen que venir, tienen que irse millones de los 11 que ya hay.

Ningún extranjero debiera acceder a la nacionalidad española para que podamos proteger el bien común de los españoles. (Mínimo 25 años, sin pagas recibidas y expediente intachable). Hay que evitar que alteren el censo electoral dando poder a grupos con intereses distintos a los de la prosperidad y subsistencia de España. Si solo vienen a trabajar y acceder gratis al estado del bienestar la nacionalidad no la necesitan. Pero nosotros sí.

El nacido en el extranjero no debiera acceder al sufragio pasivo, crearán sus propios partidos y a vivir de los votos de los suyos legislando contra España. Ya lo hacen algunos por intermediación de políticos traidores vendidos. Así eliminarán intermediarios. Es la única manera de evitar la desaparición de España, que no es lugar, en menos de 15 años.

Y finalmente estos culpables del PP ni siquiera plantean nada, solo dicen que endurecerán requisitos pues ahora no se pide casi nada por culpa de ellos.

[t.toda @Trtd6Trtd]

https://t.co/DZZm5Y7IXF

LoRAがどれだけ学習できているのかをチェックするツール
Weightを分析して学習の強さや偏りを分析するらしい

rank 64と指定していても、実際には rank 8しか使ってないことがわかる、みたいなイメージっぽい

[αρ @alpharh0]

@Prgckwb :(

https://t.co/3l4wjxxYt2

[αρ @alpharh0]

Ah, it was so close. Finished 17th, almost gold medal...

[αρ @alpharh0]

We were in gold until the last minutes. But it was fun. I learned a lot.

[αρ @alpharh0]

Ah, it was so close. Finished 17th, almost gold medal...

[Japanese Politics 🇯🇵🗾⛩️ @Nihonpolitics]

What would happen in Japan if you had 39 dead in a Shinkansen accident, with the current Transportation Minister spending most his time on Twitter insulting citizens, political opponents? Or if the previous faced 25 years in prison for corruption?

That's Spain politics for you.

[Fleetwood @fleetwood___]

CuTe algebra is extremely elegant. I can't believe we've all been writhing around on the floor like Terence Tao to do tile indexing.

[Richárd @krichard121212]

Everytime you see someone "solve" a hard math problem in seconds, it means that they've encountered an extremely similar problem before.
If individual differences were this large, then 0.01% of people would be able to learn languages to fluency in a few days.

[tetsuo.cpp (no slop) @tetsuo_cpp]

Oh, you're writing CUDA kernels? Everyone's on Triton now. Just kidding, we're all on Mojo. We're using cuTile. We're using ROCm. We have an in-house DSL compiler targeting the NVGPU MLIR dialect but wait, Tile IR just dropped so we're going to target that instead. Our PM is on TileLang. The team lead was on CuTe but now she's back to handwriting PTX. If you're not on Pallas, you're ngmi. Our intern is building on TT-Metalium for our Wormholes. Our CFO approved an order for some big chungus wafer-scale chips so now we're porting our kernels to CSL. Our CTO is working on a kernel-less graph compiler so we won't need to write kernels anymore. Our CEO thinks we're talking about the Linux kernel. We're building Claude for dogs.