Filipe (@suc0_) 's Twitter Profile
Filipe

@suc0_

ID: 1009867858703212545

calendar_today21-06-2018 18:37:14

73 Tweet

18 Followers

61 Following

Taelin (@victortaelin) 's Twitter Profile Photo

vyx yes, I had a specific headache that lasted days. 3 hospitals discharged me, said it was just a common headache. o3 insisted that I should go back, because it was confident it was a serious case, so I convinced them to make a lumbar puncture. turns out I had meningitis

Taelin (@victortaelin) 's Twitter Profile Photo

Nothing new here, just a quick case example of using AI to R&D. (GPT-5.1 vs Opus 4.5) For a context: We have 2 versions of HVM capable of running SupGen: → HVM3: used to develop it, hits 160m interactions/s → HVM4: polished version, hits 130m interactions/s That is, the new

Brian Roemmele (@brianroemmele) 's Twitter Profile Photo

THE NEW WORK: We will be learning a living. The idea of work is a product of mechanical technology of the past. Life long learning is the “NEW” work. AI is an amplifier of the transition.

THE NEW WORK:

We will be learning a living.

The idea of work is a product of mechanical technology of the past.

Life long learning is the “NEW” work.

AI is an amplifier of the transition.
Taelin (@victortaelin) 's Twitter Profile Photo

perhaps an inconvenient truth that I have to face is that when you manually implement a repository, your time isn't spent just to create the code, but the same time also doubles as if you were studying the code. it is a bonus: when you make something, you create the best possible

Taelin (@victortaelin) 's Twitter Profile Photo

Yaya Soumah don't let anyone over-complicate this for you! the only difference between tests and proofs is that: → tests check a finite number of cases → proofs check an infinite number of cases that's all! example: - 2 + 3 == 3 + 2 - 4 + 1 == 1 + 4 - 7 + 2 == 2 + 7 - ... etc. these