1. 24

  2. 2

    So, which useful LISP’s on his list were actually made by a majority of German effort? It might be useful for subversion-resistant designs where a given process has to be performed independently by mutually-distrusting parties with their own implementations. It was my idea for subversion-resistant builds and slow-to-trace email but I found it applies to other things. LISP is a language with a verified implementation to check and check against, too.