223 reputation
310
bio website N/A
location Portland,OR
age 25
visits member for 4 years, 4 months
seen Sep 4 at 3:44

I'm a software developer at Rentrak - a television viewership measurement company. At work, I mainly use Perl and C++. At home, languages I've enjoyed using include:

  • Haskell
  • A variety of .NET languages such as Boo and especially F#
  • Coq
  • Mathematica

Mar
22
comment Permanent identities for special classes of matrices
Do you have a reference for this more general result?
Mar
22
comment Permanent identities for special classes of matrices
Thanks - this is a really interesting idea.
Jan
17
awarded  Citizen Patrol
Nov
29
awarded  Scholar
Nov
29
accepted Permanent identities for special classes of matrices
Oct
17
awarded  Yearling
Oct
17
revised Permanent identities for special classes of matrices
edited title
Oct
17
asked Permanent identities for special classes of matrices
Oct
9
awarded  Constituent
Oct
9
awarded  Caucus
Dec
11
answered Direct proof of irrationality?
Nov
21
awarded  Student
Nov
21
comment A learning roadmap for Additive combinatorics.
Just apply e^x to whatever you're studying and then you'll be doing multiplicative combinatorics, the theory of which is already well-known.
Nov
17
revised Transfinite Sums Related to a Sequence
added 76 characters in body
Nov
17
comment Transfinite Sums Related to a Sequence
You're right; changed to Complex Numbers, but the underlying set doesn't matter too much.
Nov
17
revised Transfinite Sums Related to a Sequence
added 3 characters in body
Nov
17
asked Transfinite Sums Related to a Sequence
Nov
15
comment Sexy vacuity …
"...it will lead you into all sorts of mistakes like 2 + 2 = 5, etc..." But I know all sorts of silly people who believe things like "the Axiom of Choice is false", yet they've managed to convince themselves they won't run into any mistakes in ZF¬C.
Oct
19
awarded  Commentator
Oct
18
awarded  Critic