lmao at languages where you can't reason by induction

https://twitter.com/jonsterling/status/469898658696028161

lmao if you think I'm a twit

faggots

Induction is for retards who have too many dicks in their ass to think clearly and work out a direct proof.

Wait, he's talking about inductive reasoning, not about mathematical induction. Why is that a bad thing? Are you intentionally trying to make sloppy programs who draw erroneous conclusions about your program's universe?

First off, who the fuck is this faggot and why are you wasting my time on him?

Secondly, he is right; endotensors were found using a deductive proof, ergo, deduction is the superior method.

>>4
The brain is basically a very powerful regression engine, but in computer science, students need to think like computers, which are built with pure deductive logic. Students should learn in a language that forbids mere learning with patterns.

>>5
The brain isn't like anything or ``basically a very powerful'' anything. Screw off you pseudo-intellectual. And where's that paper about endotensors? Look at this shit http://www.google.com/search?q=endotensor&ie=utf-8&oe=utf-8

>>6

Brain is a set of neurons, together with a function, mapping pair of neurons to the weight of connection between them.

>>7
Fuck off you stupid russian.

What do you think the results would be of teaching someone to program with agda as their first language?

The brain can be modeled as a matrix of endotensors closed under electrochemical addition and multiplication, that accepts a set of eigenfunctors from the nervous system and senses to perform full duplex Bayesian reduction, giving rise to higher order thought. It does this in O(n*ln(n)).

>>10
Fuck off with your ``just so'' stories and post-modernism, pseudo-intellectual, minskyian retard.

Lesswrong.com is more like Completelywrong.com.

>>10-11
/bbs/'s two biggest faggots. I hope you slap each other's balls to death.

>>11
Like I care what an ultrafinitist retard like you has to say.

I'm farting so much

>>10
Yet all competing implementations of that same model have greater time complexity.