Computer Science
user avatar
user avatar
user avatar
Jake
  • Member for 8 years
  • Last seen more than a week ago
Profile Activity
Stats
3,728
reputation
61k
reached
35
answers
39
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
18
silver badges
33
bronze badges
Top tags
View all tags
63
Score
13
Posts
18
Posts %
34
Score
6
Posts
8
Posts %
29
Score
8
Posts
11
Posts %
18
Score
6
Posts
8
Posts %
16
Score
12
Posts
16
Posts %
13
Score
6
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
23
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
7
How do we know $\neg \neg LEM$ isn't provable in MLTT?
Apr 20, 2019
Top network posts
View all network posts
23
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
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.