Sabitlenmiş Tweet
ikrima
4K posts
ikrima
@ikrimae
Here for mathematical poetry through rhythm & hues
Katılım Haziran 2010
394 Takip Edilen993 Takipçiler
@rianflo Really? What flavor of Linux + Desktop Environment? I keep running into issues like WebGPU support being abysmal or trying to hunt down the right flavor of drivers for nvidia.
I was hoping to find a JustWorks for those of us who don't live and breathe terminals/CLI
English
@ikrimae i got used to vscode, even for c++ projects. so thats the same. default clang instead of msvc is a win. all the web shit is more native. the web browser is the same. plus i got 128GB of shared memory so I can finally reconstruct the results of all this academic python bloat 😂
English
Looks like its really the time for me to move all my work to a Linux desktop.
2026 is the year of the Linux Desktop 😂
This time for real.
English
ikrima retweetledi
Joke's on him, no C++ code can be validated
Haider.@haider1
Creator of C++, Bjarne Stroustrup: AI-generated code isn't ready — it generates more bugs, more bloat, more security holes, and is nearly impossible to validate "senior developers are already retiring rather than deal with it" The problem is that even a small prompt change can shift the entire codebase in unpredictable ways
English
I turned that short primer into higher category theory into a little visual memory palace/guide so I don't forget.
ikrima.github.io/topos.noether/…
I love using ChatGPT/Claude to turn my mental imagery into something tangible for long-term memory recall #letsplay #math
Didier 'Dirac's ghost' Gaulin@DiracGhost
Since many of you loved the introduction to category theory, why not going a little further, with this great and short primer (33 pages) on higher category theory by Rune Haugseng. 🔗👇👇
English
@DiracGhost Serious question, how do you find these? Teach me your ways
English
Since many of you loved the introduction to category theory, why not going a little further, with this great and short primer (33 pages) on higher category theory by Rune Haugseng.
🔗👇👇
English
If you've been struggling learning category theory, you might want to check out Paolo Perrone's 'Notes on Category theory: with examples from basic mathematics' available publicly on arXiv.
These notes were produced during a class given to a diverse set of scientists (including chemists and physicists), with knowledge in linear algebra being the only subject assumed to be known!
🔗👇
English
@keenanisalive Yeah, that's my friend Marko who made that. He's a legit award winning director who's made his own indie film.
The AI-Hype or Anti-Hype rage debate is beyond boring.
Lots of selection bias because the talented people I know/worked with avoid socials like the plague
English
The exception that reaffirms the rule: of course AI tools can help make compelling content—in the hands of artists with decades of experience.
This viral video was not “type a prompt, get a thing,” but rather meticulously iterated on by a professional:
markoslavnic.com/about
Alex Prompter@alex_prompter
I almost never share AI generated videos. As someone who studied film, most viral AI videos make me cringe. They look impressive on the surface but they're hollow. No story structure. No character motivation. No comedic timing. Just pretty visuals with a generic cinematic soundtrack slapped on top and people in the comments losing their minds over rendering quality. The bar has been on the floor. "AI made this" became the entire value proposition. Nobody asks if it's actually good as a piece of video content. This one is different. 47 seconds. Three pigeons arguing over a button. The comedic timing actually lands. The voice acting has real intonation, not that flat AI monotone. The camera POV sets up a reveal that pays off. There's a setup, escalation, and a punchline that genuinely caught me off guard. It's the first AI video I've seen where I forgot it was AI generated and just laughed. That's the standard. Not "look what AI can do." But "this is actually good and it was made with AI." There's a massive difference between the two and most creators haven't figured that out yet.
English
ikrima retweetledi
Fun interactive science app ideas | Part 3
Played around with generating 3D biological structures and made an app to explore them interactively
UI Design
GPT Images 2
Code
Gemini 3.1 Pro
More demos ↓
English
@ForrestTheWoods Not to mention the constant "Actually, I'm overcomplicating this" followed by an even more convoluted Chain of Thought reasoning trace.
I hypothesize it's a confluence of the adaptive reasoning mode combined with the "AI alignment" that hamper instruction following.
English
I am so absolutely exhausted with Claude’s refusal to implement its own damn plan.
1. Use plan mode to build 10 step mode
2. Approve execution
3. Go to bed
4. Wake up
5. Claude: step 2 of 10 done. This seems like a good place to stop! Let me know if I should continue!!
🤬🤬🤬
English
@a_holmstrom @DiracGhost This is amazing. Do you know if anyone has extended this with a category theory lens? Something like Lawvere did for Hegelian logic
English
@DiracGhost Here's a link: http://103.203.175.90:81/fdScript/RootOfEBooks/E%20Book%20collection%20-%202024/MATHAMITICS/%5B%20EngineeringEBookspdf%20%5D%20The%20Language%20of%20Mathematics.pdf
English
Having a lot of fun learning linguistics and found out about this nice lectures set (MIT) titled 'Introduction to Linguistics' by Norvin Richards.
Thought you might find it interesting as well.
🔗👇
English
A new world class mathematician has entered the chat. Someone cast an 'AI Crises" debuff on him quick ;) Wait till he realizes he can train a neural net agent on his own work to prove new theorems on his own work
#letsplay #math
Timothy Gowers @wtgowers@wtgowers
But if AI mathematics continues to progress at anything like its current rate -- which is what I expect to happen -- then we will face a crisis very soon, and mathematics departments, who owe a duty of care to their students, should be urgently preparing for it.
English
Every math-oriented person needs to buy @davidbessis book
imho, the only part he misses is that you can operationalize and optimize "mathematical intuitions" using math (category theory specifically, computational linguistics, and @math3ma research)
That's all I've been doing
English
@davidbessis that contradicts their viewpoint, you know what happens? They double down on their position with even more intensity just like everyone else. *smh*
This will all sort itself out in time but I have to say it shattered my naive innocent worldview of my math idols (3/3)
English
@davidbessis the huge cultural aversion of math folks, especially prominent ones. After spending the last 18 months lurking and participating in the math community, I've come to realize that they are just as emotional and irrationally human as the rest of us.
When shown hard evidence, (2/n)
English
Intuition-maxxers: my new fave vibe that I'm stealing from @davidbessis. Here's what that looks applied to his own article: ikrima.github.io/topos.noether/…
As someone at "the rare [intersection] of math and agentic skills" but not poached AI labs, the problem I've encountered is (1/n)
David Bessis@davidbessis
Thank you, everyone, for the incredible feedback on "the fall of the theorem economy"! The subject is of course bigger than just AI and math—it's about the future of human cognition. A few remarks that didn't make it to the published version:⤵️
English