skysight-inc/HackerNews huggingface dataset:
> See, I don't get this. Europe is acting as if it had a duty to protect its people from the bad companies that steal your privacy while you sleep, whereas in reality nothing happens if you don't explicitly give consent first.

Well, that is one of the main jobs of a government in the first place. Companies will always try to exploit you as much as they're allowed to, and governments have the responsibility to make sure they aren't allowed to do that too much. European governments are doing their jobs.
We have on record examples of former US Presidents who solved their differences with duels: http://www.history.com/this-day-in-history/andrew-jackson-ki...
It seems like Heroku's business model is to make it easy for startups to build on their platform and then bleed them dry of all their investment money.
Cost of getting one dedicated devops engineer would surpass Heroku budget by 10X. If devops engineer is far fetched as per scale of the company than count in number of hours put in by developers for initial up, upgrade, new emlpoyee on boarding tada tada would easily bet it too.

However I wish they would have disclosed traffic handled by Heroku servers as well.
Yeah, fair enough. It's not bad - I had to think about my objection to it and it's probably largely unfounded.
> Security wouldn't be possible without this. You can also think of cgroups/lxc/docker as a direct extension of this.

I maybe didn't express myself clearly enough. The unix user system wasn't designed for the program isolation it is used for today, but for multi-user systems.
The security model was to protect the system from users and users from each other.

Cgroups are certainly a move into the correct direction, because it's based on the assumption that programs are evil (either by design, or because they get exploited).
When you correctly sandbox programs you won't need to run them as a different user anymore.
beauty of SDN :)
> How useful is it to know about C-style memory management when you're a front-end JavaScript Developer?

Try making your own particle engine and a simple game running at 60fps. I guess "avoiding GC" is only a very small subset of memory management, but if you're a noob like me, it surely will open your eyes about some things you would never have guessed could cause problems.
The first NYC ones certainly used bedrock. But floating raft system was invented in Chicago in 1882. So I wouldn't say recent.
To be livable, a city needs a balance between 3 things:

- Business (commercial real estate)
- Housing
- Transportation (streets, busses, trains, flying cars)

The first 2 are easy, since they're very profitable to the city and developers. But taxpayers don't want to pay for transportation, and commuters are willing to tolerate horrible traffic and the resulting poor quality of life.

Does San Francisco have a good balance now? What if we doubled business and housing?
Not to mention standing Vice President Burr, who killed Alexander Hamilton in a duel.

https://en.m.wikipedia.org/wiki/Burr–Hamilton_duel
PG's HN Submissions
A graph database and REPL that speaks plain English
Hi all, I'm the author of this contributed post. TechCrunch wouldn't let us mention our own company, but we've been putting these concepts into practice at Bloc for the last four years if anyone has questions or comments.
How much simpler would OSes and security be if we threw away multiple users (and groups)?

I think we don't really need them. We only need 3 operating "modes" in 90% of the cases: normal, administrator, guest. And after that various per-application permissions a la Android or iOS.

We don't need multi-users systems.
A more accurate comparison would be "creating software" which is all design, and "the process by which the production line is spec'd, planned, designed and created"

Executing a program is analogous to running the production line.

It's intellectually dishonest to compare design with production.
So are there just bunch of well made German apps that are doing well or why do you think it's not spread to other countries?
>it’s not just that we have a shortage of free time; it’s also that our free time, in order to be satisfying, often must align with that of our friends and loved ones. We face a problem, in other words, of coordination.

Isn't it obvious that if we all get more free time, it will align with others much more easily? So, it's not that "you don't need more free time", it's "you all need more free time".
Well, this is the whole point - how driver knows which memory is freed and how driver runs a shader by itself?
Bald's Leechbook Now Online – 10th century Anglo-Saxon medical recipe compendium
@disruption @threat

The economist really likes to paint everything as a gloomy picture.

The way I see it - the modern internal combustion engine is a threat to civilization.

