skysight-inc/HackerNews huggingface dataset:
If I understand NSL correctly, its existence cannot be published without a government waiver? So in the case a repo needs to be taken down due to a NSL, what does GH do? 404? 401? 451? Returning 451 in response to a NSL would definitely violate NSL requirements?
Haha yes that's basically the Church-Turing Thesis right there.
Stuff like this is a good case of history repeating. The high-assurance systems certified to B3 and A1 had many of the same principles. The system had to be broken into modules, each was implemented in a functionalish way, safer subsets of languages were used, many components were FSM's, all execution states modeled/analyzed, compositions analyzed, and so on.

LANGSEC rediscovered some of these ideas. It would probably benefit from a thorough study of old and current methods in high assurance to supplement what its subfield is doing. Maybe even accelerate it in case something was already achieved. Good news is they're both building tools and getting mainstream attention. Great news, actually. :)

The problem I have is that the use narrower languages thing is mostly talk with little worked examples that people might adopt. The descriptions, like reducing attacker's playground, remind me of promises of MAC, capability systems, language VM's, and so on. Might be a good thing where same solid principles apply yet again but might also show new stuff will be inadequate.

Just not sure at this point. I think the approach taken by SAFE, certified kernels, SVA-OS, and JX is going to end up best route. These raise abstraction up a bit from the machine to primitives with inherent security and safety properties. Then, developer can use high-level language to express themselves with trusted tools converting that to usage of the primitives. Or do it directly like a macro ASM or C library. A language like Haskell, ML, or typed Racket can take over from there with many integrated, Turing-Incomplete DSL's for specific functions. That's how I'm seeing it go if LANGSEC methods go anywhere near real security.
There would be an incredibly loud sonic boom when the projectile left the unevacuated barrel, but since the projectile is going faster than the speed of sound, it would not benefit from the pressure wave; in fact, it would probably slow down, and possibly be destabilized when it penetrated the thick layer of (possibly plasma-phase) air. It is also likely that when the pressure wave left the barrel, the entire barrel would shake itself to pieces (unless it had some way of damping the axial waves going back and forth through the barrel, akin to a 'water-hammer' effect).
A lot of production input devices for stuff like waving hand gestures and pen input also have unacceptably high latency. Getting latency down is hard, and makes a huge difference to usability.
The article seemed pretty transparent to me: the author thinks NDT is dumb.
I'm not sure how/if it scales, but here's an article about different lengths of 5.56mm barrels, with graphs of pressure and velocity: http://www.sadefensejournal.com/wp/?p=1093

In reference to the second graph on the page, mach 1 is apparently 1125.33 fps

Do we know if the space guns are rifled or smooth bore?
For me, the visualisation happened so fast I am not sure of whether I thought of a real steeple, then an abstract steeple, or vice versa.
SpaceX appears to be competitive even without reusing the first stage:

At its 2013 launch price and at full LEO payload capacity, the Falcon 9 v1.1 cost $1,864 per pound ($4,109/kg).

Ref: https://en.wikipedia.org/wiki/Falcon_9#Launch_prices

From TFA:

The cost was roughly $1,727 per kilogram, adjusting for inflation. By comparison, Nasa estimates that it costs $22,000 per kilogram to launch a modern satellite into orbit using conventional rockets.
I'm curious, besides doing things in C/C++, are there any "magic tricks" to doing low-latency audio processing on Android? Looking at the chart here [1] it still seems to be a good bit behind iOS.

[1] http://www.androidpolice.com/2015/11/13/android-audio-latenc...
I think the premise for the story - applying magnetism to the brain curing autism tomorrow - seems suspect, and don't really believe it.
> The extreme sense of feeling the emotions of others that is described in the article seems like something stronger than normal for typical people, but perhaps it's just relative to previous baseline of little insight into the emotions of others.

