skysight-inc/HackerNews huggingface dataset:
You mixed up some units here: Brooklyn is way denser than SF (about twice as dense). Your SF number is people per square mile, not per square km.

Same units, Brooklyn is ~35,300/m^2, SF ~18,500/m^2

Manhattan ~69,400/m^2

all from https://en.wikipedia.org/wiki/List_of_United_States_cities_b...
6) cars don't get stolen as easily

I use my bike 90% of the time. But unfortunately, I do need a car for the remaining 10%.
A dataset for personalized video highlight detection
Instead of originating with gender and trying to fit in taste of music etc. into that. Start with what is relevant, the music, maybe that happens to fit nicely into what is considered popular for a specific group of people. Maybe not.

"It seems they targeted this kind of music which would have been quite typical for XXX during that time."

Or mentioning more specifically that they omitted this kind of music which could explain why it perform poorly in that context.

The quote also reads that they it was designed explicitly for western-european men, the gap between that and "they might have biases toward their own taste" is astronomical.
No they would send the special forces. But they would not be stupid enough to end it this way.
Fully agree. I work on a large open source project and in 8 years I have encountered one person who found a bug by actually reading the code.

Many projects are stable only because the massive numbers of users that find bugs by running the software.

On the other hand there are virtually zero-fault small projects that no one is interested in because they are finished, bug-free and the author/maintainer would like to keep it that way.
Check out Ur/Web (http://www.impredicative.com/ur/).

It has been used by a "mainstream programmer" to build a RSS feed reader.
From a legal perspective, the level of intoxication needed is very high before a person is considered to no longer be able to give new consent. If you are legally drunk, consent for sex is still consent. We (people, citizens, HN community) might find that abhorrent, but it is not rape in the eyes of the legal system.

We could change that and make the ability to give consent go away at the first drink, or at a specific percentage (like drunk driving). The benefits and drawbacks for doing so can be aired under constructive political debate. In this case however, prior established boundaries do not establish if consent can changed once intoxicated but still within the legal range where new consent can be given.

The only avenue for prosecution would be to claim that Jacob intended to make her drunk in order to trick her into sex which she don't consent to. The qualifiers for that is very hard to prove.
>More police are killed in traffic accidents than in violent confrontations. When you factor out traffic accidents in police deaths, being a cop is actually one of the safer jobs in North America.

Love to see the stats on that. Either way you wouldn't get me doing a cops job in America without a gun, for obvious reasons.

>All your bullshit about putting your life on the line is just psyching yourself up to shoot people. Cops don't put their life on the line. They sometimes get killed by people for no reason, but in smaller numbers than civilians get killed by people with guns for no reason. All your heroic language does is justify cops shooting innocents because they're scared.

Not really worth a response seeing as how this is just trolling, but I can guarantee 2 things that you'll not like hearing because you're obviously convinced all cops are just bad men in uniforms but, 1 yes cops do put their lives on the line, 2 my supposed "bullshit" about putting my life on the line is just not psyching myself up to shoot people. Sorry to disappoint you but you're speaking shite.
Yes! There's a video on Tested (YouTube) where Adam receives his
Meffjeff,jasjldjlidsa
Monte Carlo integration, one of the most important application of PRNG, needs the speed of non-CSPRNG.

However, I do agree that programming languages these day should probably make a CSPRNG the default, and let you switch to a fast PRNG when needed. (Now it's by and large the other way around – you get a fast PRNG and need to switch to a secure one.)

If you know what you're doing, the outcome is the same, but if you don't, in the first case you're unnecessarily slow, while in the second you're unnecessarily insecure.
Psychological Safety, Risk Tolerance and High Functioning Software Teams
Can't comment on the "long-term" success of LTSE, but I LOVE the philosophy.

Optimising for long-term benefits could help our civilisation become aware, and actively take steps towards the oncoming ecological disaster (because capitalism says if we're destroying the Earth, the solution isn't to stop "growth" and save Earth... Find another Earth instead!)
Marsaglia's DieHard, DieHarder, and NIST 800-22 A are historically important, but outdated.

See my related stack overflow answer:

https://stackoverflow.com/questions/4720822/best-pseudo-rand...
The criticism seemed to be mostly about not issuing security advisories. Letting users know when there's something they need to upgrade is generally good practice
How do they have more control over Telegram than over Twitter? They’re both internet based services.
Orbis doesn't work the way you think it does. The kernel is based on FreeBSD, but the entire gfx stack (and everything else above the kernel) is custom. It's not even OpenGL compatible, instead running their custom GNM library (Metal/Vulkan/Mantle equivalent) and GNMX (OpenGL/DirectX equivalent).

Nothing they've built in their stack would translate to an Xorg driver, beyond the kernel shim (the smallest and simplest portion of the code, in most video drivers).
Won't help, since the angle brackets are escaped. (View the Source, Luke.)
From what I gather, decent PRNG tests today are

- L'Ecuyer's TestU01 (with SmallCrush, Crush, BigCrush), and

- Doty-Humphrey's pracrand with its PractRand suite
Integration tests are much more brittle in my experience. A simple test for doing frontend/backend integrations tests with web driver can easily break due to race conditions or changes in other parts of the system. Such tests are great for detecting that something is wrong, but it can be very hard to figure out what's wrong and where things went wrong.

Had a lot of "fun" rewriting a bunch of integration tests for angular, because the framework used a lot of Promises which caused race conditions. Those tests were much harder to write than unit tests and were much easier to mess up.
Maybe they get paid with blockchain-based currency. (I kid..)

Maybe he means doctors get paid with status, and if you're a doctor you get better rates for loans.
This could easily be one of the “smallest” things to have the greatest impact. Looking forward to reading statistics on how much this software takes in % of total spam time and saved money.
This isn't a list for learning how to code.
They should have two layout options: Qwerty & Keybee. After all, the hexagonal keys save space with qwerty as well.
Apparently no amount of coding standards, reviewing or number of contributors make up for the huge deficiencies of using C.
Wondering what the state of open source operating systems would be if they didn’t have to fight the programming language.
Garmin. https://developer.garmin.com/connect-iq/
A deep dive into the Athens startup ecosystem (and why 2018 will be a big year)
And projects like rkt don't exist in your world?

while it's been a while since my last brush with kubernetes, didn't they use kubectl?

So yeah... it's containerisation, not docker.
It's so easy to spot American comments in this thread.
Handily enough, the links go to goodreads where you can read reviews and determine that for yourself.

Consider the list as a discovery mechanism and then use your own judgement to determine whether it's worthwhile or not. The value is in the discovery, rather than a (non-existent) review.
Part 2 of the post: http://www.samseely.com/blog/amznsupplychain
Sure, but then you also need to count the only use of nuclear weapons against the mostly civilian population by some other government, I forgot which.
WhitestormJS – Modern Virtual Reality Engine for Web Browsers
> Let's do the Devils advocate. You are the cop standing there. You are almost certain he will pull a gun on you or your colleague. What would you do?

-Fair question. IMHO there will be situations where the police are justified in firing on suspects. I just think that bar is currently (apparently) way too low - and that much can be done BEFORE a situation goes as far as the one in the parent story.

I would expect that SOP at 911 dispatch when receiving a call like the one triggering this death would be to seek more information as the team dispatched; why didn't they call the neighbours? Why didn't they call the house the call supposedly originated from? Why didn't they floodlight the entrance to the house as they ordered the victim to come out? He wouldn't see a thing with a couple of lights in his face, and it wouldn't matter one iota whether he had a gun or not.

My point isn't that police never are justified in exerting violence on us; my point is that they could do a lot more to avoid ending up in situations where deadly force is the only apparent solution in the first place.

I hope I didn't dodge your question.
It probably is a learning system... It got trained more. The review itself doesn't have to change. The system merely adjusted its parameters due to more exposure to new reviews.
Heart disease is the leading killer in the US right now, the risk of which is almost zero on a whole food, plant based diet. Your risk of cancer and diabetes also go way up on a diet rich in animal products. Vegans are also the only demographic with a normal body mass index, and obesity is linked to many other health issues.

Which diet is dangerous again?

Unless you're eating a really weird diet it's almost impossible to get enough calories but not enough protein. Eating a healthy vegan diet is easy and easier now than it's ever been with the wealth of information out there.
My grandma has an old Felix artithmometer. AFAIK these are capable of the same things as the Curta but with a less elegant and convenient form factor. It really shows why Curtas are so valuable.

Last time I visited her I used it to estimate sqrt(2) to 3 digits precision. (Result is on the left side https://imgur.com/a/CoEuC)
My favourite books of 2017
The presentation addresses this in a way. The argument is that in Coq you can write proof _scripts_ ("repeat this simplification operation until it does nothing", "pattern match on this definition and apply this operation to every subcase", "proof tactics" and so on), and in this way the same proof script can prove different theorems.

So there is a possibility that changing the code only forces you to change theorem statements (that is, the spec), allowing reuse of the proof script itself. Now you are doing software engineering on proof scripts, and you face the same generality/flexibility problems you would face when writing unit tests. A well-written proof script would be flexible enough, and a hacky one would lock things down too much.
If you have good top tier employer, chances are that you have pretty good insurance. Medical insurance is actually a criteria for lot of people for which employers to work for. This however probably applies to more skilled workers who have such choices. In single-payer, your employer no longer provides insurance. So everyone gets same plan and you are stuck with it.
The contracts for share ownership can simply proscribe the conditions that trigger change of ownership for purposes of tenure. In such a case it would not matter if you sold the shares, gifted them, had them siezed, or offered them in a lottery -- change of ownership resets the tenure clock. In your example case, as soon as the shares were seized then for purposes of tenure they were sold by you to the Italian government to cover your debts.
Three comments:

> I found exactly one where fetching random numbers was over 1% of CPU consumption.

Again, Monte Carlo simulation is the obvious exception, and it is a huge, important field and big consumer of random numbers. Stochastic algorithms (see Sebastian Thrun's Probabilistic Robotics) might be another example.

However, one big problem is that many benchmarks basically benchmark the PRN generation, and so incentivise vendors to default to fast PRNG. And I agree with you, the default should be a CSPRNG.

Lastly, on a side note, I seem to recall that some generators from Vigna's Xoroshiro family suffer a very low quality least significant bit. Not sure whether Xorshift128+ is among them.

EDIT to add more:

BTW, it's surprisingly hard to get researchers in PRNG to give clear, unequivocal recommendations for users. They'll often resort to some version of "it depends" (or plug their own).

Lastly, let me plug my related stackoverflow answer:

https://stackoverflow.com/questions/4720822/best-pseudo-rand...
It's a difference in perspective, I rather prefer situation where no one isn't forced to anything, and that's why I think BSD license is 'better'. I want you, me and everyone else, including companies like Sony, to be free to take the code and benefit from it in every possible way, and if they choose not to share back, it's again their freedom to make this decision. I will use my freedom to make the decision of sharing back, despite all other decisions made in that regard, because this is what I consider a truly free software, unlike the GPL.
I am no expert. I just know enough about what physical confrontations look like to know how to genuinely look non-threatening during one. And I know that I didn't always know this, plenty of people still don't - some have said in this very thread that they don't! - and I think that ignorance is potentially dangerous.

I have no idea what you're talking about with a police state. Understanding how to be non-threatening violates no rights of yours, and is a very practical life skill in any physically tense situation.

Look, there are plenty of things that are messed up about the way police function - though nothing that applies to all of them, either good or bad, since police are a local institution. But in general, civil asset forfeiture is very bad, and often a grave injustice. Policemen lying under oath to get a conviction are very bad. Arrest quotas are bad. The high price of justice in the courts is very very very bad. There are bad things, and I am all for working to make them better. But on the other hand, I think police are people who deserve empathy and fair treatment as much as anyone does, and who absolutely deserve the right to protect themselves and work safely as much as is practical. I don't think understanding what that entails and putting them at ease and keeping yourself safer is building a police state. It's just being smart and decent.
Here's that quoted section without weird formatting:

>

There is plenty of reason to restrict the use of SWAT teams, but not
to abolish them. They are needed now and then, when there is an actual
hostage situation or an armed gang that tries to shoot it's way
out. They should never be used for routine search or arrest
warrants. That not only endangers the possibly innocent target of the
raid, but it undermines the team's training – they become used to
tearing up houses where no one is resisting. There's a dashboard video
of the Jose Guerena raid. My drill instructor would have said they
looked "like a monkey fucking a football" – and I was in the Air
Force, ground tactics weren't even on the curriculum. I've seen
considerably more forceful comments from Army and Marine Corps
infantrymen who actually have had to break into a house against armed
defenders. They milled around, exposed themselves to possible fire
through the open door, and got into each others line of fire. They did
NOT identify themselves as police that I can hear on the audio track,
so Guerena was justified in hunkering down in a defensive position
with a rifle. If Guerena (a former Marine) hadn't been far more
professional than any of the cops and not fired without identifying
his targets, several cops would have been down.

Then there are the SWAT members that "accidentally" (that is,
negligently) fired a round and killed an unresisting, unarmed suspect
because they tripped or bumped their elbow – an accident that can only
happen if you are in violation of the two most important rules of gun
safety: don't put your finger on the trigger until you have decided to
shoot, and don't point the muzzle near anything that you do not intend
to shoot. We know they were running around with their finger on the
trigger – in a situation where there was clearly no need for shooting
– because modern firearms in good working order just don't fire unless
the trigger is pulled. The military just doesn't tolerate that. If a
non-police civilian in my state had done this, he could have been
sentenced to life for manslaughter. But if you are a cop, you can
recklessly kill someone and the prosecutor will throw the case…
You construct a baseless premise that rushing things up is somehow going to result in a better outcome.

If anything taking things slowly, establishing communication and negotiating would have better chances. And that seems to be the standard procedure around the world.
> The police had complete control over how they approached this. Why then are they even in a position where they feel threatened?

The police is also under an immense pressure when they are assigned to a hostage situation.

Yes, I suppose much of that comes from their own feeling that they must achieve a quick resolution to a distressing situation, and if they are not well trained, not experienced and do not have the right incentives to work in a professional way, this kind of tragedies will happen.

In my country of 5 million people, the police force (8000 policemen) often uses less than 10 bullets in action per year, per the whole force (including warning shots but excluding ammunition used in training), but on the other hand, police officers being killed in the line of duty is also extremely rare, so they can usually approach most situations without being too aggressive.

(This is not because we wouldn't have a lot of guns in the country - we do. We just don't have violent subcultures that would shoot each other or the police.)
Yup, the idea for for profit driven healthcare sounds bad until you consider the alternative which is cost minimization driven, the easiest way to cut costs is to not provide service
The world can do just fine without solo Everest climbers.
I guess spammers make most money from the lowest IQ percentiles on the internet. Therefore, we only have to develop AI that is as smart (stupid) as those people, and spammers won't be able to tell the difference.
Works for me Chrome on Ubuntu, 11.19 UTC.
List of Bitcoin Startups (900+)
> the only thing markets have been shown not to do well is make sacrifices for moral reasons.

Even reading this claim in the narrow context of the article it seems too broad. John Cassidy has written an insightful book “How markets fail“ that explains when markets do not generate optimal or desirable outcomes.
I had the same problem and said worked for me
Classic HN. Let's throw some ML & AI & DL at it. Don't forget to take your TensorFlow with you.
Sounds cool, unfortunately the live demo does not seem to work on mobile safari.
Skip Blocks: Reusing Execution History to Accelerate Web Scripts [pdf]
Best of 2017 – A side project
Americans are all about freedom and equality, but having a police force who can almost arbitrarily kill you and with little consequence sounds like neither. In fact, it's not very different from how the Chinese government can disappear or jail you without retribution if you criticize the CCP, although Americans will undoubtedly loathe the comparison. The Chinese system sounds worse because it's lawful evil if you will, but at least there's a simple if degrading mechanism to avoid being a casualty, while the chaotic evilness of the US system means you could be dead tomorrow by no fault of your own just like the father of two—no, sorry, the "male", better term to convey aggression and justify the shooting—in this story.

As you said, this is part of the American culture, and part of a circle of violence that includes NRA lobbying, widespread gun ownership, mass incarceration, macho cop culture, politically motivated toughness on crime, the War on Drugs, etc. This will take decades to unravel at best, so I'm not holding my breath, just like I'm not holding my breath for the CCP to allow free speech anytime soon.
The initial claims made about Jean Charles de Menezes included that he ran, he jumped the barrier, he did not buy a ticket, he was wearing a thick jacket. In reality he walked, bought a ticket, used the barrier normally and was wearing a t-shirt. This is visible on the cctv footage.
> How would such a proof checker know the intent of the code of not having backdoor/insecurity? How do you define security in a logical sense?

As you surely know, there is no such thing as secure/insecure, but a set of properties that are considered in IT security, which might even not be fullfillable all at the same time. The exact words vary depending on the book, but a popular classification in a German standard reference on IT Security is

General protection goals:

- Integrity

- Confidentiality

- Availability

Further goals are

- Authenticity

- Acountability

- Non Repudiation

- Sometimes Anonymity

So you first begin to formulate your protection goals. Next you can begin to forumulate this in a logical sense. Again there can exist quite different axiomatic implementations of a general protection goal.

But since you want to see examples:

A common model in literature for integrity is the Biba model: https://en.wikipedia.org/wiki/Biba_Model

Another common model for integrity is the Clark-Wilson model: https://en.wikipedia.org/wiki/Clark%E2%80%93Wilson_model

The mathematical dual of the Biba Model is the Bell–LaPadula Model for ensuring confidentiality: https://en.wikipedia.org/wiki/Bell%E2%80%93LaPadula_model

A model that ensures that the access rules will be free of conflict of interest (this of cause involves privacy and integrity aspects) is the Chinese Wall Model: https://www.cs.purdue.edu/homes/ninghui/readings/AccessContr...
https://scotthelme.co.uk/overcoming-the-hurdles-of-vat-and-v...
The main assumption is that the specification (the proposition you want to prove) is (much) simpler than the proof. This means that the user/customer can read the specification, and understand what it means, even if the proof is not comprehensible to them. Of course, the proof must then be machine-checkable.

This makes the clarify of specifications into a market-driven problem. What do you do if you have a formally proven contract, but nobody can understand what the spec is? Well, you probably won't be able to sell it, because nobody will trust you. Instead, you try to simplify the specification, so you have something that people will trust. This is very similar to established practice of mathematics, where getting a proof accepted is really a social process, in which you try to convince your fellow mathematicians that the proof is correct.
could be a good thing. sometimes it’s a sign of stability and focus rather than abandon.
the ladder is on chinese side. but yeah, solo climbers probably won't support nepalese family of 5 with a single climb so in the face of falling revenues from disastrous last couple years they just banned it.
SEC Plans Cybersecurity Guidance Refresh: What to Expect