Computer Science
Network profile
609
reputation
4
16

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, 1 month
  • 50 profile views
  • Last seen Jun 11 at 12:58

Communities (79)

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

15 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
5 Is Equational Reasoning an application of Referential Transparency? Dec 26 '13
4 Why did the Mathematica Language choose term rewriting instead of the Lambda Calculus as its basis? [closed] Jul 3 '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
3 Is the system of measuring length in the US Turing complete? May 19 '16
View all questions and answers →

Badges (20)

Gold

—

Silver

4

Rarest

Bronze

16

Rarest

View all badges →