Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
06dec2007
Programming is Hard, Let’s Go Scripting…, State Of The Onion #11 by Larry Wall. Must read.
I don’t really know much about Python. I only stole its object system for Perl 5. I have since repented. — Larry Wall, State Of The Onion #11
Retro Flip Down Desk Clock, cool.
Flot is a pure Javascript plotting library for jQuery. It produces graphical plots of arbitrary datasets on-the-fly client-side. Works amazingly well.
Jaql is a new query language being developed for JSON data.
Pycaml: The Python from/to OCaml Interface, “This is a bugfixed, extended, updated variant of Art Yerkes’ old “pycaml” module that provides a direct low-level interface between OCaml and Python.”
The Space of the Book, “A bookshop constructed inside a converted Dominican church in Maastricht has won an architectural interiors prize.” Awesome.
COMP4161 Advanced Topics in Software Verification (aka Theorem Proving — Principles, Techniques, Applications), great course from New South Wales teaching how to prove with Isabelle and how to implement HOL in parallel!
Watching T.V. at 4 am.
But that’s not when she needs a friend.
Staring at the bathroom floor.
Please don’t say you’ve got to go.
— Ladytron, amTV
From LCF to HOL: a short history (PDF), by Mike Gordon. Very interesting, and tells a lot about the design of ML as well.
HOL Light is a computer program to help users prove interesting mathematical theorems completely formally in higher order logic. It has a very fine Tutorial (PDF).
Hope is a small functional programming language, with polymorphic typing, algebraic types, pattern matching and higher-order functions. The version here is a fully lazy interpreter. The first language to have pattern matching as we know it from functional languages.
Turn my black hair whatever I needed
whatever I needed
But I’d still be the same to you
My heart would remain for you
— Radio Iodine, For You
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity, by Atze Dijkstra, Jeroen Fokker, and S. Doaitse Swierstra. They use attribute grammars and a weave-like patch system.
EHC stands for Essential Haskell Compiler. UHC stands for Utrecht Haskell Compiler. EHC/UHC aims to be a full Haskell98 compiler with extensions and a platform for experimentation with Haskell and type systems EHC actually is not just a single compiler, but a whole series of compilers. Each compiler in this series adds some Haskell features or extensions to the previous compiler. It is specified as a delta to its predecessor.
The Carbon project is meant to develop a compiler for a strict, strongly-typed functional programming language similar to OCaml or SML. Wants to target LLVM as well.
Powered by Nukumi2 0.5.