Show more

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

RT @0x47DF@twitter.com

how do i tame the 30-50 feral roombas that roam into my room within 3-5 minutes?

🐦🔗: twitter.com/0x47DF/status/1162

RT @typer_uma@twitter.com

write a paragraph ~> twitter ~> write a paragraph ~> ponder whether to switch to a gui mail client ~> write a paragraph ~> check out some books ~> write a paragraph ~> twitter ~> …

But it's ok because it's about concurrency

🐦🔗: twitter.com/typer_uma/status/1

Show more
Lesbiab Space

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