skysight-inc/HackerNews huggingface dataset:
Contracts were just recently voted into C++20 (https://herbsutter.com/2018/07/02/trip-report-summer-iso-c-s...)

With the addition of contracts, C++ will natively support this style of programming without ASSERT macros.
Lindley’s Understanding Uncertainty

Jaynes’s Probability Theory: The Logic of Science

MacKay’s Information Theory, Inference, and Learning Algorithms (http://www.inference.org.uk/itila/book.html)
The problem is that the programmers there can't make a ratchet: a monotonously improving codebase where each commit is like the click of a ratchet. If you know your invariants hold then it is fairly easy to establish whether or not a change is an improvement.

Testcases can supply this function, as well as counters set up for that purpose (statsd or something to that effect).

Once you have enough of those you can (slowly) start to make changes to observe the effects, and once you understand the codebase add more invariants that you have now determined should exist.

The last project where I took that approach (about 4 years ago now) went from 'intractable' to 'stable' in a relatively short time but it required a lot of thinking and some really hard work to get it there.

Much better if your language/platform supports that sort of thing out of the box, even better if it can be done across subsystems.
I took the info from this post: https://discourse.julialang.org/t/feedback-on-inconsistent-n.... And e.g. https://github.com/JuliaLang/julia/tree/master/stdlib/Linear... looks like a proper Pkg(3) package?

Sorry for misinformation. Thought this would be for 1.0 already.
If it were just having to have a thick skin, I'd fully agree with you; there's always going to be someone to disagree, and some will disagree floridly. But these days there can be real consequences to your social circles and in notable cases even your employment, and opinions on what is socially acceptable shift in a hurry. What you wrote a few years ago and is still visible on your blog (and may or may not be a view you still hold) can still hurt you. And you can't claim on your blog you didn't have enough space to express a nuanced opinion.
Completely missing is any mention of the housing supply shortage.

If Bay Area governments had simply gotten out of the way developers would have build more than a million new units of housing over the past 40-50 years. Real home prices would have only have increased slightly due to the increased costs of building up.

Instead we got only a tiny fraction of the housing needed to meet demand and huge rent/price increases resulting the highest cost of living in the world. This is a mad-made problem.
Rakhni Ransomware Adds Coinminer Component
I find there are people who are more concerned with collecting digital video than watching it. Those kinds of people do not like Netflix and make those kinds of comments because Netflix is not trying to cater to them.

Others are fine with Netflix if it can offer them something to watch that meets their standards. It doesn’t matter if it was one of two or two hundred viable options. Netflix is able to do this for very high standards as well as middling tastes.

This is also known as maximizing vs satisficing^. Both ways of treating media are valid but there’s some friction when the collectors try to make the watchers feel bad (or when the watchers make the collectors look a bit irrational, as I’m admittedly trying to do with this comment.)

^ https://www.psychologytoday.com/us/blog/science-choice/20150...
I thought that this was the case too, but OP had a link (https://gravitational.com/blog/running-postgresql-on-kuberne...) to previous post that got me worried.
I've experienced the same thing. I had planned to spend a 14hr flight gaming and after 4hrs, had neither the ability not will to continue. I'm completely uninformed on the subject, but wondered whether it was the effect of a thinner atmosphere on cognitive abilities.
Yet, American workers keep voting for the people that rip them off. If you never learn, things will never change.
How to drop 10M packets per second
Git Is Not Revision Control (2017)
This I think is the key takeaway:

> It’s worth noting that while Rust does prevent a lot of issues in your code at compile time, they’re issues that result from memory unsafety. This bug is a logic error. Rust code is not inherently secure, or bug-free. Sometimes, people get enthusiastic and make overly-broad claims about Rust, and this incident is a good demonstration of how Rust’s guarantees can’t prevent all bugs.
As another poster mentioned, "people will find just about any reason to believe they are better than other people".

Your intuition about racism/xenophobia is probably correct. But that's not the interesting question, given how widespread it is. What is more thought-provoking is why did this kind of behavior evolve? What was the advantage? Is it still advantageous today?
I think it is misguided to think that the web is "broken."

I am sure there are more people online doing more interesting things and producing more interesting content now then back in 1996.

It is just that now the internet is used by billions of people the signal to noise ratio is much lower.

Back when the internet was a few million people globally it was a very select group. That same group of people using the internet for cool interesting stuff has grown dramatically but it is still probably only a few million people globally. The difference is that now there are a couple billion other people using the internet.

There is nothing wrong with billions of people using the internet for things that interest them (mostly drama, porn, pyramid scams, and cat videos, apparently). It doesnt detract from my ability to grok some avant garde research paper that I would otherwise never have access to, run programs that do research that pulls on terabytes of data published in public databases around the world, have access to virtually every film and television show from anywhere in the world, any newspaper, etc, and collaborate with other weird people all over the world who are doing this stuff.

It is too bad that Google stop actually being a search engine and became an ad trap, but that just means going back to how you found stuff before Google: on chat (IRC then, but lots of places now) and in forums.

On the plus side google translate has transformed access to content. Back in pre-2000 the internet was basically English only. there is now so much more diversity, and google translate makes it possible to access content from a far larger group of people than what was possible in the good ol days.
How does Fuchsia compare to Redox?

The PL nerd in me is thinking: "Written in C++. Lame." Of course, that attitude didn't work out very well for the iPod guy.
The asking price is not expect selling price.

Things have changed in SV. I don't know if it is the higher interest rates or something else, but the market has cooled off quite a bit in the last 2-3 months. I bet you can find houses very near their asking price now. Days on market is going up.
Python iterators: wat
Thank you, I missed your answer when it first was given.
Is hphpc still banging around somewhere inside HHVM? That would connect PHP -> C++.
> Also I'm not sure what the reason you insist that people you clearly hate must continue to live with you

I don't hate anyone, and I don't insist anyone “live with me”. The U.S. does not have exit controls nor do I favor imposing them. OTOH, the primary cleavage lines in the country aren't geographic (whike there is a geographic correlation, it's weaker than at any point in history), so any separation of poltiies means (even ignoring the multidimensional nature of the divided that make this impractical even before considering geography) either forcing large numbers of people into polities less friendly to themselves than the current common polity or mass dislocation.

> There is the obvious fact that you can continue to control them and demographically dominate them at the polls (thanks to immigration).

The idea that currently dominant faction is advantaged by immigration is...interesting. But not particularly well connected to reality for many of the major divides at issue.

> If they separate from you then you cannot do that, also you would become a very tiny minority in the multicultural society that remained

In a separation along any of the key cleavages, everyone would be part of a larger (proportional) group within the resulting poltiies than the source polity, so that doesn't even make sense.

> My assumption is that you are white.

Well, maybe you shouldn't make stupid assumptions.

> I suspect the opposite, the trend is getting worse and relations are becoming a powderkeg.

I think there's a fairly good chance of a near term crisis and it's clear that the short-term trend is bad, as it has often been within the longer-term improvement. OTOH, The major progress has always come in the context of crisis periods.
I don't think this response should be getting downvoted; I'll upvote it for the third paragraph, which I largely agree with.

We can agree to disagree on the exact definition of "virtually impossible", but in the broad strokes I think we're both saying some factor analysis can be sometimes productive. In particular, I definitely agree that 1) an "actual understanding of underlying causal factors" is imperative, and 2) an approach based on trends (and trend following) is naive.
FWIW, Zuckerberg has promised to give away 99% of his Facebook shares too.
If you're working through Spivek and Apostol, get Feller v1 and v2. Same level of rigor and emphasis on intuition. (If you're having fun after that, pick up Gallager's book on stochastic processes. Similar approaches, intuition, and focus on discrete probability to skip the metric theory complications of continuous dists.)

Another very good book is Bertsekas and Tsitsiklas, Introduction to Probability. This book will also give you some intuition.

I've heard Grimmitt recommended but I think B&T is better.

You could also start with Papoulis (a stochastic processes classic book, but it does the intro probability too.)
But it is the us government in us territory. Does gdpr even apply to other governments?
> Can anyone from McSema comment on why it's moved from paid solutions for CFG recovery?

Plainly, because radare's CFG recovery is not reliable enough for us to use. It's not a production quality tool when compared to IDA or Binary Ninja. CFG recovery is an extraordinarily complex problem and doing it right requires a team with commercial support behind them. Altruism simply does not get you far enough for the grind of developing effective CFG recovery.

Similarly, McSema itself is not free either. We're being paid by the US Government. It requires a team of people with decades of experience in programming languages and compilers working together for years. We're lucky to be in this position, but it could have easily gone the other way. Not every project out there has a sponsor willing to make it free.

The teams behind IDA and Binary Ninja don't have some other, enormous business producing profits to support them (say, advertising). In order to spend the person-decades of time required to build these tools that our entire community relies on for our jobs, they need an income stream to work on them.

> The support for radare is ... not even merged.

I'm not aware of any pull requests for radare support. You're welcome to submit one and we'll consider it. However, we'll expect the author to continue supporting it as McSema grows since we can't use it for our projects (it's not reliable enough).

I will note that we have an open PR for DynInst-based CFG recovery but we're still working with the author to review and approve it. https://github.com/trailofbits/mcsema/pull/386
I believe because they project the image of the American dream to everyone else including the Walmart employees using food stamps.
Blocking ads that target us is the main reason we notice privacy invasion. The Mr. Robot extension was an ad, and Mozilla received money to distribute it to their "hacker" base. How is it not an invasion of privacy?
Since location and family income are perfectly observable variables, shouldn't we use them directly instead of race?
(Similar to another question asked in this post: https://news.ycombinator.com/item?id=17473654)

If you are on H1-B and have received EAD but not yet green card, is it easier to leave your current employer and start your own company than if you are just on H1-B? And as an extension to that, what benefit does green card provide in regards to starting your own company over only having the EAD?
Here's my critique of the current web: https://www.kickscondor.com/2018/07/02/things-we-left-in-the...

Chronos is definitely an issue. But I think the bigger issues are: a move away from custom design, the lack of a "home page" feeling, and the hostility toward self-promotion. I know people talk about decentralization a lot - but it doesn't intrinsically solve these other issues.
An Interview with Andy Hertzfeld
Ya, no argument from me. I think Xi is a bad actor on the world stage. A realistic assessment of his 'true wealth' is probably extremely high, comparable to Putin's, you're right.
No political party has ever been worthy of being anyone's tribe at least in the USA. But mankind naturally gravitates toward tribes and hierarchical communities. I want to be in a tribe. I consider family friends or extended family to be tribe like but it lacks any leaders. Tribes are not really all about ideologies. It is more like family relationships. Growing up my extended family was my clan or my tribe. We grew apart and we lack our original matriarchs and patriarchs. Politics assuming tribal roles because tribal life is in demand and people like to be part of something. Even if they are hoodwinked into thinking they are part of something that values them when it is clear to many people it is simply a lie.
Does this service exclude children under the age of 13?
VOIP fees are not taxes - merely upfront fee for an agreed upon add-on service.
Basically a case study in why automated/preemptive content filtering is a bad idea. Let users report bad content, investigate it once it reaches a certain number of reports.
At this point, anyone starting a business to be an outbound call-center or to send email on behalf of third parties should be assumed to be a bad actor, and the burden of proof is on them.

This wasn't a blanket judgement without input. This was a judgement based on the available evidence, and particularly pointing at holes where one would expect a white hat to have solid documents.

I wonder if this is one of those startups where YC said "this team is solid, they'll likely pivot into something worthwhile".
Laughed so hard reading your reply, I spilled my $8 latte all over!
It isn't that we "can't talk on here", it's that threads are flameprone and vulnerable to initial conditions. If the initial condition is, say, a cheap swipe with 'fascist', the discussion is likely to flare into ideological battle. That gets the blood pumping but otherwise benefits no one. Overheated political rhetoric, such as your comment contains, isn't much better. All it generates is more of the same, from people who either share your feelings or don't. None of that is in keeping with either the spirit of this site or its rules (https://news.ycombinator.com/newsguidelines.html), so it's off topic here.

What initial conditions make for good discussion? Two things: first, a substantive article that contains information rather than just rhetoric. Flamey rhetoric is a sugar high and our minds need something to chew on. Second, initial comments that earnestly engage with the information in the article (as opposed to potshots or pre-existing talking points). When those things are present, politicized topics can be ok for Hacker News. They can still degenerate into flamewars, though, in which case they become off topic again.

Edit: dismayingly, it looks like you've been using HN primarily for ideological battle, which violates the site guidelines, and gotten nasty in the process, such as https://news.ycombinator.com/item?id=17323529 and https://news.ycombinator.com/item?id=17323169, which I probably would have banned you for had I seen it.
We ban accounts that do these things, for the same reason: it degrades the site well below the level needed for not going up in flames. Would you please stop using HN this way?
The initial protocol used by Mastodon, OStatus, used Pubsubhubbub (which is the same thing as WebSub) as it’s realtime delivery method.

WebSub is a spec from the very same working group that published the ActivityPub spec and WebSub is actively used by eg. the IndieWeb movement that do indeed very much solve social network monopoly as everyone hosts their social profiles themselves there.
While your overall point is somewhat correct, your numbers are way off.

I was "surfing the net" in 1994 with a computer I built for around $700 ($1,204.59 today's price) and was using an ISP account that was $25 per month ($43.02 today).

I was not an academic or anywhere near the 1% at the time. But I agree with the point you're trying to make, as it did become more accessible for people at a poorer level. Also computers and the internet both became easier to use which contributed greatly to adoption as well.
They didn't mention nutrient cost which is pretty high in some cases.

Also I'm working on a diy home vertical Garden system people might be interested in that is automated

https://www.instagram.com/p/Bi90BiwlHEm/?utm_source=ig_share...

But I think there's even easier ways to produce leafy greens without any power required for irrigation

https://youtu.be/pZZO1tYqcwk

Also it makes sense why Soft Bank invested in one of the vertical farms. A lot of produce is shipped into Japan. I tried to visit the Pasona HQ which was an office building that also produced vegetables but they demolished the building this year :$.
10 Python security holes and how to plug them [audio]
I think Dafny is an interesting approach - https://www.microsoft.com/en-us/research/project/dafny-a-lan...
I think the phrase you’re looking for is: good enough.
Sarcasm aside, Intel actually does / did sell a facial analytics platform that's embedded in many, many vending machines, digital signage, etc: https://aimsuite.intel.com/
I agree, but I have a question. Was the child comment by 'firemancoder downvoted to oblivion in order to prove the comment correct?
People can't stop using FB. It's a gigantic flywheel feeding itself back. Your friends are there, you want to leave, there is no where else to go. You come back. They win!
My understanding is that Google valued the fact that etcd was willing to support gRPC and Consul wasn't -- i.e., raw performance/latency was the gating factor. etcd was historically far less stable and less well documented than Consul, even though Consul had more functionality. etcd may have caught up in the last couple years, though.
Any image recognition API is likely to heavily rely on them.

You can do positive things with Rekognition. You can do dystopian things with it, too. Get AWS to stop doing it and folks will just use GCP and Azure's similar offerings.

This is a problem that fundamentally needs government regulation to be successfully addressed.
Housing changes hands much less because the tax gap means all other factors things being equal the house is worth more to the seller than the buyer - they can't live in a similar place for the same money. Deferring taxes just makes that gap in value bigger. And there's not necessarily a point where the city gets money for services, tax rates are passed down with inherited housing.
That's the first I heard this piece of the story. Source?
Perl code is a one-way hash of the program steps.
I hope that your wife is OK. Thanks for mentioning this.
A lot of butt hurt over "Military grade" branding.
Is there an app for that?
It's entirely possible that no one at Boeing believes the FAA will grant this exemption. However, if they don't make the attempt, then when Boeing gets dinged with contract penalties or loses deals because of this problem the responsible person needs to be able to prove that they did everything possible.
I'm not trying to outrage you, nor do I necessarily care what's "proper" or "allowed" or "right/wrong" since literally nobody making policy decisions is asking me about it anyway. I'm saying quite literally, and as blandly as possible given my way of talking (and even more blandly after an earlier edit), that in selling to people, you extract wealth from them, which creates wealth inequality. The more you do it, the more unequal it gets. Pretty straightforward, I thought.
> And can I use Brunch instead of Webpack if I want to use single-file components?

Probably, but Vue only officially supports Webpack or Browserify.
doesn't this process involve lots of nasty chemicals to extract the precious metals from circuit boards and the like? i saw an article on Hackady[0] about this a while back

[0] - https://hackaday.com/2013/11/18/salvaging-gold-from-old-elec...
If even the libertarians are complaining, maybe there's a problem here?
I think there was some good info in there but I also couldn’t help thinking ‘this guy is just lumping together all of the tech buzzwords of the last 2 years’.
Interesting perspective: I think the precise opposite is true.

Redux, react-router, design patterns are gluing third party components together. The number of people who blindly run create-react-app without a hint of real understanding of what boilerplate it installs, or how many dependencies it pulls in, what those components do, is overwhelming.

You're right: the prevailing opinion is that you can just fake it; drop in redux, follow a nice straightforward guide on creating some actions and reducers step by step without having to make any real architectural decisions about application state or even fully understand the mechanics of dispatch lifecycle.

(Note: not a criticism of Redux, Redux is fine, rather a criticism of any ecosystem where hordes of relative beginners run automated boilerplate generators and slap together convention-over-configuration apps run on the most populist trending paradigm with no attempt to understand the—possibly very good—reasons these patterns became fashionable)

tptacek is pointing out that one can focus on learning your individual components (general definition of the word, not React.Component) properly, rather than learning the "way" to put all the recommended bits together at a high level and not understand each deeply. e.g. learn React, rather than trying to learn React+Redux+router; it will give you a much more professional understanding of the boundaries between these dependencies too.

> If you do not consistently produce work of professional quality you just might not be a professional.

I'm sorry but this sentence comes across a little conceited. If you are unable to grok the composition of your own product how can you even begin to ascertain its quality?
employees are not paid from profits
> The notion of an invariant is not part of their toolbox, and the exercise of modeling a domain is not something they really engage in

Because this is not what writing software is about. Ultimately it is about trying ideas out, where the notion of an invariant doesn't have a place. Why do you believe it should?
The blog post has a fantastic visual explanation of store to load forwarding, along with a few other concepts.
If you're working in a small enough team (or solo) or a young codebase I think you won't see a ton a lot of value a basic type system can bring. I say this with experience with both Java and Python but not Kotlin.

Reading old undocumented code and refactoring it confidently is wildly easier with Java than Python. The structure provides obvious moves and shifts and reason about code you haven't fully read yet. Even with relatively clean Python (i.e. No messing with scopes or abusing dicts as params or monkey patching) you can still end up with difficult knots. One of the most frustrating examples is that even typos can remain uncaught without near 100% code coverage. I find these occur readily not when I'm writing code but when refactoring.