Mark Gritter
Bio
Mark Gritter is a Founding Engineer at Akita Software, his fourth startup experience, building API observability. Mark formerly worked at HashiCorp on the Vault team; co-founded Tintri, an enterprise storage company that IPOed in 2017; and was a day-one employee at Kealia, a video streaming startup acquired by Sun Microsystems in 2004.
Mark's previous Minnebar presentations have covered topics such as correctness of algorithms, combinatorial auctions, scaling a startup, building a file system, and procedural content generation.
Links:
- GitHub
- Twitter: @markgritter
Presenting Sessions
This person isn't presenting any sessions.
Past Presentations
-
Functions are Proofs: an Introduction to the F* Language
Minnebar 16 -
Graph Grammars -- and Failure in Language Design
Minnebar 15 -
Graph Grammars -- and Failure in Language Design
Minnebar spring 2020 (canceled) -
Software Correctness Tools
MinneBar 14 -
Taking a Startup to the Opening Bell
MinneBar 13 -
Mad Science with Tracery
MinneBar 12 -
Combinatorial Auctions
MinneBar 11 -
Never Trust Any Published Algorithm
MinneBar 10