Viewing profile — agstewart

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/ite…

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 o…

> 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…

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 impl…

"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 m…