Computer Science
Profile Activity
Meta user
Network profile
3,608
reputation
16
33

Jake

Apparently, this user prefers to keep an air of mystery about them.

35
answers
36
questions
~54k
people reached
  • Member for 6 years, 10 months
  • 211 profile views
  • Last seen Feb 8 at 14:17

Communities (26)

Top network posts

Top tags (99)

Score 61
Posts 13
Posts % 18
Score 32
Posts 6
Score 29
Posts 8
Score 18
Posts 6
Score 15
Posts 10
Score 13
Posts 6
View all tags →

Top posts (71)

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
11 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 Conflict Driven Clause Learning backtracking clarification May 28 '15
8 Domain Theory and Polymorphism Nov 22 '16
6 Solving systems of linear equations over semirings Mar 18 '16
View all questions and answers →

Badges (49)

Gold

—

Silver

16

Rarest

Bronze

33

Rarest

View all badges →

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.