Computer Science
Network profile
633
reputation
4
17

hawkeye

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

4
answers
23
questions
~16k
people reached
  • Earth, TX
  • Member for 7 years, 3 months
  • 50 profile views
  • Last seen Sep 10 at 21:52

Communities (80)

Top network posts

Top tags (44)

Score 4
Posts 3
Posts % 11
Score 4
Posts 2
Score 4
Posts 2
Score 4
Posts 2
Score 4
Posts 2
Score 1
Posts 2
View all tags →

Top posts (27) All Questions Answers | Votes Newest

16 Differences between the Actor Model and Communicating Sequential Processes (CSP) Jan 5 '14
8 Is it possible to do Dependent Types in Typed Racket? Oct 8 '13
7 Are there any implementations of the spineless tagless G-machine other than in GHC? May 1 '16
7 What were the research outcomes of the Univalent Foundations Program year (Homotopy Type Theory) Dec 15 '13
6 What is the utility of proving P=NP if we can't find an algorithm that can solve any NP problem in polynomial time? Aug 15 '17
6 Is Equational Reasoning an application of Referential Transparency? Dec 26 '13
5 Why did the Mathematica Language choose term rewriting instead of the Lambda Calculus as its basis? [closed] Jul 3 '16
4 What is the consensus algorithm that requires an odd number of nodes? May 5 '16
4 How to express Rob Pike's classic Go Code presentation in Hoare's CSP Algebra? Dec 30 '13
4 Is it possible to do Dependent Types in Typed Racket? Apr 18 '15
View all questions and answers →

Badges (21)

Gold

—

Silver

4

Rarest

Bronze

17

Rarest

View all badges →