skysight-inc/HackerNews huggingface dataset:
It builds the set of type and other constraints that must be fulfilled for the program to be valid.
It uses a constraint solver to solve the set of constraints and generate a program that satisfies them.

IE For "List list" to work, there must be a thing named List available as a typedef.
For list = 0 to work, tlist must be a pointer or an int.
For list->data to work, list must be a pointer to a struct, and that struct must have a member named data.
for list->data = val to work, the member named data must be compatible with a double.

It simply generates all of the constraints like this on the program, and then solves the constraint set, which produces a valid program (hopefully. it is possible it may not have enough data in some cases, given how C is parsed)
It never reached the mass that github has unfortunately.
Introducing ReactPhoenix – Render React.js Components in Phoenix Views
Why you're not using a Kin phone or playing films on HD-DVD
Is unfortunate, IMHO, that "browser" as come to mean "web browser". What are we supposed to call user interfaces that browser other information representations?
Even generally non-oppressive governments make errors, and it happens more often that you'd think (and suing might be prohibitively expensive, untimely, or not an option at all).
Suspect in Dortmund bus attack motivated by ‘greed’ rather than extremism
I believe they are saying times change and some things that seem fine to most of the populous currently seem monstrous later. It's a lot easier to dismiss if you interpret it as you did, though.
The tech industry has a lot of money. Probably more than Hollywood, if you define "tech" broadly. Hypothetically, if all the technical book authors, how-to bloggers, and Stack Overflow contributors were to go on strike, they would have considerable leverage over various wealthy software firms.
the enterprise edition has telemetry too, which can't be completely disabled
True, but the W3C so far has done a horrible job at defining standards, which partly explains why no two browsers can render identically.
Is anyone else having issues accessing this?

