wen @cyrridven@computerfairi.es
Can anyone help me resolve these seemingly contradictory statements in the IEEE spec for floats?
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
@noyovo@rage.love In my brief research for fn4—which used to just say "They're still overwhelmingly white"—I did find Balaibalan, Damin, and Eskayan, and they all seem super interesting, and honestly, much more *actually used* than any white conlang.
If you've got any other conlangs you love, feel free to let me know! I love reading about them :)
https://wen.works/posts/2021-06-15-a-tale-of-three-constructed-languages.html#fn4
@noyovo@rage.love Yep, definitely!
I shied away from discussing the colonial dynamics going on with Láadan and Toki Pona, mostly 'cuz I'm not qualified to do anything more than to point out they might be there. Though maybe I should just do exacly that.
Would love to read a more in-depth critique on the colonial dynamics in these languages! As well as a post on conlangs by Black and other dark-skinned folks!
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!
