Viewing profile — giltho

Fantastic work

Beyond academic research, a non-exhaustive list of people using either Lean or related tech: - Amazon (where they even hired the creator of Lean to pursue this) - Microsoft (mostly…

Hey chatGPT, summarise this post for me

Imagine 50 years of computer security to have articles come up on hackernews saying “what you need is to allow a black box to run arbitrary python code” :(

A common specification language is a very ongoing discussion, we just haven't managed to find an agreement yet. Things like `#[no_panic]` make sense, but it also doesn't require a …

I can assure you that the person who wrote this is very well aware of the subtleties involved with formalising the law. Law + Programming is an active research field ( https://popl…