oh interesting thoughts! let me digest and get back to you. overall i just defined a read API description that is "read content from this gist file by calling this API, it returns content of a text file, formatted as CSV, with first row defining the columns" and a write API description that is similar.

I develop on a paid plan GPT-4o (it allows me creating custom GPTs), but users can be on free tier GPT-4o to use it (although it limits image uploads to a handful per day). free tier github as always.

I’m curious who is willing to use more than 10 clouds

The HTTP/S proxy network of NL is interesting. But I think QUIC unreliable transport + MASQUE is the future here

Are there any good performance tests done between Tinc and WG? Curious to see how they perform and what there bottlenecks are.

I feel that this kind of competes with Tailscale and all the other connectivity providers all of sudden…

Learning curve is real difficult

I haven't used EasyCrypt yet, but for protocol verification I found proverif to be well accessible (mind that was probably a decade ago): https://bblanche.gitlabpages.inria.fr/proverif/

I'm not really surprised how both are involved with INRIA. They do some amazing work there.

PS but they really could add some more comments to the examples. Or a docs folder. But there is https://github.com/EasyCrypt/easycrypt/tree/main/examples/pr..., maybe that can help you. (I'm personally also a bit baffled; I know & understand a wide range of cryptography, but not being familiar with coq or at least ocaml makes it hard to grok the other examples I looked at).

of EasyCrypt, or cryptography in general. I can confirm the latter, but not the former.

One thing I value the most is the combination of markdown and latex support, plus mermaid diagrams. It’s very hard to find something that works super well on everything. Right now a customized Hugo with KaTeX is the best solution, but I’m still sad I cannot use MathJAX :((