## Comment: Re:What a name! (Score 1) 128

Yes, it's hard to get excited about BoringSSL.

Yes, it's hard to get excited about BoringSSL.

by
Prof.Phreak
(#47194079)
Attached to: MIT Used Lobbying, Influence To Restore Nuclear Fusion Dream

was wondering the same thing... perhaps spiking up for major experiments/phases?

And I was under impression that toyota's KDSS did this too...

they're required by law to be heartless bastards---if the CEO says "oh, well, we'll be good to humanity, even if it costs our shareholders $X a year"... that CEO would be instantly replaced by someone who puts profits ahead of morals---as the law requires him to.

Would you still not skip it when you've see it 37 times?

(or say 2nd or 3rd time in the previous 10 minutes while say browsing a news site, and it plays for 30 seconds before the video you're trying to watch...?)

added. thank you

Isn't decomposition a relatively recent phenomenon in geologic time? Coal deposits wouldn't exist if all those ancient forests just decomposed...

wow, I didn't even realize folks do this... for what purpose?

My list (that's the command I run on all boxes I have). I think it has just about everything an average poweruser/developer would want.

apt-get install vim-gnome ssl-cert apache2 php5 postgresql php5-pgsql default-jdk libclass-dbi-perl libdbd-pg-perl libapache2-mod-perl2 libdate-manip-perl octave nmap irssi uptimed rsync subversion cvs build-essential mysql-server mysql-client php5-mysql virtualbox wine texlive-full openssh-server screen openssh-client ntp jhead imagemagick k3b libk3b6-extracodecs mplayer dict dictd dict-foldoc dict-gcide dict-devil dict-jargon dict-wn htop audacious audacious-plugins cmatrix r-base rKward ecryptfs-utils libimage-exiftool-perl finger ant git eclipse javahelper transcode libav-tools ucspi-tcp-ipv6 chromium-browser maven2 mercurial meld lame gnome-disk-utility ffmpeg sshfs dos2unix opencl-headers handbrake-gtk libapache2-mod-gnutls ia32-libs

No it isn't. http://news.slashdot.org/story...

Well... while we may redicule the notion, perhaps... some of the things they did marginally worked? (e.g. is it 100% bullshit or 99.999% bullshit?, and what exactly could that 0.001% be?)

Bumper to bumper increases road utility quite a bit... as well as fuel efficiency. This could have a HUGE impact on some areas of the country. Imagine existing 2 lane highways capable of carrying 6-10x as many cars, at perhaps 1.5x the current speed. That's quite a bit of savings in road construction and maintenance, etc.

Submitted
by
jenniefriedman27

jenniefriedman27 (3392781) writes *"I was intrigued by a book advertisement I saw on the Boston MBTA: "An Exploration of The Scientific Limits of Knowledge That Challenges Our Deep-Seated Beliefs About Our Universe, Our Rationality, and Ourselves."
At first I was a bit skeptical with such a bombastic line. But how can one resist such a come on?
*

This is a popular science book about what is beyond the ability of reason to know. By "reason" Yanofsky means anything using exact thought like math, logic, computers, physics and even a little philosophy. Questions of what human beings can know is part of a branch of philosophy called epistemology. Such philosophers usually talk about the theories of Lock, Berkley, Hume, Kant etc. In this book, the field is updated and*scientific* epistemology is discussed. There are many modern results that show that there are objects, that cannot exist, calculations that cannot be performed, and problems that cannot be solved. The book weaves a beautiful tapestry together and shows that many of these limitations in different fields are of the same form.

As a computer professional, I was naturally most interested in the two chapters about limitations of computers. Chapter 5 is about problems that can theoretically be solved but in fact, for any reasonable sized inputs will not be solved for trillions of centuries. The core of the chapter is the idea of NP-Complete problems such as Satisfiability (SAT) or the Traveling Salesperson Problem (TSP). One usually thinks of TSP as a hard computer problem that you can explain to any child, but Yanofsky stresses TSP as a limitation of human knowledge. He explains why most people believe there does not exist a simple algorithms for such problems. Yanofsky finishes this chapter off with a discussion of approximation algorithms and problems that are even harder than NP-Complete problems.

Chapter 6 is not about hard computer problems (complexity theory) but impossible computer problems (computability theory). The classic example is Turing's Halting Problem. There does not exist a program that can tell for any given program and any given input if the program with that input will halt or go into an infinite loop. The chapter also discusses some other unsolvable computer problem and shows how they are connected. There is a discussion of Turing's oracle idea and how this classifies all unsolvable problems. The chapters ends with a short (too short) and inconclusive discussion of whether humans — as opposed to computers — can solve such problems (is AI possible?)

The rest of the book deal with other types of limitations. Chapter 2 discusses limitations of language. Chapter 3 mentions some classical philosophical issues like Zeno's paradoxes and the topic of vagueness. Chapter 4 discusses the counterintuitive notions of infinity and the fact that there are different levels of infinity. Chapter 7 is about three fields of physics: chaos theory, quantum theory, and relativity theory. Chapter 8 deals with philosophy of science issues. Chapter 9 talks about some limitations of mathematics including some basic math problems that a computer (and a human?) can never solve. The chapters of the book are for the most part independent which makes it easier for the reader to read topics that interests her. Chapter 10 summarizes the whole book.

The section on quantum theory deserves special mention. Yanofsky spends 38 pages describing the world of quantum mechanics. But rather than telling the life stories of the founders of quantum theory (too easy, too boring) or trying to teach the math behind quantum theory (too hard), Yanofsky goes through seven or eight experiments in quantum theory and tells us what the results of the experiments show about the universe and our knowledge of the universe. Included in this is the mysterious topic of entanglement and Bell's famous inequality. I had to read that part twice but I can proudly say that I understand it now.

After reading the whole book, my favorite part is the last chapter. Here everything magically comes together in an amazing way. In the first part of the chapter, Yanofsky gives a four-part classification of*all* the limitations discussed in the book. Within this classification he makes fascinating links between various limitations in different areas. He connects NP-Complete problems and the butterfly effect; the Halting Problem and the barber paradox; language paradoxes and mathematical limitations. From this "high"
point of view, all the different limitations fit together perfectly and one can clearly see the whole beautiful landscape.

One of the central ideas in the book is the concept of self-referential paradox. This is a paradox that comes about from a system that can talk about itself. In chapter 2, the liar paradox is shown to come about because English sentences can talk about English sentences. In chapter 3, there is a discussion of time-travel paradoxes (as in the*Back to the Future* movies) which come about because events that happen because time traveler can make events that affect themselves. Turing's Halting Problem is shown to come about from the fact that programs deal with programs (as operating systems do.) And Gödel's famous Incompleteness Theorems comes from that fact that mathematics can talk about itself. These are just a few of the more famous self-referential paradoxes mentioned in the book. They form a thread that shows that the same scheme of reason is playing a role in many different areas.

There are some philosophical parts of the book that I cannot truly judge. In chapter 3 there is discussion about the problem of identity (to what extent is something the same even when it changes) and the problem of personal identity (to what extent is someone the same even when they change? What makes a human being a human being?) In chapter 8 there is a discussion of the problem of induction; the "unreasonable effectiveness of mathematics" and the anthropic principle. In these philosophical parts of the book, Yanofsky makes some cogent arguments about different issues. Not all his arguments are totally convincing. I like the more scientific and technical parts of the book where it is easy to tell who is right and who is wrong.

I must mention Yanofsky's style. The writing is crisp and totally clear. Although I learned about the Halting Problem when I was in school, I never truly understood Turing's proof of why no computer can ever solve the Halting Problem till I read Yanofsky's proof. There are also some very helpful charts and diagrams. There are a few Venn diagrams that show different classifications. The book is also very funny. There is a sprinkling of some very clever lines that make it a pleasure to read. The footnotes are also full of such hilarious gems.

A coworker told me that this does not surprise him since he read a textbook coauthored by Yanofsky titled*Quantum Computing for Computer Science*. My coworker said that it was the only book on quantum computing that one can read without a PhD in physics. He said that book was also very clear.

This book is not hard to read. It is beautifully written in a very understandable way. The reason why the book is fascinating is because it has so many diverse topics. And yet, Yanofsky manages to connect all the topics. This book will get you to think about what we can know about the universe in a totally new and exciting way."

Link to Original Source

This is a popular science book about what is beyond the ability of reason to know. By "reason" Yanofsky means anything using exact thought like math, logic, computers, physics and even a little philosophy. Questions of what human beings can know is part of a branch of philosophy called epistemology. Such philosophers usually talk about the theories of Lock, Berkley, Hume, Kant etc. In this book, the field is updated and

As a computer professional, I was naturally most interested in the two chapters about limitations of computers. Chapter 5 is about problems that can theoretically be solved but in fact, for any reasonable sized inputs will not be solved for trillions of centuries. The core of the chapter is the idea of NP-Complete problems such as Satisfiability (SAT) or the Traveling Salesperson Problem (TSP). One usually thinks of TSP as a hard computer problem that you can explain to any child, but Yanofsky stresses TSP as a limitation of human knowledge. He explains why most people believe there does not exist a simple algorithms for such problems. Yanofsky finishes this chapter off with a discussion of approximation algorithms and problems that are even harder than NP-Complete problems.

Chapter 6 is not about hard computer problems (complexity theory) but impossible computer problems (computability theory). The classic example is Turing's Halting Problem. There does not exist a program that can tell for any given program and any given input if the program with that input will halt or go into an infinite loop. The chapter also discusses some other unsolvable computer problem and shows how they are connected. There is a discussion of Turing's oracle idea and how this classifies all unsolvable problems. The chapters ends with a short (too short) and inconclusive discussion of whether humans — as opposed to computers — can solve such problems (is AI possible?)

The rest of the book deal with other types of limitations. Chapter 2 discusses limitations of language. Chapter 3 mentions some classical philosophical issues like Zeno's paradoxes and the topic of vagueness. Chapter 4 discusses the counterintuitive notions of infinity and the fact that there are different levels of infinity. Chapter 7 is about three fields of physics: chaos theory, quantum theory, and relativity theory. Chapter 8 deals with philosophy of science issues. Chapter 9 talks about some limitations of mathematics including some basic math problems that a computer (and a human?) can never solve. The chapters of the book are for the most part independent which makes it easier for the reader to read topics that interests her. Chapter 10 summarizes the whole book.

The section on quantum theory deserves special mention. Yanofsky spends 38 pages describing the world of quantum mechanics. But rather than telling the life stories of the founders of quantum theory (too easy, too boring) or trying to teach the math behind quantum theory (too hard), Yanofsky goes through seven or eight experiments in quantum theory and tells us what the results of the experiments show about the universe and our knowledge of the universe. Included in this is the mysterious topic of entanglement and Bell's famous inequality. I had to read that part twice but I can proudly say that I understand it now.

After reading the whole book, my favorite part is the last chapter. Here everything magically comes together in an amazing way. In the first part of the chapter, Yanofsky gives a four-part classification of

One of the central ideas in the book is the concept of self-referential paradox. This is a paradox that comes about from a system that can talk about itself. In chapter 2, the liar paradox is shown to come about because English sentences can talk about English sentences. In chapter 3, there is a discussion of time-travel paradoxes (as in the

There are some philosophical parts of the book that I cannot truly judge. In chapter 3 there is discussion about the problem of identity (to what extent is something the same even when it changes) and the problem of personal identity (to what extent is someone the same even when they change? What makes a human being a human being?) In chapter 8 there is a discussion of the problem of induction; the "unreasonable effectiveness of mathematics" and the anthropic principle. In these philosophical parts of the book, Yanofsky makes some cogent arguments about different issues. Not all his arguments are totally convincing. I like the more scientific and technical parts of the book where it is easy to tell who is right and who is wrong.

I must mention Yanofsky's style. The writing is crisp and totally clear. Although I learned about the Halting Problem when I was in school, I never truly understood Turing's proof of why no computer can ever solve the Halting Problem till I read Yanofsky's proof. There are also some very helpful charts and diagrams. There are a few Venn diagrams that show different classifications. The book is also very funny. There is a sprinkling of some very clever lines that make it a pleasure to read. The footnotes are also full of such hilarious gems.

A coworker told me that this does not surprise him since he read a textbook coauthored by Yanofsky titled

This book is not hard to read. It is beautifully written in a very understandable way. The reason why the book is fascinating is because it has so many diverse topics. And yet, Yanofsky manages to connect all the topics. This book will get you to think about what we can know about the universe in a totally new and exciting way."

Link to Original Source

I think you missed the (early) Google business model. Ads shouldn't be annoying. They should be something that actually helps folks find what they're looking for. If ads show folks stuff that they're not looking for, then folks are perfectly morally right in shutting out those ads---screw the advertisers with their large bandwidth bills and starving families. I have no sympathy for corps that are intentionally trying to waste my time.

I've yet to see anyone complain about non-intrusive sometimes helpful ads (e.g. google adwords that show up when you search for something in google.com). Most ads aren't like that.

Hmm... an array of BioLites... & Tesla car... sticks & twigs propulsion!

We all like praise, but a hike in our pay is the best kind of ways.