User Neel Krishnaswami - Computer Science Stack Exchange

Neel Krishnaswami

Member for 10 years, 6 months
Last seen more than a week ago

semantic-domain.blogspot.com

Stats

411

reputation

3k

reached

3

answers

0

questions

Loading…

Communities

Badges

View all badges

This user doesn’t have any gold badges yet.

2

silver badges

Yearling

× 2

Oct 24, 2018

7

bronze badges

Caucus

× 2

Jan 22, 2019
Nice Answer

× 2

Jan 19, 2017
Teacher

Mar 23, 2012

Top tags

programming-languages

18

Score

2

Posts

67

Posts %

asymptotics

13

Score

1

Posts

33

Posts %

didactics

13

Score

1

Posts

33

Posts %

software-engineering

11

Score

1

Posts

33

Posts %

Top posts

All Questions Answers

Score Newest

13

How to fool the plot inspection heuristic?

Mar 29, 2012

11

Is safety-critical software a subset of real-time software?

Jan 6, 2014

7

Turing Completeness + Dataflow Unification = Arbitrarily invertible (pure, nonrecursive) functions?

Mar 23, 2012

Top network posts

View all network posts

68

Realizability theory: difference in power between Lambda calculus and Turing Machines

64

Is there any formal foundation to ultrafinitism?

53

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?