• Sign in
  • Sign up
Elektrine
EN
Log in Register
Modes
Overview Chat Timeline Communities Gallery Lists Friends Email Vault DNS VPN
Back to Timeline
  • Open on mathstodon.xyz

Mark Gritter

@markgritter@mathstodon.xyz
mastodon 4.5.8

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman.

Big nerd. he/him
0 Followers
0 Following
Joined November 08, 2022
Github:
https://github.com/mgritter
LinkedIn:
https://www.linkedin.com/in/markgritter/
Quora:
https://www.quora.com/profile/Mark-Gritter

Posts

Open post
markgritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
Mark Gritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
@markgritter@mathstodon.xyz · 14h ago
From today's #MoneyStuff, the question is raised: if Elon Musk is found to have violated securities law and must disgorge $143m in unjust earnings, but not enough specific victims can be found, what should happen?

High priced lawyers are busy arguing that courts cannot order repayment unless it goes to specific victims. And if no such victims can be identified then Elon gets to keep his cash, presumably. Giving the money back to the market makers who were the last link I the sale seems like an unjustified windfall. I am fine with the Treasury just keeping it, but I can see how that moves the cash from one category of penalty to another.

This I think is an area where cryptocurrency does actually have a useful innovation to contribute. If Mr. Musk has contributed a fraud on the market at large (a large distributed system in which it is hard to apportion losses.that match his gains) then we turn that around and spread the restitution out in a similar distributed fashion. Elon should have to buy a basket of equities and the "burn" it, reducing the number of shares that exist and thus increasing value for everyone else. (And also for him too, but we can solve that with the right math.)

There are no doubt some practical obstacles to overcome but I don't see any block in principle to the clearinghouse agreeing that those shares no longer exist.

#financialcrimes
0
0
0
0
Open post
markgritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
Mark Gritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
@markgritter@mathstodon.xyz · 1d ago
I had a very simple theory for this run. I had True Grit, Bludgeon, and Stampede. Exhaust every other card in my deck so that I'm throwing down a free-cost Bludgeon every turn--- right?

Instead I went on a shopping spree because I had Monkey's Paw so it was hard to turn down additional powers. And if I'm playing _two_ attacks per turn, might was well have something else? And if I'm exhausting cards then I should get Howl From Beyond...

This is my problem, I can see synergies between cards but stop thinking at the whole-deck level.

Cleared Ascension Level 5 anyway but was taunted at the end with the "large deck" achievement.

#SlayTheSpireII #SlayTheSpire
3
0
1
0
Open post
markgritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
Mark Gritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
@markgritter@mathstodon.xyz · 4d ago
Aphyr casting shade both on LLMs _and_ humans.

https://woof.group/@aphyr/116364118144210270
woof.group

École des Bro-Arts: "I never imagined that the Turing test would fall …" - woof.group

2
0
1
0
Open post
In reply to
markgritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
Mark Gritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
@markgritter@mathstodon.xyz · Apr 14, 2026
@poleguy The paper I linked downthread tries several approaches! It does not look like (in the current models) a description of the language is good enough. An interactive session does help somewhat in their experiment.

I would like to see a non-Esolang example, although the effect seems very strong there.

While (b) is certainly a questionable assumption, I think it is currently borne out by this and similar results -- the models get good by having training sets that are relevant, rather than developing transferrable knowledge.
1
0
0
0
Open post
markgritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
Mark Gritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
@markgritter@mathstodon.xyz · Apr 14, 2026
Two Regent ascensions (3 and 4) tonight by basically just ignoring the stupid sword and spamming stars. Unfortunately I'm coming to believe the ability to bank up an unlimited amount of a resource is just broken.

3x Black Hole on this one which is 9 sweet points of global damage for gaining _or_ spending stars. The build is otherwise trash but it doesn't matter because Just Keep Spamming Stars.

#SlayTheSpireII
0
0
0
0
Open post
In reply to
markgritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
Mark Gritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
@markgritter@mathstodon.xyz · Apr 14, 2026
This seems vaguely familiar, but I don't think I've read it yet: https://arxiv.org/abs/2603.09678v1

