arkkh

3 ms·

1. 1.▲
   by arkkh 9y ago

   I see! I would also add that UCP isn't OSS (one of the only commercial products of Docker).
2. 2.▲
   by arkkh 9y ago

   Great job, looks cool! How does it compare with UCP ? https://docs.docker.com/datacenter/ucp/2.2/guides/
3. 3.▲
   by arkkh 9y ago

   you would just type "fstar json" instead, just like you'd type "fsharp" instead of "f#"
4. 4.▲
   by arkkh 9y ago

   It means that a set of rules (generally small) governs how "cells" live or die in their universe. Conway's game of life is a cellular automaton in 2d board, with cells being either alive or dead. Woflram's automaton has