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?
Not exactly a blogpost, but this is Randy Pausch's last lecture about achieving your childhood dreams. He was a CS professor at Carnegie Mellon, who passed away roughly a decade ago. I watch it from time to time: https://www.youtube.com/watch?v=ji5_MqicxSo
there are 3 default classes, so you train according to each class(e.g. hand waving, sitting still, etc) you take examples of each(using your camera). you map the input data from your camera to some output data(e.g. if i used the green button to take photos of me waving), display a GIF of a cat that's waving. instead of a GIF you can use sound too
check out Stanford Scholar[1], they create talks on hot research papers(not only ML/AI) and then try to explain the papers the intuition and technicalities of the paper, most of the talks are translated to other languages as well
In Russia, lots of people use telegram and the bots too. I use bots to do lots of things, from ordering pizza to managing my schedule. However, these bots are usually not NLP-powered...so there's less disaster as compared to how facebook bots rely heavily on natural language input from the user