skysight-inc/HackerNews huggingface dataset:
So I suppose this is related to Project Shield then: https://news.ycombinator.com/item?id=6586812

And Arbor Net is one of the 'trusted' partners
But keep in mind they are using it, since the insurance reduces the risk they'll be saddled with high medical bills (or more likely that they'll saddle others with those bills). They are healthier, but can still have an accident of course.
I am thinking more and more about moving back to a text-only interface - previously I was very happy with mutt, tin, lynx (and links and w3m), centericq, etc, but only bash and vim stuck with me.

Yet with the advent of unicode, there are fewer needs for a graphical interface - stay for a weather app. A clutter-free desktop consisting of mostly bash, along with gnu screen (or the likes) and ssh (or the likes) to remotely connect to home, now that would be efficient!

Even better - a few weeks ago, I found out that for math stuff, stata on OSX can be used with a command-line.

[PS: As usual Frederic, totally awesome :-)]
And Firefox's too, odd but this small bit of UI inconsistency is often enough for me to not look further at an app; simply doesn't bode well.
its simple, but not that simple... As you advance through later levels you are prompted with AND and OR operations.
One has to wonder whether it will turn out like the On-to-Ottawa Trek:

> The On-to-Ottawa Trek was a long journey where thousands of unemployed men protesting the dismal conditions in federal relief camps scattered in remote areas across Western Canada.

They didn't make it to Ottawa, as a matter of fact at half-way they were ambushed by the RCMP. The justification for it is as such:

> The Federal Minister of Justice Hugh Guthrie made the false statement in the House of Commons on July 2 that "shots were fired by the strikers and the fire was replied to with shots from the city police." During the long trials that followed, no evidence was ever produced to show that strikers fired shots during the riot. For his part, Bennett characterized the On-to-Ottawa Trek as "not a mere uprising against law and order but a definite revolutionary effort on the part of a group of men to usurp authority and destroy government."

Granted, this was in 1935 and the Red Scare hadn't yet been in full-swing, however the Communist Party of Canada was involved.

The political fall-out is particularly notable:

> The events helped to discredit Bennett's Conservative government, and in the 1935 federal election, his party went from holding 134 seats to just 69. It also increased the notoriety of the Communist Party of Canada, which was behind the organization of the Trek. After the Trek, the government provided free transportation as a peace sign back to the west. The camp was soon dismantled and replaced by seasonal relief camps run by the provinces and that paid the men slightly more for their labour than the earlier camps. Although the Trek did not reach Ottawa, its reverberations certainly did. Several demands of the Trekkers were eventually met, and the public support that galvanized behind the Trek set the tone for the social and welfare provisions of the postwar era.

Source: http://en.wikipedia.org/wiki/On-to-Ottawa_Trek
> They’re also relocating the company to Los Angeles because Rhinehart said the costs of operating in San Francisco were too high to have an office and manufacturing facilities.

Random snippet, but glad to hear this. It's exciting to watch to LA startup scene grow and thrive.
A European Perspective on Overseas Expansion
HPAnywhere: yet another vendor specific PhoneGap + Angular
I couldn't even get a chest ultrasound when I was a kid.

Medical equipment looks way too scary to children. It's all cold, white, sterile, and aluminum machinery. The smell of latex and alcohol don't help, and overall, the hospital seems like a very scary place. Heart monitors beeping every minute, weird blipped lines on EKG machines, and electrodes attached to your chest: is this a healing center or a torture prison?

Sedation is the problem with healthcare exemplified. Instead of creating a hospitable (no pun intended) pediatric environment that's comfortable for kids, knock 'em out and bombard them with EM radiation. That's sure to make the kid and the parents more comfortable.

Hospitals need to be designed with a human factor. The way they're designed right now makes them seem like robotics factories.

