Kate @kit_ty_kate@lesbiab.space

soon Brussels, then home! 🚆🚄

Köln, are you ok??!

goodbye ICFP! See you next year probably

RT @Fawnduu@twitter.com

🐦🔗: https://twitter.com/Fawnduu/status/1164967754371407873

RT @edwinbrady@twitter.com

Nice work from @bentnib@twitter.com and @ioanluca7@twitter.com on compiling Idris to OCaml at the ML workshop

🐦🔗: https://twitter.com/edwinbrady/status/1164529627123146752

(just) Mate for lunch is healthy, right?

Hi from Köln

first change

Holly shit this new down toplevel plugin is great!!

RT @nixcraft@twitter.com

How I feel when I ssh using my mobile phone

🐦🔗: https://twitter.com/nixcraft/status/1161007237109653504

RT @Potatopolitics@twitter.com

@Jerrypleasure@twitter.com @joss_prior@twitter.com It's a vintage image of two women cuddling in bed, and also there's a cat on the back on one of them.

Truly, my dream life in image form

🐦🔗: https://twitter.com/Potatopolitics/status/1158162593678340098

RT @typer_uma@twitter.com

Type-checking the session-typed pi-calculus in Coq (master's thesis)

https://github.com/umazalakain/session-types-coq/blob/master/src/SessionTypes.v

🐦🔗: https://twitter.com/typer_uma/status/1154483968785440771

at least sitting in front of the water, headphones on, blasting death metal, is really relaxing 😊 I wish I would do that more often

oof, mmh, what do you reckon? Too much to go swim in?

RT @Fawnduu@twitter.com

234.

catch up with the comic here:https://www.webtoons.com/en/challenge/my-dragon-girlfriend/list?title_no=162918

🐦🔗: https://twitter.com/Fawnduu/status/1152067606313984000

RT @confCAV@twitter.com

The 2019 CAV award goes to Jean-Christophe Filliatre and Rustan Leino. Congratulations! #cav19 #cav2019

🐦🔗: https://twitter.com/confCAV/status/1151179589743460353

RT @LotteMakesStuff@twitter.com

🐦🔗: https://twitter.com/LotteMakesStuff/status/1151191856702795778

Source: https://twitter.com/azicodon/status/1129783145065140224

RT @Fawnduu@twitter.com

Olive 🦇

🐦🔗: https://twitter.com/Fawnduu/status/1145715464082845697

RT @whitequark@twitter.com

very interesting new language. any of you have poked at it? https://t1lang.github.io/

🐦🔗: https://twitter.com/whitequark/status/1142904910343745542