off-topic 2020-05-11 | Slack Archive

hurray for virtual machines 🙂

this is all convenient timing because I finally got linux on this big brute of a machine I'm using now, and have been ecstatic over it all day, as my VB on windows was painfully sluggish (when using my fat emacs at least) but also because I just prefer linux, and it looks so much nicer on my machine. Fortunately I can get away with not needing to use windows for years, so its all the same here. Didn't realize how much time I'd been losing on this thing, though, until I devved today where I could truly jump around and compile quickly I installed Budgie or whatever to try it but kinda wishing I just went with Kubuntu again, hoping if I download kde now it won't break anything, as I believe I've had trouble there a few times

👍 8

Old account14:05:54

Spit and slurp visualized https://i.imgur.com/5GD6EhN.gifv

🤢 4

😂 24

deactivateduser20:05:14

That looks just like my kids’ bath toys when they were babies… …only the “vomit” wasn’t yellow and it smelled like you wouldn’t believe…

vlaaad16:05:56

Posted on the wrong channel initially

Conor18:05:06

If you understand dependent types you can understand the joke in this post better: https://aphyr.com/posts/342-typing-the-technical-interview

Conor18:05:06

This is a talk I gave on Idris for the meetup I help run, might be useful https://www.slideshare.net/mobile/ConorFarrell4/introduction-to-idris

simongray15:05:52

I don’t really know anything about it, but this book is on my way too long list of books to read: https://mitpress.mit.edu/books/little-typer There’s also a Strange Loop talk: https://www.youtube.com/watch?v=VxINoKFm-S4

vlaaad17:05:09

Thanks, I'll watch the video!

2020-05-11

Channels