Functional programmer, cryptocurrency observer, and hobbyist games developer.
-
Seefried Software Services
- Australia
- http://seanseefried.org/blog
Highlights
- Pro
Perspicuous Computing
Perspicuous-Computing
Efficient and reliable software & hardware with simple formal specifications and machine-checked proofs.
Lyndon Maydwell
sordina
Doubly Blockcirculant Conversationalist.
Hasura, Sordina Productions, RenSor Brisbane
Ivan Perez, PhD
ivanperez-keera
Principal Research Scientist @ NASA Ames Research Center |Haskell software architect | Public Speaker
@NASA Ames Research Center / KBR San Jose, CA