A serial I'm following[0] has a character going through something like that, for various reasons one of the main characters initially experiences almost no emotions, as the story progresses things change and these emotions are overwhelming to them even though they're objectively nothing special, but the character never developed an "immunity" or a coping mechanism to emotion so any deviation from the emotionless baseline is subjectively enormous.

[0] Citadel
How appropriate that a person named Temple would use the steeple test to determine if you lean toward autism.

I'm skeptical, however.

People who don't see steeples often will probably think abstractly and people who do probably won't as much.
I Love the U.N., but It Is Failing
Uber is positioned to be the platform for transportation as a service. In their ideal world no one would own a car. Owning a car, like a plane or boat, would be come a luxury item.
San Francisco's $9B question
“Evidence-based medicine has been hijacked”
Agreed! Learning the latest and greatest library isn't going to make you a better developer. I'm not saying client side scripting has no place on the web, I'm just saying for many purposes its place is overrated, and that basic functionality can be provided through hypermedia alone.
Saddam Hussein was a big Sci-fi fan. I'd guess he knew it was supposed to be a launcher first, and still went for it.
The U.S. Is Exporting Its Oil Everywhere
What if you're left wondering what a church steeple is? :)
Yeah, I definitely need the CEO's emails with cat pictures for my predictive maintenance models.
Some people are wired to seek out improvement. Why not accept that some people will try, and some people won't?
The only Josh I know is female.
Pour one out for /vmunix.
This is really incredible.

Many of small actions by a small number of focused people in Washington, in the Whitehouse, and entrepreneurs and bankers, may have a profound impact on millions of Cuban lives in a very short period of time.

Another good reminder (to abuse a quote), "chance favors the prepared" -- Stripe had already laid a lot of groundwork before Atlas to handle the systems required for this, and then they launched Atlas to handle many of the regulatory requirements, and so when this opportunity came along for Cuba, they were quickly able to take advantage of it.
Actually thought that one of the more interesting aspects of this story is the pure amount of opposing forces that the author went through, even to the point that he seemed non-committal on whether going through the therapy was a net benefit or negative. This is one of those articles where the meaning & feeling of it could never be expressed in a one-sentence title :-).
As pjc50 said, it's often definitely a case of empire building.

Other times, the kind of personality that propels one into upper management makes him/her a particularly poor choice to execute an acquisition. Consider strong competitive instincts. While that is an excellent trait in certain types of companies, it can be a nightmare when it comes to acquisitions. Hell, highly competitive people can and have raised the valuation of a company several magnitudes beyond reasonable, simply through a bidding process.

In many ways, a competitive acquisition process looks like an auction and all the usual caveats apply.
They wouldn't but that's like saying computer manufacturers don't need the OS manufacturers anymore. They wouldn't necessarily have to have Uber but Uber providing the payment, route planning and logistics and someone else providing the vehicle seems like a pretty good match.

Though I'll admit the self driving vehicle delivery is probably another level of difficulty than Uber's current capability. But I suspect Uber and the car manufacturer may work on the self driving together.
Possibly so they don't have to buy one themselves? Similar to Car2Go.
The actual author can be correctly attributed in git by using the --author flag at commit time. For example, git commit --author "My Friend <friend@example.com>". The resulting git commit will show the committer as committer and the author as author, correctly providing attribution in changelogs. :)
50% nature, 50% nurture is wrong
The Internet is a digital shanty town
In all fairness, RPM really is a shitty package format [0]. It's a binary format with a lot of different versions, and any tool dealing with RPMs needs to be able to handle all those different versions. Compare that with nearly every other package format: a standard archive file with the package data and metadata stored within. This means that you need specialized tools to deal with RPM packages, whereas packages in other formats can be dealt with using standard archival and compression tools.

The situation could be a lot worse, for sure, but dealing with RPM packages is a pain in the ass compared to practically every other package format (programmatically speaking).

(I say this as the maintainer of a tool that converts RPMs to CRUX packages [1]).

