Computer Science
Profile Activity
Network profile
1,133
reputation
7
17

hawkeye

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

4
answers
23
questions
~19k
people reached
  • Earth, TX
  • Member for 8 years, 9 months
  • 53 profile views
  • Last seen Feb 11 at 2:48

Communities (81)

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 2
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
9 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 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
7 What were the research outcomes of the Univalent Foundations Program year (Homotopy Type Theory) Dec 15 '13
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 (24)

Gold

—

Silver

7

Rarest

Bronze

17

Rarest

View all badges →