skysight-inc/HackerNews huggingface dataset:
But I think the cool thing is that they did NOT do a clean sheet redesign, right? They ARE running legacy code (they didn't write a million lines of code -- just the kernel).

They are using OS processes and sandboxing to enforce the fact that the legacy code can ONLY communicate via message passing. (Is that actually a good assumption? You can break out of sandboxes) And then you can prove that the kernel that manages the IPC does not do stuff like leak certain types of messages between processes.

I'm a big fan of running legacy code in restricted processes and using that to enforce information flow and security properties. That is a LOT more realistic than clean sheet redesign where you try to write everything in a different programming language and/or prove properties about milions of lines of new code.

Although I'm wondering if they are proving stuff about the "easy" part. Isn't it implementation bugs like sandboxing Flash and Java that lead to holes in Chrome?

I need to look at the details more, but I will bet that if their browser had all the features Chrome had, then its architecture with restricted processes + proven kernel would NOT have prevented most Chrome security issues, e.g.:

http://blog.chromium.org/2012/05/tale-of-two-pwnies-part-1.h...

That is, these attacks aren't about message flow or corruption in the browser kernel.
Who grants basic rights? If they're God-given, perhaps they're immutable. Nature grants no rights, and is perfectly willing to stand by idle while we slaughter each other by the millions.

The alternative is that basic rights are agreed upon by the society, and as the society matures and evolves, why shouldn't its understanding of what basic rights are change?
Does anyone have any idea how much it costs a traditional newspaper to produce an article like this? They've listed 15 people in the "Credits" section at the bottom. Seems cost-prohibitive.

Written by Michael Sallah, Debbie Cenziper, Steven Rich /
Graphics by Ted Mellnik, Emily Chow, Laura Stanton /
Photos by Michael S. Williamson /
Editing by Jeff Leen, Steven Kress /
Research by Jennifer Jenkins /
Production by Chris George, Connor Jennings, Bronwen Latimer, Michelle Williams, Tim Wong

Edit: clarity
Ive.
i'm all for real ideas but the 7000th web food delivery service shouldn't get people that excited, especially not the most select group of entrepreneurs in the world.
I do not know this code but the diff, posted elsewhere in this thread, looks more than trivial to me. Such changes tend to have maintenance cost. If the original authors don't care about the functionality and aren't testing it, it's probably not worth keeping, as they may go through great pains to leave it in and still end up breaking it frequently.
I think someone made a patch which works with the original gnu coreutils

Oh here it is http://beatex.org/web/advancedcopy.html
Because link aggregators and blogspam will fill the gaping maw of content?
About as well as anything related to Common Lisp. It's abstract enough that some of the macro patterns are reusable in Clojure, but we don't often use them in Clojure.

Anybody that wants a deeper understanding of Lisp should read, but with the understanding that it's not a shake-n-bake recipe book.

The last time I wrote an anaphoric macro (let alone the scope-capturing one), the Clojure IRC channel had a heart-attack.
The environment in which Theranos operates is highly regulated, often to the benefit of entrenched/concentrated incumbent providers rather than consumers.

So throwing in a little reminder that a cheaper/faster/on-demand offering has a 'right-of-access' dimension may be useful, as a balance against any FUD/appeals-to-traditional-gatekeeper-authority, coming from other slower/higher-cost providers.

They do say the right is for "access to...", rather than for "free provision of...".
Synchronous data-flow programming is a functional style language made for programming embedded systems.
It follows the paradigm of clocked circuits, where variables are wires.

Check for example Lustre/Scade: http://www.esterel-technologies.com/
or its more recent successor Lucid synchrone:
http://www.di.ens.fr/~pouzet/lucid-synchrone/

The latter has explicit recursion which can be disabled when designing embedded systems.

Haskell libraries closely follow this paradigm with their functional reactive DSLs.
Recursion is actually useful to recursively define circuits with repeated patterns, e.g., the butterfly FFT.
NSA and GCHQ 'can spy on smartphones'
Someone has to use Googlebot though. Google is therefore liable for what it does. Just because a machine or a piece of software is the main actor does not mean there is no culpability.

Google is trying to index as much of the web as possible so that it can provide a better service, attract more customers, and make more money from its advertisements. Therefore, the use of a program that scans the web and accesses documents which Google does not have permission to view makes Google responsible for routinely and intentionaly breaking the law.

Also, that your tool cannot filter content particularly well does not mean you get a free pass. It means you were negligent.

...or at least that is one way to interpret the law. The law is bad. You can't just say it's illegal when its illegal. It should be as cut-and-dry as possible (e.g. killing someone is always illegal, even when it is an accident a la accidental manslaughter).
A cable plug that includes a strong tactile directional affordance? Oh no!
Local library business hours are terrible.
This is probably one of the least-important parts of the article. It was a generic example of a situation where you spend a long time trying to solve an error based on something relatively trivial. There is no reason to call him out on this portion of the post as it doesn't pertain to the point of the article, and just makes you look sort of dickish.
The diybio mailing list has many interesting discussions:
http://diybio.org/
I think you're a fucking liar, asshole.
You Can and Must Understand Synthetic Biology
The effect of losing Jobs is potentially borne out in two ways:

- Lack of attention to detail in all new products (software, hardware)

- High-level loss of strategy

The first effect is something that we could probably expect to see right away if the legends are true. It's debatable if Apple has lost their edge wrt to "shipping it when it's ready." (See: Maps) High-level loss of strategy, however, is not something that will really be knowable for a much longer time period. Apple's high-level strategy was probably set out for the next 10 years while Jobs was still around. Major disruptive technology or trends notwithstanding, I'd imagine Apple will follow the path he laid out.

The point is that any analysts pointing to Apple's lack of blockbuster product releases as being due to Jobs' untimely death are ridiculous, since it assumes the 5-10 year product roadmap they surely had evaporated when he died. (Nevermind the countless prototypes of future products they were probably working on with him.) If analysts want to obsess over the "Jobs is gone so Apple is doomed" narrative, they best focus on places where Apple is producing poorly-designed products that lack attention to detail. There's a dearth of these types of articles, they almost all focus on the "oh my God, Apple hasn't released any new product lines in the period since Jobs died, they must not be working on anything cool!" (The reason being most analysts don't know shit about what makes for good design and how to recognize it, and are not in a position to properly critique Apple's products beyond how their margins are shrinking and OMG SAMSUNG)

It's beyond stupid to assume there are not many internal projects at Apple going on, the big question is if when they ship, if they are worthy of the Apple brand. The truth is, we just don't know. If anything, the lull in the product release cycle we are experiencing may point to the fact that Apple is more than willing to continue to work on stuff until it's ready, which is a core attribute of what has made Apple successful.
Usually, each maths textbook defines the syntax used within at the start and then ‘rewrites’ all proofs in that particular syntax.

Since syntax – as opposed to the mathematical facts expressed thereby – is usually considered something not worth learning by heart, I doubt that you will find a book that collects proofs in their syntax of original publication and then explains that syntax.
I click on every link similar to this one, and I've started to see the same things over and over again. This article was refreshing and different. Thanks for sharing.
Aww yeah. Demos are on now.
i too came here to say "use a spell-checker".

because yes, you need to do that, and not just
expect that davedx did all of your work for you.

you still have a typo in the very first sentence!

and another closely follows, in the next paragraph.

i would also suggest you learn about em-dashes.

plus, aside from spelling, there is at least one
text error with a side-effect, and it is comical.

all of this detracts from the design point i think
was the purpose you had in mind with this exercise
-- the use of scrollmonitor.js to enhance the text.

as to that particular point, it seemed to me that
the switch back to a black-background occurred at
a point which was neither the best or most obvious,
namely the paragraph containing "day commonly does".

(which, by the way, is a phrase that sounds... odd;
indeed that whole sentence sounds rather clumsy, and
it's not the only one. but i'll give a pass on that,
since you've said that the piece isn't actually done.)

at any rate, i didn't even attempt to find the reason,
if there is one, why the shift didn't occur "correctly",
because the specifics of that could get very fuzzy fast,
but since it _is_ your point, you'll want to dig deep.

overall, though, i think that even despite these flaws,
you achieved the point you wanted, about scrollmonitor.

-bowerbird
I guessing the net energy return from fishing jellies is negative. If they were such an awesome source of energy, we wouldn't have the current problem (lots of things eat poisonous things).
> We believe access to accurate, affordable, real-time diagnostic information is a basic human right.

Your employer thinks likewise.
You didn't really address any of my points, and you continue to make rather dubious claims.

> We're breeding out genetic diversity.

There's nothing magical about having a genetically diverse crop. Most mutations that have accumulated are mildly deleterious, especially when our goal is to make varieties for agriculture. Maize is a good example; there may be much diversity that allowed wild teosintes to grow in Mexico that we've removed when we grow it in Wisconsin. This is just selection, and natural selection removes diversity too. So since all crops are the product of selection, and selection removes diversity, of course we're breeding out diversity — that's our goal. But again, there's nothing bad about this. Breeders maintain huge germplasms that are full of diversity, and they leverage these all the time.

For example, modern wheat was very susceptible to Ug99, a particularly nasty stem rust. Breeders found resistance gene Sr35 in their broad germplasm in Triticum monococcum, and used a transformation to insert it in hexaploid wheat. How does this leave us worse off? Now vast amounts of wheat that would have been low-yielding due to rust or worse has been solved by technology. We can still have bread and pizza with the desirable milling and taste traits because we inserted the single gene, rather than having to spend years and years backcrossing (meanwhile huge amounts of crops, and their inputs are lost).

Borlaug proved that technology can be used to feed people. But additionally no plant biologist would argue that breeding is the only technology that matters in feeding people. Everything from agricultural market efficiencies to post-harvest storage needs to be improved, and bettering technology is the best way.
Amusing, true. False, I don't think so.

P.S. I'm not separating the West and Christianity. Just pointing out that today, in my opinion, the countries of Scandinavia can be considered to be peaceful, prosperous, and (mostly) atheist.
Do you think you'd get away with photocopying and scanning a paper book?

For personal use? Absolutely.
Apple might finally be implementing the full iPod strategy (iPod with high price, new iPod types with lower price crowding out the low-end) for the iPhone and it signals the end of the company?!? This is just a working, historic strategy that is going to be repeated.
A Dearth of Investment in Young Workers
Before books were inexpensive and widely distributed, other means of communication fulfilled many of the functions of books. That is why I chose that example. If you believe that literacy is an eternal human right, substitute one of the other more economically dependent ones such as the right to a lawyer. I don't want my analogy to get in the way of my point for you.
What is the reasoning for putting this code in the video driver?

The "Theory of Operation" comment in the merged-then-reverted code is insightful. Apparently, the code is supposed to figure out which parts of windows are damaged, and then tell the windowing system to do something about it.

IMHO, windows are not a concept that should even exist in the video driver [1]. They should be entirely under control of the windowing system. Which means that figuring out which parts of windows are damaged is logic that should totally reside in the windowing system, having no parts in the video driver.

If this code must be in the driver because it needs to access private data/functionality that's not visible outside the driver, then an API to expose those driver internals to the windowing system would be a design that better separates those layers.

Reverting this commit seems like a sound technical decision to me. Assuming Intel's decision is politically motivated, and then getting outraged about it, seems counterproductive.

[1] Even if this concept has already leaked into the driver for X or other windowing systems, doesn't mean that questionable designs used in old code should be allowed in new code.
Here they're 10A - 9P M-Th, 10A - 6P FSa, and 12P - 5P Sunday.

Pretty respectable hours if you ask me.
The low-price iPhone is precisely targeted at markets whose price-structure is setup differently than the United States (read Asia). In the United States, carries subsidize the device price in exchange for a multi-year contract with the consumer. In many other countries, this isn't the model. Consumers buy the phone up-front. There is no subsidy. In order to sell a product in that market, and make your pricing attractive, it can't be a $600 device - it needs to be more-affordable. That's why they're releasing a less-expensive device, and it's no coincidence that it's happening around the time they're striking a deal with China's largest carrier.
Well I worked for a large phone company and at an evening event a few years ago a retired older guy > 85 commented that he joined at 14! as a telegraph boy and every morning they had to line up for inspection.
The (culture?) shift at Apple is very apparent. They no longer make premium prices that people would say is a ripoff (non-retina Macbooks). They make premium products that people would say are very, very much worth the money (retina Macbooks, Airs). The non-retina Macbook has been the same exact design for about 5 years with very minor upgrades; buying it is foolish compared to the things Apple considers its future (rMBP, MBA). Few (though not zero) non-Apple products can beat the Retina and Air on price, specs, and performance, but many can beat the non-retina on all those things.
Probably can take this to the next level and make a cool effect with javascript such as a noise effect.
Do you actually smoke weed ever? That's the wrongest thing I've ever heard. Smoke weed and now you can hear just how bad those shit earphones are, and just how much better the $500 earphones are.

I've done this experiment about 100 times with half a dozen people and the results are always the same. Weed makes shit headphones less tolerable, not more tolerable.
I have looked at the DIYBio groups on a number of occasions, and while they are fascinating it their own right, they aren't quite what I am interested in. DIYBio (as far as I can tell) is considerably more interested in DNA sequencing and genetics, whereas I am more interested in diagnostic tools for improving my quality and quantity of life.

An example of something I am interested in is: http://jenslabs.com/category/electronics/ketosis-detector/

but my more general question is: how can we do everything a standard blood panel does now, except do it extremely frequently (e.g. daily or hourly or even continuously) and noninvasively or as close as is feasible.

Of course, I know very little about the field, so this might all be the equivalent of "Hey guys, I know a little HTML and I was wondering if I could build a MMORPG..." posts on gamedev, but hey, gotta start somewhere. :D
I feel bad for the folks that designed the Rio, they must feel like the folks at GO Corp. when tablets are discussed.
Physicians/Doctors of Hacker News, Can you Help?
I am international fresh MD graduate. I am interested in getting a research position in the US. I am willing to pay $5000 or more for anybody that can help connect me with a physician willing to take a research post-doc fellow.
What are some ideas to get connected in the health-field if you are not connected?
I saw a talk recently called 'everything is a remix' which said that every idea is formed in some part by something that's been done before

http://everythingisaremix.info/watch-the-series/
Have you had those MP3s on the same disk since the 90s? That would be the only practical way that bits would flip.
There's a way to objectively measure subjective pain. At least, these guys[1] claimed to have done it, and i've been told by someone who examined them as part of investment due-diligence, that it actually works (better than the cartoon face scale, anyway)

[1] http://www.medasense.com/
Yes, I'm not sure about the types of tests that are done but if there are some that you could run periodically to compare numbers, it might prove useful to monitor how one's body changes over time.
The "producers" are likely just management and several of the rest may in fact be unpaid interns trying to break into the industry.

But researched articles like this are expensive to produce. That's why PR firms are so successful. Reporters need others to find and research stories for them.
Yes, but to know "why" (I'd much rather say "how") current drugs work you don't need to know "why" people get certain illnesses - that's my issue with the article.

Their logic is: low serotonin levels aren't the cause of depression - so raising serotonin levels will not eliminate the cause of depression - so doing that isn't useful. That's a naive (and wrong) logic. Your heart going into fibrillation is not the cause of your heart problems, but treating the fibrillation can save your life - whatever the "cause" of that fibrillation.
Machine Learning Notes - Locally Weighted Regression
What rights do you think have changed?
How Instagram CEO Kevin Systrom Is Making Good On Facebook's Billion-Dollar
My local library has a lot of books available that I can just download and read on my Kindle.

Don't want to pay $9 for a kindle book you will read once, get it from the library in 5 minutes for free. All you need is a library card.
Why Bitcoin in Your Retirement Portfolio is Good for You and Bad for Bitcoin
I said DAC's+Power+Design = "audio quality" and I have no idea how good or bad the ipod sounds. My point was that saying all digital devices sound exactly the same is false.
View your co-founder as your first, permanent hire. A way to manage the risk of getting it wrong is to start by working with the person as a consultant. Then move to part-time and finally to a partner. If you cannot work together, its better to part ways when the person is a consultant than when they are a partner.

Communicate and document (in writing) your expectations clearly. You should also ask the other person for their expectations, and listen carefully. This is marriage, not dating, so you really should be clear about what you're looking for in a long term partner.

Define roles and responsibilities, expectations, growth goals, work styles, etc.
Its a tiny, tiny overlap. Check this out for twitter demographics:

http://socialmediatoday.com/index.php?q=SMC/78505
Well with a name like "Schumpeter" you can tell he's pining for the ultra structured German style where the end game is to get an office with a brass plate with Her Doktor on it.
It's not perfect, but there are now regulations in some areas around ballast water [1].

http://www.epa.gov/glnpo/invasive/
Apparently he owned this 197k property? Why didn't he borrow money against it or sell it?
Did somebody really just take the house, sell it for say 197k to pay his 134 dollar bill?
Sounds weird if this is possible. Probably he didn't own his house (even though it is stated in the article that he had bought it with cash earlier), I don't know why they could else foreclose on it.
I mean creditors don't have the right to your property if you just owe them money (it may be possible for them to force you to sell your property to pay off debts, but you get to keep the money left over)?
I've always wanted to create something like this as a video editing effect plugin. Very cool.
That expression peaked a few years ago:

http://www.google.com/trends/explore#q=just%20sayin&cmpt=q
The interesting thing about Apple is that they seem to be more revenue from providing music and apps these days than they used to. Maybe they are looking to change their position from a hardware company that also sells other shit to an other shit company that also sells hardware?

You know, in the same way that IBM shifted from being an hardware company that did bits of consulting to a consulting company that also sells hardware.

Or perhaps the author is reading way too much into a commoditization of a product line that is getting a bit long in the tooth?
> Math is a non-standard non-machine-executable programming language which means it's inherently buggy.

I don't understand what you mean by non-standard. I can't think of any language more standard than mathematics.

Mathematical theorems are formally proven. That is a higher form of knowledge than empirical validation (running programs against tests). Another case of empirical validation is scientific experimentation. It validates theories by increasing our assessment of their plausibility, but never up to 100%. Mathematical proofs are the only completely objective form of knowledge. Automatic theorem provers do exist and are employed by mathematicians, but they are inherently limited, as proven by Gödel's undecidability theorems.