bhishma

On my day job I write software for Google. I am broadly interested in theoretical computer science and psychology. Recently I've been thinking more about existential risks and risks from advanced AI in particular.

Comments

What are some beautiful, rationalist artworks?
"Trial of Socrates" - Socrates preferring death instead of changing his stance on "corrupting the youth"
Kind of cliched, but still I really love this pic.
Anyone recommend a video course on the theory of computation?

Ahh that's because in India we have a graduate entrance exam called GATE (for admission to IITs and other institutes). And ToC carries a lot of weight-age.

Anyone recommend a video course on the theory of computation?

I found Introduction to Automata theory by Ullman on EdX to be extremely useful. It covers most of the basics and there's also a book by the same author. Apart from the lectures you also get access to high quality assignments, problem sets which I think are very essential for a course like ToC.

On the role of abstraction in mathematics and the natural sciences

Yeah even I used to feel the same, Wigner wrote an article about it "The unreasonable Effectiveness of Mathematics in the Natural Sciences" you will definitely find it useful.