Nine Months

This was the matter of subject from an assignature my studies in The in a licenciate degree, on the third course-level. Nine months to study, and one smorning to write on an exam about the matter. It was, if my memory serves me well, decades ago:

"On Formally Undecidable Propositions of Principia Mathematica And Related Systems"


You may want to read it here.

1996: Microsoft Conference

This last semester, I have been giving lectures on the future and present of web development in MediaTIC building located in the 22 @ technological district area from the city of Barcelona.

Some participants have appreciated the humour and metaphors that I gentle introduced during my talks.

 I am thankful for the success to a number of people from whom I learned throughout my career.

An example: Great Speech, done in 1996, on the future of the web, and its 2.0 scope.

  View or download the conference here.

Application and Interpretation

Many of the problems with Web programs trace back to their structure. The Web’s architecture dictates that every time a Web program sends an Web page to a user, it is forced to terminate; this is because the Web implements a stateless protocol.
If and when the user chooses to resume the computation (by clicking on a link or button), some other program must resume the computation.

An excellent, clear and concise book written by Mr. Shriram Krishnamurthi, on programming languages.

You might want to buy it here; you might prefer to read it on-line there.

Addenda: Please read about the educational philosophy behind this book.

Your choice, my choice. A pleasure.

VirtualBox Update 4.0.8.

00:00:00.512 VirtualBox 4.0.4 r70112 darwin.x86 (Feb 17 2011 17:33:47) release log
00:00:00.512 Log opened 2011-03-22T00:21:44.595337000Z
00:00:00.512 OS Product: Darwin
00:00:00.512 OS Release: 9.8.0
00:00:00.512 OS Version: Darwin Kernel Version 9.8.0: Wed Jul 15 16:55:01 PDT 2009; root:xnu-1228.15.4~1/RELEASE_I386
00:00:00.513 DMI Product Name: iMac7,1
00:00:00.514 DMI Product Version: 1.0
00:00:00.515 Host RAM: 2048MB RAM, available: 940MB
00:00:00.516 Executable: /Applications/VirtualBox.app/Contents/MacOS/
../Resources/VirtualBoxVM.app/Contents/
MacOS/VirtualBoxVM
00:00:00.516 Process ID: 615
00:00:00.516 Package type: DARWIN_32BITS_GENERIC
...
00:00:00.850 Shared crOpenGL service loaded.

Too Difficult To Use

Up until now computers have been like telegraphs. Over a century ago, when the telegraph was invented, people predicted the day when telegraph terminals would be on everyone's desk. But telegraphs were too difficult to use.
Mr. Steve Jobs speech introduction to the Macintosh, circa 1984, kindly reproduced here.

The Dawning of a New Era

... a service that just went ahead and implemented SRTP and encrypted call control when all the major telcos were whining about why they couldn't secure calls over IP because of the demands, latency, blah, blah, blah...


Mr. Dan York writes an adequate essay on why there is something lost. Read it here

On Semantics

El dominio más natural y prometedor para las aplicaciones de la semántica teórica es claramente la lingüística - el estudio empírico de los lenguajes naturales. Algunas partes de esta ciencia incluso se denominan "semántica" a veces con una calificación adicional. Se aplica este nombre a la parte de la gramática que intenta clasificar todas las palabras de una lengua en partes del discurso, teniendo en cuenta lo que las palabras signifiquen o designen.
Al estudio de la evolución de los significados en el desarrollo histórico de una lengua se le denomina con frecuencia "semántica histórica". En general, a la totalidad de las investigaciones sobre las relaciones semánticas que aparecen en un lenguaje natural se le denomina "semántica descriptiva".
La relación entre la semántica teórica y la descriptiva es similar a la que existe entre las matemáticas puras y las matemáticas aplicadas, o quizá a la relación que existe entre la física teórica y la empírica; el papel de los lenguajes formalizados en semántica se puede comparar grosso modo con el de los sistemas aislados en física.


Read the spaniard translation of THE SEMANTIC CONCEPTION OF TRUTH , by Mr. Alfred Tarsky, here. Or the english version, there.

Fundació Fadei Drupal Web Protoytype (in progress)

A nice prototype for Fundacio Fadei, that Sam, GabrielMarc and this yours truly, are currently developing.

Besides a hard work in UIdesign and UX concept, server is  Ubuntu-Debian; and development is done using extensive CSS3, Javascript and a custom template based upon  Drupal CMS.

Time of deployment: 10 days.

Fundacion Fadei © design Delfi Ramirez Marc Navarro
Fundacion Fadei © design&dev Delfi Ramirez & Marc Navarro


Newer Posts Older Posts Home