Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Network profile
624
reputation
4
16

hawkeye

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

4
answers
23
questions
~15k
people reached
  • Earth, TX
  • Member for 6 years, 11 months
  • 50 profile views
  • Last seen Apr 6 at 8:14

Communities (78)

Top network posts

Top tags (44)

Score 4
Posts 3
Posts % 11
Score 4
Posts 2
Score 4
Posts 2
Score 4
Posts 2
Score 4
Posts 2
Score 1
Posts 2
View all tags →

Top posts (27) All Questions Answers | Votes Newest

15 Differences between the Actor Model and Communicating Sequential Processes (CSP) Jan 5 '14
8 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 were the research outcomes of the Univalent Foundations Program year (Homotopy Type Theory) Dec 15 '13
6 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
5 Is Equational Reasoning an application of Referential Transparency? Dec 26 '13
4 Are there are satisfying explanations for why genetic algorithms work? Mar 24 '18
4 Why did the Mathematica Language choose term rewriting instead of the Lambda Calculus as its basis? [closed] Jul 3 '16
4 Why does using an encoding trick like Gödel numbers make a register machine universal? Apr 10 '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 (20)

Gold

—

Silver

4

Rarest

Bronze

16

Rarest

View all badges →