379 reputation
312
bio website octopusgrabbus.wordpress.com
location Boston, MA
age
visits member for 2 years, 7 months
seen Oct 24 at 12:01

I am a programmer for a Greater Boston municipality; and I develop and maintain systems for water utility configuration and billing written in Perl and Python. I also maintain a tax collection/reporting system written in Informix 4GL and C. Additional components written in Clojure.

Twitter: @octopusgrabbus


Sep
24
awarded  Autobiographer
Aug
4
awarded  Curious
Aug
3
accepted Is Lambda Still Supported In Python?
Aug
3
comment Is Lambda Still Supported In Python?
Thanks for the answer and finding the quote.
Aug
3
asked Is Lambda Still Supported In Python?
Aug
1
accepted Notation/Meta Language To Express An Algorithm
Aug
1
comment Notation/Meta Language To Express An Algorithm
Thanks. I'll go look for this. I can express my algorithm using common sense. I know why it works, but not from a more formal standpoint.
Aug
1
comment Notation/Meta Language To Express An Algorithm
Edited OP per this comment.
Aug
1
revised Notation/Meta Language To Express An Algorithm
Add correctness.
Aug
1
comment Notation/Meta Language To Express An Algorithm
Doesn't have to be LC. I'm looking for a meta language to express and then prove the algorithm. I've edited the OP to ask a more general question and leave LC out. Add wording for proving correctness.
Aug
1
asked Notation/Meta Language To Express An Algorithm
Apr
24
awarded  Notable Question
Dec
26
revised What does using (vec col) or (vector arg1 & args) cost?
Fix spelling.
Oct
22
awarded  Popular Question
Sep
30
awarded  Popular Question
Apr
30
awarded  Yearling
Mar
17
answered Class of problems solvable by sed or stream editors
Mar
12
awarded  Commentator
Mar
12
revised What is a dotted pair's analogy in other Lisp implementations?
Remove T
Feb
25
awarded  Constituent