Elektrine lite

← Feed

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

  • View post

    Why can&#39;t the conference dinner just be a pizza in a park?

  • View post

    so, i&#39;ve started hate-reading &quot;the proof in the code&quot; (my good friend Anna lent it to me), and the technical explanations about constructivism are so inaccurate it&#39;s funny: &quot;For example, mathematicians often try to answer questions like “Prove that every even number greater than 2 can be written as the sum of two prime numbers.” Called the Goldbach conjecture, this question is one of the most famous open problems in mathematics. From a constructivist point of view, the on...

  • View post

    Timothy Gowers on the Leiden declaration: https://gowers.wordpress.com/2026/07/26/thoughts-about-the-leiden-declaration/ basically &quot;yes there are some issues with LLMs but they&#39;re getting better so these will soon be resolved, also access to LLMs might be a source of inequality but let&#39;s just really ignore that part because I am a spineless AI-booster&quot;. Also &quot;AI companies are doing this out of goodwill and are TOTALLY interested in providing benefits to maths reaearch, su...

  • View post

    a comedy in 2 acts (can you believe searching within volumes is a paid feature?)

  • View post

    I&#39;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).

  • View post

    typo theory

  • View post

    me when the stochastic machine reinforces my beliefs