HackerTrans
TopNewTrendsCommentsPastAskShowJobs

bsedlm

no profile record

comments

bsedlm
·hace 5 años·discuss
and in a more costly, less forgiving environment, there is not enough abudnance of wealth so society becomes less free.

Neo-fascist autocracies here we go! (they're just cheaper)
bsedlm
·hace 5 años·discuss
hypocrisy (along with taboos I guess) seem to be a necessary part of a functioning society.
bsedlm
·hace 5 años·discuss
I prefer to argue the same thing by saying that we recognize this is a rational expected behavior of any entity developed enough that it looks after itself.

Similarly to other lines of reasoning critizizing specifically facebook for "knowing they can be harmful but choosing to believe they can also be positive-good (useful)". This behavior is not exclusive to Facebook; all corporations are the same, and some have done humanity far worse, yet they're still around (why?). It's unreasonable to single-out facebook in this regard.
bsedlm
·hace 5 años·discuss
> You can clearly enumerate all Haskell functions which are syntactically correct and which have type Nat->Nat

Is this a finite process?
bsedlm
·hace 5 años·discuss
> The problem is that while a superset of an uncountable set is uncountable, a superset of a computably uncountable set may instead be computably countable. The partial functions over the integers show that this is indeed the case.

> The computable countability of the partial maps from N to N.

Can anybody give an example?

does this have any to do with rationals? or is it more related to limits and calculus?