wen @cyrridven@computerfairi.es
How many times do I have to roll a die to test wether its fair with reasonable confidence? (As a function of the number of sides.)
It me!
RT @dorchard@twitter.com
Join us at TyDe 2021, the Workshop on Type-Drive Development at @icfp_conference@twitter.com. We have a cracking programme https://icfp21.sigplan.org/home/TyDe-2021#event-overview and a keynote from @wenkokke@twitter.com on Integrating Agda with SMT-LIB.
dora's favorite new game is to see if she can splash all of the water out of her water fountain
love getting my paper rejected based on a review by the author whose work I'm criticizing
Glasgow is drowned in sounds of celebrating, and I for one am here for this level of spite.
Let's be friends in Pokémon GO! My Trainer Code is 1770 7448 8681!
Dora has figured out how buttons work. So far she has managed to heat the house, and print a document. I'm impressed and live in fear of her future exploits.
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 😭
