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
Comments
Blog
Posts
Comments
Communities
Wallet
markgritter
steemstem
2019-03-18 04:17
RE: Is your coin flip irrational?
To me it feels a little bit like Levin's universal search ( in that it keeps ticking things off an infinite list. If the right answer's there, then we'll get to it eventually. The clever bit is ensuring
$ 0.000
0
markgritter
adventofcode
2019-01-07 07:23
RE: Advent of Code day 13 [spoilers]
I couldn't recall what the identity function is, which is why I used (+0) instead. It's id.
$ 0.000
0
markgritter
adventofcode
2019-01-06 06:18
RE: Advent of Code, day 12, in Haskell [spoilers]
Oh, dear. Day 13 looks like it's going to be painful, I will have to think about what's the right way to approach this in Haskell. Do I finally need a monad?
$ 0.000
0
markgritter
steem
2019-01-05 02:39
RE: Reflections on two methods of multisig transactions
I'm not sure what the uses cases are for multi-auth that are satisfied by shipping keys around. If you have a third party to store N keys, why couldn't they store just 1 key? That is, if your model is
$ 0.000
0
1
markgritter
adventofcode
2019-01-04 05:18
RE: Advent of Code Day 11 [spoilers], Inclusion-Exclusion, and Haskell's odd design decisions
I mean, seriously, Haskell, WTF? Who need a maximum that is right-associative and lazy? maximum :: forall a . Ord a => t a -> a maximum = fromMaybe (errorWithoutStackTrace "maximum: empty
$ 0.000
0
markgritter
dpoll
2018-12-29 20:14
RE: Do you like StemQ's way of contributing questions and answers?
Voted for Yes, I understand and it makes sense to me..
$ 0.000
0
markgritter
c
2018-12-20 23:41
RE: Where did I go Wrong on this coder?
The problem is here: If( buffer[0] == 0 ); break; That If with a capital letter is not the same as if with small letters. So the compiler thinks you're calling a function named If. (The semicolon on the
$ 0.035
3
1
markgritter
steemstem
2018-12-19 23:41
RE: What does the AC0 complexity class mean?
@stemq is actually a better home, but it seems doubly-redundant to ask a question there just to answer it myself (two separate posts) when I already answered it once on a different site. But the volume
$ 0.000
0
markgritter
archdruid
2018-12-18 21:06
RE: Stellaris: First Situation Report for the United Nations of Earth
I like Stellaris but I was disappointed that I have to buy an expansion in order to build megastructures. I was looking forward to my Dyson sphere. (Hm, I think I bought the expansion when it went on sale
$ 0.000
1
2
markgritter
contest
2018-12-16 01:38
RE: Guess the word (Incinboost Contest) #6
Lot.
$ 0.023
2
1
markgritter
mathematics
2018-12-05 20:09
RE: Git gud at arithmetic
I am somewhat boggled that a mathematics PhD is being asked to do arithmetic as part of a hiring process.
$ 0.028
3
3
markgritter
startup
2018-12-05 08:02
RE: Minne Inno's State of Innovation Meetup
This signage amused me: Whose contact number?
$ 0.000
0
markgritter
musing-threads
2018-12-01 07:48
RE: Musing Posts
View this question on Musing.io
$ 0.276
6
1
markgritter
contest
2018-11-29 19:07
RE: Guess the word (Incinboost Contest) #4 [CLOSED]
Looks like it to me too, well done. But I disagree that the the two humans are necessarily all that humble. :)
$ 0.028
3
1
markgritter
soffit
2018-11-24 06:19
RE: Worst-case matching in Soffit
One idea is replace all the individual constraints: A has to be in [0, 1, 2, 3, 4, ... ] B has to be in [0, 1, 2, 3, 4, ... ] (A,B) has to be in [(0,1), (2,3), (4,5) ... ] C has to be in [0, 1, 2, 3, 4,
$ 0.043
3
markgritter
funny
2018-11-22 08:21
RE: Steem estimated account value bug 😂😂 😂
You beat me to it by about 20 seconds. :)
$ 0.031
3
markgritter
mathematics
2018-11-20 23:56
RE: Brainsteem Mathematics Challenges: Rectangle in a Polygon
But we invented trigonometry (and algebra) so we didn't have to be clever about geometry any more! :) I actually started out with a triangle dissection but I couldn't figure out the trick showing that
$ 0.000
0
markgritter
mathematics
2018-11-19 08:01
RE: Brainsteem Mathematics Challenges: Rectangle in a Polygon
The polygon has area 7/2 * s^2 * cot( pi /14), where s is the side length. The rectangle has height s * cot( pi /14), so area s^2 * cot(pi/14) We can get both these from the formula for the length of the
$ 0.025
2
2
markgritter
steemhunt
2018-11-19 02:36
RE: CoderBear - A fun puzzle platformer with educational programming aspects
Thanks for the pointer; I became a backer on Kickstarter.
$ 0.000
0
markgritter
musing-threads
2018-11-18 08:48
RE: Musing Posts
View this answer on Musing.io
$ 1.357
4