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
Thanks for your all your content on TLA+ -- learntla.com was very helpful!
> 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 specification". So, you might…
> 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…
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…
"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 advancements aren't being made…
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
Thanks for your all your content on TLA+ -- learntla.com was very helpful!
> 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 specification". So, you might…
> 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…
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…
"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 advancements aren't being made…