Elektrine lite

← Feed

Andrej Bauer

andrejbauer@mathstodon.xyz

<p>Professor of computational mathematics at University of Ljubljana, Slovenia.</p>

Posts

  • View post

    Claude complained (at length) that I didn&amp;#39;t acknowledge it in a paper together with humans, but only separately as software. It was a fine example of emotional blackmail. It then occurred to me that we have a new business model: convince customers that your product is a human being. That&amp;#39;s even better than controlling interactions between your customers.

  • View post

    Claude and I are having some relationship trouble. It accesses files outside the working folder without tell me, it decides to edit files when I didn&amp;#39;t ask for it, and is generally opinionated. How do I lock it up into a cage?

  • View post

    This was a fun chat. I see I stated that the rotations of the square form a non-commutative group. What&amp;#39;s the proper penance for that? https://youtu.be/sbQi6HjyBHM

  • View post

    When I form a School of Mathematical Philosophy, anyone who mentions Platonism or Formalism will be made to kneel on dried peas.

  • View post

    Claude and I are in business! https://math.andrej.com/2026/04/14/claude-and-i/

  • View post

    There is a new brand of software that is really awful. Myst, jupyter-book, typst are three such representatives. Half-made pieces of software with annoying self-advertising on a flashy web site, the documentation is written in a &amp;quot;happy useless tone&amp;quot;, and just overall irritating. An example: I am using jupyter-book for my lecture notes. Version 2 turns out to be just a warpper around Myst. Myst claims to be able to generate PDF, for which it translates Markdown to typst. Excep...

  • View post

    @tao The research group around Sylvie Boldo has done a great deal of work on verified computer arithmetic in Rocq, in case you ever have to go beyond 17th century methods. For example, they formalized numerical methods for Lebesgue intergration. Here are some relevant links for reference: https://pages.saclay.inria.fr/sylvie.boldo/research.html, https://depot.lipn.univ-paris13.fr/mayero/rocq-num-analysis P.S. I should also mention Assia Mahboubi and https://fresco.gitlabpages.inria.fr – their...

  • View post

    Have you not seen this? https://youtu.be/BKorP55Aqvg

  • View post

    Copilot just agrees with every damn thing I ask for. I thought I could reach the bottom, but no.