Skip to content

Monthly Archives December 2010

Type theory

One of the most interesting things I’ve been studying in the past year has been type theory. I feel that type theory is an area where a lot of separate fields can come together in a good design. In strongly typed languages, language implementation efficiency, syntax and language semantics all leave essential marks in the […]

Posted 27 December 2010 † johan § Computer science § Philosophy ‡ Comments (0) ° Tagged: , , ,

The cryptographic-spiritual realm

Internet services and systems such as Google and Amazon usually appear to us as a visual representation of a page, as if it were taken out of some kind of printed publication. For almost all of the users, these visual qualities are all that will ever be seen. They are always present and never present, […]

Posted 15 December 2010 † johan § Computer science § Philosophy ‡ Comments (3) ° Tagged: , ,