19,432 karma · joined January 21, 2008
Make that ±80…
[0]https://www.aa.org/assets/en_US/aa-literature/p-84-many-path...
"These are views that tell you when a model changed last. Watcher Views are light enough so that you can continuously call them to know whether you should fetch recent data. They're far less complex than WebSockets and avoid the performance costs of continuously polling unchanged data from the API."
https://www.bloomberg.com/news/audio/2019-08-16/josh-wolfe-d...
[0]https://mountaintownnews.net/2017/11/21/amory-lovinss-long-s...
[0]https://en.wikipedia.org/wiki/Some_Institutes_for_Advanced_S...
https://twitter.com/donie/status/1188593050546855937
https://mashable.com/article/facebook-false-green-new-deal-a...
https://xenaproject.wordpress.com
http://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf
http://aitp-conference.org/2019/slides/KB.pdf
https://galois.com/blog/2018/07/the-lean-theorem-prover- past-present-and-future/
https://florisvandoorn.com/talks/JMM2019formalabstracts.pdf
https://sites.google.com/site/thalespitt/
https://jiggerwit.wordpress.com/2014/05/21/27-formal-proof-p...
https://jiggerwit.wordpress.com/2016/10/18/elliptic-curve-ad...