[0]: http://rpm.org/max-rpm/s1-rpm-file-format-rpm-file-format.ht...

[1]: https://github.com/baguette/crux-ports/blob/master/rpm2pkg/r...
Stuff like this always reminds me how much room there is for making a product that makes an inconspicuous everyday activity better, but also how much staying power "good enough" has.
The data scientists I work with are statistics PhDs. The extent of their programming knowledge is R and SQL. What are they supposed to do if the data they need to analyze is only available through a SOAP API you log into with OAuth, and they need to log in once a day to retrieve the latest day of data? Unless you're a software engineer, you probably don't have the skillset necessary to easily get that data.

The data we use comes from relational databases and document stores operated by different departments, external APIs and third party services, SalesForce, server log files, etc. A stats PhD does not have the training to gather this data themselves.

In terms of a hybrid scientist/engineer role, I don't know many software engineers who are also good at stochastic calculus or ensemble learning. Likewise, I don't know many data scientists who are also comfortable writing cronjobs to retrieve external API data or have the ability to diagnose server problems.
You've made some good points in this thread about actuation. Can you point me to more info on SCHAFT's actuation strategy? I've been trying to turn up info, but haven't found anything great.
$99 Mineserver: The Devil Is in the Details
If this is true, this is an incredibly risky move. I know self-driving cars are more or less inevitable at this point, but there are hundreds of unknowns that still need to be figured out. How will passengers treat the vehicles? What happens when there is a problem, and there isn't a human present? How secure will the cars be? Is the 'call a car from an app' business model the one that will win? Committing this amount of capital this early in the game seems like a big gamble, unless there are a large number of contingencies worked into this deal.
Maybe eventually. But, usually such things take a long time to play out. People generally don't act independently, but more like a flock of birds. Occasionally, a singleton will appear to successfully break the equilibrium, but it doesn't happen often.
>How will passengers treat the vehicles?

As a mobile drug/prostitution marketplace.
pretty sure you just got the dums.
Open source development lessons (or the “non-technical changelog”)
Privilege: Yes. But it's still merit-based-pay when someone can do some work and someone can't do that work. Maybe that first person had everything going for them. Maybe they were groomed at the DNA level for this job. But they can get it done. And the second person can't. So it's still merit-based.
How an American criminal swindled a coding school out of thousands of dollars
Buzzfeed is reporting stock offerings?

Who knew?
This is similar to something I heard a psychologist say about mental illness. His test was to ask subjects "How did you come to be here today?" (with "here" being the treatment facility) and they would usually answer "In a car".

I don't remember what type of mental illness he was referring to, but it was probably autism.
You would think. I remember reading about how finance firms and maybe also consultants increasingly interview and make offers earlier to college seniors. If you have lots of debt and the company is a good enough name and they're paying good enough money, people take the offer. People are increasingly anxious, and this helps them know they have a pretty good job, for sure, next year.

This trend helps bigger, more established companies. E.g. Google or Microsoft know they will need many someones next year, and they have the resources and hopefully the desire to train up the people they hire. Startuply Inc may not be around in 9 months, and doesn't really know what they'll need then. Maybe the current sentiment of startups = good helps counterbalance this a little.
That 150m of air is constrained into a column by the barrel. It is a big deal and light gas guns commonly evacuate the barrel.
So do it.
What? No. More than half of those things cannot be done in this case. You're being paranoid.
In the Java layer? About the only thing you can do is ensure that you're using the devices native sampling rate: typically 48 kHz for phones, and 44.1 kHz for tablets. Non-native sampling will induce a rather large latency hit. The buffering + buffer size stuff, unfortunately, is really only accessible in native IIRC.

To be completely honest, it's been a long time since I've messed with audio-stuff on the Java-side, so not sure if/how much things have changed for the better.
I imagined a real steeple, but not a specific one that I have seen before. What does that make me?
Resources consumed by non-subscriber blockers do increase their costs.
What if you imagine a steeple that you've never seen?