Huge props to Doug for trying to change the medical landscape to make it more comfortable for younger children. I was hospitalized several times as a young child, and I used to be terrified every single time. I know I would have appreciated this level of attention to design. I know many other children who need medical attention will too.
Reactive Golf or Iteratees and all that stuff in practice
copying isn't the same as stealing.
Academia struggled with this problem for a number of years. When I started in 1999 it was typical to toss 50% or more of data from kindergarteners. Then around 2002-2005 I saw a few independent groups take this tact. Some gave stories to kids (e.g., about a spaceship or giant camera). Another group used head-mounted motion tracking to train children to lay still while watching movies.

I don't know from this story when Doug had his epiphany. But by 2005 it was becoming increasingly common to skin the MRI and even whole rooms. It became clear that you could get better results with a friendlier room and machine. But the bigger difference was an explicit training session. Kids are seldom told to lay absolutely still and for no apparent reason. The challenge was understanding that as the problem to be overcome. The design helped wrap the experience and the memory.
i did not even realize there was a fight. MS has real potential under different leadership - most of their products are currently horrible.
But sleep paralysis is terrifying.
Concrete:

C didn't have "in a language standard" IEEE support for a while, but it had in practice. C99 had it standardized, and it's not "just libraries." If you make a serious language, at least that's what you shouldn't ignore.

http://en.wikipedia.org/wiki/C99 (IEEE 754 floating point support)

Still the practice is even more important than the standardization. In the compilers I used I actually had to do "bit-tricks" to do some parts of manipulations of doubles and floats. Last times I've checked, even initializing values to the desired values was something where you actually "danced" around the standard. It works and it's needed, even if you won't find it in the standards. For an example of what people actually have to use and C "allows" see:

http://en.wikipedia.org/wiki/Fast_inverse_square_root

If you make a language that is "nice theoretically" but doesn't allow you to use the hardware, it will remain just "nice theoretically."

Edit: regarding "just use doubles:" it's about the engineering trade-off: for a lot of uses you want to read from and store to floats but do all the calculations in doubles. Only the calculations which are specifically designed to use floats as partial results should be done with floats. The language should be easy to accommodate this assumption. Computation has simply different logic than "classes" and "theoretical types."
One more step toward Google creating a complete and comprehensive end to end solution
$65/week seems like a remarkable amount of money for this. I have a wife, and a kid, so that's $10K a year to go full Soylent. (I'm not really planning on this, of course, but that's the idea, right?)
He was talking about one $2k laptop. Once you buy one windows version of that, knowing that the software installed on it can support other laptop is not going to make you less sad about your short battery life...
I assume that _religious_ loyalty isn't tied into the US pledge of allegiance as such; it has some religious undertones, but I doubt many people making it would feel it impinges on their beliefs.
Pretty rarely, at least in Python. I don't miss MultiSet, because Python has that (collections.Counter). Ditto LinkedHashMap (collections.OrderedDict). Those are the two "extended" collections that I most often use. I do miss the absence of balanced binary trees occasionally, since sometimes it's useful to have an associative container with a defined iteration order, but sorted(dict) is usually good enough where performance is critical. And Python's heapq module is a bit harder to use than Java's PriorityQueues, but all the functionality is there.

I think I'd miss these a bit more in Go because the built-in datatypes are privileges in some of the language statements, but I haven't written enough Go code to really feel their absence.
Anyone in England know of a good place to source ingredients?
Sheep vs. worlf
Which provides GOOGLE with even more connected data points about a user when he/she is surfing the net.
> If your intention is to create reusable components [...]

This isn't like Bootstrap, mind you. It's a set of building blocks for one particular website.

> Also, there's the obvious anti-pattern of using # as the href, instead of an actual URL.

It's about the structure of the markup. "#" is used as no-op href for dummy links. "data:," is used as no-op src for dummy images.
Exactly. Each of the markers are worrisome today.
Nothing of this complexity is bug free, but the fact and the points is that some of the most reliable software everybody uses every day -- OS kernels, DBMS, etc. -- are not just multithreaded, but heavily multithreaded.
How will they compete with a large food company?

