~~

First collisions are scheduled on the end of June.

The end of Earth is near =)

Abstract algebra textbook
A free linear algebra text
Elements of Abstract and Linear Algebra

PLT website

Typed Scheme is fun:

  #lang typed-scheme
  (define-struct: Nothing ())
  (define-struct: (a) Just ([v : a]))  
 
  (define-type-alias (Maybe a) (U Nothing (Just a)))  
 
  (: find (Number (Listof Number) -> (Maybe Number)))
  (define (find v l)
  (cond [(null? l) (make-Nothing)]
        [(= v (car l)) (make-Just v)]
        [else (find v (cdr l))]))

Though I couldn’t even deconstruct a value returned by this function & docs are very scarce. And I really doubt the idea, but nevertheless it’s fun =)

July 11-14, 2008.
If you want to participate but cannot find a team write/jabber to jartur [at] l-square [dot] net =)
Preferred langs: Scheme, Haskell, Perl.

…very very unpleasant condition.
And also I hate antibiotics.

There are some small improvements for commenters on this blog:

• You can insert inline latex in your comments using $$\latex \code{here}$$.
• You can insert a latex box in your comments using $$!\latex \code{here}$$. You should always leave at leas one black line after this box.
• You can insert code snippets without syntax highlighting but at least with whitespace preserved using backticks around your code. Always surround it by at least one blank line before and after the code.

Examples:

What you type	What you get
Inline latex: $$\alpha > \beta$$	Inline latex:
Block latex: $$!\frac{\alpha}{\pi}$$ Note the blank line above!	Block latex: Note the blank line above!
Code follows after a blank line: `x :: a -> a x a | a > 0 = a | a < 0 = -a` Note the blank line above.	Code follows after a blank line: x :: a -> a x a | a > 0 = a | a < 0 = -a Note the blank line above.