Week 3 at Hashicorp2개월 전 by markgritter59 in workWeek 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…

Existence properties for first-order number theory are all finitely checkable2개월 전 by markgritter59 in theoryExistence 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…

Job search notes2개월 전 by markgritter59 in ulogJob 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…

Leaving Tintri2개월 전 by markgritter59 in ulogLeaving TintriI haven't kept on my blogging here in the past couple months, and there's a significant reason why. After nearly 11…

Onigiri3개월 전 by markgritter59 in foodOnigiriI've wanted some onigiri for a while so I decided try making some for lunch. My first attempt was edible (it's hard…

Is your coin flip irrational?3개월 전 by markgritter59 in steemstemIs your coin flip irrational?A mathematician I follow on Twitter recently referenced On Determining the Irrationality of the Mean of a Random…

Partitioning a set into lists5개월 전 by markgritter59 in steemstemPartitioning a set into listsThe Bell numbers count how many ways there are to partition N elements into sets. What if we want to partition…

Math is more than plugging in a formula, dammit5개월 전 by markgritter59 in steemstemMath 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…

Why are email pitches so bad?5개월 전 by markgritter59 in spamWhy 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…

Steem account setup latency: 40 days5개월 전 by markgritter59 in steemitSteem 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…

Advent of Code day 13 [spoilers]6개월 전 by markgritter59 in adventofcodeAdvent 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: /->-\

Advent of Code, day 12, in Haskell [spoilers]6개월 전 by markgritter59 in adventofcodeAdvent 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…

Advent of Code Day 11 [spoilers], Inclusion-Exclusion, and Haskell's odd design decisions6개월 전 by markgritter59 in adventofcodeAdvent 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…

Advent of Code Day 8 [spoilers]6개월 전 by markgritter59 in adventofcodeAdvent of Code Day 8 [spoilers]Day 8's puzzle was basically just about parsing a long list of integers correctly, and writing tree-recursive…

Advent Of Code Day 5 [spoilers]6개월 전 by markgritter59 in adventofcodeAdvent 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…

A: What is clustering in Data Science?6개월 전 by markgritter59 in stemqA: What is clustering in Data Science?In a data-science context, clustering refers to organizing data into categories by using some sort of distance…

What does the AC0 complexity class mean?6개월 전 by markgritter59 in steemstemWhat 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…

What happened to Sun Microsystems?6개월 전 by markgritter59 in historyWhat happened to Sun Microsystems?During the first Internet boom of the late 1990’s, Sun was everywhere. Startup companies bought Sun hardware for their…

Advent of Code, day 7 [spoilers]6개월 전 by markgritter59 in adventofcodeAdvent 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…

Never give up, never pass up a chance to make stupid math jokes7개월 전 by markgritter59 in memeNever give up, never pass up a chance to make stupid math jokes(Inspiration: