markgritter(25)•in #work•2520 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...1311$0.01markgritter(25)•in work•2520 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...1311$0.01
markgritter(25)•in #theory•2525 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 ...3141$0.14markgritter(25)•in theory•2525 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 ...3141$0.14
markgritter(25)•in #ulog•2543 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...3981$0.10markgritter(25)•in ulog•2543 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...3981$0.10
markgritter(25)•in #ulog•2550 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 ...1112$0.06markgritter(25)•in ulog•2550 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 ...1112$0.06
markgritter(25)•in #food•2561 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...1070$0.06markgritter(25)•in food•2561 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...1070$0.06
markgritter(25)•in #steemstem•2575 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...12558$4.47markgritter(25)•in steemstem•2575 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...12558$4.47
markgritter(25)•in #steemstem•2631 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...1883$0.18markgritter(25)•in steemstem•2631 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...1883$0.18
markgritter(25)•in #steemstem•2631 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...1712$0.20markgritter(25)•in steemstem•2631 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...1712$0.20
markgritter(25)•in #spam•2638 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....171$0.04markgritter(25)•in spam•2638 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....171$0.04
markgritter(25)•in #steemit•2642 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...334$0.04markgritter(25)•in steemit•2642 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...334$0.04
markgritter(25)•in #adventofcode•2644 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 | \-+-/ \-+--/ ...2213$0.18markgritter(25)•in adventofcode•2644 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 | \-+-/ \-+--/ ...2213$0.18
markgritter(25)•in #adventofcode•2645 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'...2282$0.55markgritter(25)•in adventofcode•2645 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'...2282$0.55
markgritter(25)•in #adventofcode•2647 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...2022$0.47markgritter(25)•in adventofcode•2647 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...2022$0.47
markgritter(25)•in #adventofcode•2649 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...280$0.05markgritter(25)•in adventofcode•2649 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...280$0.05
markgritter(25)•in #adventofcode•2653 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...3452$0.98markgritter(25)•in adventofcode•2653 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...3452$0.98
markgritter(25)•in #stemq•2654 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...3093$0.99markgritter(25)•in stemq•2654 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...3093$0.99
markgritter(25)•in #steemstem•2665 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...2124$0.28markgritter(25)•in steemstem•2665 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...2124$0.28
markgritter(25)•in #history•2666 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...311$0.05markgritter(25)•in history•2666 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...311$0.05
markgritter(25)•in #adventofcode•2671 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...1511$0.17markgritter(25)•in adventofcode•2671 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...1511$0.17
markgritter(25)•in #meme•2675 days agoNever give up, never pass up a chance to make stupid math jokes(Inspiration: https://twitter.com/crunchleaf/status/1070446086047719425)...150$0.01markgritter(25)•in meme•2675 days agoNever give up, never pass up a chance to make stupid math jokes(Inspiration: https://twitter.com/crunchleaf/status/1070446086047719425)...150$0.01
