← Feed

Posts

• Post #4136420

  What does it even mean to "have just formalized a complicated paper in a language and not needed to know any of said language"? Would anyone use DeepL and proudly proclaim to "have just written a complicated novel in Chinese without knowing any of it"?! What's our epistemic understanding of "formalisation" here? Uninteresting busywork these programming people do?

• Post #1723165

  Presented without comment: Today: High earners race ahead on AI as workplace divide widens https://www.ft.com/content/0873e3cb-cb02-4b47-941f-14da74149670 Two days ago: Elite law firm Sullivan & Cromwell admits to AI ‘hallucinations’ https://www.ft.com/content/657d86df-5e0d-4d03-bf0c-cb768a58e758

• Post #1723163

  ```quote By default, PGFPlots assumes that the columns are separated by white space. ``` https://tex.stackexchange.com/a/251245/26482 I wonder what `.csv` stands for? 🤔

• Post #1723162

  I want to see critiques of [big systems] that include the material circumstances of their production. It's probably hard to get to some of the details when the people with the insider knowledge still have vested interests.

• Post #1467646

  I see ScienceDirect has decided to also jump on the bandwagon no one wants

• Post #1407253

  I wonder whether anyone has studied the effects of the shift from in-person PCs to online discussions. I expect in-person meant people had to be quick on their feet and there was a bonus for good public speakers whereas online discussions over a week allow you to reword your point even write code snippets to make your arguments clearer.

• Post #1407250

  Excited news from our betters at the faculty level: ```quote Faced with a lengthy document covering a wide range of regulatory responsibilities, XXXX used Copilot to generate a clear, structured summary that stayed closely aligned to the original wording. ``` Looking forward to the University closing down because of a multi-million £ lawsuit based on repeated breaches of our regulatory responsibilities.

• Post #1407249

  I've only seen of ETAPS what the official account has been posting and if the trend of having tons of talks about AI continues, I'll have even less incentive than I already have to go to conferences.

• Post #1407248

  I am in a very ``` error: shim_lock protocol not found. error: you need to load the kernel first. ``` time in my life

• Post #904132

  @MonniauxD https://leodemoura.github.io/blog/2026-3-16-who-watches-the-provers/

• Post #904131

  New rule: if you post a pro-AI message on the TYPES mailing list, you need to declare your conflicts of interest.

• Post #904128

  Every year I am setting "an educational guessing game based on a public API with a permissive licence" as a final year project and so far no one has tackled the interesting question of finding ways to automatically classify the difficulty of the generated questions. 😩

• Post #861176

  Not to toot my own horn but I systematically use the curl-based installer for agda-stdlib these days and it's so convenient. 🥰 https://github.com/agda/agda-stdlib/#automated-installation-currently-experimental

• Post #615302

  Come join us as an MSP lecturer in sunny Glasgow! https://www.jobs.ac.uk/job/DQS044/lecturer-in-mathematically-structured-programming-790646