Y
Hacker News
new
|
ask
|
show
|
jobs
user:
teh_matt
created:
2020-05-14
karma:
17
https://programsareproofs.com
submissions:
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Code Reviews for Fun and Profit
1 points
|
0 comments
Solving a Puzzlehunt with Satisfiability Modulo Theories
3 points
|
0 comments
0 points
|
0 comments