Over-analyzing myself. I think Kant stared out at a church steeple for a lot of his life. And that was memorable to me in college. I've hardly ever gone to church. So I don't have many images. I imagined some sort of steeple as seen from across the street like Kant might've seen. But with a clear blue sky background.

My steeple was steep too in case that helps. Kidding aside I think how we visualize things hardly has binary correspondence with anything, let alone autism. But probably it has some correlation.
Smooth bore as far as I know. Even tank cannons are mostly smooth-bore these days.

The problem with those graphs is that they are not optimizing propellant quantity for each barrel length. Adding an axis for quantity of propellant shows that you get diminishing returns to increasing barrel length and propellant, but there is a limit to how much you can increase both without increasing the barrel's thickness (as well as the firing mechanism's strength).

You also have to remember that a gun will require > Mach 25 to get to orbit, and air acts differently at that kind of speed (, and once past ~Mach 3).
I didn't know HN was interested in the subject, very neat!

I'll keep up on this thread, and if anyone wants to ask me a question via email you can reach me at jack@lbry.io
Oddly enough, I think this is the first time I've seen reference that the SR-71 flew combat missions.
What it’s like to be a hot girl online ( … when you’re a nerdy guy in real life)
True which is a $250k difference if my numbers are even correct (I mean I think they're closer than parent's but who knows). But $250k isn't that much when the company is a billion dollar company.
Simple tests like this are fun, catchy, spread like wildfire and almost always completely bogus.
I don't understand. I agreed with what ahoy said. She said I was out of the mainstream and people might hate me and people like me due to my comment. I said she was right, that she was also in the mainstream and that people might like her due to her comment.

It's a personal attack to say someone is right and that people might like them?

