Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
29nov2007
ruby-wmii updated for use with wmii 3.6, by Mauricio Fernandez.
The Design and Implementation of Typed Scheme (PDF), by Sam Tobin-Hochstadt and Matthias Felleisen. “This paper presents Typed Scheme, an explicitly typed exten- sion of an untyped scripting language. Its type system is based on the novel notion of occurrence typing, which we formalize and me- chanically prove sound. The implementation of Typed Scheme ad- ditionally borrows elements from a range of approaches, includ- ing recursive types, true unions and subtyping, plus polymorphism combined with a modicum of local inference.”
Packrat Parsers Can Support Left Recursion (PDF), by Alessandro Warth, James R. Douglas, and Todd Millstein.
Now I see a red rose
I smell a red rose
A red rose
Blooming on another man’s vine
— Tom Waits, Another Man’s Vine
Pure pattern calculus (PDF), by Barry Jay and Delia Kesner. “The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction.”
The Google Highly Open Participation Contest, “Google is pleased to announce this new effort to get young people involved in open source development. We’ve teamed up with the open source projects listed here to give student contestants the opportunity to learn more about and contribute to all aspects of open source software development, from writing code and documentation to preparing training materials and conducting user experience research.” Cool idea and there are some pretty advanced projects.
Logic for Philosophy, by Theodore Sider. “This will be a textbook for a “logic literacy” course. It was designed for beginning graduate students in philosophy, but it is also suitable for advanced undergraduate courses. The goal is to introduce students to the logic they need to know in order to read contemporary philosophy journal articles. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not contain completeness proofs for predicate logic.”
The Secret to Raising Smart Kids, “Hint: Don’t tell your kids that they are.” By Carol S. Dweck. Excellent!
An Interview with Toby Segaran, by Bruce Stewart. Toby Segaran is the author of O’Reilly’s recently-released book, Programming Collective Intelligence.
List of knots at Wikipedia.
And there’s a black tornado, black tornado
Spinning around in my body sometimes
Black tornado, black tornado
Spinning around in my body sometimes
— Dan Bern, Black Tornado
The IO Monad for People who Simply Don’t Care, pragmatic Haskell: “If you simply want to read some input and write some output, and you don’t want to waste time with nonsense like the “monad laws”, you’ve come to the right place.”
Das Bier für Schriftliebhaber, oder wieso das Schöfferhofer so heisst.
A Theory of Templating Languages, by Joe Gregorio.
Fernsehen gives you easy access to the german TV program provided by TVToday as a Dashboard widget.
Powered by Nukumi2 0.5.