gregbo (gregbo) wrote,

  • Mood:

computability theory

As promised in this thread, here are a few thoughts on my experiences with computability theory. For reference, you can go to the course description to get an idea of the subject matter.

I struggled through this class when I took it as an undergrad. There was added disappointment because I had spent the previous summer trying to preview the subject matter. (One of the books I used was Hofstadter's Gödel, Escher, Bach, which I was told some years later is not the best source of information on this subject to develop intuition, even though some people find it entertaining. I discovered another book, Harel's Algorithmics, which was much more helpful, about six years later.)

Unfortunately, I have to continue this entry later. But one thing I noticed is that this class covers different material than when I took it. There is no mention at all of context-free grammars or languages, which I found odd, because it is useful for the compiler class.


  • Ciena interview

    I had an onsite interview at Ciena a couple of weeks ago for a Senior Systems Test position. Long story short — I didn't get the job. I think they…

  • ProtonMail test

    I took a test from 7-9am this morning from ProtonMail, a secure email provider based in Geneva, Switzerland, that has an office in SF. The test was…

  • IBM interview

    I had an interview loop yesterday at the IBM Silicon Valley Lab facility with several people from the Cloud Network Services group. Four engineers…

  • Post a new comment


    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 1 comment