Hi, Il 25/10/19 22:48, David A. Wheeler ha scritto: > Metamath Zero is #7 on "Hacker News" ( https://news.ycombinator.com/ > ), a widely-read aggregator. That's quite impressive. Congrats, > Mario!
Yeah, and it's also the first time an HN submission by me goes beyond 10 upvotes! :-) I enjoyed reading the paper, and I took the occasion to resume my attempt of understanding your work on the self verification of MM0. Yesterday evening, before sleeping, I was wondering whether we will ever have operating systems that do not enforce any more security boundaries between processes and between the kernel and the processes and map everything to the same address space at ring 0, because loading each process the OS verified a proof that that code would never touch anything outside its assigned space... Great work, Mario! Giovanni. -- Giovanni Mascellani <[email protected]> Postdoc researcher - Université Libre de Bruxelles -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/bf8ada84-a30e-0482-f0a3-71ab69f79a0a%40gmail.com.
signature.asc
Description: OpenPGP digital signature
