Computer Science
Meta user
Network profile
2,336
reputation
13
30

Jake

I'm a software engineer at a major company in the bay area. I love formal methods, computability, type theory, logic, and functional programming languages. I also like piano music, drawing, and some hobbyist electrical engineering. I just started working on the LLVM project.

28
answers
30
questions
~41k
people reached

Communities (22)

Top network posts

Top tags (78)

Score 39
Posts 11
Posts % 19
Score 18
Posts 6
Score 15
Posts 10
Score 11
Posts 5
Score 9
Posts 7
Score 8
Posts 12
View all tags →

Top posts (58) All Questions Answers | Votes Newest

22 How do garbage collectors avoid stack overflow? Apr 20 '15
22 Is 0* decidable? Dec 11 '14
11 Why is automated theorem proving impossible? Apr 30 '15
11 Reducing products in HoTT to church/scott encodings Oct 21 '17
10 Does immutability in functional programming really exist? Jan 24 '15
9 Are combinatory logic terms always larger? Jul 6 '15
9 Conflict Driven Clause Learning backtracking clarification May 28 '15
8 Domain Theory and Polymorphism Nov 22 '16
6 How do we know $\neg \neg LEM$ isn't provable in MLTT? Apr 20
6 Bounded existential polymorphism Jul 28 '14
View all questions and answers →

Badges (43)

Gold

—

Silver

13

Rarest

Bronze

30

Rarest

View all badges →