Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
14jul2007
We’d all be living in dams, also, nice for showering.
Collaborative Systems, Patrick Logan complains about the Web 2.0: “Other than a few notable examples there is still surprisingly little really good collaboration on the web.” Ack.
The λ-cube is a way of presenting the fine structure of Coquand’s Calculus of Constructions relating that system to a variety of other typed lambda calculi.
There’s some tomatoes chemically engineered
They come out square to fit in boxes
There’s some people chemically engineered
They come out square to fit in boxes
— Dan Bern, Go To Sleep
Hume (Higher-order Unified Meta-Environment) is a strongly typed, mostly-functional language with an integrated tool set for developing, proving and assessing concurrent, safety-critical systems. Hume aims to extend the frontiers of language design for resource-limited systems, including real-time embedded and safety-critical systems, by introducing new levels of abstraction and provability.
AngloHaskell 2007 is 10th and 11th August at MSR in Cambridge. Now, how do I get to Cambridge…
CPAN Module Review: App::SVNBinarySearch, by chromatic. This is like git-bisect for SVN.
Dangerous Java flaw threatens virtually everything, pwned. Write once, exploit everwhere.
Dependent Finger Trees in Coq, “We prove the correctness of an implementation of Finger Trees in Coq, using Russell to develop the dependently typed programs associated with this datastructure.” Pretty nifty and still grokkable for people new to Coq.
Best Curve-Fitting Ever, oh noes!
XQuery and Data Abstraction, by Kurt Cagle.
Ten answers to the un-answerable question: “what is Web 2.0?”, geez.
Every day I spend my dough to keep the gas tank full
Every day I buy flowers for my funeral
Every day I miss the apple and kill William Tell
Every day I ride through the gates of hell
— Dan Bern, Gates Of Hell
Evaporation, and Mark Dominus thought he pipetted badly. (Oh I know that…)
Ruby One-Click Installer for OSX, useful: It replaces the broken Readline library, updates to a current version of SQLite3 and prepares your OSX for Rails, which needs at least Ruby 1.8.4 to run.
Powered by Nukumi2 0.5.