markgritter (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…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…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…markgritter (59)in #work • 5 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…markgritter (59)in #theory • 5 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…markgritter (59)in #ulog • 5 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…markgritter (59)in #ulog • 5 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…markgritter (59)in #food • 5 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…markgritter (59)in #steemstem • 5 years agoIs 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 • 5 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 • 5 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 • 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…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…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…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…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…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…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…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…