Full manual mining: earn virtual currency just by doing manual calculationstwitter.com1 points·by 8ed30dc·il y a 3 ans·1 comments
Ask HN: How you understand TLA+ and how you use TLA+ in your projects?1 points·by 8ed30dc·il y a 3 ans·0 comments
8ed30dc·il y a 2 ans·discussI just get some error after gray ball was dispear from screenApplication error: a client-side exception has occurred (see the browser console for more information).main-b85113564a892656.js:1 DOMException: Failed to execute 'removeChild' on 'Node': The node to be removed is not a child of this node.