oxcrow retweeted
my friend got approached on the subway by a man who asked to draw her and she excitedly said yes just for him to show her this
oxcrow retweeted
🤖 Made with AI
Turns out we could have just written 6 million lines of Lean to verify Signal instead of messing with these papers and symbolic models this whole time deepmind.google/blog/introdu…
Nuclear reactors are kept away from populated areas, due to noise, and pollution concerns. Data centers are not.
Nuclear reactors make energy cheap for the people.
Data centers inflates prices.
If someone wants to actually prove AI's usefulness, maybe ask AI to implement a C backend for LLVM?
Specifically, when we give LLVM IR as input to the compiler, it should emit C code.
This will be useful to the world, rather than another slop clone, marketing stunt.
My issue with vibesloped languages is, they don't even ask themselves if the language is useful or not.
Not in a negative way, but like, "Why should I spend time to create a language when hundred other exists?"
Until the answer isn't clear to devs, the language will be useless.
4
21
1,056
When the joke you tell a co-worker is so based and chudpilled, that HR wants to hear it in person.
4
167





































