realpar.blogspot.com
Realidades Paralelas: February 2005
http://realpar.blogspot.com/2005_02_01_archive.html
Monday, February 28, 2005. O blog do Google. A página de Steven Pinker. No MathWorld sobre os testes de aptidão para candidatos a um emprego no Google. De Bill Joy na Wired. Sobre o avanço da tecnologia e uma possível extinção da raça humana. De Thomas Pynchon sobre os " Luddites. Existe tradução para o termo? Posted by tautologico at 5:15 PM. Saturday, February 26, 2005. Tentando reduzir a pilha de leitura, terminei hoje o The Connection Machine. Sobre o pessoal da Thinking Machines. Tal que g o f = I(A).
realpar.blogspot.com
Realidades Paralelas: March 2005
http://realpar.blogspot.com/2005_03_01_archive.html
Wednesday, March 23, 2005. Há quase 30 anos. Dijkstra advertia, no seu livro A Discipline of Programming. Historically speaking, this last aspect, viz. the fact that programming languages could be used as a vehicle for instructing existing automatic computers, has for a long time been regarded as their most important property. The efficiency with which existing automatic computers could execute programs written in a certain language became the major quality criterion for that language! Popularizadas pela...
realpar.blogspot.com
Realidades Paralelas: An Axiomatic Basis for Computer Programming
http://realpar.blogspot.com/2004/09/axiomatic-basis-for-computer.html
Wednesday, September 29, 2004. An Axiomatic Basis for Computer Programming. Clássico de C. A. R. Hoare, datado de 1969. Esse artigo lançou as bases para provas axiomáticas de corretude de programas e para a semântica axiomática. A seção 5 discute provas de corretude para programas; a idéia, já antiga, de que erros de programação custam caro e que testes nunca podem provar completamente que um programa está correto. Um trecho é interessante:. The practice of supplying proofs for nontrivial programs will n...
realpar.blogspot.com
Realidades Paralelas: January 2005
http://realpar.blogspot.com/2005_01_01_archive.html
Tuesday, January 25, 2005. Eu comecei lendo comentários no LtU. Sobre a nova "arquitetura celular" que o trio Toshiba/IBM/Sony está desenvolvendo para uso no Playstation 3. Daí segui para a análise. Desta proposta (mas lendo as observações. No ars technica). Então surgiu um link para um artigo. Sobre o conceito da ISA (Instruction Set Architecture) e suas tendências atuais. Tudo muito interessante; e juntando com o advento dos processadores de múltiplos núcleos ( multicore. Sunday, January 09, 2005.
realpar.blogspot.com
Realidades Paralelas: Sua linguagem pode fazer isso?
http://realpar.blogspot.com/2006/08/sua-linguagem-pode-fazer-isso.html
Tuesday, August 01, 2006. Sua linguagem pode fazer isso? De Joel Spolsky sobre as limitações de um programador que só aprende Java. Posted by tautologico at 6:10 PM. Diário de pesquisa e planos. Revisões bibliográficas, elucubrações e outras viagens, em português, inglês ou qualquer outra língua. View my complete profile. LtU Getting Started Thread. Cyclone: primeiras impressões. Um pouco de crítica. Velozes e Furiosas. aliás, Rápidas e Curtas. Tony Hoare, um rapaz simples, um homem do povo.
realpar.blogspot.com
Realidades Paralelas: Classic Texts in Computer Science
http://realpar.blogspot.com/2007/02/classic-texts-in-computer-science.html
Saturday, February 24, 2007. Classic Texts in Computer Science. Of classic texts in the discipline, by Babar K. Zafar, with links to electronic versions of each one. Choosing which texts are classic can certainly be controversial, although in this case I think only texts with electronic versions available were considered. Even so, there are many good things in there, some of which I have already read, some I plan to read soon. Posted by tautologico at 9:59 PM. View my complete profile.
realpar.blogspot.com
Realidades Paralelas: October 2004
http://realpar.blogspot.com/2004_10_01_archive.html
Saturday, October 30, 2004. Finalmente, o cluster. Fui apresentado ao cluster menor que deve ser minha plataforma de testes; apenas 16 máquinas. Infelizmente, algumas máquinas estão mal configuradas ou nem dando boot (kernel panic). E as que funcionam estão com RedHat 8, então o primeiro passo vai ser instalar Debian em todas. Pena o Debian estar tão desatualizado, mas para essa aplicação, não será problema. A parte mais interessante. Posted by tautologico at 7:16 AM. Thursday, October 21, 2004. Concepts...
realpar.blogspot.com
Realidades Paralelas: June 2005
http://realpar.blogspot.com/2005_06_01_archive.html
Sunday, June 26, 2005. Type-Based Analysis and Applications. Que apresenta uma visão geral da área de análises estáticas de programas baseadas em tipos. Após introduzir o assunto e definir análise baseada em tipos (uma análise baseada em tipos. Das aplicações apresentadas duas bem interessantes e que eu já estava de olho são gerenciamento de memória e detecção de condições de corrida em sistemas concorrentes. Por que não pensar em gerenciamento de recursos baseados em tipos? Wednesday, June 22, 2005.
realpar.blogspot.com
Realidades Paralelas: August 2004
http://realpar.blogspot.com/2004_08_01_archive.html
Monday, August 30, 2004. Posted by tautologico at 12:34 PM. Thursday, August 26, 2004. Mais um livro que chega. Agora foi Concepts, Techniques and Models of Computer Programming. De Peter Van Roy e Seif Haridi, considerado o novo SICP. A falta de posts reflete o fato que ultimamente não tenho estudado muito, mas espero voltar à ativa em breve. Posted by tautologico at 7:06 AM. Friday, August 20, 2004. The Role of the Study of Programming Languages in the Education of a Programmer. Tuesday, August 17, 2004.