skysight-inc/HackerNews huggingface dataset:
Another interesting comment from that discussion was [flagged] and [dead]:

The entire idea that atomic bombs were ever
manufactured, let alone used, is absolutely
ludicrous. There have never been any atomic
bombs deployed any more than men have walked
in the moon. Just more pish-posh propaganda
from the government.

Whether that poster was joking or not, it doesn't seem unlikely that at some point we will start seeing "bomb deniers" emerge, just like the Apollo deniers and vaccine-deniers that already infest our discourse.

Relatively few people, certainly among those under the age of 50, have ever seen a nuclear blast in person. As time goes by, these weapons will seem less like game-changing, world-ending tools of the Apocalypse and more like, well, bigger bombs.
Weapon Makers Declare War on Drones
The two aren't mutually exclusive. There are things that you can do in Antartica that wouldn't benefit from being done in space.
We're a litigation fund based in London
Oh, yes, I see the miscommunication now. Phantom types can be leveraged in a similar way, where a type (the phantom type that you are generic over) represents that state. To answer your question - the end result of both approaches is a session type with the same guarantees.

I've seen that approach used but I can't really comment too much on the differences as I've never used it myself. I find my approach simple in practice (I've shipped Python code that takes the same approach, sans affine types) because it separates the types out.

So, essentially, I write my non-sesssiony struct with all of its methods, and then I wrap that in the session types. This lets me easily drop into the non-session type if necessary, and the sessions types act as thin wrappers. My imap client worked the same way, if I recall.

The downside is likely boilerplate.
Both are true. The provinces can get away with murder as long as they don’t attract the attention of the central committee. But as long as Beijing is focused on something, they’ll get it. The attention is however always fleeting, preventing them from solving long term problems like that.
By "no one" crapbone meant no single employer. And no single employer paid Santiago the money. It was paid by a group of companies each paying bounties for different bugs.
Actually infrastructure in Romania’s western Carpatian mountains (the “middle of nowhere”) is an excellent case study. In the mid-century, under communism, an impressive network of dams was built at huge cost. Some of them underground to withstand bombardment. Sadly I didn’t take a picture of a map of the hydro network I saw there recently but here it is low res on Street View [1]. The infrastructure today is in terrible disrepair and I believe much has been shut down as dependence on foreign electricity has grown [2].

Surely a lot of the troubles are Romania’s own fault managing the transition post communism, but I think the interesting part is how does the global market for energy, in this case, decentivize a country to maintain its own infrastructure?

[1]https://goo.gl/maps/t7H6UFuJiMS2

[2]https://www.indexmundi.com/g/g.aspx?c=ro&v=83
People don't see a gun and decide to use it.

They decide to hurt someone, then look for a weapon. If it's not a gun, it will be a knife, or acid, or poison, or fists, or a vehicle...
Lists usually don't make such great HN posts, since the discussion can only really go to the lowest common denominator of what the list items have in common, causing discussion to be generic, which is less interesting.

It's usually better to pick the most interesting item from the list and submit that.
Facebook threatened to pull investment from EU and CAD if demands were not met
There's nothing stopping you from moving to a lower cost-of-living area when you need to dip into savings. If you save up a million dollars in the Bay Area, you always have the option of moving to Chicago and buying 4 houses, if you're willing to put up with the cold. The reverse does not necessarily hold: if you save up $100K in Chicago and then need to come up with a down payment for a home in the Bay Area, you're screwed.

