Skip to main content
New
Stack Overflow Jobs powered by Indeed: A job site that puts thousands of tech jobs at your fingertips (U.S. only). Search jobs
hawkeye's user avatar
hawkeye's user avatar
hawkeye's user avatar
hawkeye
  • Member for 11 years, 11 months
  • Last seen more than 1 year ago
  • Earth, TX
17 votes
1 answer
7k views

Differences between the Actor Model and Communicating Sequential Processes (CSP)

9 votes
2 answers
2k views

Is it possible to do Dependent Types in Typed Racket?

8 votes
3 answers
1k views

Are there any implementations of the spineless tagless G-machine other than in GHC?

7 votes
1 answer
714 views

What were the research outcomes of the Univalent Foundations Program year (Homotopy Type Theory)

7 votes
3 answers
2k views

What is the utility of proving P=NP if we can't find an algorithm that can solve any NP problem in polynomial time?

6 votes
1 answer
775 views

Is Equational Reasoning an application of Referential Transparency?

5 votes
1 answer
2k views

What is the algorithm for Blockchain's Byzantine Fault Tolerance?

5 votes
0 answers
203 views

Why did the Mathematica Language choose term rewriting instead of the Lambda Calculus as its basis? [closed]

4 votes
1 answer
197 views

How to express Rob Pike's classic Go Code presentation in Hoare's CSP Algebra?

4 votes
3 answers
4k views

What is the consensus algorithm that requires an odd number of nodes?

3 votes
1 answer
233 views

Is the system of measuring length in the US Turing complete?

3 votes
0 answers
161 views

Why does using an encoding trick like Gödel numbers make a register machine universal?

3 votes
1 answer
631 views

Can we say that Zookeeper updates are ACD (ACID without the I)?

3 votes
1 answer
103 views

Distributed problems in Financial Services?

3 votes
0 answers
114 views

Are there are satisfying explanations for why genetic algorithms work?

2 votes
1 answer
596 views

Massalin's Synthesis Quajects equivalent to ASM generating macros used in Game Oriented Assembly LISP?

2 votes
2 answers
606 views

Is Wadler's 'Theorems for Free' as general as Design By Contract for establishing correctness?

2 votes
1 answer
221 views

Is there an implementation of higher kinded types in typed lambda calculus?

1 vote
1 answer
95 views

What is the evidence that that types are more basic specifications, and specifications are more detailed types?

1 vote
0 answers
24 views

Is there evidence to suggest Macsyma was directed at the Diophantine equations in the Entscheidungsproblem?

1 vote
1 answer
71 views

Are monads a unification of a number of computer science concepts?

0 votes
0 answers
32 views

How did Turing prove that there is no general process to determine whether a Turing Machine is unsatisfactory?

0 votes
1 answer
299 views

Can you explain in terms of logic gates how Babbage’s Analytical Engine worked?

0 votes
1 answer
56 views

Are Algebraic types just the combination of case classes and pattern matching?