Mark Gritter
Bio
Mark Gritter is a Founding Engineer at ThirdLaw, his fifth startup experience, building monitoring and control for AI systems.
Mark formerly worked at Akita Software and Postman on API observailbity; 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:
Presenting 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
Participating Sessions
- 50 Years of Consoles, Computers, and Handhelds: The Convergence of the Steam Deck
- No One Has the Full Picture (Especially in Complex Systems)
- What the fuck are passkeys and why are they everywhere now?
- Speak the Domain: How DSLs Help Humans — and AI — Model the Real World
- Code, cloth, and your hands: How engaging in textile craft makes you a better technologist
- The Good Years: Formative Tech Companies in the Twin Cities
- Multiplayer Interactive Fiction on the Elixir VM
- Lessons from Two Decades of Angel Investing
- Gopher Supercomputing: Past, Present, and Future
- Real World Speech Interfaces: What Builders Are Seeing