Skip to main content
Share Your Experience: Take the 2024 Developer Survey
Gilles 'SO- stop being evil''s user avatar
Gilles 'SO- stop being evil''s user avatar
Gilles 'SO- stop being evil''s user avatar
Gilles 'SO- stop being evil'
  • Member for 12 years, 2 months
  • Last seen this week
123 votes

Why can I look at a graph and immediately find the closest point to another point, but it takes me O(n) time through programming?

71 votes
Accepted

What is coinduction?

70 votes

Can a public key be used to decrypt a message encrypted by the corresponding private key?

61 votes
Accepted

Why would anyone want CISC?

61 votes
Accepted

Distributed vs parallel computing

55 votes
Accepted

Iteration can replace Recursion?

53 votes
Accepted

How does the Y combinator exemplify "Lambda calculus inconsistency"?

51 votes
Accepted

What happens to the cache contents on a context switch?

50 votes
Accepted

Difference Between Small and Big-step Operational Semantics

49 votes

Why, really, is the Halting Problem so important?

49 votes
Accepted

Will this program terminate for every Integer?

47 votes

How does one know which notation of time complexity analysis to use?

41 votes
Accepted

Is C actually Turing-complete?

40 votes
Accepted

Why is C's void type not analogous to the empty/bottom type?

38 votes
Accepted

Does there exist a Turing complete typed lambda calculus?

35 votes
Accepted

Hash tables versus binary trees

34 votes
Accepted

How does an operating system create entropy for random seeds?

32 votes
Accepted

What is the purpose of using NIL for representing null nodes?

32 votes

Are programming languages becoming more like natural languages?

32 votes
Accepted

Intro to Martin-Löf type theory

30 votes
Accepted

What is the difference between user-level threads and kernel-level threads?

27 votes
Accepted

Can an interrupt handler be preempted?

26 votes
Accepted

Is a stack overflow detected by hardware or software?

26 votes
Accepted

What is most efficient for GCD?

24 votes

Can one build a "mechanical" universal Turing machine?

23 votes
Accepted

What guarantees do "soft" real-time operating systems actually provide

22 votes

Factorial algorithm more efficient than naive multiplication

22 votes
Accepted

Intersection of context free with regular languages

22 votes

Why is Radix Sort $O(n)$?

21 votes
Accepted

Is there a context free, non-regular language $L$, for which $L^*$ is regular?

1
2 3 4 5
15