main is usually a function

This is part 2 of my commentary on detrospector . You can find part 1 here . Performance claims I make a lot of claims about performance bel...

Haskell suffers from a problem I'll call the Fibonacci Gap. Many beginners start out with a bunch of small mathematical exercises , deve...

Unicode provides many useful characters for mathematics. If you've studied the traditional notation, an expression like « Γ ⊢ Λt.λ(x:t)....

I wrote an answer over at Stack Overflow that somehow grew to article length. Here it is, recorded for posterity. I'll paraphrase the o...

The JVF 2010-A is a large electronic sign consisting of 128 × 48 red LEDs. There is some information online about the official software prov...

Verbose show Say we want a function vshow which describes an expression before show ing its value. For example: vshow ( 2 + 3 ) =...

NP is the new P In school I learned that NP-complete problems are intractably hard, chief among them Boolean satisfiability (SAT). My mind...