Fork me on GitHub
#off-topic
<
2020-05-11
>
sogaiu00:05:06

hurray for virtual machines 🙂

Cameron08:05:56

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
Audrius14: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…

4
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!