Stack Exchange Network

Stack Exchange network consists of 174 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
Meta User
Network Profile
25,869
reputation
73
147

Neel Krishnaswami

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

198
answers
34
questions
~193k
people reached

Communities (3)

Top Meta Posts
0
3

Top Network Posts

Top Tags (146)

Score 660
Posts 72
Posts % 31
Score 609
Posts 69
Score 463
Posts 45
Score 434
Posts 23
Score 314
Posts 27
Score 272
Posts 23
View all tags →

Top Posts (232) All Questions Answers | Votes Newest

56 Realizability theory: difference in power between Lambda calculus and Turing Machines Sep 9 '10
42 Halting problem, uncomputable sets: common mathematical proof? Mar 11 '12
36 Programming languages with canonical functions Mar 9 '12
35 Solid applications of category theory in TCS? Sep 4 '10
33 Explaining Applicative functor in categorical terms - monoidal functors Aug 27 '12
30 Is there a sensible notion of an approximation algorithm for an undecidable problem? Dec 30 '10
30 Are there “small” machines which can efficiently match regular expressions? Sep 10 '10
26 Interesting algorithms in the formalization of the Feit-Thompson theorem? Sep 25 '12
26 Relationship between contracts and dependent typing Mar 1 '11
26 What do we know about provably correct programs? Jan 1 '11
View all questions and answers →

Badges (220)

Gold

—

Silver

73

Rarest

Bronze

147

Rarest

View all badges →