279 reputation
29
bio website lukepalmer.wordpress.com
location Boulder, CO
age 30
visits member for 4 years
seen 16 hours ago

I'm a Haskell programmer, with my background in purely functional foundations of computing and Functional Reactive Programming (a functional way to make games / GUIs / etc.).

I was a member of the Perl 6 design team, until I had to learn Haskell to work on the Perl 6 bootstrap "pugs". I never looked back.

I'm currently working for Clozure Associates, on the CRASH SAFE project.


1d
awarded  Caucus
Jul
2
awarded  Curious
Aug
12
awarded  Commentator
Aug
12
comment How are sets “trees with no symmetries”
Oh! The unique rigid tree thing just clicked. Thanks, that clarified the picture for me :-)
Aug
12
accepted How are sets “trees with no symmetries”
Aug
12
comment How are sets “trees with no symmetries”
Fantastic answer, thanks! Just the right level, enough hints for me to investigate further.
Aug
12
comment How are sets “trees with no symmetries”
@ZhenLin, yeah, I get that visual. I'm more interested in the "no symmetries" part.
Aug
12
asked How are sets “trees with no symmetries”
Mar
28
accepted Subcategory of Isomorphisms
Mar
28
comment Subcategory of Isomorphisms
@user67848, In nature? I have seen it often (wearing another mask) when I am writing Haskell code.
Mar
28
asked Subcategory of Isomorphisms
Feb
15
asked Examples of non-constructive results
Feb
13
awarded  Popular Question
Jan
29
comment Better Tensor Notation
@Thomas, thank you. Penrose notation looks like what I had in mind, but it would be great to see some of these used in practice. I'll check out that book.
Jan
29
comment Better Tensor Notation
@RahulNarain, thanks! Those links are a huge help.
Jan
29
asked Better Tensor Notation
Nov
25
awarded  Yearling
Nov
17
comment Resources for a curious beginner mathematician
I certainly object to the belief that mathematics is a hierarchy. The "calculus way of thinking" can certainly be learned without a firm grasp of the technicalities of algebra. The dissonance is that many authors assume a background in this or that (rightfully so -- you have to know where you are to know which direction to go), which gives the illusion that a subject is a prerequisite for another subject, rather than a presentation thereof.
Nov
17
awarded  Good Question
Nov
17
comment Resources for a curious beginner mathematician
She is about to graduate college with a liberal arts degree. She has seen very little math; probably at the level of a "college algebra" student.