141 reputation
4

dan

I work on the whole stack, from hardware (RTL and microcode) to high level languages (scala, formal theorem proving in ACL2, etc). It's all good fun :-).

Top Tags (2)

Score 2
Posts 1
Score 2
Posts 1

Top Posts (2) All Questions Answers | Votes Newest

Badges (4)

Gold
Silver
Bronze 4

Rarest