$ curl http://techblog.netflix.com/2017/04/the-evolution-of-container-usage-at.html
<!DOCTYPE html>
<html><head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<title>Access Denied</title>
<style type="text/css">body {margin:0;font-family:verdana,sans-serif;} h1 {margin:0;padding:12px 25px;background-color:#343434;color:#ddd} p {margin:12px 25px;} strong {color:#E0042D;}</style>
</head>
<body>
<h1>Access Denied</h1>
<p>
<strong>You are attempting to access a forbidden site.</strong><br/><br/>
Consult your system administrator for details.
</p>
</body>
I'd say it's all awful, one being worse doesn't make the other better.
If the hacker really thought he hadn't committed theft, he could have revealed his identity and sued the developers. My guess is he would have ended up in prison that way.

Since the hack, various small improvements have been made to Solidity, the Foundation hired someone to work full-time on formal verification, there's the new Viper language which is easier to verify, and the community has gotten a lot more serious about coding standards and security audits.
The majority (if not 100%) of Russia's ruling oligarchy are men, but many laws are indeed biased in favor of women. Woman will likely receive less severe punishment for committing a crime than man does, the mandatory conscription into the military is applied to males only, etc.
Maybe it's like that in, say, game development, but I've never seen these absurd hours in my career. A certain willingness to learn and do more than the standard curriculum is valued, yes, and there's crunch mode and harder-working startup jobs, but I haven't seen this hazing and exploitation from any of my employers.
when I read 'led shoes', I thought of the one that literally have LED on them and flash/glow. Then I realized it was meant to be the lead element (Pb), that's actually pronounced (led)...

Also typing/pronouncing/using 'LED lights' makes for a great tautology. ("Light emitting diode" lights)

English is weird, sometimes.
I hesitate to hold up mathematics as a good example. There are an encouraging number of female majors but further down the pipeline the numbers get much worse. For tenured faculty positions the latest number [1] I've seen is 14%.

[1] http://www.ams.org/profession/data/annual-survey/
I'm not sure I would call PDF a narrower standard, one of the problems with it is Adobe couldn't stop themselves adding new features.
Do you have any data that prove me wrong?
Linked Lists Are Still Hard
Read the book "The Mom Test" -> http://momtestbook.com. Even if you just read the first chapter, it'll help you out a lot.

To properly talk to customers to identify if there is a need for your product/idea requires for you to not bias them by telling them what you are working on. You should be able to talk to your mom about your idea without her ever knowing that you have an idea for a product.
It would, but it was always a thing, even between the wars and long after WW2.
Does that not meet the same end? By strengthening their position they can barter for better benefits for you. Even if those benefits aren't precisely the ones you want, that doesn't negate the fact that they are on your collective side.

On the other hand, the employer wants none of that because they want as much power over employees as they can muster.

How does that make them as worse as each other?

It's somewhat ironic that it seems like a lot of people in this thread are basing their talking points on unions off the anti-union propaganda at hand rather than personal experience or evidence.
Too bad for him the future is in Dogecoin.
The issue is that the exact same communities which decry writers for asking that they get paid what they think they're worth, will cry that the entire software development market outside the SV bubble is "unfair" to developers because it's not paying SV market prices.

They also cry about immigrants taking their jobs at lower rates, outsourcing, people choosing to hire the new grad instead of the expert, and plenty of other things that could be responded to with "it's OK because markets".
London 2022 as foreseen in 1922
"It's a lot more nuanced than I had initially thought"

Most things are a LOT more nuanced than most people give credence to, and there's zero dishonor in acknowledging that. With almost every issue I've delved into (especially political ones), there are arguments for and against any given issue that I can't hand-wave away. I might prioritize some factors ahead of others, but just about every political issue in the world is a matter of tradeoffs, and there are very few obvious wins.

I agree with your assertion here that much of the strengths to be found in capitalism revolve around the notion of resolving power imbalances. For every good story I've read, somewhere, there's a terrifying story -- I'm reminded of the old Hazard county mine worker strikes, for example.

But while unions are ostensibly the surest fix in mitigating those power imbalances (in fostering leverage to the people), the more I look at them the more I realize that they need to be truly cooperative. Union power is real enough that there are places like Sweden which have no minimum wage, and yet still have high effective wages. But in America at least, unions with political power often exploit that political power towards complacency, corruption, and often trend towards being less effective stewards of their member interests. In essence, too much cooperation between unions and policy makers may yield counter-intuitive results that manifest in ineffective unions, which yields declining memberships, which yields power imbalances in favor of corporations.

The point, if I have one, is that while so many people get wrapped up in the idea of "unions bad" or "unions good", we lose the ability to objectively evaluate whether a given union is good or bad because we ideologically insist that they be a certain way. Similarly, evaluations of government, corporations, regulations, trade, capitalism, socialism, et al all falter as soon as we begin to put too much faith in the institution that we stop performing scientifically objective and individual evaluations upon them.

Thanks for the conversation, and in particular, for the open mind. It's always a pleasure to engage with someone who I know to be willing to adjust their opinions to facts, and while capitalism surely isn't always good, it definitely isn't always bad either.
Unfortunately, most people do not truly want one profession to the exclusion of all hardship and discouragement.

Rather peoples inclinations are varied and weak, so a society that discourages women from entering science will find more than half of women who had a weak inclination to science will simply choose the next-equal profession they were inclined to.
Cmder is a bundle of ConEmu, configuration files, a tiny launcher that makes ConEmu's portable app mode easier to manage, and some provisioning stuff for the unix tools and cmd enhancements.

I'd use Cmder if I needed to carry a complete environment around on a USB stick, but it's not difficult to set up something similar for a single system manually with ConEmu.
>Upper middle class is retirement and educational savings, and not living paycheck to paycheck.

For the love of God! Give me a break! If you can't somehow manage to do that while making over $100k you are living way way way above your means, period. You can live over your means at any income level and adding more income doesn't solve that problem.

Sure, maybe if I owned two Beemers, a Cadillac, a boat, and a second home I'd be unable to do that.

>I believe it's 70% of households could not come up with $1k within 2 weeks. 90% could not miss a paycheck without skipping bills.

That says more about spending habits than is does income.

>as long as the investment difference can be liquidated to pay it off at 15 years (or in early 50s.

Your can never know your investment returns.

>Can't be done debt free with any major, much less STEM course load.

So what? I went into debt for an education and it wasn't a bad thing. Its my opinion that downright giving your kids money is a bad thing. I made my choices accordingly. I would be a total loser nowadays if my parents gave me money, for my education or otherwise. Its also in my opinion that parents obsessing over saving money for college is a big cause of rising tuition.
That won't work. Normal small airports that only have one runway use the runway in both directions, depending on wind direction. You never land with a tailwind, and you never take off with one either. A rho shape wouldn't work here because the circle is only at one end, preventing bidirectional use.
I'm sitting on a million dogecoin in a wallet. My time is coming.
"Bullshited" in this context may mean that he lied, which would indeed be contradictory. However, it is more likely to infer that he had an improvised conversation, as in "shooting the bull" http://idioms.thefreedictionary.com/shoot+the+bull, or engaged in idle conversation- http://www.thefreedictionary.com/bullshitted
...and in Office Space, where the hero's indifference gets him a promotion
Dynamic languages are susceptible to their own kind of security bugs. I've found lots of bugs in Node apps where they accepted some JSON from the client and then passed it directly into a Mongo query without type-checking it. Or look at Ruby's YAML security issues.

Nearly every language is vulnerable to integer overflow. C++ is one of the few languages (possibly the only popular language) where you can reasonably check for overflows at compile time, as Cap'n Proto now does: https://capnproto.org/news/2015-03-02-security-advisory-and-...

So, I don't accept the assertion that C++ is inherently a security problem.

In any case, Sandstorm's low-level container management bits pretty much had to be written in C/C++ since they interact closely with the operating system. Or if we were starting over today, Rust might now be an option, but it wasn't when we started.
I don't mind the idea that I need an account, since the trade-off seems to be no ads afaik.
The SaaS CFO's SaaS Financial Plan – Latest Excel Model Released
Playing nice with Windows has long been a priority. I saw the symptoms of this when I was following Docker GitHub ~2014-2015. In the area I cared about, Joyent compatibility, solid Linux/Unix approaches were significantly delayed or worse debated out of existance, because the concepts were incompatible with Windows. When you try to be all things, the result is something no one is satisfied with.
The article doesn't specify who, if anyone, is adversely affected by the disappearing coastline.
there are new themes available in 53 when you go to add-ons > appearance.
they'll probably move the logic into the kernel and use patchguard to defend it
That sounds like a great incentive to build big proprietary systems that depend on your presence...
How to Interprete Gunshot Dream
I'm totally unfamiliar with Dafny, the front page didn't do much more than specicify the goals.

Any chance you could briefly compare it to Rust or another systems level language trying to remove undefined behavior?
I guess the question is where are boys getting the idea to become engineers?

I suspect it's not television or other media, but rather personal role models in their life.

Unfortunately with society as it is now, having a role model who isn't your gender (and also isn't your relative), mentor you is largely untennable.
> in comparison to Western Europe [in Russia] gender identity politics is non-existent, and feminism is ridiculed

In western society an especially smart, capable woman has the option to gain status/prestige by studying feminism. Perhaps in Russia they don't have that option - there's no high-profile X-studies program to aspire to - so they learn something like math and excel at that instead.
Is the only difference between archive.is and archive.fo is https?
Video Analytics with Tensorflow and Complex Event Processing
To everyone that needs a professional hacker
Hack into any school database and change university grades, no matter How secured - hack into credit bureau database and increase your credit score - hack any email or social network and know if your partner is cheating On you - hack into your partner's phone pics, text message and listen to calls to know if he is cheating - hack into any bank website - hack into any company website - hack into any government agency website - hack into security agency website and erase criminal records. Here; geniushack08@gmail or you can call or text (860) 272-6323
https://en.wikipedia.org/wiki/Kleiber%27s_law
Perhaps it's the personalisation, but the questions on Quora have become very trivial and click-baity in the past 12 months. ("Who is the most beautiful Indian female of all time?" "What's the most embarassing thing you have seen in a hotel room?")
i dont think going after c++ will help d's adoption
it didn't work in the past

i dont know what have changed to make it work in the future

i dont remember Go or Rust ever focusing on comparing themselves to another language as much as d compare itself to c++

d should create its own path same way any other more popular language did
Average Cost of Service (ACS) – A Key SaaS Metric to Measure
It sounds good on first thought as a strategy for those anti g.w. folks to move on to your second step. But tons of those yahoos act like cheaper energy in bad for people. It's bad for people selling oil, but good for everyone else.
There are dedicated anti-union consulting firms that teach their clients the same bag of tricks. The union is a third party, they'll threaten the company's success (this one is hard to do legally, a consultant can help), etc.
in theory the block chain can be trusted by both parties whereas the company could modify it or be malicious.....

in practice you're correct because acting maliciously would make the company lose customers and potentially get sued
Doesn't seem like an insurmountable task for a week of netflix and a ScanSnap scanner[0]. Personally, I have the s1300i and scanned thousands of pages of notes.

[0]: http://www.fujitsu.com/us/products/computing/peripheral/scan...
JFYI, first female pilot was from Turkey.
I'm not claiming the job is "easier". Making a website isn't exactly brain surgery. I'm saying the reward is higher in terms of your income and status in society.
My company (scripted.com) is looking to add more proven experts to our writer marketplace. We would be more than happy to fast-track the author of this piece through our writer application process, as she clearly has unique domain expertise. Our freelancers work all over the world, and tech writing is in very high demand. No promises but I might be able to convince our marketing department to become her first customer. Our blog could use content discussing the state of digital publishing technologies.

noah@scripted.com
Has it though? Does nobody else use a file-browser any more? I'm mostly command-line but even I use a file-browser fairly often.
http://www.pcrm.org
To "Tailor" Swift and then become a celebrity tailor aka designer, and tell a story. Hmm, she used to be a country singer before she became a pop one... Swift stuff.
Tradable and scarce digital assets on the blockchain
Product Feedback: Why You Need It (And How to Get It)
You can, but then you would have complications. My friends in their later 30s are having more trouble conceiving and bringing children to term.

On the other hand, my friends who had children in their early-20s had no issues.
It's a drop in the bucket if you look at the percentage it would add to total available land, and also considering that the ground isn't usually the most expensive part of construction, and that most airports are outside the cities they serve.

One interesting data point in that regard is Berlin's Tempelhof Airport (which you might remember from Indiana Jones 3). It's extremely central because it was one of the first commercial airports and was shut down a few years ago.

It's a park now and will probably remain–the plan to build even a few houses was killed by a referendum. It's also a really fascinating place, because it feels entirely unlike a normal park. There are very few trees, so it's much more open. The runways remain unchanged, and it's quite an experience to jog there, with all the history that place has seen always on your mind. (https://www.google.de/maps/@52.4760745,13.3994616,3a,75y,279...)
MSR NetBSD for FPGAs that dynamically loads circuits to accelerate programs
"Based on your elaboration, I suspect you agree with me that it is nonsense, and that opioids are far more predictible than it implies."

You go tell that to my dead pal Carl Mauk, dead from Fentanyl patch. Proscribed, always changed on-time and never abused. Died getting it changed in the hospital.
None of that changes the usefulness or correctness of the idea.

If a new tech comes along that destroys your business, you should invest in that tech or you risk becoming blockbuster while Netflix rises. If Blockbuster had taken its opportunity to buy netflix or build a competitor it would still be in business today.

Same thing with all those oil companies becoming energy companies. Solar and wind are displacing coal and oil, and all the big energy companies are in on it. They don't look at risk of going under soon.
> It's about falsely attributing a causal relationship between the people's actions and their success.

Yes of course that's the definition of survivorship bias. For the most part that doesn't apply to most rich (>$1mm net worth for argument's sake) people. The vast majority of millionaires achieved their success in a perfectly repeatable fashion. This is self evident. How many people globally are at the Zuckerberg tier of success? A dozen maybe. Globally, how many people have a > $1mm net worth by

- choosing a safe, boring, white collar job
- running a local service business
- saving aggressively over decades

the number is in the millions.

It's absurd to think that so many people could become (relatively speaking) rich, using means where there was little or no "causal relationship between the people's actions and their success".
No one said it's trump's fault, but he's going to hurt things. He is supporting that whole view though, and his policies are going to lead to serious problems, if he is effective in getting them enacted.
The pre-acquisition Ksplice blog was fantastic. Now available at: https://blogs.oracle.com/ksplice
Why I hacked the government
Last time I've checked the map, most of the Russia was in Asia.
Yeah, but are you looking at this from the Silicon Valley point of view, where a computer programmer can expect a 6 figure income straight out of college? Because that's far from the norm in the parts of 'the West' where I live.
> what's good for the internet is good for Google

This presumes complete congruence between these two sets,
which is precisely what is being criticized above.

How exactly is:

"
The obvious reason for them to push their own ad blocker seems most likely; it is to suck the oxygen out of the space by exploiting their privileged position as a browser maker to destroy 3rd parties that can block their ads.
"

If true, good for 'the internet' in general, rather than being good for Google primarily with some related good and harm for 'the internet' ?
Humanoid, 1.0 released
Until you mentioned the posters 'celebrity' status, I hadn't even read their username.

Usernames, and personalities, are very de-emphasized on HN.

I'm also uncertain what issue you have with their behaviour?
I'm honestly curious about this thing I see occasionally on HackerNews. The observation of the thing are mostly negative comments, irrational in nature, which are presented by a significantly aged account with very low karma and posting history.

Servicing the underbanked is an important goal. I know people working on solving underbanked issues and I know it is important to them and support them.

In this case, your comment is a completely blatant blaming statement. Just because less than traditional marketplaces share a similarity to this product, or the other way around, is no indication it's intended use is a darknet market replacement. In other words, the developers intent here is unlikely to be what you claim, simply by way of a biased comparison. The outcome of use by users may be different certainly, but that doesn't make your claim valid, or rational.

In fact, the only group who would be mostly likely to make this claim would be a group who seeks to control markets. If such a group sought to control markets, by manipulation of sentiment and social logic (of which is required for discussing said post) then a highly rational thing to do would be to create a lot of accounts over a long period of time and then use those accounts randomly to post negative sentiment about things that remove control from the group.

Further, I present an observation that by not knowing who it is that is posting, we (the HackerNews group) are doing ourselves a disservice in letting these individuals have an equal voice, especially when it is a voice of blame. That is not to say that entities should be denied posting when new, but perhaps those entities should be required to engage in positive additions to the discussion before being able to be blaming, as I am doing here, clearly. Of course, I have the karma to do so and a long history of comments that can be inspected to verify identity.

That's a good use-case for cryptocurrencies, and text messaging, if there ever was one. I'd like to see a project, similar to HN be developed which implements this using similar techniques to eliminate the increasing inclusion of irrational arguments into the discussion.
Online shopping: prices and discounts are giving way to more exotic strategies
The comic exaggerates to make a point, but this isn't about black and white; it's about shades of grey. It's about telling the story about what happened in the right way, acknowledging luck as well as hard work, as you just did. People complain when it's done in a simplistic way.