Josselin Poiret
jpoiret@types.pl
<p>types and categories and algebra and geometry and free software</p><p>i use guix btw</p><p>avatar: cover art of Love is a Stream by Jefre Cantu-Ledesma</p><p>background picture by <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@VojtechStep" class="u-url mention">@<span>VojtechStep</span></a></span></p>
Posts
-
Post #2222671
a comedy in 2 acts (can you believe searching within volumes is a paid feature?)
-
Post #2185937
I'm starting to think that no generalist newspapers have proper tech journalists (from the Guardian https://www.theguardian.com/technology/2026/feb/26/how-to-replace-amazon-google-x-meta-apple-alternatives).
-
Post #2185936
typo theory
-
Post #2185934
me when the stochastic machine reinforces my beliefs