(I'm assuming since you've singled me out for reply that you have little problem with ahoy's comment.)
I've managed some significant MySQL replication clusters for the last couple of years. They are a nightmare, frequently stopping for dumb errors and/or falling completely out of sync. It's only manageable because of Percona's tools.

While PostgreSQL replication may be a bit clunkier on the initial setup, it's a dream comparatively.
This story and your comment reminded me of this talk, "ADHD as a Cognitive Difference, Not a Disorder"

https://www.youtube.com/watch?v=uU6o2_UFSEY

I was formally diagnosed with ADHD a year ago after realizing a few years prior. There was a long time where I struggled to come to terms with it, and I still do get frustrated with my differences. At the end of the day though it's a significant part of who I am, and I don't think I would want it any other way. I may struggle with some things quite a bit, but I think it gives me a unique way of seeing things and going through life. There's even been a few smaller studies recently showing those with ADHD are better at divergent thinking, more likely to receive awards related to creativity, as well as an inability to ignore irrelevant thoughts being correlated with high creativity.

I think it's time we start to recognize that mental differences or disorders aren't necessarily disabilities and something to be cured or looked down upon
Then it was abstract.
Unified theory of innovation unlocking next tier of human potential
I'm implying that language elitism and faux-intellectual posturing are among the reasons this community seems to correlate the simplicity of the layout with its own intellectual purity. That same elitism would cause the same community to dismiss the same site out of hand, were it written in a language it was popular to hate.

But yes, it could be written in any language and still have a more progressive layout, and people would hate that the site appears mainstream or, heavens forbid, looks and acts more like Reddit.
Blaming B for discrimination done by A only makes B less likely to care.
Depends on how this is structured, if it's say 33k cars on a five year lease, renewable twice that's ~2.5B over 15 years. Also, Uber has a huge and arguably inflated market cap, so if they get this deal in exchange for stock it could be very valuable to them in the short and long term.
Most people can picture things in our head. The name for the inability to do that is aphantasia: http://www.bbc.com/news/health-34039054
I literally highlighted the term, right click, "Search Google For..." and hit image search just to make sure they were talking about a spire. So then I had the images I had seen on Google Image Search in my head.

You can infer what the steeple is, but it isn't an often used term for a spire around here.
> A lot of people are a few inches from my pocket every day.

Really? And your phone is on? With the screen visible for them to see what they are interacting with. And as they are fumbling around in your personal space inches from your hand or pocket, no one notices.

Get real! If true you should be more worried about pickpockets than some random gestures.
Show HN: Datasets.co – An easy way to share and discover datasets (Open Source)
There's one detail I'd like to address:

> I actually think we simply handed this conversation over to the free market in the 20th C and that answer isn't going to work in this century.

The free market / globalization dogma only took hold in the 1980s, under Reagan (in the US) and Thatcher (in the UK). Before that, the economy was much more highly regulated, taxes were over 80% in some categories, labor was much more powerful, and governments ran or controlled many industries.

(Remember that under these conditions, in the 1950s and 60s, the U.S. experienced possibly its greatest period of economic performance ever. The 1970s were a period of recession, at least partly driven by OPEC's oil embargo on the West.)

The issues you attribute to the 21st C have existed since the 1980s: The economy has grown but only for a very small minority. Everyone else's incomes have stagnated (while costs have increased, especially for health care and higher education). The benefits never 'trickled down' as promised (and what a condescending economic strategy!) and inequality has exploded. With labor weakened, ordinary workers have much less voice in business and government - and not surprisingly, they've been less able to secure the benefits of economic growth while those with a stronger voice have done exceptionally well.

I should say: The adoption of these policies and the stagnation of wages are coincident, but I don't know enough to say there is a causal relationship. I do know the problem has been around since the 1980s; it's just that the consequences have accumulated: What was argued be a temporary problem is now, decades later, proven to be a structural one, and the inequality has widened to a chasm.
Well, there's a certain human component to reading the article and giving a more honest summary of it ...

How about one where you see a list of links to articles with their original title, and then users of the site will read them and then submit better titles that you can read first?

Oh wait, that's HN.
I see where you are going. But I'm sure we can agree that both concrete types and protocols would be handled by a "type checker".

If ever there were a language where you'd want to be looking at protocols and not concrete types most of the time, it would be Python.
No, users and/or moderators will flag it. Happens all the time.
Miaou is kind of old now. If you look at one of the old rooms (for example https://dystroy.org/miaou/3?Code_Croissants) and hit ctrl-F you'll see an uninterrupted flow of messages dating back from 2012, when it was released. I created it because we needed its features back at that time, and that my friends and me didn't find them anywhere (TBH it seems that many of them are still unique to Miaou).
Buzzfeed would likely report anything people would click on.
And to try and stretch a comparison simply because they have the word "Democratic" in their name is so ignorant of reality that it's impossible to process.
No one in the company has an employment contract.
I combined a few different views into one using Bernt Hansen's custom agenda as a starting point (http://doc.norang.ca/org-mode.html#CustomAgendaViews). It includes everything I need - schedule for today, a list of projects, stuck projects, etc... Typically I will just go by today's schedule, but it is invaluable having my list of projects on the same screen so I can just tab over in a separate buffer to the actual org file if I need more detail (or if I want to see notes for a given project).
"Your definition makes almost every single thing every person does (apart from watching TV) arrogance."

I think that watching TV has no inherent prevention from being arrogant, so TV watchers must be arrogant too! (Armchair quarterbacks anyone? Hell, the more I think about it the more convinced I am that the article itself was written by some sort of armchair [whatever]!)
Ahh.

Still, we don't have the actual context: this could just be a department head bloviating on a thread she probably shouldn't have been included on in the first place.
Rather, you need to Make America Great Again and make sure it has a proper European-style social net so that News Editors and Journalists don't need to use click-bait headlines to put dinner on the table.
I have learned parts of that! But this is way broader than dealing with negative emotions - actually, it's other people's attraction that causes this state the strongest.