"both proving that mental poker is impossible, and then giving a protocol to do it securely"! http://t.co/yXBRLHY4Ox
Related Posts
The Matter protocol is excellent for puns.
"Does it Matter? It doesn't Matter."
I think you could build an interesting IDE with a tiny embedded LLM in addition to the usual tooling.
Features like 'extract method' would be much nicer if an LLM could provide a name. Choosing a good name is virtually impossible from just a typed AST.
I'm experimenting with jj this weekend. It seems pretty nice so far, but the mental model is pretty different from git.
For example, there's no `checkout` command. You do `jj new ABC` to switch to a commit, which creates a new empty commit on top of ABC.