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 @KateLibc@twitter.com

Legend of Zelda: Orchiectomy of Time

🐦🔗: https://twitter.com/KateLibc/status/1164667662619693057

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

RT @every_lesbian@twitter.com

berlin lesbian

🐦🔗: https://twitter.com/every_lesbian/status/1164511273893158913

RT @FioraAeterna@twitter.com

if it's not obvious, the true reason why the matrix 4 has so much potential is because neither of the wachowski sisters are in eggmode anymore

🐦🔗: https://twitter.com/FioraAeterna/status/1163926437889318913

IMO, best talk from ICFP2019 so far was: Coherence of Type Class Resolution

Whole paper: https://arxiv.org/pdf/1907.00844.pdf

Can't wait for the video to be available!

RT @edwinbrady@twitter.com

"I'm going to talk about Haskell 98, by which I mean Haskell with 98 extensions enabled" - @Lowert@twitter.com #icfp2019

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

RT @mayabyte@twitter.com

KSP 2
KSP 2
https://www.kerbalspaceprogram.com/game/kerbal-space-program-2/

🐦🔗: https://twitter.com/mayabyte/status/1163797937236971520

@a000d4f7a91939d0e71df1646d7a48 omg

RT @bos31337@twitter.com

So glad you asked! The best ghc bug ever involved a dev version of the compiler deleting your source file if it contained a type error.

🐦🔗: https://twitter.com/bos31337/status/116372971509121025

@loki i was there last week!!

(just) Mate for lunch is healthy, right?

@meena oh that's not too far! Though I'm just leaving now to Berlin 😅

Hi from Köln