Car Makers especially americans ones have a lot of blood on their hand. Everything from helping redesign cities to make it impossible to not afford buying their product.

To making walking a crime ( jay walking ).

"Young city-dwellers are turning their backs on owning a costly asset that sits largely unused and loses value the moment it is first driven."

Good - we really cannot have 7 billion people drive cars.
Why Early Wins Matter
Aren't Nexus devices getting their updates from Google? I haven't really paid attention since I was using stuff like CyanogenMod until I switched to iOS
But in SF, there's a transit-impact fee commercial and residential real estate developers have to pay. Between that, the market-rate property tax they'll be paying, all the taxes the people inside the building will pay, and their transit fares, new construction is great for transit. Unless there are too many new parking spaces, of course.
I've seen posts by "X.Org Foundation" on their official Google+ page to the effect that Wayland is the display server of the future and efforts should be focused to target it.
>It seems obvious why working people cherish the weekend: It’s a respite from work. But why is the weekend also so important to the unemployed? The key to answering this question is to recognize that not all time is equal. Time is, in many ways, what sociologists call a “network good.”

Maybe, besides the "network good" thing, it's also the fact that the workdays painfully remind the unemployed that they are unemployed?
I think the author misses the point of their own story, this isn't an software vs regular engineer thing, this is a problems with monotonous static jobs.

His friends job is to fit one small body panel on the chassis, over and over again.
So when he gets one that doesn't fit his instinct is to make it fit as opposed to asking why it doesn't. His job isn't questions, his job is to fit it on.

When he was working in his own body shop this hacker wouldn't have stood for his tools putting out misprints and mistakes, but then his job was managing the whole shop.

Static monotony gets static monotonous thinking.
What large boardwalks are you referring to? If you mean sidewalks, they're much wider in Paris. That's why their sidewalk cafes are so much more charming than ours.
Exactly! And just because free time is better when there are others around doesn't mean that extra days off aren't helpful. I'm a contractor and I regularly have a week or two off between jobs. Sure the weekend is still better than a Tuesday without work but I can take time on that Tuesday to go to a movie or a museum on my own and it feels great.

And another thing the study fails to account for is that unemployed people are less likely to enjoy their days off than employed people. Being unemployed and seeking a job is stressful, many unemployed people are concerned about how long it will take to find a new job or what kind of stress is being put on their finances. If you have stable work and get Wednesday off you can go to the spa and spend some time in the sauna to relax. If you are unemployed you are probably being frugal and know it's not wise to spend money that you may need later to pay your rent.

This article is narrow sighted rubbish trying to twist the author's research to have greater impact.
This is why open protocols, if not open source, is so important for growing a culture.
I am currently working as independent contractor for a telecom related project and I am interesting in your idea.
Can you give more details of the projects and technologies your customers will need help?
So, any experience reports?

I can recommend https://www.imperialviolet.org/2014/09/07/provers.html.

Personally, I tried to prove that a fairly simple program I had written a few years prior was free of undefined behavior. Frama-C was tantalizingly capable - it was easy to tell Frama-C what I wanted to prove, and it managed to propagate possible values and control flow through the program pretty accurately, even with minimal assistance. Although I disliked the absence of a usable text-mode integration (vim?), the GUI presented the results clearly. The Frama-C manuals were extensive, mostly up-to-date, and managed to explain even complicated concepts in a pretty clear way. (Fair warning: although I have zero background in formal methods, I have quite a lot of mathematical training and like language lawyering.)

Unfortunately, Frama-C did not grok malloc() at the time. My program consisted of I/O into malloc()'ed buffers plus some processing. Teaching Frama-C about malloc() was clearly beyond my skill. Worse, I really wanted to prove that my program output was some suitably processed form of its input data, and I didn't look forward to trying to model read()/write() - so I stopped the experiment, and planned to revisit Frama-C in a couple years.

