What is Nostr?
Dan Luu /
npub1pm9…88nl
2024-04-24 14:27:29

Dan Luu on Nostr: How long before formal methods are widely use in software engineering? ...

How long before formal methods are widely use in software engineering?

https://www.patreon.com/posts/102809124

Author Public Key
npub1pm93exm0eyfep2635k3epqh5f39tuzse44nuvwmsn5t4a0erureqnl88nl