Monstres dins l'armari

The goal of quantum computing is to exploit this strange sort of parallelism that is inherent in the laws of physics as we currently understand them.
The trouble is that, the instant we look at our computer, we “collapse” it like a soufflé— meaning that we see only one of the possible measurement outcomes. To switch metaphors, it’s as if our computer conjures into existence an exponentially-powerful monster, who then scurries into a closet as soon as we switch on the lights. But in that case, why does it even matter that the monster was ever there?

-- The Limits of Quantum Computers, un artícle de Scott Aaronson.

Tornam a la càrrega amb les cites sense sentit (que serveixen d'excusa per recomanar llibres o enllaçar documents interessants :D).

Vot útil

Trainspotting

Elige la vida. Elige un empleo. Elige una carrera. Elige una familia. Elige un televisor grande que te cagas. Elige lavadoras, coches, equipos de compact disc y abrelatas eléctricos. Elige buena salud, colesterol bajo y seguro dental. Elige hipoteca a interés fijo. Elige un piso piloto. Elige a tus amigos. Elige ropa deportiva y maletas a juego. Elige pagar a plazos un traje de marca en una amplia gama de putos tejidos. Elige bricolaje y preguntarte quién coño eres los domingos por la mañana. Elige sentarte en el sofá a ver teleconcursos que embotan la mente y aplastan el espíritu mientras llenas tu boca de puta comida basura. Elige pudrirte de viejo cagándote y meándote encima en un asilo miserable, siendo una carga para los niñatos egoístas y hechos polvo que has engendrado para reemplazarte. Elige tu futuro. Elige la vida… ¿pero por qué iba yo a querer hacer algo así? Yo elegí no elegir la vida: elegí otra cosa. ¿Y las razones? No hay razones. ¿Quién necesita razones cuando tienes heroína?

- Monòleg inicial de Trainspotting.

Premis Turing 2007

Els Turing Awards són uns premis concedits anualment per la ACM a la que és considerada la major contribució de l'any al camp de la informàtica.
Enguany els afortunats han estat Edmund M. Clarke, E. Allen Emerson, i Joseph Sifakis, per la seva contribució al món de la validació formal de programari i maquinari amb el Model Checking. Bàsicament, el sistema consisteix en validar si tots els possibles estats del projecte s'adiuen amb l'especificació del programa/dispositiu, tenint en compte factors temporals i seqüències d'esdeveniments. Enhorabona als premiats!

Òbviament és un tema complex, s'escapa amb molt als meus coneixements. També és un camp que s'està deixant bastant de banda en l'ensenyament de la informàtica (encara que sortadament a la UIB tenim "Autòmats i llenguatges formals", una assignatura que dona molta importància a la validació formal i als límits de la computació), i que és crucial per donar a la ciència computacional el rigor que necessita.

Tot i això, no voldria acabar sense fer un petit apunt sobre la llicència emprada en el programari que implementa la seva recerca. El codi font és el millor contenidor del coneixement, compartir-ho és essencial per a la construcció del futur, i gent tan relacionada amb l'àmbit universitari i de recerca ho hauria de saber.

Antiself

Atoms are made of smaller particles: electrons, protons and neutrons. The protons and neutrons themselves are made of yet smaller particles called quarks. In addition, corresponding to each of these subatomic particles there exists an antiparticle. Antiparticles have the same mass as their slibing particles but are opposite in their charge and other atributes. For instance, the antiparticle for an electron, called a positron, has a positive charge, the opposite of the carge of the electron. There could be whole antiworlds and antipeople made out of antiparticles. However, when an antiparticle and particle meet, they anihilate each other. So if you meet your antiself, don't shake hands--you would both vanish in a great flash of light!

- Stephen Hawking, al llibre A briefer history of time.

Darrerament estic tirant massa de cites, i copy&pastes d'altres bandes. Entre que no tenc gaire a dir i que estic d'exàmens, això sembla un blog de frases cèlebres mal triades.

No reset, please

Actually, MINIX 3 and my research generally is **NOT** about microkernels. It is about building highly reliable, self-healing, operating systems. I will consider the job finished when no manufacturer anywhere makes a PC with a reset button.

- Andrew S. Tanenbaum, continuant el debat sobre microkernels.