wen @cyrridven@computerfairi.es
Does @ulyssesapp@twitter.com support citations via BibTeX? I'd rather not go via Word and EndNote/Bookends, and would much prefer to just use a BibTeX file.
RT @ulyssesapp@twitter.com
@anbusch@twitter.com BibTex citekeys already work: https://ulyssesapp.com/blog/2015/12/academic-writing-on-the-mac-papers-and-ulysses/
🐦🔗: https://twitter.com/ulyssesapp/status/919924831172231168
Woo! Agda 2.6.2 is out, which means we can have our first stable release for Schmitty! https://github.com/wenkokke/schmitty/releases/tag/v1.0.0
RT @ulfnorell@twitter.com
Agda 2.6.2 has been released!
Some highlights:
- System calls at type-checking time (by @wenkokke@twitter.com) allowing external prover integration. See https://github.com/wenkokke/schmitty for SMT bindings.
- Set can be renamed 🎉
Hackage: https://hackage.haskell.org/package/Agda
Release notes: https://github.com/agda/agda/blob/master/doc/release-notes/2.6.2.md
🐦🔗: https://twitter.com/ulfnorell/status/1406165979680362500
wrote about conlangs made by women #LinguaIgnota #Láadan #TokiPona https://wen.works/posts/2021-06-15-a-tale-of-three-constructed-languages.html
Glasgow folks: Anyone have access to a Windows PC I could borrow for, like, five minutes?
/me optimises reflowing text to look nice on MY monitor
Uh, that's a bit of a wild design decision?
RT @wagatwe@twitter.com
What the hell TikTok 😭
Heya @pekkaroponen@twitter.com! In 2007, The Globe and Mail reported that you were studying the benefits of keeping a diary in Toki Pona. It's been over a decade since then, and I'd love to hear from you! Please DM me!
twitter is where I complain about life to people who follow me 'cuz I wrote a textbook and/or 'cuz I'm trans
😭 the asian grocers is shut and I'm out of rice 😭
The woman yesterday:
Oh, this is wrong! I'll try and fix it, call back tomorrow!
The man today:
This isn't our problem, bye. *hangs up*
The person I spoke to said "You're certainly a unique case", but if I'm I consistently falling through the cracks, I can't be the only one, right?
Listen. I'm deeply appreciative of the NHS as a concept. I also think that as an overly complex and underfunded burocratic institution, it's got cracks you could drop an oil tanker through.
The NHS bungled my vaccination appointment. Love that for me.
tfw when you have to write a talk and produce a video but your brain is like
Yes, I'm subtweeting Amazon product descriptions, what of it?
Oof, I'm sure glad this finger splint is unisex, would be a shame if it didn't work 'cuz it was made for man-hands.
