Coyotos and Genode are two operating systems about which I had never heard that were mentioned in an Ikarus Users mailing list thread that doesn’t seem to have been mirrored online. Coyotos: Coyotos is a secure, microkernel-based operating system that builds on the ideas and experiences of the EROS project. Genode: We understand the complexity [...]
This looks like it might be a good article. (via reddit)
Todd asked “Why [did Church choose] lambda and not some other Greek letter?”. Here are three answers: 1 Matthias: The story is that in the 10s and 20s, mathematicians and logicians used ^ as a notation for set abstraction, as in ^i : i is prime. Church used ^` (i.e., a primed version of this [...]
Here is one person’s take on the genius of Turing’s machine. I forget how I reached this page.
I asked “What is a good book on automata theory?” because I don’t recall much of it from college. Marco replied here: Elements of the Theory of Computation by Lewis and Papadimitriou. Do you know of any more? Addendum: 19/02/09 Prabhakar added: The 1979 edition of “Introduction to Automata Theory, Languages, and Computation“, by Hopcroft [...]
Sometimes people ask me whether or not an ACM membership is “worth it”. The special interest groups are one reason to join. Here are some that look interesting: SIGAPP: Applied Computing SIGARCH: Computer Architecture SIGART: Artificial Intelligence SIGCAS: Computers and Society SIGCOMM : Data Communication SIGCSE: Computer Science Education SIGDOC: Design of Communication SIGIR: Information [...]
SCIgen is a program that generates random Computer Science research papers, including graphs, figures, and citations. It uses a hand-written context-free grammar to form all elements of the papers. Our aim here is to maximize amusement, rather than coherence. One useful purpose for such a program is to auto-generate submissions to conferences that you suspect [...]
Mike expounds on it here. It is a good article. Mike’s blog is located here.
In 1997, on his retirement from Bell Labs, Doug McIlroy gave a fascinating talk about the “History of Computing at Bell Labs.” Here is one man’s transcription of that talk. I only skimmed over it (at the moment I’m not interested in what was); but nonetheless it does look like a great talk with a [...]