Funny, Tom Knight (Lisp Machine cpu designer) suggested to read about crash-safe.org work. Small world.

That is a trip. LISP machines were doing tagged memory and GC before most of them. Knight agreeing that SAFE is great work is a sign Im on right track. :)

Didn't know it was your work. Enjoy the trip ;)

SAFE is not my work. I was evangelizing many of the same principles, working similar things, and generally try to draw mainstream attention the The Right Thing (eg SAFE) when it manifests for a given problem/domain. High assurance security & systems path has been quite a trip, though. Thanks. :)