Computer Science
Neel Krishnaswami
Profile Activity
Stats
411
reputation
3k
reached
3
answers
0
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
7
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
Votes Newest
13
How to fool the plot inspection heuristic?
Mar 29 '12
11
Is safety-critical software a subset of real-time software?
Jan 6 '14
7
Turing Completeness + Dataflow Unification = Arbitrarily invertible (pure, nonrecursive) functions?
Mar 23 '12
Top network posts
View all network posts
67
Realizability theory: difference in power between Lambda calculus and Turing Machines
61
Is there any formal foundation to ultrafinitism?
52
Is there an introduction to probability theory from a structuralist/categorical perspective?
42
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.