For that matter, the higher home prices also come back to you if you choose to move elsewhere (as long as Bay Area real estate doesn't crash). A number of the homes I've been looking at are on the market because the kids are grown, the owners are retired, and now they want to take their $1.3-$2.4M and move to Nevada/Florida/Arizona or some other low-COL area.
Mexico has a violent crime problem driven by drug trafficking. That’s why.
Landing Zones Create a Secure, Scalable AWS Foundation
Maybe parent was in LA during the forest fires last summer? It can get up there even if only for a few weeks.
From my experience visiting the Mayan highlands in Guatemala, I’d say the indigenous people are generally wonderful human beings dealing the best they can with a hard situation.

They’re so far away from the days of human sacrifice, it’s like asking if white people are naturally violent because of the 30 years war.
I think part of the problem comes from the fact that stopping corruption takes effort, and when people have large differences in power relative to each other then basic state functions deteriorate. The United States seems to have power imbalances which lead to corruption.

For example, see the Jerry Epstein case in Florida: https://www.miamiherald.com/news/local/article220097825.html

Other examples might include the water problem in Flint, the deterioration of Detroit, or even the violence problem in South Chicago.
I had a great uncle that was a mathematician. At his shiva (kind of like a wake) his former colleague were in a corner talking math. I think he would’ve appreciated that.

His son (i.e. my cousin) told me some funny stories about Erdős staying at their house when he was growing up. I think they are just an eccentric bunch.
> "I've just seen too many memory exploits in C/C++ to consider statements like "you can achieve memory safety in C/C++ if you're a True Scotsman" as anything other as logical fallacies."

The problem is that for each person who offers your anecdata, there's another person who offers the antithetical anecdata. For example, in my experience with two very large defense lab projects written in C and C++ spanning the 80s to the early 00s, both projects had exceptionally nice tooling to prevent memory issues, and it was pleasant to work with the code. Debugging time was usually spent on application logic bugs and very rarely, if ever, spent on memory leaks, segfaults, corrupt data, alignment issues, etc.

While I know this isn't directly applicable to Rust, I have also worked in a separate codebase that was a huge Haskell project and it was a nightmare of spaghetti code, performance bugs that were impossible to reason about, some segfaults, and it was extremely painful to descend into unsafe code for the occasional situations when it was required. Having the compiler to help us and leveraging the type system as part of the application design didn't really offer any significant benefits.

This doesn't prove anything except that, like usual, it's situation-specific and depends on relevant trade-offs at hand. It almost never has anything to do with the generic types of safety guarantees that a framework or language allows you to formally verify.
China doesn't have to worry about an army of lawyers coming from people losing property for the right of ways needed for high voltage lines. Remember that China forced a lot of people to move for the three gorges hydro electric dam. That one dam has something like 20 GW of output...putting things into perspective, the entire Middle of the US from Arkansas to Canada uses about that much instantaneous electricity on a mild spring day. We have capital for big projects, but the legal and environmental challenges are big here (not without good reason).
I never understood the idea of shortening variable names a few characters. Recv vs Received, especially when there’s a also a Rec type mentioned in the reader as well.

It’s not like Send, was shortened to Snd
Yeah but you can’t compare the Model 3 to all cars. It’s closest equivalent is a mid sized luxury car. And most consumers are not getting those. It’s real competitor is a mid sized sedan aka the Camry. Average transaction price for those is $25k. You can’t include pickup trucks in the comparison as there is no way you can use any Tesla models as a pickup.
You are a bit quieter with a knife though. A gun gives you away immedietly to all around you unless you have a silencer but those arent so easy to get in the USA (class 3 if I remember correctly).

In England people get knifed and who can know?

And if its not a knife it will be a car, power tools, planes, boats, pushing someone off of a building. I rather retain my right to protect myself from crazies and die trying than be disadvantaged compared to criminals who wont follow the law...

Having gone to the range here in the US I gotta say its not as easy as most think. You have rules amongst people who handle fire arms you must follow or get banned from a range. I am convinced after my experience that a bad actor is already mentally unstable and will kill someone they intend to regardless of guns or not. How many US serial murderers didnt we have that didnt use guns anyway?

A gun is a tool. Anybody can use a tool correctly and anybody can use a tool incorrectly. Any tool can be bought legally and illegally. People who do not follow laws will have an advantage against those who do in terms of available tools.

As others in the thread have said people dont think of getting a gun to murder they think of murder and then consider their options.

Worse yet: Oppresive governments usually take away the rights of citizens to defend themselves before they begin total oppression of the people. Just ask Venezuelans who has guns there...
Discussed in 2016: https://news.ycombinator.com/item?id=10940484
The united states and canada invest heavily in a physical barrier. Both countries regularly clear the forests on the border so that the entire border is more easily patrollable. Because of this physical barrier and cooperation between the countries it is extremely difficult to cross the canadian united states border without being immediately noticed and caught.
Compared to sites like lobste.rs and some super moderated topic-specific subreddits, it is 'incredibly' high.
I thought it was a reference to the film The Big Hit.
Starvation need not provoke murder. If I had to choose between watching my child die and murdering another human so he could survive I’d choose the former. There is no life for a life. You only get one, and robbing someone of their life is the greatest injustice that can ever be carried out. I understand that if you grow up in that culture it feels normalized, but that doesn’t make it ok.
HTML5 Graphics and Audio for Node.js via QT
HN's commenting system is fundamentally broken. there is almost zero correlation between net upvotes and insight
I see 5 cases:

Code | Test | Result
--------------------------------------------------
fine | fine | a) We have a regression test, yay!
fine | buggy | b) Someone breaks the code to make
the test work. Oops.
c) Someone fixes the test, we have
a regression test, yay!
buggy | fine | d) We'll fix the code, and we have
a regression test, yay!
buggy | buggy | e) Bug remains in code. Oops.

