← Feed

Posts

• View post

  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?

• View post

  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

• View post

  ```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? 🤔

• View post

  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.

• View post

  Like, I get it, these policy documents are boring AF to read but... that's literally your job? And instead of summarising the document yourself by taking notes through your (alleged) first read of the full document you ask an LLM to summarise it for you?!

• View post

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

• View post

  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.

• View post

  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.

• View post

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

• View post

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

• View post

  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. 😩

• View post

  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

• View post

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