Communities and Collections

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

Public

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

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

Post has attachment

42@4

Check out my ride on Strava: https://www.strava.com/activities/635804827/shareable_images/map_based?hl=en-US&v=1468121342

Check out my ride on Strava: https://www.strava.com/activities/635804827/shareable_images/map_based?hl=en-US&v=1468121342

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

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