@sclv

"more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • https://xitter.cf/t.co/45nJUN3IqD

mastodon.social/@sclv
Joined October 2008
  • Tweets46.5K
  • Following3.4K
  • Followers2.1K
4.2KMedia
First unit distance fell, and that was great Cause we love proofs as well as progress. Then cycle double cover, that's okay: It's only graph theory anyway. Who's next? The Levent got JC3, but don't you grieve: There's still a salary to receive. Non-sofic groups arrived, but have no fears: They can't replace us for at least Five 🖐️ years. Who's next? Claude slopped out a zeta bound and we said: "It ain't RH! Go to bed!" Then FLT got autoformalized within Lean Just another clerical work by the machine. Who's next? Then Tristan got Euler, but we all knew That was Anthropic's internal compute Bubeck's 🐪 gonna 🐪 get N-S 🐪 too 🐪 Just to dunk on You Know Who! Who's next? AGMAI. Was. Getting. Tense. Recommendation. In. Self. Defense. "OpenAI's our shepherd, we're all NDA'd, But just in case, we better condemn!" Who's next?
4
3
1
74
2,973
lol credit due where credit’s due, wonderful ad
GiveDirectly💸
@GiveDirectlyOct 26
Whether or not anyone builds it... everyone dies. The future is uncertain. Your impact doesn't have to be.
6
8
290
14,444
chatgpt killed another person
242
3,139
524
35,878
4,009,600
sclv retweeted
ja3k
@ja3k_Oct 26
I'm moving the goalposts. This is exponential time
Andrew Curran
@AndrewCurran_Oct 26
Replying to @AndrewCurran_
The Exponential Time Hypothesis is false.
18
17
3
696
55,379
i resent snl uk for giving me (white guy) nigerian wicked because i (White Guy) CANNOT keep walking around saying "come to find out .. the wizahd is broke"
84
1,096
131
29,046
499,510
Happy anniversary to The Times They Are a-Changin', the truly cursed Bob Dylan Broadway musical that opened on this date in 2006 (and closed a couple weeks later). For "Like a Rolling Stone," they had the whole cast—wait for it—roll around on stones.
432
826
920
7,479
3,200,356
Replying to @SevereCritic
Can't a novel be about a guy trying to improve his position in an intensely stratified society without everyone saying it's about class?
2
2
90
1,463
Couldn't parse this at first because I thought it was three sentences
30
120
8
3,582
49,196
Tools and computational resource disclosure. We used AI to help with LATEX, specifially the -emoji created by Microsoft Copilot. We asked Copilot and Chat-GPT 5.6 for references proving or disproving that the category of all finite dimensional representations is braided monoidal. While Microsoft Copilot tried to convince us that the category is braided and that our paper is wrong, ChatGPT was aware of sign problems and that one has to take a subcategory. ChatGPT didn’t know a specific reference proving that it is not braided monoidal, but it helped us find [BG24, §4.1]. Furthermore it started proving it using that paper, even though we didn’t ask for it. We completely ignored that part, since we have our own proof.

ALT Tools and computational resource disclosure. We used AI to help with LATEX, specifially the -emoji created by Microsoft Copilot. We asked Copilot and Chat-GPT 5.6 for references proving or disproving that the category of all finite dimensional representations is braided monoidal. While Microsoft Copilot tried to convince us that the category is braided and that our paper is wrong, ChatGPT was aware of sign problems and that one has to take a subcategory. ChatGPT didn’t know a specific reference proving that it is not braided monoidal, but it helped us find [BG24, §4.1]. Furthermore it started proving it using that paper, even though we didn’t ask for it. We completely ignored that part, since we have our own proof.

7
1
67
6,152
𝐀𝐬𝐚𝐤𝐲𝐆𝐑𝐍
@AsakyGRNOct 26
Moment an American pastor and prophetess, who are both married, introduce a new wife to their congregation and announce that they are now in a polygynous marriage with a female church member, claiming it is the “will of God.” 😭🤦🏾‍♂️🙆🏾‍♂️
71
7,262
57
104,018
1,291,097
I was invited to panel w/Zizek a few y ago. So I read 2 of his books & couldn't figure out what it was abt, so I declined. I now bitterly regret missing the occasion as I attended one of his lectures and althought I still understood nothing I found him playfull & mesmerizing.
Krish Gaurav
@krishna_gauravOct 26
Replying to @nntaleb
Would love to see both of you together
116
187
33
4,693
239,464
I have just published a piece that is very important to me. It's about why so many "progressives" and people on "the left" are lying to us right now about crime, safety, and repression, and what we should be doing instead. equalityalec.substack.com/p/…
37
419
47
2,197
609,765
The absolute funniest thing in the official Scrabble dictionary is *by far* their inconsistent stance on cheeses:
73
314
26
9,503
307,302
sclv retweeted
jos@josiahhughesOct 26
loved YOU CAN SEE ANYTHING (2026) but... the film failed to conclusively demonstrate that any of the tech actually works. like... it kinda all hinges on whether or not Theranos is real
152
45
125
1,135
298,989
sclv retweeted
koz
@iamlilkozOct 26
Replying to @hello__caitlin
I had no idea “Dead Kennedy’s” was a band.. Seemed like a vague threat on the actual family… Turns out, it’s not, and I was wrong
11
1
1
26
4,828
Jules@analytichegelOct 26
a friend of mine made a thing so we could settle what mathematics is kiki and what mathematics is bouba kikibouba.bid
5
39
1
687
11,492
The Platonist: now surely you admit that it is just for the best flautist to receive compensation for his talents Batman: very true The Platonist: then we must consider a man whose talents lie in robbing banks Robin: Batman don't listen to him!!
21
221
5
2,438
42,183
so when everyone thought Facebook was spying through your phone it turns out tv makers were the ones doing it all along, this is a nightmare
log4j
@log4jOct 23
turns out it classifies what audio it hears, before reporting back to samsung. sensor preferences, dog-barking and baby-crying event counters, and camera streaming duration are built into telemetry paths.
30
396
10
3,116
67,692
Replying to @coopercooperco
A24 Elden Ring movie by Alex Garland with the budget of the Lord of the Rings trilogy sounds so fake I don't know how to even begin conceptualising it
1
1
113
2,935
Anne Hathaway’s reaction is authentic because that actually happened to her lmao
K8@girlfromaspenOct 15
DAKOTA GET OUT OF THERE
17
828
18
17,607
849,181
Load more