Profile cover photo
Profile photo
Siddhartha Gadgil
957 followers
957 followers
About
Siddhartha's posts

Tower of Hanoi: scala and scala-js

For a talk to school students, had solving the Tower of Hanoi in scala recursively and animating it using scala-js (with scalatags, svg).

Animation: https://siddhartha-gadgil.github.io/TowerOfHanoi/

Code: https://github.com/siddhartha-gadgil/TowerOfHanoi


Post has shared content
It took me four years to write the paper "Five stages of accepting constructive mathematics", which is based on an eponymous talk I gave at the Institute for Advanced Study in 2013. The paper has been published in the Bulleting of the AMS. I hope you'll enjoy it!

http://dx.doi.org/10.1090/bull/1556 

Post has attachment
Photo

Post has attachment
The cost of a proof

A rough calculation to see how expensive it would be to do the computation for the world's largest proof:

* On the google compute engine, a preemptible processor costs $0.015 per hour
* So 800 processors (which is the number used for this computation) cost $12 per hour. (I assume that the processors in the two cases have roughly the same power).
* The computation ran for two days, say 50 hours.
* Total cost estimate : $600

Of course one has to add storage etc, but still the cost is quite reasonable - even in India about two months stipend of a research student.



Post has attachment

Post has attachment

From The Economist Espresso: Foolish Fathers: Trump spells it out

http://econ.st/1ZN1E5R

Post has attachment
Been waiting for quanta magazine to write about alphago

Post has attachment

Post has attachment
Wait while more posts are being loaded