sgoto

The first SMS from github is origin bound, it cannot be used for phishing: https://wicg.github.io/sms-one-time-codes/

I've been using SVG bob as a wasm binary. Here is a demo: https://code.sgo.to/2021/12/07/ascii-diagrams.html

Ah, that's quite interesting! I'm going through a similar process of formalization, but starting from Wikipedia (but law did indeed cross my mind as a good candidate for formalization too).

I'm also starting from a set-theoretic-like starting point, but am using Discourse Representation Theory to express it in a higher level language that is a subset of english.

https://code.sgo.to/2021/01/06/brazil.html

Find on twitter in case you are interested in telling me more about formalizing the constitution?

https://twitter.com/samuelgoto

FWIW, metamath looks really awesome, will look more closely into it!

I wrote something somewhat similar here:

https://code.sgo.to/2021/06/14/avatars.html

I build something similar recently inspired by Francois original post. Some studies here:

https://code.sgo.to/2021/06/14/sha256.html https://code.sgo.to/2021/06/14/avatars.html

Here is how chrome does it: https://code.sgo.to/2020/12/16/chromium-university-fall-2020...