Matteo Capucci
@mattecapu
Followers
6K
Following
126K
Media
2K
Statuses
26K
🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Modena/Hyperuranion
Joined January 2012
the relevant distinction is not between pure and applied math but rather between math-as-an-art and math-as-a-technology.
12
84
550
Generate videos in just a few seconds. Try Grok Imagine, free for a limited time.
522
945
4K
RT @adam_wola: Lethal force against a civilian vessel in international waters is a war crime if not in self-defense, which this video does….
0
5K
0
this is the educated equivalent of those people who are incapable of understanding hypothetical sentences. "what do you mean pseudocode? which language is it?".
Why do academics write code like this in papers? Wouldn't a real language make more sense?
0
0
16
RT @deedydas: Vector Search was popularized as an approachable drop-in search since OpenAI embeddings grew in popularity, but has clear lim….
0
9
0
from a 2015 blog post on sociotechnicla aspects of specs for complex systems. we quickly forgot how bad NLP was before LLMs!*. *I'm not saying now it's perfect and you could just write formal specs in English. but we are light years away from 2015 sota.
3
0
2
RT @zack_overflow: A popular NPM package got compromised, attackers updated it to run a post-install script that steals secrets. But the sc….
0
742
0
RT @ckayerawlings: Me, an economist:. “Wow demand for vegetables must be through the roof!”.
0
1K
0
is there any reason why EU is not manifacturing chips, given its crucial role in their manifacturing? is it because we lack the rest of the foundries anyways?.
NVIDA chips are manufactured by TSMC, a Taiwanese company. They're created using EUV lithography machines manufactured by ASML, a Dutch company. These machines consist of >50% of German parts (by value), in particular ZEISS optics.
1
0
7
RT @zack_overflow: Why is no one talking about this? . This is why I don't use an AI browser. You can literally get prompt injected and you….
0
2K
0
cathedrals everywhere.
0
0
2
I swear English train stations are procedurally generated on the fly. Basingstoke? Cookham? Slough? suuuuuure mate. 👀.
1
0
2
I'm starting to think the increasingly ingenious methods I have to resort to to wedge open the windows in my hotel rooms are actually the hotel's way to offer enrichment to it's guests, else I'm lost on why we are condemned to bad ventilation.
1
0
4
uuuh big pet peeve of mine. same in maths: I expect the symbols I read to have been defined before I read them.
"Left to Right Programming -- Programs Should Be Valid As They Are Typed"
2
0
34
mayyyyybe I found a use of cut elimination, solving my long-standing problem of 'why do logician hate cut so much'.
4
0
8