Andrej Bauer
andrejbauer@mathstodon.xyz
<p>Professor of computational mathematics at University of Ljubljana, Slovenia.</p>
Posts
-
Post #2130961
Claude complained (at length) that I didn&#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&#39;s even better than controlling interactions between your customers.
-
Post #2130956
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&#39;t ask for it, and is generally opinionated. How do I lock it up into a cage?
-
Post #1452826
This was a fun chat. I see I stated that the rotations of the square form a non-commutative group. What&#39;s the proper penance for that? https://youtu.be/sbQi6HjyBHM
-
Post #1452825
When I form a School of Mathematical Philosophy, anyone who mentions Platonism or Formalism will be made to kneel on dried peas.
-
Post #1452824
Claude and I are in business! https://math.andrej.com/2026/04/14/claude-and-i/
-
Post #1452823
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 &quot;happy useless tone&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...
-
Post #746629
Have you not seen this? https://youtu.be/BKorP55Aqvg
-
Post #746625
Copilot just agrees with every damn thing I ask for. I thought I could reach the bottom, but no.