Skip to main content
Computer Science
hawkeye's user avatar
hawkeye's user avatar
hawkeye's user avatar
hawkeye
  • Member for 12 years, 6 months
  • Last seen more than a week ago
  • Earth, TX
Profile Activity
Stats
1,199
reputation
25k
reached
5
answers
24
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
20
bronze badges
Top tags
View all tags
5
Score
3
Posts
10
Posts %
5
Score
2
Posts
7
Posts %
5
Score
2
Posts
7
Posts %
5
Score
2
Posts
7
Posts %
5
Score
2
Posts
7
Posts %
2
Score
2
Posts
7
Posts %
Top posts
View all questions and answers
question
17
Differences between the Actor Model and Communicating Sequential Processes (CSP)
Jan 5, 2014
question
9
Is it possible to do Dependent Types in Typed Racket?
Oct 8, 2013
question
8
Are there any implementations of the spineless tagless G-machine other than in GHC?
May 1, 2016
question
7
What were the research outcomes of the Univalent Foundations Program year (Homotopy Type Theory)
Dec 15, 2013
question
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, 2017
question
6
Is Equational Reasoning an application of Referential Transparency?
Dec 26, 2013
question
5
Why did the Mathematica Language choose term rewriting instead of the Lambda Calculus as its basis? [closed]
Jul 3, 2016
question
5
What is the algorithm for Blockchain's Byzantine Fault Tolerance?
Sep 5, 2017
answer
5
Is it possible to do Dependent Types in Typed Racket?
Apr 18, 2015
question
4
How to express Rob Pike's classic Go Code presentation in Hoare's CSP Algebra?
Dec 30, 2013
Top network posts
View all network posts
721
Node.js version on the command line? (not the REPL)
207
How to find out how much disk space is remaining?
127
Can you run Docker natively on the new Windows 10 (Ubuntu) bash userspace?
125
Is there a script to list git branches created by me?
107
How does shifting to microservices create a run-time problem?