149 reputation
4
bio website github.com/danluu
location
age
visits member for 3 years, 10 months
seen Oct 20 at 0:36

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