Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon.

Pages: 1-

lel python babby tier shit

Name: Anonymous 2014-06-28 17:51

https://docs.python.org/dev/howto/functional.html#formal-provability

Unfortunately, proving programs correct is largely impractical and not relevant to Python software.

Name: Anonymous 2014-06-28 18:06

lel
roflel dude wtf your rustlin my jimmies u fucking basement dweller manlet top kek
You are right

Name: Anonymous 2014-06-28 21:16

`Correctness' is often orthogonal to human interests, which is one of the reasons Python has been and will continue to be quite successful despite its flaws.

Name: Anonymous 2014-06-28 22:20

>>3
What you're basically saying is that ted bundy is a human and Einstein and Jesus aren't.

Name: Anonymous 2014-06-28 22:22

>>4
That much is obvious. Everyone knows Jews aren't human.

Name: Anonymous 2014-06-28 22:34

Correct programs don't lead to software failures or exploitation or other such things while python isn't even used to write such software where such things are of major concern. Q.E.D

Name: Anonymous 2014-06-29 5:38

>>6
Gentoo's Portage is written in Python.

Name: Anonymous 2014-06-29 8:34

>>1

the goal is instead a rigorous proof that a program produces the right result for all possible inputs.
To do that you have to anticipate all possible inputs and how they will interact together. But you cant do that, no matter what genius or prophet you are, because there are unknown unknowns - you don't know what could become incorrect and in what way, so you don't know what to prove.

Name: Anonymous 2014-06-29 9:34

>>8
Only if you're a vegetable-headed Lishp kid.

Name: Anonymous 2014-06-29 10:00

>>7
Gentoo
install BSD/Gentoo

Name: Anonymous 2014-06-29 10:06

>>8
Only if you're using an infinite state machine.

Name: Anonymous 2014-06-29 10:57

I can tell you haven't read Milner.

Name: Anonymous 2014-06-29 18:56

>>8
Baseless assertion. Why do people with inferior minds think they can reason about what superior minds are capable of doing? Plus programs have been created that can do just that for other programs. Very simple and easy.

Name: Anonymous 2014-06-29 19:00

What happened to lively Internet discussions? Back then, you would call the other party a retarded nigger and expand on why being a retarded nigger was bad.

Lately it's "STOP PROJECTING", "FALSE DICHOTOBURDEN OF PROOF", "REDDITING FALLACY" or "AD HOMIE ARGUMENTUM AD FELLATIO". What the fuck?

Name: Anonymous 2014-06-29 19:01

>>12
Robin Milner?

Name: Anonymous 2014-06-29 19:01

>>13

please elaborate

Name: Anonymous 2014-06-29 19:03

>>15

The inventor of Milner's Language

Name: Anonymous 2014-06-29 19:14

>>14
Some people found the Wikipedia articles on rhetoric, thought it was the coolest shit ever, but didn't bother to read beyond them.

I like it, actually: It leads to embarrassing fuckups, for instance when somebody can't discern insult and ad hominem. There has never been a better indicator for retarded niggers on the Internet than these expressions.

Name: Anonymous 2014-06-29 19:33

>>18

There is no difference between insult and ad hominem, because insult always used during some pathos rhetoric as a way to support your clause. Same for random insults.

Name: Anonymous 2014-06-29 19:35

>>19
Ad hominem is not insulting someone, faggot

Name: Anonymous 2014-06-29 19:37

>>19
That's wrong. Read a book on rhetoric, retarded nigger.

Name: Anonymous 2014-06-29 20:00

>>20
faggot

>>21
retarded nigger

Ad hominem

Name: Anonymous 2014-06-29 20:33

>>17
Just give us a fucking name. http://en.wikipedia.org/wiki/Jean-Claude_Milner or http://en.wikipedia.org/wiki/Robin_Milner

Name: Anonymous 2014-06-29 20:56

>>20>>21
implying ad hominem isn't insult

Name: Anonymous 2014-06-29 20:58

>>23

Jewish
Shalom!

Always knew kikes force this functional crap. True Aryans write purely imperative languages.

Name: Anonymous 2014-06-29 21:00

>>23
It's clearly Jean-Claude Milner

Name: Anonymous 2014-06-29 21:04

>>23
Robin Milner obviously.

Name: Anonymous 2014-06-30 15:00

>>14
It's the feminists and their emasculating influence on society.

Name: >>12 2014-06-30 15:17

Yeah, I meant Robin Milner.

Name: Anonymous 2014-06-30 19:36

>>28
You will be among the first ones to go against the wall.

Name: Anonymous 2014-07-01 0:17

>>30
The revolution will be liked and shared.
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -