markgritter (59)in #work • last yearWeek 3 at HashicorpThe weird thing about working for an open-source company is that any random person can come by and look at what I've…markgritter (59)in #theory • last yearExistence properties for first-order number theory are all finitely checkableOK, that's a mouthful. I wrote an answer to How can I show that a function is not computable over at Quora…markgritter (59)in #ulog • last yearJob search notesWhen I decided to look for a new job, I had in mind the sort of thing I most wanted to do. I wanted to work on…markgritter (59)in #ulog • last yearLeaving TintriI haven't kept on my blogging here in the past couple months, and there's a significant reason why. After nearly 11…markgritter (59)in #food • last yearOnigiriI've wanted some onigiri for a while so I decided try making some for lunch. My first attempt was edible (it's hard…markgritter (59)in #steemstem • last yearIs your coin flip irrational?A mathematician I follow on Twitter recently referenced On Determining the Irrationality of the Mean of a Random…markgritter (59)in #steemstem • 2 years agoPartitioning a set into listsThe Bell numbers count how many ways there are to partition N elements into sets. What if we want to partition…markgritter (59)in #steemstem • 2 years agoMath is more than plugging in a formula, dammitOn Quora, I answered this question: How long does it take for your money to grow 10 times its original value if the…markgritter (59)in #spam • 2 years agoWhy are email pitches so bad?Via Twitter: Recently my co-founder left Tintri. Now his email address has been aliased to me. Along with our…markgritter (59)in #steemit • 2 years agoSteem account setup latency: 40 daysAn acquaintance verified their email with Steemit on November 29th and finally got the "One last step to set up your…markgritter (59)in #adventofcode • 2 years agoAdvent of Code day 13 [spoilers]Day 13 is a simulation of carts on tracks. The track layout is given by an ASCII diagram, like this one: /->-\ markgritter (59)in #adventofcode • 2 years agoAdvent of Code, day 12, in Haskell [spoilers]Day 12 asks us to implement a cellular automaton. There's a lot of flavor text, but that's basically it. The…markgritter (59)in #adventofcode • 2 years agoAdvent of Code Day 11 [spoilers], Inclusion-Exclusion, and Haskell's odd design decisionsHaskell has a maximum function and it has lazy evaluations of lists. I come from Python that has a max function…markgritter (59)in #adventofcode • 2 years agoAdvent of Code Day 8 [spoilers]Day 8's puzzle was basically just about parsing a long list of integers correctly, and writing tree-recursive…markgritter (59)in #adventofcode • 2 years agoAdvent Of Code Day 5 [spoilers]I completely gave up on solving the Advent of Code problems as they went up, and I'm backfilling the days I…markgritter (59)in #stemq • 2 years agoA: What is clustering in Data Science?In a data-science context, clustering refers to organizing data into categories by using some sort of distance…markgritter (59)in #steemstem • 2 years agoWhat does the AC0 complexity class mean?AC^0 is a circuit complexity class. It represents the set of decision problems that are solvable with a family of…markgritter (59)in #history • 2 years agoWhat happened to Sun Microsystems?During the first Internet boom of the late 1990’s, Sun was everywhere. Startup companies bought Sun hardware for their…markgritter (59)in #adventofcode • 2 years agoAdvent of Code, day 7 [spoilers]The Day 7 puzzle is about parallel builds. So, just convert your input into a Makefile and solve it with GNU Make…markgritter (59)in #meme • 2 years agoNever give up, never pass up a chance to make stupid math jokes(Inspiration: