Viewing profile — lhtr

lhtr

HN member

No profile information was provided.

story
Blockchain for Near-Planetary, Interplanetary and Metaplanetary Space Domains [pdf]
Wed, May 06, 2020, 9:09 AM UTC
story
Comment #23088854
Wed, May 06, 2020, 8:04 AM UTC
story
Some Formal Methods Humor
Fri, Apr 17, 2020, 11:31 PM UTC
comment
Comment #22789515
TLA+ and Alloy.

Sun, Apr 05, 2020, 11:11 PM UTC
comment
Comment #22752671
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 …

Wed, Apr 01, 2020, 7:30 PM UTC
comment
Comment #22470582
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 u…

Tue, Mar 03, 2020, 12:18 AM UTC