This post made me go try something in clojure again and man I forgot just how fucking good the language is. Everything fits together so nicely.
This post made me go try something in clojure again and man I forgot just how fucking good the language is. Everything fits together so nicely.
you mean let
.
and then letting Hindley-Milner do the rest
So many solver solutions that day, either Z3 or Gauss-Jordan lol. I got a little obsessed about doing it without solvers or (god forbid) manually solving the system and eventually found a relatively simple way to find the intersection with just lines and planes:
It’s a suboptimal solution in that it uses 4 hailstones instead of the theoretical minimum of 3, but was a lot easier to wrap my head around. Incidentally, it is not too hard to adapt the above algorithm to not need C (i.e., to use only 3 hailstones) by using line intersections. Such a solution is not much more complicated than what I gave and still has a simple geometric interpretation, but I’ll leave that as an exercise for the reader :)
The only thing you can know for sure is that you exist.
Or maybe not, depending on your definitions of “you” and “exist” :)
My condolences, buddy.
You may be interested to know that these kinds of paper adhesives are usually intentionally designed so that the substrate (paper) tears before the adhesive does. This is meant to ensure robust packing and to give proof that the package has not been tampered with. Couple this with ever thinner and shittier substrates, and, well…
0 mg Mg don’t forget the space between the unit and the number.
I mean… just rotate it 90 degrees ((()))