If the probability of introducing an error is p,

Code | Test | Probabilities | p = .01 (one in ten)
--------------------------------------------------
fine | fine | a) (1-p) * (1-p) | .9801
fine | buggy | b) (1-p) * p * .5 | .00495
c) (1-p) * p * .5 | .00495
buggy | fine | d) p * (1-p) | .0099
buggy | buggy | e) p * p | .0001

So we see, probability for:

no harm done .9801 (a)
bugs found + fixed .01485 (c,d)
bugs introduced / not found .00505 (b,e)

The above completely ignores the fact, that depending on the code base there will be significantly more test code than production code. But then test code is quite often
highly redundant, and might actually have a lower defect rate itself.

Also the probability on introducing an error in the production code and the test code, might actually not be statistically independent, which I assumes here. So take with a grain of salt.

[Edit] Actually d) could also end negatively. Guess a working model would have to take into account that on failing test cases, a sensible developer should take a step back and reason about why this happened. So the negative outcomes would be (hopefully) less likely than the positive ones here.
Thanks Evan for sharing your thoughts.

Yes, there is more to come on prevention and interventions. To get notified, feel free to follow me (https://medium.com/@amandakwoo) and Criticide (https://medium.com/critically-deciding). In the mean time, one way to start making better decisions in software development is the information we use, specifically estimations we produce (https://hackernoon.com/how-to-do-smarter-estimations-7d67f27...).

I've also added a question to the end of the article to hopefully clarify that the article intent was more for conversation rather than a 'how to'.
Then how do you explain India? There exists massive wealth inequality in India as well, yet the murder rate is infinitesimal compared to Latin America.

I believe the issue is more cultural than economical.
I did not mean to reply to a different comment. I did address the parent's point by explaining that the premise of the point (the claim that no piece of C/C++ code is ever safe) should be categorically rejected and not engaged with.

> "Replying to everybody who replied to your comment is pointless if you don't take the time to read and process the replies."

This feels like you are being needlessly antagonistic and assuming incorrectly that I failed to read other comments or replies. If you did not understand the manner in which my comment was responding to the parent, that's fine, but it was and I don't appreciate your tone.
>Using this library, you can implement bi-directional process communication with compile-time assurance that neither party will violate the communication protocol.

No, you cannot. "Assurance of not violating communication protocol" and "process communication" together are an oxymoron. If you do this, you deserve all the possible failures that come along with it.

Please don't write infrastructure code that depends on "assurances" instead of checking and validating communications.
Since I couldn’t find anything about this. Is the volcano filing model where things simply get stacked up until they erupt?
The submitted title broke the site guidelines by editorializing. Please don't! The relevant guideline says "Please use the original title, unless it is misleading or linkbait; don't editorialize."

(Submitted title was "Latin America has 8% of world’s population and 38% of murders".)
Rehabs expanded under the ACA due to the insurance coverage mandate. Quality however has always been suspect. Most rehabs are not evidence based and there are a whole bunch of very shady rehabs in Florida and other places.
In Latin America there have been repeated movements for many decades to identify and address these underlying social injustices, including the wealth distribution. These movements often do not fare well, and the US Government is invested (financially, militarily, politically) in ensuring that these movements do not fare well.
It's been a few years since I was directly involved in engineering, but my fairly educated understanding is that it's more around reading of possibly-private packages than publishing.

Publishing is a relatively rare event compared with reading, but in a world of private packages, orgs, and teams, the "can {user} read {object}" gets more complicated. It probably wouldn't be CPU bound if not for the sheer scale we're dealing with, but once all the IO bottlenecks are resolved, you still have to check to make sure that a login token is valid, then get the user associated with it, then check the teams/orgs/users with access to a thing (which might be public, in which case, the problem is a lot simpler, but you still have to get that info and check it), and then whether the user is in any of those groups. So there's a straightforward but relevant bit of CPU work to be done, and that's where Rust shines.
Evernote has an export format and a bunch of other tools can import Evernote exports, given how popular Evernote is. It's not perfect, but it's pretty good.
stop infecting the clean simple language with that complicated and confusing mess. Go program in C++ or Rust, please. If someone needs to generate something, they can use Go generate tools or simple old m4.
> Additionally, the recent tax cuts have helped inject cash into the economy.

Source? Typically this doesn't actually happen. In fact there is very little evidence for tax cuts "injecting" (whatever this actually means) cash into the economy.

>It occurs to me that the tight labor market is forcing wages higher naturally.

It's a well understood fact that labor markets actually don't equalize in a supply/demand fashion. I want to know why you think this is the case?
My biggest takeaway from this is to invest in a company right when the CEO changes if they CEO came from a failed company. Assuming "strong track record" is priced into the stock of a company picking up a new CEO that's good, I also assume "weak track record" is priced in to the opposite. Since success afterwards is basically chance, it would be a discount.
> Nothing compares to Tesla yet

Volkswagen is starting their push into EVs now. The Porsche Taycan uses 350 kW chargers to charge faster than Teslas. I'm sure 350 kW chargers are on Tesla's roadmap but Volkswagen got there first:

https://www.bloomberg.com/news/articles/2019-01-28/porsche-t...

Volkswagen's MEB EV platform will be used across four VW brands (VW, Audi, Skoda, SEAT) to deliver 27 different EV models by 2022:

https://jalopnik.com/the-fascinating-engineering-behind-vws-...

How many models will Tesla have available by 2022? VW is also looking to license the MEB platform to other manufacturers (like Ford):

https://jalopnik.com/volkswagen-wants-other-automakers-to-us...

I think Volkswagen will be the EV leader in a few years. It'll be interesting to see if this helps them get ahead of Toyota to become the world's biggest car company.
Here's the entire translated version

Using the above principles, how can we design a good password?

Tip 1: Replace characters with ones that sound the same

For example, you can replace the letter e in succeed with the number 1 {note this sounds the same in Mandarin}, so that it becomes succ11d, which is easy to remember and combines numbers and letters.

Tip 2: Replace characters with ones that look the same

For example, you can replace the o in dog with 0 and it becomes d0g. It mixes letters and numbers.

Tip 3: fill with special symbols

For example, the above password d0g is not long enough, so you can add special symbols at the end, e.g. d0g!(!(!(!(!(!(, it will be easy to remember, but hackers will need 12,340 centuries to crack it.

Tip 4: Using Chinese input method

For example, the phonetic input method of the four words "My Password" is the combination of "ji32k7au4a83". At first glance, it is a random combination, but it is meaningful.

Pretty hilarious all around, anyone checked if d0g!(!(!(!(!(!( is in the database too?
Seems to be deleted now.
It's not just the familiarity. ReasonML fixes real syntactic issues with OCaml:

- Having to learn how to use let ... in

- Having to learn how to use semi-colons and where and why

- Having to enclose `else` clauses in parentheses or begin/end keywords and learning why they are necessary

- Having to use multiple pairs of parentheses to enclose function arguments like `foo (a + b) (c - d)`. With Reason it's `foo(a + b, c - d)`. And another bonus, function application in Reason actually looks like high school math function application

- Having to learn to distinguish between tuples and multiple arguments in data constructors

Those are just off the top of my head. In addition, ReasonML's refmt tool lets you avoid bikeshedding discussions about code formatting–it's a whole-program formatter. And some additional syntax niceties like single-@-symbol annotations and the upcoming single-line comments (//)–something OCaml will most likely never get.
Yeah, it's like saying "CAP says partitions decreases availability/consistency, so putting your app servers in a scale group will make things less available/consistent."

That's really superficial analysis. Yes there is some fundamental tradeoffs. But it is possible to change the properties of a system or combine them in intelligent ways and move the curve.

Or it's like saying that speedometers make your GPS less accurate due the Heisenberg principal.
Or maybe you should spend time on it, by creating a fork with all the good PRs applied?
I think it's actually even simpler. If you se a set a function of value you in your life and you build a feedback loop to track how much of that value you are achieving, you're probably gonna have a good time.
Human Society: Definition and Explanation
Yeah, Venezuela's going through one of those movements right now, and thanks to it, has the third highest homicide rate in the world.
What tooling do you use to track your expenses?
> Instead, it reduces that number to c' * N with c'<c and the difference being caused by your test coverage.

That is unproven conjecture. It feels right, but just because it is written as a formula doesn't automatically mean it is correct.
Does that mean we can remove all signs, lights, indicators, etc. from everything on the road?

We’ve designed roads and cars to accomodate the shortcomings and limitations of humans.

Is there any reason to expect robotic autonomous systems to have the same set of short comings as humans?
I've noticed this brand has a much longer shelf life (based on the use by date they stamp) than any other milk I've ever seen. It must be a very clean process over there at Organic Valley to keep the bacteria counts so low that their milk lasts more than twice as long as regular brands.
I asked about mobile in a sibling comment.

> 3. I'm working on a webapp and mobile support. Probably a month away.

Okay, that would likely be fine. I'd suggest at least creating a iOS Shortcut to save to your webapp because not being able to save via the normal share sheet would be a drag.
Just wanted to point out that Camlp4 has been deprecated for a long time and replaced by the extension points mechanism.
There's a YouTube channel called Active Self Protection where the subscribers have this running joke almost about the next video being from Brazil. Even the commentator says stuff like "...you guessed it, from Brazil", because there's just so much content coming out of these Latin American countries for his show's focus which is analysis and review of crimes captured from surveillance camera footage, badge cams, and bystander journalism and what not.

It's interesting the ubiquity of these video feeds that we can get a glimpse into another part of the world and see the problems people have to deal with. The commentator for the channel often informs his audience about how certain things pose entirely different risks in other parts of the world. This includes things like not boxing yourself in with your car in Latin America where car jackings often play out where you gave yourself no exit by stopping so close to the car in front, or being oblivious to two men on a motorcycle, the so called "motochorros", etc.
The Assassination Complex: Inside the Government's Drone Warfare Program
> Even if we committed to building a ton of new supply tomorrow, it’d still take years to get approved and actually physically built.

Would you argue we shouldn't do anything about climate change because that will take years of approval and political decisions before anything gets done?

I mean, yeah, it would be better to start ten years ago than today, but starting today must be better than never right?
There is no cloud but other people's computers. Don't store personal data on other people's computers.