Miguel De Icaza: Microsoft promises to never sue anyone regarding Mono.
Miguel de Icaza's Blog
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 14,547 posts.
Miguel de Icaza's Blog
No general procedure for bug checks will do. Now, I won’t just assert that, I’ll prove it to you. I will prove that although you might work till you drop, you cannot tell if computation will stop. For imagine we have a procedure called P that for specified input permits you to see whether specified source code, with…
Hello, My name is Nadav and I am a PhD candidate, researching compilers for embedded systems and high-level synthesis. This is an excellent post and I enjoyed reading it. I have a few comments. 1. I agree about verification and optimization joining forces. We already see it to some extent with compiler warnings. 2…
In my last semester as a student, I had the chance of working for an awesome company ( Acquia ) on a very interesting project. It all started with a post over at Dries Buytaert's blog. He is the CTO and co-founder of Acquia (and Mollom), inventor of Drupal, open-source celebrity and also knows a thing or two about…
A recent article devoted to the *macho* side of programming made the bald and unvarnished statement:
Get a new domain name for your startup. Quick and professional service. Seamless domain transfers.
New Profiling and Debugging Tools in WebKit
Emacs offers many handy key bindings; every now and then I come across a new one, which has been hiding there somewhere for a decade or...
Sometimes I just can’t get anything done. Sure, I come into the office, putter around, check my email every ten seconds, read the web, even do a few brainless tasks like paying the American E…
If you have not yet read it, please read Maria Siniaalto's 15 page " Test-Driven Development: empirical body of evidence ." It summarizes the few empirical studies done to evaluate the effectiveness of TDD. In the conclusion you'll find:
TagClose “p”
One of Emacs's strongest capabilities is its ability to talk to external shells, like bash, or emulate an entire terminal. But this being Emacs, you have more than one choice to choose from − and which choice is right for you?
In Farmington, CT, in fact, the town my cat was named after. Oh yes. That's how much we love that place. Lukasz, Ashok, and Matt will be...
Tim Lopez published an elegant and tiny LISP interpreter for Python on his blog. Inspired by Norvig’s Paradigms of Artificial Intelligence Programming. I developed an interpreter as well as a…
October 1997: It has been six years since I finished Paradigms of AI Programming (or PAIP ), and now seems like a good time to look back at how Lisp and AI programming have changed.
There seems to be this idea going around the internet that the reason someone isn’t able to program, is because languages aren’t good enough yet. A couple of people I have seen with hav…
I program my home computer, beam myself into the future
Just because there’s room on the dialog box, doesn’t mean you have to put something there. The Java installer starts off with a dialog box that manages to repeat the word Java six times without rea…
So I've spent much of the last couple of days remotely debugging this insane suspend failure (or to be exact, resume failure) that happens ...
There are only two hard things in Computer Science: cache invalidation and naming things -- Phil Karlton (bonus variations on the page)