This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2020-05-11
Channels
- # announcements (4)
- # babashka (4)
- # beginners (164)
- # calva (47)
- # cider (1)
- # cljs-dev (29)
- # cljsrn (3)
- # clojure (137)
- # clojure-europe (23)
- # clojure-nl (3)
- # clojure-spec (7)
- # clojure-uk (44)
- # clojurescript (35)
- # component (8)
- # conjure (119)
- # cursive (32)
- # datomic (12)
- # emacs (31)
- # figwheel-main (36)
- # graalvm (10)
- # jobs (2)
- # kaocha (1)
- # lein-figwheel (3)
- # meander (15)
- # mount (3)
- # off-topic (9)
- # pathom (8)
- # quil (4)
- # re-frame (13)
- # reagent (15)
- # remote-jobs (10)
- # shadow-cljs (128)
- # slack-help (2)
- # spacemacs (8)
- # test-check (6)
- # xtdb (6)
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
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…
If you understand dependent types you can understand the joke in this post better: https://aphyr.com/posts/342-typing-the-technical-interview
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
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