There's clearly some market for this. The food giants haven't yet entered because it's risky, and the supply chains for the ingredients still being developed. As soon as Soylent is successfully shipping safe product, however, the big companies will jump in and crush Soylent Corp with their lower pricing and higher profit margins due to their scale of production.
The art of the tease: 10 years of Apple event invites
Regarding point (1), it starts to matter when autovectorization kicks in. If this expression is in a loop and the compiler can autovectorize (which rustc does, if you have a new enough version), you really want to be able to pack more values into a SIMD register if you can. (This is one point in which this paper is out of date…)

As for point (2), well, I think that making the size of "tmp" f64 would interact badly with other features like operator overloading and generics, since you're playing fast and loose with types.

Gory details (warning, type theory ahead): "+" is implemented by a trait, Add(RHS,Result) where RHS and Result are concrete types and there is a functional dependency so that Self + RHS → Result. This fundep is necessary because otherwise "let tmp: b + c" wouldn't work, as the compiler doesn't know what the type of "tmp" is (is it f32 or f64? It won't guess.) So you can't simultaneously implement f32 : Add(f32,f32) and f32 : Add(f32,f64). We'd have to introduce a lot more experimental type machinery to make this work (a "floating point functional dependency", I guess?) and I'm not sure there wouldn't be fallout (for example, I can foresee issues with higher-kinded type parameters).
Though one would assume one would provoke a riot if Soylent was being served in preference to 'real' food.
I had to use an underscore for a space in my city name in the config file. It would be nice if it linked to the list of city names available. But I think the program is pretty awesome!
I don't see how it solves a bigger problem: no use cases. Paypal started out trying to make it easier for people to give each other money. That foundered, so they pivoted into a commercial payment tool. It's like Square is reenacting the Paypal timeline backwards.
Is too! If he doesn't know, he's guessing.

I can easily think of a myriad of SW explanations why Windows devices might have worse battery performance than Macs on similar HW that are not "polling": too long of a boot sequence, too many running processes, inefficiencies in the OS kernel in scheduling, memory management or caching, quality of ARM port, bugs in device drivers, bugs in the web browser, bugs in other applications etc. etc.
How can I help convince you?

- I hope you agree that, until you breach the circle of safety, it does not matter what the strategy, as you have control to adjust relative positions to anywhere? So, it's all about how to get from the edge of the circle of safety to the shore.

- I hope you can agree that the path from the circle of safety to the shore is a straight one? After all, if you elected for a curved path you would be wasting time. (Any curved path you took between point A and B is inefficient as it would be longer than the straight line connecting the two points. If it is longer, it would take more time. This is bad!)

- So now, we know we need to connect a line from the circle to the shore. We are starting with the monster as far away from us as possible, and we then select where we draw the line.

- In the article I show that the line can be anywhere in a 90 degree sector (it's pretty obvious that outside of these 90 degrees is not too).

- With these constraints, I use trigonometry and calculus to find the maximum.

I'll be happy to re-clarify things in more detail if you let me know which of these arguments is "a little too wavy".
They could tell/encourage all the agencies to follow one schema/API
Love the simplicity of the design
Yeah, how about fighting for users' privacy rights and spark an inevitable years-long court battle all the way to the Supreme Court and not taking NSA's bullshit? They have the funds to do so. They're possibly the only company that could stand up to the government in addition to banging enough pots and pans simply by putting up something on their homepage to alert users as to what they're fighting for.

But they won't. Continued and uninterrupted profits are too important.
It's understandable, and it's something that Reflets.info editors acknoledge: use of memes (lolcats for instance) does not look "pro", and there are opinion and rant posts along with very profound and detailed in-depth investigation articles.

You know, don't judge a blog by its cover ;-).
Doctors play video games to warm up for surgery
Even that might be controversial http://en.wikipedia.org/wiki/British_Isles_naming_dispute
http://startupnotes.org/#page/18 above the book
Slim-fast and the like already get people doing that - Slimfast for breakfast and lunch, eat a regular dinner.

And yes, they come in alternate flavours.
I don't know, I wouldn't expect that tbh but I am used to C. I also don't see why I should need it, I am not going to compare non-zero floating point numbers anyway but I would take better accuracy in long computations any day.
I think there is value in following the standard (what people doing floating point computations are used to) and you need very good reason to deviate from it. You state that performance gains will be negligible if any in your domain but you could potentially cause a lot of headache in other domains. I don't think elegance/simplicity/negligible performance gains (if you are right about it at all) is enough of a reason to deviate from standard behavior.
Apple bends over backwards to make customers happy. Is it a waste of time and $?
At the end of the day one of Yahoo's primary strenghts is being a curator of information and bringing in Pogue in my opinion will improve this core competency or atleast make it seem like it does.
Well for a start they could stop using your immutable SSN as both your username and password.

That's like your gmail password being your address, oh and by the way you can never change it.
I think I may know why they are sticking with the self-built version: random key selection. The built-in hash map doesn't include a method to discover a random key, but the gnatsd hashmap does.
Emotional Agility
Wikipedia editors, locked in battle with PR firm, delete 250 accounts
Sometimes a thing can be a bad idea without being illegal or even strictly speaking immoral.
That might get them in the MR machine, but wait until tomorrow when they're in the CT lab. :)
How well does it keep?
Ask HN: Exploring math without a teacher?
The ability to understand the beauty of math requires rigorous study. However, most people do not have access to the kind of training pure math requires.

Many of my friends easily get interested in the subject when they are shown beautiful proofs and constructs, but I am at loss when they ask for resources to learn more, since we had never used books in our studies. During class, the teacher would show the art of math by proving theorems and building constructs together with the students using only the whiteboard.

I am looking for books or online courses on that are suitable for beginners (while still formal and not dumbed down) and emphasize the beauty and love for math, on the following subjects:

* Intro to sets, mappings, boolean logic, predicate theory

* Number theory

* Rings, fields, groups, vector spaces, Galois theory, etc

* Set theory, measure theory, functional analysis

* Combinatorics, graph theory

* Language theory, lambda calculus

* Other subjects that are not in this list

Books rigorously building the field entirely from ground up (axioms) with detailed looks at all the important proofs with multiple versions and highlighting relations to other fields would be best. It is good if the book has exercises in the form of main story lemmas and side story / related proofs.

Please share your favorite pure math works below.
Counter-terrorism Urbanism
What's the rationale for breaking UK out from the rest? Population? Size? France and Germany are both larger.
Ack! I love this, so lightweight. I don't mean to do a pony request here, but can anyone think of an easy way to get this into a garden-variety windows 7 desktop, like through a rainmeter script or news ticker?
Yes, for that stuff I totally agree that we should do it right. It isn't very well defined at the moment on Rust, as we mostly delegate to what LLVM does; when we do spec it, we should make sure to spec it correctly. (Note that delegating to what LLVM does helps us here, as they have to implement C99 correctly and we can piggyback on that.)
$65/week for 3 meals a day, 21 meals a week?

You're down to $3 a meal. Unless you're eating fast food or nothing but pasta... good luck finding another way to get to $3/meal.

[edit- Important clarification: I'm talking about a nutritionally complete, paleo-ish diet of healthy foods (which is what this is targeting to replace).

Of course you can eat for less than $3/meal, but you start to include less healthy things like chips, breads, pastas, etc. This is not the meal Soylent is intended to replace.]
I'm not talking Banksy's secrecy. I'm talking about the effect of provoking authorities and having their condemnation generate publicity that provides more incentive for Banksy.
> The food giants haven't yet entered

Every single time Soylent is mentioned the other companies selling the same, or better, gloop are mentioned.

Here's Nutricia (https://www.nutricia.co.uk/fortisip//)

Here's Abbott Nutrition (http://abbottnutrition.com/brands/abbott-brands)

Here's the consumer site for Ensure (http://ensure.com/)

These are, despite what some people say, complete foods that can be used to replace all food you eat.
Very nice. A post about the technical details of how this was created would be really appreciated.
Totally legal.

You just won't get paid for it.
Branding. Though I'd be a little surprised if they don't ultimately get sued over the Soylent name. They'd be smarter to change it now before they have mass recognition and it gets a lot costlier to do so.

They can compete too on "nutrition". Talk about how the big corps cut corners (which they will) and how that reduces the utility of their finely tuned formula.

Doesn't have to make sense, just has to sound plausible.
Thanks. I can see the logic.

OTOH, doesn't this require perfect efficiency and for all bidders to know perfectly their ROI, etc.? Any holes, unintentionally irrational behavior, etc. and the fraud "leaks" into the price, right?

So, for instance, any "unprofitable" advertising on behalf of any participants would seem to automatically cause the fraud to be reflected in the price.

Based on personal experience, I would guess that there's a pretty long tail of advertisers who never realize an ROI while spending a considerable sum seeking it!

Even those that eventually profit likely spend a good bit of money ramping up, all the while paying for fraud in the process and helping to support a fraud-inflated CPC overall.
I'd be worried about that too. First-mover has some advantages, but look at what has happened with Greek yogurt. I'm sure the Chobani people are doing well, but they weren't exclusive for long. Even worse outcome is Powerbar - their name is essentially genericized, but they got beat by everybody and their brother.
Because debt that can't be discharged doesn't count!
The basic concept is already used in prisons, although not in the general population: http://en.wikipedia.org/wiki/Nutraloaf
If this doesn't take off with mass public adoption, I bet there's a great application here for people who are traveling and can't afford to bring a full kitchen with them (multi-day hikes, soldiers, road trips, etc).
I don't think I've run into an installer that doesn't properly elevate since 2005... Most just shove things into .pkg with PackageMaker and everything's correct
> I don't think elegance/simplicity (if you are right about it at all) is enough of a reason to deviate from standard behavior.

The elegance and simplicity in this case are what are needed to make generics work. (See my other response for the gory details.)
I learned I can even do hexadecimal under pressure, with no warning!
I would buy this as a little hand book. That'd be awesome.
I've been getting MRIs every four months for 9 years now. (I had a very rare type of cancer.) My admittedly anecdotal experience is that most places seem to be getting worse at administering them. I suspect they are being prescribed for diagnosis much more, and the techs are somewhat harried by the stricter schedules. GE's Adventure Series is certainly a good idea, but I think it's easy to forget how important it is for the techs to administer them well, and how an overworked problem may exist for them.

As for the noise (that other people were flippantly dismissing), it really can be jarring. Cover your ears with your hands, with your fingers pointed towards the back of your head at about at 45 degree upward angle. Then, repeatedly bang your head with your middle fingers while your ears are still covered. That's roughly the a quieter version of one of the more unsettling sounds.

I'm quite used to it -- to the point that I always ask the tech to tape my head in case I fall asleep and move -- but still. That sound is not just the rhythm backing a techno song; it's the sound of parts swirling around you with massive energy.

It maybe safe, but so are roller coasters. Yet, while you go on a roller coaster looking for a thrill, you enter an MRI machine with the very real fear that something could be very wrong with you. That's not going to make for a pleasant experience. And, it's not surprising that that underlying fear might be projected elsewhere.
If they make Soylent In A Can, you can have my entire yearly grocery/restaurant budget.
Thanks for the feedback - we will be fixing this shortly
The chopping, prep, cooking part and eating I enjoy. It's the work involved in buying ingredients, bringing them to my home, as well as cleaning up the kitchen and doing dishes (even with a dishwasher!) afterwards that are the real inconvenience. Selecting which ingredients to buy and what dish to prepare also take up a lot of mental bandwidth. I don't like ordering/eating out excessively because it's too expensive, often unhygienic, with poor quality ingredients. I grew up on high-quality home cooked meals so I'm simply not used to it.
Can anybody elaborates on Mark Zuckerberg's note "That stupid movie..."? :)
"Ubuntu" packages? The .deb format is a format used by all Debian-based GNU/Linux distributions.