Quoted: Jeff Moser on software development

Awesome rant.

Quoted: If you don’t like dynamic languages, then don’t use them! Leave us alone and go back to your monolingual world, and maybe rename your methods again. You can even have my IDE, since I’m not using it, which should double your productivity yet again, right?

Quoted: I can't exactly wish for something painful to happen to Java developers, since hey, it's already happening; they've already taught themselves to pretend it's not hurting them.

Quoted: An emacs minor-mode that interacts with external parsers to provide high-level syntactic info to language modes.

Quoted: Benefits of the OCaml programming language

Quoted: Did you know you can use the power of the GPU to process data in .NET? A new Microsoft research project, called Accelator, exposes a .NET library for performing parallel data processing using a computer's GPU. The library translates the data-parallel operations on-the-fly to optimized GPU pixel shader code and API calls. Accelerator is a .NET 2.

Quoted: * The Spec# programming language. Spec# is an extension of the object-oriented language C#. It extends the type system to include non-null types and checked exceptions. It provides method contracts in the form of pre- and postconditions as well as object invariants.
* The Spec# compiler. Integrated into the Microsoft Visual Studio development environment for the .NET platform, the compiler statically enforces non-null types, emits run-time checks for method contracts and invariants, and records the contracts as metadata for consumption by downstream tools.
* The Spec# static program verifier. This component (codenamed Boogie) generates logical verification conditions from a Spec# program. Internally, it uses an automatic theorem prover that analyzes the verification conditions to prove the correctness of the program or find errors in it.
A unique feature of the Spec# programming system is its guarantee of maintaining invariants in object-oriented programs in the presence of callbacks, threads, and inter-object relationships.

Quoted: "... [the] human side of the equation is not understood to people outside the field ... they think we're all Monty Python quoting, Star Trek loving, Cheetos eating, caffeine addicted, girlfriendless freaks ... when in fact most CS people barely eat any Cheetos."