Computer Science
hawkeye
  • Member for 9 years, 7 months
  • Last seen more than a month ago
  • Earth, TX
Profile Activity
Stats
1,169
reputation
21k
reached
4
answers
24
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
18
bronze badges
Top tags
View all tags
5
Score
3
Posts
11
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
Votes Newest
17
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
Top network posts
View all network posts
654
Node.js version on the command line? (not the REPL)
174
How to find out how much disk space is remaining?
127
Can you run Docker natively on the new Windows 10 (Ubuntu) bash userspace?
106
How does shifting to microservices create a run-time problem?
102
Does "Disk Operating System" imply that there was a "non-disk" Operating System?

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.