agstewart

3 ms·

1. 1.▲
   by agstewart 6y ago

   I think it's humour, that magic numbers can be used to "create consensus" among operating systems, enabling portable binaries. See discussion here: https://news.ycombinator.com/item?id=26271117
2. 2.▲
   by agstewart 6y ago

   Thanks for your all your content on TLA+ -- learntla.com was very helpful!
3. 3.▲
   by agstewart 6y ago

   > I'm not sure what you're calling "spec" vs "model" This is from memory, but the TLA+ toolkit distinguishes between your "specification of your algorithm" and a (bounded) "model of your speci
4. 4.▲
   by agstewart 6y ago

   > And it's quite tightly bound to their particular UI tool, which makes keeping the models in git possible but somewhat quirky. I couldn't find a way of tracking the TLA+ Toolkit's files nicely in git, but with a bit of ma
5. 5.▲
   by agstewart 6y ago

   Consensys | Senior Ethereum Developer/Researcher | Remote | Full-time preferred Magmo is a 100% remote team at Consensys Mesh, focusing on Ethereum state channels research and implementation. State channels ( https://statecha
6. 6.▲
   by agstewart 8y ago

   "It" can reduce power consumption by 15%. https://deepmind.com/blog/deepmind-ai-reduces-google-data-ce... Just because alpha zero doesn't solve the problem you want it to doesn't mean that advanceme