@nautamine

X-treme Phenomena novice Grothendieckian 🎩🎨, 🎩🤹, 🎩 x any

 🇲🇦 17
picsum.photos/200/300
Joined August 2020
  • Tweets12.2K
  • Following4.1K
  • Followers1.2K
1.2KMedia
hello I am master philosopher Alain badiou and according to my metaphysics the transcendental is actually a grothendieck topos
Streetli 🍉@StreetliTweets19 Sep 2025
hello I am master philosopher Alain Badiou and according to my metaphysics there are four kinds of change small medium big and biggest here is my 600 page book where you can read all about it
1
4
43
11,787
I'd love to use Agda.. I just can't.. I can't... And it's all due to the stupid module system.. FUCK MY STUPID CHUNGUS LIFE
2
9
387
I mean i guess i can literally link every single module to the vsc workspace because that's what satisfies agda-mode instead of just using the global configuration
3
58
emudhra stocks are rising. great job everyone we must all invest in 4 the superior number $EMUDHRA #FOUR
4
266
"You're just jealous I don't have haemorrhoids! GET OWNED YOU QUEERS" *swiftly dies of colon ailment"
GanAinm@ainm_gan5505Oct 26
Replying to @LAlNLAlN
Hilarious that he did this shoot unaware a lot of the readers were actually gay men and wrote a song about being pissed off that they would constantly approach him on the street and come on to him.
7
206
learning agda. my thoughts so far: the tooling is daunting ive taken lean's for granted. im tired
1
11
351
Visual Studio Code agda-mode will just not resolve modules on Windows if they're not directly present in the vsc workspace even with global modules set up!!!!
2
43
nautamine --' retweeted
Cihan Bahran@bahran_cihan13h
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
66
5,562
but what happens if you combine these two?
josh :)
@jfonsecarivera17h
Replying to @Sauers_
qwen-neurons-site.vercel.app… i did a sweep on every neuron and had haiku categorize and rate by weirdness :) the search and the combos are fun!
6
15
7
1,081
78,316
Who is the shodan skid who turned on my printer?
5
161
WTF BRUH
3
9
252
coppélia was free unit ms grace was second half merel died and was stormed into the limited moldir and noire got their euphorias two patches later 37 got her euphoria three patches later ulrich got his euphoria four patches later i was simply predicting on another level
nautamine --'@nautamineApr 18
my predictions: New character as a limited with some sort of ultspam mechanic Ms. Grace 2nd half Coppélia free Merel deathflag Nautika Unique, 37 Tarot, Charon Advanced, Aleph Advanced Euphorias: Nautika (obviously), 37, Noire, Moldir (faster ramp up), Ulrich, Sonetto?
2
121
powerscaling the two mascots of microhistory: unfortunately louis francois pinagot gets one shot by domenico scandella (too op and deduced an expansion of the universe from first principles)
2
178
Aufhebung of a tsundere: I-it's not like I like you or anything.. Go away!! (negation) I.. I guess I can tolerate you sometimes.. Or often.. Alright.. (preservation) Fine.. I guess I really do love you senpai.. (elevation)
2
7
204
It Is Getting F*cking Erotic.
1
125
"If Deleuze is so good, why has there never been a Deleuzian Revolution?" There's been one, and today it has once again won against all odds.
14
197
34
1,419
56,219
Efron has a problem regarding Kurt being tied up X style #EfronWeizs #KurtFrank #EfKurt
16
1
161
2,977
Welcome To Today's Episode Of Know Your Homogenous Spaces! The Picture Is In Fact SL₂(ℚ₂)/SL₂(ℤ₂) And Not (ℝ² ⋊ O(2))/O(2) Remember Friends: Appearances Can Be Decieving So Always Check The Rank! Until Next Time!
Murph
@ninjasniperponOct 24
Hexagonal growth in a black olive tree.
4
9
1
207
7,156
Is this a good hinge profile
19
40
5
1,257
21,236
Went to segfault town and everybody knew me
3
118
Load more