[rockmeamedee]

https://github.com/amedeedaboville/mish A mosh clone that uses QUIC as the transport layer so it can do both “unreliable datagrams” like UDP and also a TCP-like reliable stream, so it has scrollback buffer.

Also QUIC means the crypto is handled for me, no need to trust the LLM to hand roll its own crypto.

Cool Rust libraries enable this like alacritty for the terminal, and being able to have russh (rust implementation of ssh) means it works even if ssh isn’t installed (eg on windows which og mosh never supported).

Claude tested this thing forwards and backwards: e2e tests, simulated (foundationDB like) tests for the network and for tokio async thread ordering, 12 different fuzzing targets, even some light model checking on the protocol itself. Each fuzzing round found bugs.

Except for a few “it may have bugs, I have only proven it correct” scenarios I’d say it’s looking like it’ll be as trustworthy as (maybe more than?) the original. I’m really happy with it.

[hackernudes]

I have been thinking of this for a few years! Nice, I will check it out.