https://www.hillelwayne.com/tags/humor/ Recent content in Humor on Hillel Wayne Hugo -- gohugo.io en-us Mon, 05 Mar 2018 00:00:00 +0000 https://www.hillelwayne.com/post/monad-tutorials/ Mon, 05 Mar 2018 00:00:00 +0000 https://www.hillelwayne.com/post/monad-tutorials/ &ldquo;Mathematics doesn&rsquo;t have a sense of time, but often we need to track time. So programmers borrow an idea from the field of formal logic and replace all functions (f: A → B) ↦ f: A × T → B where T is the partially ordered set t1 ... tn. If T is totally ordered we can then define a mutation as a tuple in M ⊆ Var × Val × Val × T such that &lt;x, a, b, t&gt; ∈ M ⇔ x[b, t'] ∈ x'[a, t]. https://www.hillelwayne.com/post/falsehoods-programmers-believe-about-dogs/ Wed, 01 Feb 2017 07:59:42 -0800 https://www.hillelwayne.com/post/falsehoods-programmers-believe-about-dogs/ <p></p>