August 2008
1 post
Nabble - What's the difference between functions... →
Interesting discussion about the situation of functions and methods in Scala. Yes, they are different, mostly because of JVM interoperation.
July 2008
2 posts
Logic File System →
Experimental semantic file system that allows navigation through different dimentions and logic queries.
Scripts/Scheme - J Wiki →
Cool Scheme interpreter written in J. Via anarchaia.
June 2008
8 posts
LHCountdown →
Counting the days to the activation of the Large Hadron Collider at CERN. And maybe to the end of the world… in this case it’s a pity we should die without seeing the end of Lost.
Kilim →
Concurrency on the JVM gets more interesting. See also the comments on reddit.
Firefox Download Day 2008 →
It’s today. If you can get to their server, that is.
HiBase: A Persistent Functional Programming... →
A seemingly interesting connection between functional programming and databases.
Types Considered Harmful →
Interesting presentation by Benjamin C. Pierce. Contracts are quite fashionable now. Worthy commentaries at Lambda the Ultimate, as always.
2 tags
Higher-dimensional, higher-order derivatives,... →
Third post by Conal Elliot on derivatives. See also Beautiful differentiation and What is a derivative, really?
Sauvé →
Li Qing Song emmené dans une ambulance après 4 jours sous les décombres.
Tripping with Jeff Warren →
Bookslut has an interview with Jeff Warren, author the excellent The Head Trip: Adventures on the Wheel of Consciousness (…) It sounds like a recipe for disaster on the surface - a guy writing about his altered states charted on a self-invented ‘wheel of consciousness’ - but it’s scientifically thorough, philosophically engaging and avoids every cliché you think it might...
May 2008
16 posts
El asombro de ‘Akira’ →
Pero yo pienso que si Kubrick ha sido elevado a los altares por su concienzuda elaboración técnica, más aún debería ocurrir con un tal Katsuhiro Ôtomo, que justo 20 años después estrenaba la adaptación de su propio Manga.
Don't believe the neurohype →
More healthy skepticism about what can be inferred from brain scans.
Scala Lift Off Unconference review →
Many interesting comments about the Scala lift off unconference.
Disconnecting Distraction →
I have tried something like this on occasion, it doesn’t always work.
js2-mode →
A GNU Emacs mode for editing JavaScript.
Gilligan's web →
Excellent post and good discussion in the comments about the Web and its effects on the cultural tapestry.
Addiction to addiction: the horrifying reality →
Serious discussion and good humor. This bit (from the Cracked article linked) is oh so true: Technology has obviously made books unnecessary, so the sight of even one book in a friend’s home should be cause for concern. If the person has gone as far as to purchase an entire special shelf to hold all of his books, it’s probably time for an intervention.
vscaladoc - Google Code →
A variation of scaladoc, the documentation tool for Scala. It’s looking great, have a look at the API documentation for vscaladoc to have a taste of it.
Tell us why your language sucks (Haskell edition) →
In the same vein as the Why OCaml sucks post, but now with Haskell. The idea is to criticize languages you use and like. A healthy exercise.
Scala in the TOP 50
Speaking of Scala, it has just made it into the top 50 languages tracked by the TIOBE index. The index has its flaws, of course, and people should not make serious decisions based on it, but this fact signals that Scala is really growing in popularity and use. Let’s hope it keeps growing.
James Gosling likes Scala →
During a meeting in the Community Corner (java.net booth) with James Gosling, a participant asked an interesting question: “Which Programming Language would you use *now* on top of JVM, except Java?”. The answer was surprisingly fast and very clear: - Scala.
Why Ocaml Sucks →
Interesting analysis of the shortcomings of OCaml, written by a fan of the language.
Puzzles
I’m thoroughly enjoying Puzzles for Programmers and Pros, but judging by the title I expected more puzzles that required programming. I guess I’ll take a look at Programming Challenges by Skiena and Revilla.
Real World Haskell →
The book is already available for pre-ordering at amazon. The page says it will be published around August. I don’t know if it’s likely to be published so soon, but many new chapters have been published recently at the beta site.
O Que É a Literatura Apocalíptica →
Post longo (e com referências!) no LLL sobre o assunto.
Uncanny valley of the dolls →
The complete set of videos of a lecture about the psychology of the uncanny valley.
April 2008
11 posts
I'm on the drug that killed Paul Erdős →
Modafinil for scientists and how to be a responsible drug user.
Campaigning in the World of Warcraft →
Do WoW players have no humor?
Videogiochi, la Commissione Ue →
Tutelare i minori dai videogiochi violenti. Sono queste le parole d’ordine della Commissione Ue […].
Frenchmen and dogs →
A Chinese taxi driver refuses to carry these two types of passengers.
Open source as corporate joint venture →
Most of the contributions to Linux are now made by paid professionals, not volunteers.
Play Googolopoly →
the internet board game from Box.net
House Of Mirrors →
(HoM) is a logic game inspired by Chromatron (from Silver SpaceShip Software). Made in Scala, using squib.
The Monad.Reader →
Issue 10 is now available.
Whimsley: Mr. Google's Guidebook →
About Mr. Google, one of the world’s most prolific and hard-working butlers.
Le blog de MONSIEUR LE CHIEN →
L’été, c’est étonnant de voir le nombre de maillots de foot brésiliens dans Paris…
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.
Writing C the Californian way →
Found on Xavier Leroy’s site.
March 2008
44 posts
The future will be about programming languages →
Presentation by Ted Neward.
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.
Asking a Judge to Save the World, and Maybe a... →
Suing the Large Hadron Collider out of existence so that it doesn’t collide us all out of existence.
Prepare for ray tracing →
Simple but quite interesting ray-tracer in under 1k lines of OCaml.
30 Upcoming Movie Sequels You Didn't Know About →
We’ve spent days of our lives scouring the world for news of sequels that you may not have heard of. And here are 30 films in various states of production.
38 Planned Movie Remakes You Didn't Know About →
Akira, remade in live-action? I don’t want to see it.
Quelli che s’innamoran di pratica sanza scientia son come ‘l...
– Leonardo da Vinci
Top 5 Reasons It Sucks to Be an Engineering... →
Very true. Especially the part about the grades.
Relating Models of Backtracking →
Mitchell Wand and Dale Vaillancourt. Past attempts to relate two well-known models of backtracking computataion have met with only limited success. We relate these two models using logical relations. We accommodate higher-order values and in nite computations. We also provide an operational semantics, and we prove it adequate for both models.
The Disciplined Disciple Compiler →
A dialect of Haskell with effect typing, type-directed field projections and other goodies.