Computer Science
Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami
  • Member for 11 years, 8 months
  • Last seen more than a month ago
Profile Activity
Stats
411
reputation
4k
reached
3
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges
Top tags
18
Score
2
Posts
67
Posts %
13
Score
1
Posts
33
Posts %
13
Score
1
Posts
33
Posts %
11
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
answer
13
How to fool the plot inspection heuristic?
Mar 29, 2012
answer
11
Is safety-critical software a subset of real-time software?
Jan 6, 2014
answer
7
Turing Completeness + Dataflow Unification = Arbitrarily invertible (pure, nonrecursive) functions?
Mar 23, 2012
Top network posts
View all network posts
71
Realizability theory: difference in power between Lambda calculus and Turing Machines
66
Is there any formal foundation to ultrafinitism?
57
Is there an introduction to probability theory from a structuralist/categorical perspective?
43
Explaining Applicative functor in categorical terms - monoidal functors
42
Halting problem, uncomputable sets: common mathematical proof?

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.