wen @cyrridven@computerfairi.es
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
@epi @performance, with an url field linking to the tweet!
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
CS academia twitter, which do you cite, and why?
I'm often overwhelmed. I'd like to be just whelmed for a change.
facebook, fascism
"The 2016 [Facebook] presentation says that '64% of all extremist group joins are due to our recommendation tools', and that most of the activity came from the Groups You Should Join and Discover algorithms."
RT @bastardspod@twitter.com
New Episode!
Part One: Mark Zuckerberg Should Be On Trial For Crimes Against Humanity
Guest: @jamieloftusHELP@twitter.com
https://podcasts.apple.com/us/podcast/behind-the-bastards/id1373812661?i=1000492096869
@IwriteOK@twitter.com @why_sophie_why@twitter.com @iHeartPodcasts@twitter.com
🐦🔗: https://twitter.com/bastardspod/status/1308444739310514177
denmark, landlords
my danish letting agency uses software which, if it encounters an error, automatically evicts tenants... I *wish* I were joking
It's my HRT bday today! 🎉
TFW when you're like "I should fix the way KaTeX loads on my blog" and then 20 hours later you're manually writing a CSL style file to render your publication history
the fifth most common google search term is "google" and i am just
proving soundness of an operational correspondence is weird, 'cuz all the cases are like "well, clearly no other rule applies, look!"
denmark, racism
the difference between me—a white person who sounds english—and my partner—a latine person with a slight accent—calling ANY danish authority is palpable.
they get unhelpful people who are sticklers for the rules, get told the person they need to talk to is out or VERY busy, or that the relevant computer system is down and to wait for a callback which never comes.
when calling only a couple minutes later for the same issue, I get helped IMMEDIATELY by friendly people.
the fash
why does "army of lovers" lead to "ace of bass" recs on youtube? that's a pretty big step from "very gay" to "very fash"?
my physiotherapist has tasked me with doing what I can only assume are bored flying kicks
suggestions for non-ableist alternatives to "blind" in the comments please
single-blind peer review is worse than unblinded-peer review send tweet
job insecurity
My favourite thing about being an academic is knowing that at some undefined point in the future, I'll probably have to change careers and start from scratch.
