egrieco/rocket-surgery

A discussion of next generation technologies, especially with regard to software and formal methods.

Last synced at: over 2 years ago - Stars: 0 - Forks: 0