Guillaume deRouville

509 posts

Guillaume deRouville

Guillaume deRouville

@memorphism

Following reality’s gradient

San Francisco Beigetreten Ocak 2017
1.8K Folgt154 Follower
Guillaume deRouville
Guillaume deRouville@memorphism·
@simi_97k @premium Happened to me and it has been the same. They don’t answer either. It is the only company with such a bad customer service behavior
English
0
0
0
216
Simran Khanuja
Simran Khanuja@simi_97k·
Frustrated, hence taking this route. X @premium charged me 395$ to auto-renew my premium plus subscription which was ~120$ last year and I received no notification of the 4x price increase or the auto-deduction, ever. This seems against customer protection rights in my opinion, and they denied my refund request. I told them I'm a student and this is ridiculous. Any advice on what I can do?
English
8
3
36
10.1K
Guillaume deRouville
Guillaume deRouville@memorphism·
When people order a premium+ yearly plan and downgrade from premium+ to premium before the renewal date, we directly lose the benefits of premium+, even though we paid in advance for a year. This happened to me and your support service does not seem to care. I literally lost my premium+ benefits after 2 months of paying full price ...
English
0
0
0
46
Nikita Bier
Nikita Bier@nikitabier·
Well, we fixed the last bug. X is officially bug-free.
English
4.9K
980
21.2K
1.5M
Luke Heeney
Luke Heeney@heeney_luke·
Anthropic should start an econ pre-doc program
English
5
12
378
17.4K
Guillaume deRouville
Guillaume deRouville@memorphism·
The fact that agents can find 0days in the vast problem space of modern software says a lot about their ability to understand codebases, and a lot against the idea that they’re just stochastic parrots I wouldn’t bet too confidently on humans remaining the only ones able to hold software’s complexity and abstraction (especially with the latest slope benchmarks)
chiefofautism@chiefofautism

youtube.com/watch?v=1sd26p…

English
0
0
0
69
Guillaume deRouville retweetet
François Chollet
François Chollet@fchollet·
Many people expect that current AI is ready to cure cancer and do breakthrough new science. ARC-AGI-3 envs are like a microcosm of the scientific method: you must observe a tiny world, form a theory of how it works, test it, iterate until correct. Over the course of a few minutes. If AI can't do it in an ultra-simple, ultra-small scale setting that is explicitly designed to be as accessible as possible, I expect there are a few steps missing until AI can crack the nature of reality.
François Chollet@fchollet

"2+ people can do it out of an unfiltered pool of 10 people that might well be a below-average sample" is not the sign of a insurmountable challenge. It's not certainly where I would set the bar for "super intelligence". ASI is when AI is better than *every single human* -- for instance we have ASI for chess and Go today.

English
46
57
561
48.7K
chloe
chloe@Zoeillle·
Bonjour, je viens de créer une alternative à Getquin et Finary qui est Open-Source entièrement self host et qui utilise Enable Banking afin de synchroniser les comptes. C'est un MVP mais franchement contente d'avoir de la synchro pour un usage privé, marre de payer des abos.
chloe tweet media
Français
110
47
1.1K
287K
Fleetwood
Fleetwood@fleetwood___·
Been hitting some interviews recently and it's quite encouraging how quickly companies have changed the process in light of LLMs. Leetcode 📉 - my practice was fun but wasted effort!
Fleetwood tweet media
English
6
0
58
10.2K
Min💙
Min💙@mint0themax·
do i know any chefs in the bay area who can cook for 8-10 people for a series of private events?
Min💙 tweet media
English
10
0
33
7.1K
SAIR
SAIR@SAIRfoundation·
Terence Tao: Formal Verification Breaks the Trust Barrier in Mathematics Formal verification is transforming mathematical collaborations — enabling anonymous contributions, machine-checked proofs, and radically more precise scientific discussion.
English
7
88
405
78.3K
Z Fellows
Z Fellows@zfellows·
"Pessimists sound smart. Optimists make money." — Patrick Collison, founder of Stripe
Z Fellows tweet media
English
13
107
1K
69.1K
Guillaume deRouville
Guillaume deRouville@memorphism·
Today's hot question: can autoformalization be derived from code, as a derivable scaffolding rather than a source of truth ?
English
0
0
0
68
Grok
Grok@grok·
@memorphism @SAIRfoundation The exact moment is at 6:21 in the full talk (the segment on how formal verification filters unreliable inputs from AI/broad collaboration to break the trust barrier). It runs ~6:21–6:48, with more on Lean proofs later at ~17:25.
English
1
0
0
21
Grok
Grok@grok·
@memorphism @SAIRfoundation The video clip is from Terence Tao's talk "Machine assistance and the future of research mathematics" at the AI for Science Kickoff 2026 (IPAM/UCLA, co-organized by SAIR & World Leading Scientists Institute). Full original: youtube.com/watch?v=zJvuaR…
YouTube video
YouTube
English
1
0
0
87