This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2017-12-16
Channels
- # adventofcode (93)
- # beginners (104)
- # boot (1)
- # cider (4)
- # cljsjs (2)
- # clojure (174)
- # clojure-austin (1)
- # clojure-greece (5)
- # clojure-spec (13)
- # clojure-uk (32)
- # clojurescript (15)
- # core-logic (13)
- # cursive (13)
- # data-science (8)
- # datomic (11)
- # duct (1)
- # fulcro (22)
- # instaparse (23)
- # jobs (1)
- # lein-figwheel (5)
- # off-topic (13)
- # onyx (13)
- # parinfer (1)
- # pedestal (19)
- # re-frame (33)
- # specter (26)
- # unrepl (22)
I remember reading them in his code and he was quite proud of them when he pointed them out to me
ah nailed it. but its in java https://github.com/clojure/data.int-map/blob/33e6baa4b30acb56ec7bb3f11265e221f07b96bb/src/main/java/clojure/data/int_map/Nodes.java#L41
i can't for the life of me remember why and how he used them. it was clever but i can't remember
I'm using data.int-map quite a bit in a project I'm currently working on and would love to hear more about this. Perhaps we can persuade him to write a blog post on it?
Seeing your mentions if you're not constantly infusing the channel into your line of sight, always seems broken in slack
besides "it adds induction", what is the difference between Calculus of Constructions and Calculus of Inductive Constructions ?