mastodon 4.7.2Lecturer in CS
#Idris 2 dev, all my toots are proven correct
New rule: if you post a pro-AI message on the TYPES mailing list, you need to declare your conflicts of interest.
I see ScienceDirect has decided to also jump on the bandwagon no one wants
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.
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
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
Come join us as an MSP lecturer in sunny Glasgow!
https://www.jobs.ac.uk/job/DQS044/lecturer-in-mathematically-structured-programming-790646
```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? 🤔
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.
I am in a very
```
error: shim_lock protocol not found.
error: you need to load the kernel first.
```
time in my life
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.