rgrig
|
Registered User
|
I live in the tiny intersection of program verification, programming languages, algorithms, theory, and practice. Sometimes I visit foreign lands.
|
279
304
votes
169
answers
75k
views
116
147
votes
7
answers
65k
views
255
117
votes
41
answers
43k
views
210
115
votes
65
answers
44k
views
177
85
votes
72
answers
24k
views
101
85
votes
42
answers
34k
views
132
84
votes
67
answers
23k
views
127
73
votes
66
answers
12k
views
61
62
votes
14
answers
11k
views
69
61
votes
41
answers
13k
views
122
58
votes
54
answers
12k
views
39
44
votes
9
answers
5k
views
19
41
votes
8
answers
5k
views
35
41
votes
36
answers
16k
views
19
41
votes
5
answers
7k
views
