User Paul - MathOverflow

Paul

Member for 15 years, 2 months
Last seen more than 3 years ago

GitHub
pnathan.com
Seattle, WA

Network profile

Stats

241

reputation

2k

reached

0

answers

1

question

Loading…

Communities

About

Software engineer/craftman/programmer
Passion for quality and correctness as exemplified in the continuous improvement/kaizen model.
Obsessive about tools and infrastructure
Focused on working in Scala/Rust/Lisp/Haskell/OCaml
Articulate Lisp - a Common Lisp environment tutorial site. Learn Common Lisp today!

Badges

This user doesn’t have any gold badges yet.

1

silver badge

Yearling

Nov 13, 2019

4

bronze badges

Nice Question

Dec 3, 2012
Popular Question

Nov 8, 2012
Student

Oct 16, 2009

Top tags

coalgebras

0

Score

1

Posts

100

Posts %

Top posts

14

Co-induction understanding

Oct 16, 2009

Top network posts

View all network posts

325

What is the difference between hg forget and hg remove?

232

Cancelling upvote on comment?

123

Generating a list of which files changed between hg versions

120

Markdown footnotes?

106

"Wrong type argument: commandp" error when binding a lambda to a key