wen @cyrridven@computerfairi.es

tbf it would probably help if you said you wanted it just 'cuz you fancy and not 'cuz it's supposed to help you cope with a disability

if anyone wants to know the answer to "how much effort and time would it be to buy equipment you need with grant money you already have at heriot-watt university" the answer is "since march and no end in sight"

Is OrcID a hint at the fact that we're all just grunts in Sauron's army?

Wishing some dude in the 50s had written a scifi novel about a personalised-programming TV network and a manufacterer of devices to find attractive college students who bring down democracy so our software engineers would've been better informed about the risks they were taking.

I see the BBC has picked a side.

I’m in this tweet and I don’t like it *grumpy face*

RT @melissamcewen@twitter.com

ADHD life like only two modes:
- can’t start working
- can’t stop working

🐦🔗: https://twitter.com/melissamcewen/status/1321644118439825411

so my university took down it's trans equality policy... that can't be good, right?

PL folks should prolly agree on a standardised set of properties, and require publications to include a table listing yes/no/unknown for each property.

To get GitHub Pages to actually build your website, you have to select a Jekyll theme, even if you're not using Jekyll, and you've got a .nojekyll file.

There's no way to select a Jekyll theme once you've published your themeless and therefore broken site.

The irony is that due to institutional bias in tech, face recognition technologies tend to only be accurate on white men.

RT @kashhill@twitter.com

After police in Portland started covering their badges, a protester built a facial recognition app to identify officers.

Portland's mayor told him it was "a little creepy" but it doesn't seem to be illegal despite city's new anti-face recognition laws: https://www.nytimes.com/2020/10/21/technology/facial-recognition-police.html

🐦🔗: https://twitter.com/kashhill/status/1318919895325810688

Wrote some Linear Haskell. It's still rough, but I think it's gonna be good :)
https://github.com/wenkokke/linear-sesh

there are few things as exhausting and pointless as academic performance review

might fuck around and give my figures names like Cat and Sydney so I feel better about the capitalisation...

I strongly dislike the tendency for academics to capitalise things like "Figure 4", since I don't think "Figure 4" is the name of the figure, but a descriptor and an index

I love LaTeX, do you love LaTeX?

You can also join us on Zoom, link available here:
https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXIII

In 15 minutes, I'm giving my talk "Schmitty the Solver" on SMT integration for Agda! Come join me!
https://www.twitch.tv/agdalang

Heya @jaspervdj@twitter.com! Do you have any plans to migrate Hakyll over to using Text instead of String? I think Pandoc went that way a couple of releases ago, so it should be possible now?

TIL the crossposter from birdsite doesn't deal well with polls

actually, the bibtex file I'm working with atm has a note on the extended journal version of a paper which says "extended version of \cite{conferencepaper}", which is an interesting approach