markgritter(25)•in #work•2440 days 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: https://github.com/pulls?q=is%3...1markgritter(25)•in work•2440 days 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: https://github.com/pulls?q=is%3...1
markgritter(25)•in #theory•2444 days 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 ...1markgritter(25)•in theory•2444 days 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 ...1
markgritter(25)•in #ulog•2463 days 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 mor...1markgritter(25)•in ulog•2463 days 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 mor...1
markgritter(25)•in #ulog•2470 days 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 ...2markgritter(25)•in ulog•2470 days 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 ...2
markgritter(25)•in #food•2480 days 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 pr...0markgritter(25)•in food•2480 days 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 pr...0
markgritter(25)•in #steemstem•2495 days 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 Stat...8markgritter(25)•in steemstem•2495 days 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 Stat...8
markgritter(25)•in #steemstem•2550 days 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...3markgritter(25)•in steemstem•2550 days 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...3
markgritter(25)•in #steemstem•2551 days 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 answ...2markgritter(25)•in steemstem•2551 days 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 answ...2
markgritter(25)•in #spam•2557 days 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....1markgritter(25)•in spam•2557 days 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....1
markgritter(25)•in #steemit•2561 days 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...4markgritter(25)•in steemit•2561 days 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...4
markgritter(25)•in #adventofcode•2563 days 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: /->-\ | | /----\ | /-+--+-\ | | | | | v | \-+-/ \-+--/ ...3markgritter(25)•in adventofcode•2563 days 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: /->-\ | | /----\ | /-+--+-\ | | | | | v | \-+-/ \-+--/ ...3
markgritter(25)•in #adventofcode•2564 days 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'...2markgritter(25)•in adventofcode•2564 days 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'...2
markgritter(25)•in #adventofcode•2566 days 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...2markgritter(25)•in adventofcode•2566 days 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...2
markgritter(25)•in #adventofcode•2569 days 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 Haske...0markgritter(25)•in adventofcode•2569 days 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 Haske...0
markgritter(25)•in #adventofcode•2572 days 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 t...2markgritter(25)•in adventofcode•2572 days 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 t...2
markgritter(25)•in #stemq•2573 days 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 techniqu...3markgritter(25)•in stemq•2573 days 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 techniqu...3
markgritter(25)•in #steemstem•2584 days 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...4markgritter(25)•in steemstem•2584 days 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...4
markgritter(25)•in #history•2586 days 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 data centers, back when building your own...1markgritter(25)•in history•2586 days 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 data centers, back when building your own...1
markgritter(25)•in #adventofcode•2590 days 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! OK, maybe not. I probably could have gotten t...1markgritter(25)•in adventofcode•2590 days 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! OK, maybe not. I probably could have gotten t...1
markgritter(25)•in #meme•2594 days agoNever give up, never pass up a chance to make stupid math jokes(Inspiration: https://twitter.com/crunchleaf/status/1070446086047719425)...0markgritter(25)•in meme•2594 days agoNever give up, never pass up a chance to make stupid math jokes(Inspiration: https://twitter.com/crunchleaf/status/1070446086047719425)...0