Arnaud Spiwack
aspiwack.bsky.social
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
👤 Joined on 05 December 2023
222
Followers
23
Following
1459
Total Posts
📜 Kullanıcı Geçmişi
- 05 Ara 2023, 15:05
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@aspiwack.bsky.social
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
I admit I didn't know the “hung”/“hanged” distinction was so sharp. en.wiktionary.org/wiki/hang#:~...
Show Post
proarrow 0.3.0.0 is now released with this feature. #haskell #categorytheory
Show Post
C'était ma première intuition d'analyse dimensionnelle, en troisième : - Je ne comprends pas pourquoi on compte la pluie en mm... Pourquoi pas en litres par mètre carrés ? Ou en tout cas en volume par surface. Ce qui fait en simplifiant... <illumination>
Show Post
A while back I read volume 1 of the comic BLAME! by Tsutomu Nihei. Honestly, I couldn't fully make sense of the story, but I find the art incredible. Every so often I'll go back and linger over a page. The nearest comparison I can think of is Piranesi, but […] [Original post on mathstodon.xyz]
Show Post