lhtr

3 ms·

1. 1.▲
   Blockchain for Near-Planetary, Interplanetary and Metaplanetary Space Domains [pdf](github.com)

   1 points by lhtr 6y ago|1 comments
2. 2.▲
   Some Formal Methods Humor(shemesh.larc.nasa.gov)

   3 points by lhtr 7y ago|0 comments
3. 3.▲
   by lhtr 7y ago

   TLA+ and Alloy.
4. 4.▲
   by lhtr 7y ago

   Location: Paris, France Remote: Yes Willing to relocate: No Technologies: C++, Go, Java; test automation Résumé/CV: Upon request Email: hn.lekythos@simplelogin.co (temporary email address for privacy reasons)
5. 5.▲
   by lhtr 7y ago

   Location: Western Europe Remote: Yes Willing to relocate: No Technologies: C++, Java, Go; Ethereum (incl. Quorum), Solidity; Docker, Kubernetes; SQL, MongoDB Résumé/CV: Available upon request (privacy reasons) Email: nys