Skip to main content
Computer Science
Jake's user avatar
Jake's user avatar
Jake's user avatar
Jake
  • Member for 10 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
3,800
reputation
72k
reached
35
answers
40
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
20
silver badges
35
bronze badges
Top tags
View all tags
63
Score
13
Posts
17
Posts %
34
Score
6
Posts
8
Posts %
29
Score
8
Posts
11
Posts %
19
Score
13
Posts
17
Posts %
19
Score
6
Posts
8
Posts %
13
Score
6
Posts
8
Posts %
Top posts
View all questions and answers
question
24
How do garbage collectors avoid stack overflow?
Apr 20, 2015
answer
22
Is 0* decidable?
Dec 11, 2014
answer
20
Halting problem theory vs. practice
May 11, 2020
answer
12
Why is automated theorem proving impossible?
Apr 30, 2015
question
12
Reducing products in HoTT to church/scott encodings
Oct 21, 2017
answer
11
Does immutability in functional programming really exist?
Jan 24, 2015
question
10
Are combinatory logic terms always larger?
Jul 6, 2015
question
9
Conflict Driven Clause Learning backtracking clarification
May 28, 2015
question
9
Domain Theory and Polymorphism
Nov 22, 2016
answer
8
How to fool the "try some test cases" heuristic: Algorithms that appear correct, but are actually incorrect
May 28, 2015
Top network posts
View all network posts
24
What do HDLs compile/synthesize to?
21
A total language that only a Turing complete language can interpret
17
Why do constructivists not seem to care too much about call/cc
15
A way of achieving lazy evaluation in C++
15
Late 1970s and 6502 chip facilities for operating systems