BlogHide Resteemsmarkgritter (59)in coding • 3 years agoFooling Penn and Teller with permutations -- in F*The Trick In E807 of "Penn and Teller: Fool Us", the magician "Hans" fools P&T with the following trick: He distributes large rock, piece of paper, and scissors to the three hosts/players, in…markgritter (59)in programming • 3 years agoSumming Factorials in F* With Dependent TypesA beginning programming challenge is: write a program that sums all the factorials between 1! and N!, where N is given as input. Let's make that into a much harder programming challenge by writing…markgritter (59)in roguelike • 4 years agoRoguelike Celebration 2020 - non-violent roguelikes topicHere's some random notes from an unconference session at Roguelike Celebration 2020 , which unlike the main sessions was on Zoom and not recorded. The topic was about roguelikes that had a…markgritter (59)in work • 6 years agoWeek 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 been doing: I resolved a couple issues brought up by Vault users. Today I've…markgritter (59)in theory • 6 years agoExistence 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, which brought up the Busy Beaver function. BB(n) is a typical example of a…markgritter (59)in ulog • 6 years agoJob 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 software security and correctness tooling, or more generally on infrastructure for…markgritter (59)in ulog • 6 years agoLeaving TintriI haven't kept on my blogging here in the past couple months, and there's a significant reason why. After nearly 11 years at Tintri, I've decided it's time for me to start something new. This…markgritter (59)in food • 6 years agoOnigiriI've wanted some onigiri for a while so I decided try making some for lunch. My first attempt was edible (it's hard to screw them up that badly) but not very pretty: I followed the…markgritter (59)in steemstem • 6 years agoIs your coin flip irrational?A mathematician I follow on Twitter recently referenced On Determining the Irrationality of the Mean of a Random Variable by Thomas M. Cover (The Annals of Statistics 1973, Vol. 1, No. 5…markgritter (59)in steemstem • 6 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 the elements into ordered groups instead, as this Quora question asks? For…markgritter (59)in steemstem • 6 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 rate of interest is 5% per annum? In my answer, I pointed out that there's a…markgritter (59)in spam • 6 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 interim CEO's email address. So now I get about 2.5x as much…markgritter (59)in steemit • 6 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 account" email yesterday, January 8th. That's a 40-day wait for a new user…markgritter (59)in adventofcode • 6 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 • 6 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 rules are part of the puzzle; I don't know if they're actually different for…markgritter (59)in adventofcode • 6 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 and list generators. But there turns out to be a crucial difference. Day…markgritter (59)in adventofcode • 6 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 functions correctly. Both are pretty easy in Haskell. I defined the tree object…markgritter (59)in adventofcode • 6 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 missed, which is most of them. Day 5 was the first time I really felt happy with my…markgritter (59)in stemq • 6 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 metric. "K-means clustering" is a common technique for doing so, but other clustering…markgritter (59)in steemstem • 6 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 constant-depth unlimited-fanin polynomial-size circuits. Photo by Yung Chang…
