ŹV -
#erlang/otp #program-synthesis #satsolver #plan9 #x86
30
answers
3
questions
~203k
people reached
-
United States
-
Member for 10 years, 11 months
-
228 profile views
-
Last seen Jan 31 '20 at 23:15
Communities (15)
Top network posts
Badges (21)
Gold
1
Rarest
-
Aug 20 '13
Silver
8
Rarest
-
Feb 23 '12
-
Dec 12 '11
Bronze
12
Rarest
-
Feb 23 '10
-
Feb 23 '10