Computer Science
hawkeye's user avatar
hawkeye's user avatar
hawkeye's user avatar
hawkeye
  • Member for 11 years, 3 months
  • Last seen more than a month ago
  • Earth, TX
Profile Activity
Stats
1,199
reputation
23k
reached
5
answers
24
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
19
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
All Questions Answers
Score Newest
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
712
Node.js version on the command line? (not the REPL)
195
How to find out how much disk space is remaining?
127
Can you run Docker natively on the new Windows 10 (Ubuntu) bash userspace?
107
Is there a script to list git branches created by me?
106
How does shifting to microservices create a run-time problem?

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.