wen @cyrridven@computerfairi.es

PLFA is now available as a PDF and an EPUB! #PLFA #Agda

[PDF]: https://plfa.github.io/plfa.pdf
[EPUB]: https://plfa.github.io/plfa.epub

I'm using not using pandoc-citeproc as a command-line utility, but rather I'm using it as a library to read CSL and BibTeX files, and process the citations in a Pandoc document. But it's getting to out of date not to make the switch soon.

Does anyone know how I migrate from #Pandoc's old pandoc-citeproc to the newer citeproc? #Haskell

If I use the keyboard she swats at me and sleep-growls

Getting work done like

Hey #Racket Twitter! Can I use #PLTRedex with an SMT solver? Via z3-rkt or Rosette? They all use different languages, and I don't know enough about Racket to see if there's any way to make that work.

It currently explicitly says there's no type 'prop' of propositions, but adding an explicitly classical prop would make that... very possible 🤩

Wonder if that opens up the door to specify proofs in the same language!

I should've actually looked at SMT-LIB 3.0 way sooner! They're moving to a dependently-typed language! I'm way more excited now!

Just wanna vent and say that @RoyalMailHelp@twitter.com is shite and I really wished they'd stop losing my packages.

Heya PL twitter! Without peeking, which of the following properties do you think hold for floating-point arithmetic?
https://forms.gle/Ui9e6cguuxAAfg8h7

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.

🐦🔗: https://twitter.com/dorchard/status/1423207387729694721

spoilers: almost

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.