Duckduckgo, because I don't memorize rarely used git commands/language and/or library features, and so when I search for how to do something, it gives me the answer instantaneously without having to wade through stackOverflow pages. I use Google rarely for very specific things(like to check the date a TV show's latest episode is going to air)
I'm currently using it for my Computer Architecture class(MIPS edition). It's rather unfortunate that I'm just grokking the book for the grades, it's a very good book and explains a lot of concepts quite well. I may not grasp it the first time I read a section, but after going over it, I almost always understand.
well, since the halting problem is undecidable, then no.
One thing I still do not understand is how languages like Coq and Idris can almost always ensure that programs written in them terminate.
I read this article[1] a while ago and it seems he has a lot of time on his hands. It's very hard to come across a piece of tech that isn't proprietary, yet Stallman has a workaround in such cases(like how he accesses web pages from his machine). Is there anyone else who uses methods similar to those mentioned in the article?
Meyer is the creator of the Eiffel programming language. Most of Eiffel's OOP features were borrowed by other successful OO languages, but I still don't understand why Eiffel never took off.
Writing an Interpreter in Go is a very elegant book for learning how to write an interpreter from scratch using Go. Worth every cent: https://www.amazon.com/dp/300055808X
A few days ago I had to download this course (along with Stanford's course on Automata theory) from a torrent tracker because it was no longer available on Coursera...
Someone told me that once; perhaps the reason we naturally count in base 10 is because we have 10 fingers. If there was no six, I also think that we'd be counting in base 5
An aside: How do you read research papers and how long does it take you to read one paper? Are you able to recall a large portion of the paper's content?