262 Photos and videos
Pinned Tweet
2 Dec 2025
we're at neurips! DM me if you wanna chat about:
- array languages and compilers
- determinism and verifiability for training AND inference
- training models with NO FLOATS ANYWHERE (come see our poster on sat!)
... or anything else!
1
2
11
1,206
Jun 13
'twas a dark and stormy night
Bulwer lytton undefeated
Jun 11
Asked Fable to write a better six-word short story than “for sale: baby shoes, never worn”. It did a terrible job but then I asked it to treat it like a coding problem, and it wrote:
“Introduced myself to Mom again today.”
Community note
The six-word story “Introduced myself to Mom again today” previously appeared in a 2017 article and was not original to the AI. theodysseyonline.com/six-words-tell…
57
Jun 10
i just learned that chinese customer support will often refer to you as 宝宝 (literally, "baby"), so i just got a message
"baby, can you accept these taxes?"
honey we aren't that close
3
122
Jun 5
the limit of short-form media recommender engine is just wireheading through the optic nerve
A woman sitting near me watched about 10 hours worth of Chinese AI slop vertical dramas at 2x speed. This must be some kind of world record
1
111
Jun 4
my boy @0xBaltar frontpage of HN today with his thunderbolt-ibverbs work!
blog.hellas.ai/blog/thunderb…
1
3
135
Jun 2
this is why github.com/hellas-ai/open-hy… exist
substitution is evil and must be destroyed
Jun 2
Substitution is a mistake, it's not a fundamental operation. Not only that this has been shown by interaction nets, but no real language on any real computer uses it. Rather, β-reduction is implemented using some form of forwarding.
In fact, in the process interpretation of linear logic forwarding becomes explicit.
Substitution is problematic in λ-calculus, but explicit substitution calculi are even worse, a step in the wrong direction entirely. We need a more principled notion of a scope. De Bruijn indices are but a feeble attempt at this, solving half the problem while fixing the representation.
1
5
510
statusfailed retweeted
Jun 1
If you could watch yourself do things for a whole day, how many inefficiencies would you spot and be able to improve?
Now; notice that you can in fact actually record yourself and watch the playback
50
20
656
16,259
RDMA for everyone!*
2x Strix Halo 128GB
2x Aliexpress USB4 Cables
custom Linux kernel module userspace
=
~236 usable GB VRAM
~40Gbps full duplex bandwidth, single-digit μs latency
versus ethernet:
11x faster finetuning
14 -> 20tok/s tg at batch=1 on MiniMax-M2.7-AWQ
1
5
11
1,043
Jun 2
sorry.
even though you know your password and have your 2fa device, you have committed the unforgivable sin of changing location.
please use a phone number to prove who you are.
don't worry, it's for your own good.
you, a simple User, can't be trusted with your own safety :)
46
Jun 1
my body cries out for the wonder of starlink on international flights
44
Jun 1
我正坐在长沙的车流里。
大约一半的车牌是绿色的（EVs)。
都是中国品牌。
另外一半是蓝色的(gas)。
都是外国品牌。
中国变化的很快。。。
3
1
98
May 30
my (turkish) barber claims this is exactly what happened with Baykar (turkish makers of the Bayraktar TB-2) - US wouldn't export drones, so Turkey developed its defense-industrial base, now they have a Reaper at 10% the cost
1
144
May 25
noticed a weird codex bug(?) - ask for something and it seems to forget what you just asked for, and instead say "I've now done <previous thing>".
am i just bad at prompting or is something weird happening with context under the hood?
1
76
May 25
little kids are famously fast at picking up language.
but has anyone controlled for this simply being their environment?
i want to know how fast i'd improve if someone dropped me into a place where i had to practice 8 hours a day as my only activity
3
237
May 20
one of our projects at @hellasdotai has been designed fully remotely using one gigantic @tldraw whiteboard which keeps expanding ever outwards
it's actually sick, really nice way to collab
1
4
2,131
行列ではないですがグレブナー基底を使って数独を解く話なら（プログラムもあり）👀
zenn.dev/lotz/articles/b744d…
May 19
数独って行列とか使って上手い感じに解けないかな。
手計算は厳しくてもコンピュータに解かせることは割とできそうだから、絶望的にパソコンができないぼくの代わりに誰かそのプログラム作ってほしい。(絶対既にあるだろうけど)
18
121
16,964
May 20
"open science" doesn't imply dying penniless though
Lord Kelvin, born middle class, had an estate, private laboratories, and threw "scientific parties" on his yacht
probably some of the transatlantic cable $$$ helped
May 19
When you look back at the history of science and technology, all the names you remember were open science. Tesla died penniless, yet we know his name. Newton, Plato, and Turing didn't work on closed stuff. It's a trade of temporary comfort for a shot at eternal glory.
1
89