Reputation
399
Next privilege 500 Rep.
Access review queues
Badges
4 13
Impact
~13k people reached

  • 0 posts edited
  • 1 helpful flag
  • 27 votes cast
Jun
27
awarded  Popular Question
Jan
8
awarded  Notable Question
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