Computer Science
Profile Activity
Network profile
1,143
reputation
8
17

hawkeye

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

4
answers
23
questions
~20k
people reached
  • Earth, TX
  • Member for 9 years, 1 month
  • 54 profile views
  • Last seen May 21 at 22:47

Communities (81)

Top network posts

Top tags (44)

Score 5
Posts 3
Posts % 11
Score 5
Posts 2
Score 5
Posts 2
Score 5
Posts 2
Score 5
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
5 Is it possible to do Dependent Types in Typed Racket? Apr 18 '15
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
View all questions and answers →

Badges (25)

Gold

—

Silver

8

Rarest

Bronze

17

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.