"We evaluate five frontier models across five prompting strategies and find a dramatic capability gap: models achieving 85-95% on standard benchmarks score only 0-11% on equivalent esoteric tasks, with 0% accuracy beyond the Easy tier"
7
4
5
0
Open post
In reply to
markgritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
Mark Gritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
@markgritter@mathstodon.xyz · Apr 14, 2026
@skewray Well, I think there was a recent result that the Whitespace language is pretty poorly executed by LLMs, so there's a form of steganography at work there. We need to make languages that are ignored by scrapers -- maybe one in which the EICAR code serves a cruicial purpose?

Trying to find the Whitespace reference I was thinking of, I found this paper (which might have been the source of the claim) https://arxiv.org/abs/2603.09678v1
2
2
1
0
Open post
markgritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
Mark Gritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
@markgritter@mathstodon.xyz · Apr 14, 2026
One thing I haven't heard discussed much about LLM-based programming:

Are we at the end of any serious programming language evolution?

It seems to me that if you believe (a) coding assistants are going to be the dominant way software is written, and (b) the only way to get reasonably good coding assistants is to train on tons of existing code, then it follows that (c) new programming languages will be at a significant disadvantage because there's just no corpus to train on.

The strong version of this hypothesis is that even new features of existing programming languages will be hard to roll out, because the bots won't use them!

I'm sure there are researchers who are looking at "programming languages that are easy for coding assistants to write" (Darklang went this route) but I think this is futile as long as (b) is our best bet. Maybe "AI" will deliver general reasoning capabilities good enough to transfer to any language, but that's not what is shaking out right now.

Any studies on coding assistant success across existing languages? That might be interesting to look at.

#CodingAssistants #ProgrammingLanguages
mathstodon.xyz

Mathstodon

4
5
4
0
Open post
markgritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
Mark Gritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
@markgritter@mathstodon.xyz · Mar 25, 2026
I'm doing an extended version of my talk about serial art and Rogue, at #Minnebar! The original version at the Roguelike Celebration was just 10 minutes, but I had to cut a lot of content so I think this will be fun to revisit.
https://sessions.minnestar.org/sessions/1956
3
0
2
0
Open post
In reply to
markgritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
Mark Gritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
@markgritter@mathstodon.xyz · Mar 17, 2026
Google Translate offers "petite amie" in French but that doesn't result in any n-gram hits, "copine" is a better result but may not hit the same note. And most girlfriends are... also English?
0
0
0
0
Open post
In reply to
markgritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
Mark Gritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
@markgritter@mathstodon.xyz · Mar 17, 2026
@attoparsec it appears based on preliminary investigation that the "girlfriend in Canada" of the English-speaking world is actually England.

Just gotta figure out how to turn this into a systematic and multi-lingual approach.
1
5
1
0
Open post
In reply to
markgritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
Mark Gritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
@markgritter@mathstodon.xyz · Mar 17, 2026
@joXn @attoparsec TV Tropes has an entry which suggests many occurrences older than Avenue Q (and I certainly would have said I knew it as a trope before 2003.). Among them is The Breakfast Club, 1984. https://tvtropes.org/pmwiki/pmwiki.php/Main/GirlfriendInCanada
1
0
0
0
Open post
In reply to
markgritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
Mark Gritter
Mark Gritter
@markgritter@mathstodon.xyz

Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman. Big nerd. he/him

mathstodon.xyz
@markgritter@mathstodon.xyz · Mar 03, 2023
@zachary Lovely!
0
0
0
0

Media

313k7r1n3

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • VPN Policy

Email Settings

IMAP: mail.elektrine.com:993

POP3: pop3.elektrine.com:995

SMTP: mail.elektrine.com:465

SSL/TLS required

Support

  • support@elektrine.com
  • Report Security Issue

Connect

Tor Hidden Service

khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion
© 2026 Elektrine. All rights reserved. • Server: 09:30:41 UTC