Computer scientist working on parallel programming language design, plus some formal methods and a smattering of logic in there for good measure.

Jan
26
comment How can I get my 13 month old to eat better and sleep through the night?
What kind of solids are you giving her? Regular food?
Jan
20
awarded Good Answer
Jan
20
comment How can I practise programs on Donald Knuth's MIX?
Google: "mix simulator".
Jan
11
awarded Nice Answer
Jan
3
awarded Yearling
Jan
3
awarded Yearling
Dec
29
awarded Guru
Dec
29
awarded Enlightened
Dec
14
comment Constructing a Turing Machine with Lambda Calculus
I'd write it in Haskell, then realise that all Haskell data types and functions can be encoded into the lambda calculus.
Dec
12
comment What is the difference between ∀ and Π in the Calculus of Constructions?
Based on the examples you give, $\forall$ quantifies over types and $\Pi$ quantifies over values.
Nov
26
awarded Popular Question
Nov
21
awarded Constituent
Nov
19
comment Macro expansion is done in which phase of a compiler?
Arc even does macro expansion at run-time!
Nov
19
comment Interpretation in scripting languages
I think that this is a computer science question, but it is not well-founded. Those languages aren't interpreted these days, they are usually compiled on-the-fly to bytecode, and heavily optimised, sometimes even jitted.
Nov
18
awarded Guru
Nov
17
awarded Caucus
Nov
14
awarded Notable Question
Nov
12
awarded Enlightened
Nov
12
awarded Nice Answer
Nov
12
awarded Good Answer
1 2 3 4 5