Login
Discover
Waves
Decks
Plus
Login
Signup
Mark Gritter
@markgritter
59
Vault Advisor at Hashicorp | founder, Tintri | CS PhD dropout | 3x startup nerd | math geek
Followers
264
Following
41
Resource Credits
Available
Used
Location
Eagan, Minnesota
Website
https://twitter.com/MarkGritter
Created
May 24, 2018
RSS Feed
Subscribe
Posts
Blog
Posts
Comments
Communities
Wallet
markgritter
work
2019-05-11 00:22
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: I resolved a couple issues brought up by Vault users. Today I've started
$ 0.099
131
1
markgritter
theory
2019-05-06 05:00
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 function.
$ 0.647
314
1
markgritter
ulog
2019-04-18 01:28
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 building
$ 0.495
398
1
markgritter
ulog
2019-04-10 19:23
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 an
$ 0.309
111
2
markgritter
food
2019-03-31 05:39
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
$ 0.334
107
markgritter
steemstem
2019-03-16 20:05
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). Testing
$ 18.220
1255
8
markgritter
steemstem
2019-01-20 05:32
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}
$ 0.804
188
3
markgritter
steemstem
2019-01-20 01:20
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 missing
$ 0.930
171
2
markgritter
spam
2019-01-13 04:45
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-directed
$ 0.231
17
1
markgritter
steemit
2019-01-09 06:28
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,
$ 0.220
33
4
markgritter
adventofcode
2019-01-07 06:30
Advent 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 | \-+-/ \-+--/ \------/ I decided it would be better
$ 1.199
221
3
markgritter
adventofcode
2019-01-06 06:13
Advent 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 everyone or not.
$ 2.366
228
2
markgritter
adventofcode
2019-01-04 04:39
Advent of Code Day 11 [spoilers], Inclusion-Exclusion, and Haskell's odd design decisions
Haskell 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 11 asks us to find
$ 2.018
202
2
markgritter
adventofcode
2019-01-01 23:43
Advent 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 like this,
$ 0.245
28
markgritter
adventofcode
2018-12-29 06:07
Advent 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 Haskell solution,
$ 4.235
345
2
markgritter
stemq
2018-12-28 05:03
A: 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
$ 4.193
309
3
markgritter
steemstem
2018-12-17 04:19
What 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 on Unsplash.
$ 1.288
212
4
markgritter
history
2018-12-16 00:52
What 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 data center was still a thing startups did.
$ 0.257
31
1
markgritter
adventofcode
2018-12-11 09:32
Advent 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 that working in less time than it took me
$ 0.833
151
1
markgritter
meme
2018-12-07 08:58
Never give up, never pass up a chance to make stupid math jokes
(Inspiration:
$ 0.086
15
