Computer Science
hawkeye
  • Earth, TX
  • Member for 9 years, 4 months
Profile Activity
Stats
1,159
reputation
20k
reached
4
answers
24
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (81)

Top network posts

This user doesn’t have any gold badges yet.
8
silver badges
18
bronze badges
View all badges

Top tags (46)

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 (28)

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 What is the algorithm for Blockchain's Byzantine Fault Tolerance? Sep 5 '17
View all questions and answers →

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.