Running with Zippers RSS

Random links and thoughts

Links
Code Miscellany

Archive

Apr
23rd
Wed
permalink
Videogiochi, la Commissione Ue Tutelare i minori dai videogiochi violenti. Sono queste le parole d’ordine della Commissione Ue […].
permalink
Frenchmen and dogs A Chinese taxi driver refuses to carry these two types of passengers.
Apr
21st
Mon
permalink
Open source as corporate joint venture Most of the contributions to Linux are now made by paid professionals, not volunteers.
permalink
Play Googolopoly the internet board game from Box.net
Apr
12th
Sat
permalink
House Of Mirrors (HoM) is a logic game inspired by Chromatron (from Silver SpaceShip Software). Made in Scala, using squib.
Apr
10th
Thu
permalink
The Monad.Reader Issue 10 is now available.
Apr
6th
Sun
permalink
Whimsley: Mr. Google's Guidebook About Mr. Google, one of the world’s most prolific and hard-working butlers.
Apr
4th
Fri
permalink
Le blog de MONSIEUR LE CHIEN L’été, c’est étonnant de voir le nombre de maillots de foot brésiliens dans Paris…
Apr
2nd
Wed
permalink
Coq tips The University of Pennsylvania’s Provers group is pleased to announce a new Coq Tips area on the POPLmark wiki.  This sub-wiki is intended to collate information relevant to formalizing programming languages in Coq.  Currently we index several insightful coq-club archive threads and provide code for some general purpose tactics. 
Mar
31st
Mon
permalink
Writing C the Californian way Found on Xavier Leroy’s site.
permalink
The future will be about programming languages Presentation by Ted Neward.
permalink
the Da Vinci Machine We are extending the JVM with first-class architectural support for languages other than Java, especially dynamic languages. This project will prototype a number of extensions to the JVM, so that it can run non-Java languages efficiently, with a performance level comparable to that of Java itself.