Actual experts can apparently get much better results: Frama-C was used to prove that chunks of PolarSSL were free of certain undefined behavior (http://blog.regehr.org/archives/1261, or the actual report at http://trust-in-soft.com/polarSSL_demo.pdf). This is a limited result: huge chunks of code are out-of-bounds. Also, "PolarSSL is memory-safe" is very far from "PolarSSL is a secure SSL library". Still, I'm impressed.

I did not see a good way to integrate Frama-C in our development process. From reading and talking to some people, I am left with the distinct impression that keeping proofs up-to-date in living software is not a solved problem. Frama-C does allow you to annotate code with assertions (which, I expect, can act as hints to the provers). However, the workflow still seems to be oriented around Frama-C's interactive mode, which is very powerful but doesn't yield artifacts that can easily be reused. Also, mastering Frama-C is hard - it's not something that you can just expect a software developer to pick up.

(In contrast, the Coverity static analysis tool uses unsound analysis and can't guarantee anything. However, colleagues report that it does a decent job at finding some bugs with a low false-positive rate, especially after you add a few annotations. Coverity offers ongoing scans to open-source projects; unfortunately, Coverity's scan servers appear to be backlogged at the moment. "Not a need-to-have, but something we could consider buying.")
It says they are spending $74.40/month on Heroku workers.
I've told that before, but I'll say it once more. Some people are badly calibrated. Two drinks don't make us drunk, they make us normal. I'm not incapacitated, not foolish, not violent, just in tune with the others. Alcohol is the bit of jitter that make the system not corner itself.
All the commuter trains in the NY area serve over 30 miles out. NJ Transit and Metro North also serve is several directions into NJ, New York, and CT. No one claimed that they didn't.
My math, as a driver with 1k+ rides, says otherwise. I average roughly $5-6/hr after taxes and expenses.
Would you ever run a competition where the first prize monetary value is less than the second prize? What kind of incentive would it give the participants? It is not always the absolute value that matters but the relative value of the rewards.
I had a comment down voted because I pointed out that the tile of the post didn't match the title of the article at the url. The title on HN was changed to make the link more inflammatory (negative) towards the subject of the article. HN needs meta moderation.
Sure, but you don't necessarily need a hierarchical order.

Of course the whole desktop computer is a metaphor of the desk and the first commercially successful graphical interfaces resemble a desk.

And GUIs are what most people use most of the time, even most devs tend to start their terminal from the desktop in a window, which appears a bit like paper, laying on the desk.

It's interesting that only few graphical operating environments break with this convention. It seems there hasn't been much conceptual innovation in the space of "desktop computing". Even the tablet seems to represent either a piece laying on the table or the table itself, depending on the size.

It should be more efficient to design systems based on the available digital infrastructure, instead of designing them based on partially obsolete office table infrastructure.
Airlines then, as now, choose may of the details of the interior, including colors, finishes, seat layout, and seat types. The options you're discussing were for the flight deck only.
I've been working from home for about 8 years now as well, as a director of an agency, as a freelance consultant, and as a startup co-founder. Until I put into place some structure around my work hours, I was less productive and enjoyed my life less. Your final sentence seems to ask for more "enlightened" views on an unstructured work environment, but you seem to be displeased with yours; am I reading that correctly?
There's more to it. I have blood/c.v problems, I feel when blood flow is constricted, and when it happen I'm not woozy, I'm crippled. Like a piece of dead wood.
I wrote a JavaScript-to-C compiler: https://github.com/jdudek/tatende-js. It supports a limited subset of the language—just enough to compile itself.

It was my university project. It’s not really useful, but it was extremely fun to work on.
The problem is that unlike with "regular" engineering, there are mathematical theorems that basically say that writing bug-free code is somewhere between prohibitively expensive and impossible. The cost of proving a non-trivial program property has a proven lower bound of O(S) where S is the number of states the program may take; alternatively, we say that proving correctness is at least PSPACE-complete (if not EXPTIME) in the size of the program. Not saying we can't do our best and use various tools, but this cost cannot -- in general -- be reduced to anything acceptable, and therefore we will never be shocked when a bug does occur.

It is easier to achieve string AI than to write bug-free code, and even that won't help: a super-intelligence will still have bugs in the code it writes.
I paid 200 a night for the 30th and 31st (so new years eve premium) at Hotel Zelos and then 115/night for Parc 55 for the 1st-6th for a conference.

Did I get lucky? My wife's hotel stipend was 280 a night, which suggests, I probably did.
A sophisticated crowdfunding-based service for a particular niche.
Those are really just honor disputes between rich kids, old kids but still kids. It's not like a court is going to dismiss a defamation action on the basis that it had already been settled during a previous duel, or award money to the winner.

I don;t use the term 'rich' lightly. Worldwide, dualing has been a game for the wealthy. You had to have the right to carry the weapon, usually a sword. Lower classes were generally not allowed to duel.
Software is created once. If it runs on more than one computer, it's just copies of the actual result of that one time creation. If it's improved with new features, then that's a new unit, itself created once. The effort goes into the creation of the one thing, not the copies. Version 1.1 is not version 1.2.

This observation is often used to point out that "software is different" from cars and other hardware. Cars and hardware have lots of chances for defects, but software copies are essentially perfect. Assembly line products are not copies like a package or disk is a copy; each finished unit has lots of effort in it.

But if you still want to use the hardware example, find what the equivalent products are. A lot of effort goes into physically assembling a car, and then the car cranks out transportation.

A lot of effort goes into physically assembling a software team, and then the team cranks out software.

And while of course there are profound differences between a car an a human team, it might be useful to put engineering resources into designing and producing a team.
We also live in the age of plenty in regards to how many things we have running at the same time, or how many tabs there are open in a browser. Things can add up pretty quickly.

And why settle for "without optimizing it's slightly faster than things used to be when people had to optimize", when you can have "optimized, it's orders of magnitude faster than things used to be"?

> you worry about efficiency once you have a lot of adoption.

Sometimes things can be tricky to refactor if you didn't move carefully at every step. Initially not worrying about efficiency at all might mean having to rewrite from scratch once you do.

Of course, this can't be generalized. Sometimes it really, really doesn't matter, unless you care about craftsmanship as a value in and of itself -- taking 10-20% more time to write code that makes you happy and proud might very well make you more effective in the long run.
McDonald's is already working on self-serve options.

http://www.ctvnews.ca/business/mcdonald-s-canada-introducing...
Is there a reason for recursive queries not being the first choice?

I had versioning problem to solve recently, and recursive CTE was my first choice (did take some time to wrap my head around but was also performant enough), https://github.com/recipehub/recipehub-service/blob/master/d...
Might be worth checking out things like fbstart or foundersgrid perks to get a bunch of vouchers and discounts off these services.

We got 6 months free Mailchimp and fee-free on Stripe for the first 60k i think, really helped at the time
Thanks for checking it out. In my understanding, MyFitnessPal is oriented toward the fitness crowd, with a focus on daily energy consumption.

After a lot of exploration I decided to limit the scope as much as possible and target home cooks and food bloggers, with a focus on recipes.

I spent a few weeks of my spare time trying to get the parsing of free-text recipes to work (essentially MFP's import from link). The results were decent, but I realized that if it's only 90% accurate I still need a lot of user interface functions (like MFP) to let users edit/fix the inaccurate bits. It started smelling bad so I decided to strip it down to its most basic function.

I have no plans for now to use databases of branded products - the ones I saw were quite expensive and would be more useful for sites like MyFitnessPal, perhaps less useful for recipes/cooking.
I'm not necessarily displeased with the very fact per se, though in my particular case it was an extremely - and shortsightedly - solipsistic choice for a (then) 22 year-old extrovert to make.

I agree that structure and routine are essential. However, many people, including myself, ended up in self-employment in part because they can't do 9-to-5 well or consistently for years on end.
When issues occur in my code, I do identify the root cause but then try to see if it may occur elsewhere in my code and how to prevent similar issues in the future. And I know lots of coworkers who do the same. I don't think this is a major engineering insight but common sense.
The Joy of Psyching Myself Out­
Live by the demand curve, die by the demand curve. The company will often have trouble when their model of the demand curve is (obviously) less precise than a worker's, and they are surprised when a worker leaves.
...which will be followed a few years later by an inevitable and predictable recovery which will grow to surpass the highs of the previous boom.
I'm surprised that the Sierra Club didn't buy their own offices if they have been there since the 1800s.
Flyting
"Chernobyl was partly caused by a bad UI."

I beg to differ. Chernobyl was caused by flagrantly violating the simple principle of "if it ain't broke, don't fix it". It wasn't broke (well, not any more than any reactor of that type is broken, by design) and they tried to fix it.[1]

[1] https://en.wikipedia.org/wiki/Chernobyl_disaster#Steam_turbi...
There is a BIG problem with the current model of the advertising industry. It's based on STEALING attention from people. This is an outstanding lack of respect.

How about treating people like intelligent beings who know what they want for themselves and that stay informed ?

Make specialized advertising sites where companies can promote their products and services and let the users come when they want to check out what's new or look for something they need. They will come. And they will be happier and the companies will be happier.

This is a civilized advertising method in... my view.
You would also need to buy about 900 tickets per second from the moment the first drawing is over until the second one begins, hoping all the time for a rollover.
What about High availability, auto-scaling & avoiding single point of failure?

Might not be that important in your case, I am guessing.
I guess that's because unlike AMD, nVidia doesn't officially document the GPU instruction set. But if you disassemble .cubin with nvdisasm, you'd see that code of Kepler/Maxwell is organized in bundles of 4/8 words, where the first word doesn't encode any instruction. Here is what Scott Gray of Nervana Systems, who developed a native assembler for Maxwell, write about it[1]: "Starting with the Kepler architecture Nvidia has been moving some control logic off of the chip and into kernel instructions which are determined by the assembler. This makes sense since it cuts down on die space and power usage, plus the assembler has access to the whole program and can make more globally optimal decisions about things like scheduling and other control aspects. The op codes are already pretty densely packed so Nvidia added a new type of op which is a pure control code. On Kepler there is 1 control instruction for every 7 operational instructions. Maxwell added additional control capabilities and so has 1 control for every 3 instructions."

[1] https://github.com/NervanaSystems/maxas/wiki/Control-Codes
If I was running a train ticketing system or an old ATM, I guess I'd keep supporting OS/2.

If the cost of supporting old browsers was more than the profit you make, then that spreadsheet will show a different story.
[Cloudless developer here]

Thanks for all the great suggestions! In terms of your existing 98% accuracy solution, can you point me to more details if possible?

I grabbed AlexNet as its a bit easier to work with and was readily available as a fine tunable model on the Caffe Model Zoo, but you're certainly right that VGG or Googlenet would give more accuracy.

For training on clouds vs snow and deserts, this is a bit more of a proof of concept for now based on the data we had access to (state of California). Someone could certainly scale this up using a larger data set and generating more annotation data with examples of snow and deserts to handle more edge conditions. They would probably want to build Mechanical Turk support into the annotation tool if they did.

Thanks for all the great comments! All of this is open source so contributions using any of these suggestions are certainly possible.

Best,
Brad Neuberg
The same thing that prevents so many developers from using Docker: it's not a drop-in miraculous infrastructure simplifier.

It may pay off for certain organisations, but it currently a quite a rabbit-hole, with a constantly changing landscape, complexities of its own, etc.
They would mechanize the role, removing the need to hure low wage staff, replacing them with higher wage maintenance staff at much lower numbers.