Pinned toot
Kate boosted

considering using and contributing to #MirageOS? Join us for our retreat end of September in Marrakesh, there are still some spots available retreat.mirage.io #MirageOS #retreat

RT @edwinbrady@twitter.com

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

🐦🔗: twitter.com/edwinbrady/status/

Kate boosted

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

🐦🔗: twitter.com/FioraAeterna/statu

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

Whole paper: 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

🐦🔗: twitter.com/edwinbrady/status/

Kate boosted

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.

🐦🔗: twitter.com/bos31337/status/11

tfw ICE legroom 🙏 ICEs might not be the fastest trains but heck their legroom/seat size is just the best

Show more
Lesbiab Space

A Mastodon instance by and for lesbians 💜
See rules and guidelines for more informations.