Hive profile

Mark Gritter

@markgritter

Vault Advisor at Hashicorp | founder, Tintri | CS PhD dropout | 3x startup nerd | math geek

264 followers 41 following 403 posts Reputation 59.64

Mark Gritter
@markgritter May 11, 2019, 12:22 AM UTC

Week 3 at Hashicorp

The 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%3Apr+author%3Amgritter+archived%3Afalse+…

131 upvotes 1 replies $0.01
Mark Gritter
@markgritter May 6, 2019, 5:00 AM UTC

Existence properties for first-order number theory are all finitely checkable

OK, 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 non-computable f…

307 upvotes 1 replies $0.14
Mark Gritter
@markgritter Apr 18, 2019, 1:28 AM UTC

Job search notes

When 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 build…

397 upvotes 1 downvotes 1 replies $0.10
Mark Gritter
@markgritter Apr 10, 2019, 7:23 PM UTC

Leaving Tintri

I 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 wasn't…

110 upvotes 1 downvotes 2 replies $0.06
Mark Gritter
@markgritter Mar 31, 2019, 5:39 AM UTC

Onigiri

I'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 instructions from…

105 upvotes 0 replies $0.06
Mark Gritter
@markgritter Mar 16, 2019, 8:05 PM UTC

Is 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, 862-871). #…

996 upvotes 8 replies $4.47
Mark Gritter
@markgritter Jan 20, 2019, 5:32 AM UTC

Partitioning a set into lists

The 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 example, {a,b…

184 upvotes 3 replies $0.18
Mark Gritter
@markgritter Jan 20, 2019, 1:20 AM UTC

Math is more than plugging in a formula, dammit

On 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 missin…

168 upvotes 2 replies $0.20
Mark Gritter
@markgritter Jan 13, 2019, 4:45 AM UTC

Why 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 founder/CTO/executive-direct…

17 upvotes 1 replies $0.04
Mark Gritter
@markgritter Jan 9, 2019, 6:28 AM UTC

Steem account setup latency: 40 days

An 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, which…

33 upvotes 4 replies $0.04