Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

How to Construct 100% Bug-Free Software (Pay Attention, Toyota)

rebelscience.blogspot.com

Post reply on HN
Print view View original

1–10 of 12 posts

Re: How to Construct 100% Bug-Free Software (Pay Attention, Toyota)

#5

Post by pook »

miriam wrote: post #3
pook wrote: post #2

I am starting to think this blog is an elaborate Markov-generated hoax. That said, I've often wondered what Sokal is doing nowadays.

You're wrong. There are serious people working, as I write, on implementing the author's vision.

"Mathematicians notwithstanding, a computer is a class of automaton known as a behaving machine. As such, it must not be seen as a function calculator that takes input arguments and returns an answer. It should be seen as belonging to the category of machines like brains and neural networks" from http://rebelscience.blogspot.com/2010/02/computer-scientists...

I am sure there is meaning in this, but I am not sure it is a meaning that yields readily to rational thought. Hence my classification of the blog as noise.

Re: How to Construct 100% Bug-Free Software (Pay Attention, Toyota)

#6

Post by miriam »

pook wrote: post #5
miriam wrote: post #3

Earlier quoted context omitted.

You're wrong. There are serious people working, as I write, on implementing the author's vision.

"Mathematicians notwithstanding, a computer is a class of automaton known as a behaving machine. As such, it must not be seen as a function calculator that takes input arguments and returns an answer. It should be seen as belonging to the category of machines like brains and neural networks" from http://rebelscience.blogspot.com/2010/02/computer-scientists... I am sure there is meaning in this, but I am not sure it i…

You are being disingenuous or purposefully obtuse since the author explains what he means in the same sentence. It's not rocket science.

Re: How to Construct 100% Bug-Free Software (Pay Attention, Toyota)

#7

Post by pook »

miriam wrote: post #6
pook wrote: post #5

Earlier quoted context omitted.

"Mathematicians notwithstanding, a computer is a class of automaton known as a behaving machine. As such, it must not be seen as a function calculator that takes input arguments and returns an answer. It should be seen as belonging to the category of machines like brains and neural networks" from http://rebelscience.blogspot.com/2010/02/computer-scientists... I am sure there is meaning in this, but I am not sure it i…

You are being disingenuous or purposefully obtuse since the author explains what he means in the same sentence. It's not rocket science.

http://www.rebelscience.org/Crackpots/nasty.htm

Do I need to spell out the similarities with Time Cube, or enumerate John Baez's Crackpot Index in an oddly self-referential strange loop?

It is indeed not rocket science. Or much of any science.

edit: "We are all accustomed to believe that everything is made of something. We are taught that matter consists of molecules and that molecules are made of atoms which are themselves made of even smaller components. This line of reasoning makes sense initially but, as seen below, it cannot be sustained." if you think I am merely being obtuse.

Re: How to Construct 100% Bug-Free Software (Pay Attention, Toyota)

#8

Post by miriam »

pook wrote: post #7
miriam wrote: post #6

Earlier quoted context omitted.

You are being disingenuous or purposefully obtuse since the author explains what he means in the same sentence. It's not rocket science.

http://www.rebelscience.org/Crackpots/nasty.htm Do I need to spell out the similarities with Time Cube, or enumerate John Baez's Crackpot Index in an oddly self-referential strange loop? It is indeed not rocket science. Or much of any science. edit: "We are all accustomed to believe that everything is made of something. We are taught that matter consists of molecules and that molecules are made of atoms which are the…

You are worse than obtuse. You are plain dishonest. You are picking stuff up out of context in order to appear to make a valid disparaging point but you are just being an a*hole. And you know it.

Re: How to Construct 100% Bug-Free Software (Pay Attention, Toyota)

#9

Post by pg »

miriam wrote: post #8
pook wrote: post #7

Earlier quoted context omitted.

http://www.rebelscience.org/Crackpots/nasty.htm Do I need to spell out the similarities with Time Cube, or enumerate John Baez's Crackpot Index in an oddly self-referential strange loop? It is indeed not rocket science. Or much of any science. edit: "We are all accustomed to believe that everything is made of something. We are taught that matter consists of molecules and that molecules are made of atoms which are the…

You are worse than obtuse. You are plain dishonest. You are picking stuff up out of context in order to appear to make a valid disparaging point but you are just being an a*hole. And you know it.

Would you two please stop?

Re: How to Construct 100% Bug-Free Software (Pay Attention, Toyota)

#10

Post by tsally »

pg wrote: post #9
miriam wrote: post #8

Earlier quoted context omitted.

You are worse than obtuse. You are plain dishonest. You are picking stuff up out of context in order to appear to make a valid disparaging point but you are just being an a*hole. And you know it.

Would you two please stop?

It's time for this I think: http://news.ycombinator.com/item?id=1142045.

Personal reprimands from you are effective in snapping otherwise reasonable people out of the mindset that sometimes results from anonymity, but it's just a stop-gap measure. I know you already know this, but it's worth pointing out.

Tangential anecdote: the last 10 or so uncivil comments I've read have been from throwaway accounts and accounts with small post counts/karma. I suspect most of these accounts are proxies for more active ones. Not sure if this metric can be leveraged in some way without producing too many false positives. Using machine learning to enforce civility is kind of ironic actually. Still, might be worth investigating.

Post reply on HN