user: jalcazar
293 karma | created 12 years ago
recent submissions
Machine-Assisted Proof [pdf]
(ams.org)
199 pts|1 year ago|96 comments
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
Mastering Concurrent Computing Through Sequential Thinking
(cacm.acm.org)
2 pts|1 year ago|discuss
2 years ago|discuss
2 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
Fantastic bugs and how to find them
(cmu-fantastic-bugs.github.io)
1 pts|3 years ago|1 comment
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss