Computer Science
Jake
  • Member for 7 years, 7 months
  • Last seen more than a week ago
Profile Activity
Stats
3,678
reputation
58k
reached
35
answers
37
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
17
silver badges
33
bronze badges
Top tags
View all tags
62
Score
13
Posts
18
Posts %
33
Score
6
Posts
8
Posts %
29
Score
8
Posts
11
Posts %
18
Score
6
Posts
8
Posts %
16
Score
10
Posts
14
Posts %
13
Score
6
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
23
How do garbage collectors avoid stack overflow?
Apr 20 '15
22
Is 0* decidable?
Dec 11 '14
20
Halting problem theory vs. practice
May 11 '20
12
Why is automated theorem proving impossible?
Apr 30 '15
12
Reducing products in HoTT to church/scott encodings
Oct 21 '17
10
Are combinatory logic terms always larger?
Jul 6 '15
10
Does immutability in functional programming really exist?
Jan 24 '15
9
Domain Theory and Polymorphism
Nov 22 '16
9
Conflict Driven Clause Learning backtracking clarification
May 28 '15
6
Solving systems of linear equations over semirings
Mar 18 '16
Top network posts
View all network posts
23
What do HDLs compile/synthesize to?
19
A total language that only a Turing complete language can interpret
16
Why do constructivists not seem to care too much about call/cc
15
Late 1970s and 6502 chip facilities for operating systems
14
A way of achieving lazy evaluation in C++

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.