Computer Science
Jake's user avatar
Jake's user avatar
Jake's user avatar
Jake
  • Member for 9 years, 6 months
  • Last seen more than a week ago
Profile Activity
Stats
3,790
reputation
68k
reached
35
answers
40
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
19
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 %
18
Score
13
Posts
17
Posts %
18
Score
6
Posts
8
Posts %
13
Score
6
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
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
question
10
Are combinatory logic terms always larger?
Jul 6, 2015
answer
10
Does immutability in functional programming really exist?
Jan 24, 2015
question
9
Conflict Driven Clause Learning backtracking clarification
May 28, 2015
question
9
Domain Theory and Polymorphism
Nov 22, 2016
question
8
Solving systems of linear equations over semirings
Mar 18, 2016
Top network posts
View all network posts
24
What do HDLs compile/synthesize to?
20
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
A way of achieving lazy evaluation in C++
15
Late 1970s and 6502 chip facilities for operating systems

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.