149 reputation
bio website github.com/danluu
visits member for 4 years, 5 months
seen May 18 at 13:42

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 :-).

This user has no recent positive reputation changes

4 Votes Cast

all time   by type  
4 up 2 question
0 down 2 answer