skysight-inc/HackerNews huggingface dataset:
Basically echoing senex's comment, but this announcement seems bizarre in light of https://forums.docker.com/t/file-access-in-mounted-volumes-e.... In particular, a Docker employee responds with a status update in https://forums.docker.com/t/file-access-in-mounted-volumes-e..., saying this isn't resolved for stable Docker for Mac. It's totally unusable for Rails development right now.
But Lyft is stuck in Uber’s shadow. I asked one venture capitalist what he thought of Lyft. He put his thumb and index finger into an L shape, brought his hand to his forehead and mouthed “loser”.

I don't get this obsession with market share. Is Apple a loser? Is Pepsi a loser?
Magnetic shielding does not create secondary radiation. Producing a sufficiently large and strong field is hard but far from impossible just look at ITER for an example. Estimates are something around the size of a dishwasher supplied with ~1-5kw which is far from a deal breaker.

The sun is a very predictable source so you can do a lot to shape the field such as placing it on a boom closer to the sun.

Also of note Mars is significantly further from the sun which significantly reduces total exposure.
Sorry, I don't agree and I think my analogy stands. Others can be the judge, but I guess we can agree to disagree and move on.
The IETF is less and less relevant. For instance: how much of this is Huston talking about random DNS things, like DNSSEC and extensions, that will never be meaningfully deployed?
Heh. That reminds me about the time when my government (South Africa) wanted to pass a law that all local ISP's must log and store every bit of data that goes through their networks for at least 5 years.
Define repetition.

It's not as simple as that, for all sciences - once again an article on repeatability seems to have focused on medicinal drug research (it's usually that or psychology), and labelled the entire "Scientific community" as 'rampant' with " statistical, technical, and psychological biases".

How about, Physics?

The LHC has only been built once - it is the only accelerator we have that has seen the Higgs boson. The confirmation between ATLAS and CMS could be interpreted as merely internal cross-referencing - it is still using the same acceleration source. But everyone believes the results, and believes that they represent the Higgs. This isn't observed once in the experiment, it is observed many, many times, and very large amounts of scientists time are spent imagining, looking for, and measuring, any possible effect that could cause a distortion or bias to the data. When it costs billions to construct your experiment, sometimes reproducing the exact same thing can be hard.

The same lengths are gone to in order to find alternate explanations or interpretations of the result data. If they don't, they know that some very hard questions are going to be asked - and there will be hard questions asked anyway, especially for extraordinary claims - look at e.g. DAMA/LIBRA which for years has observed what looks like indirect evidence for dark matter, but very few people actually believe it - the results remain unexplained whilst other experiments probe the same regions in different ways.

Repetition is good, of course, but isn't a replacement for good science in the first place.
Yes. So being able to rerun with the same code and same inputs to get the same outputs is a lower bar. Many papers don't meet even that bar.

(Mostly because they don't publish code nor data; and academic code is often a horrible mess, and the code was mucked around with between different stages of running.)
I wonder why I was able to edit document on first open. :o
Seems to be solved quite quickly.
That TV Globo and other media families wanted Dilma and PT ousted of power was nothing new. Social media support, beginning with the "jornada de junho de 2013" was what really triggered the parlamentary coup.
So what was that thing about wanting to add artificial noise to electric cars for safety reasons because you normally can't hear them coming? Was that just bogus stuff from someone?
Hacking Imgur for Fun and Profit
> So, $1 of public funding triggers public code release? Or is there a threshold?

Yes, 1$, no threshold necessary.

For projects where the cost of publication of data is not worth the dollar, people will just not accept the dollar. (That's where a 'natural threshold' comes in.)
The diff utility (for text) can detect displacement of fragments of text. Can this image-diff utility do a similar thing for images?
How do you that in the medical field? Studies are often based on a small number of patients affected by a particular condition.
Counterargument: there is no reasonable argument that suggests that civil rights in the UAE are comparable to those of any country in North America or Europe --- Europe here probably including Belarus. Among other issues, UAE law is systemically and profoundly abusive to women.
As a father of a two year old daughter, I think I will be trying to figure this out few years down the line :-)

I remember fondly attending a coding course when I was around ~10. It was early 2000, so we used Visual Basic for Applications embedded in Office 97 :-) 5 to 10 kids + teacher. We were writing silly text adventures, and poem generators and then moved onto writing simple games.

Interesting development later on was, that girls in my group pushed for more and more math (I remember proving irrationality of sqrt(2) was a big topic) while boys were interested more in the coding, especially if the output was something visual.

So, remember that tech might be physics or math as well, at least where I come from there were many extra curricular activities I could choose from in this area :-)
> conclusions drawn from the claims which have no other support or means of verification should not be accepted and would not be accepted

I disagree. In all cases, even with repeated experiments, the claims are only tentatively accepted. The confirmation by others of Blondlot's N-rays didn't mean they were real, only that stronger evidence would be needed to disprove the conclusions of the earlier observations.

Astronomy papers make conclusions based on rare or even singular observations. Take SN1987a as an example, where observations from a neutrino detector were used to put an upper limit on the neutrino mass, and establish other results.

> "or performing another test"

This question is all about repeating an experiment. Repeating the experiment would be immoral.

There are certainly other tests which can confirm the effectiveness, without repeating the original experiment and without being immoral. For the signal strength I gave, we can compare the treated population to the untreated population using epidemiological studies.

But under current medical practices, if a drug trial saw this sort of effectiveness, the trial would be stopped and everyone in the trial offered the treatment. To do otherwise is immoral. As would repeating the same trial.
Outsourcing might have had an impact, but it wasn't be biggest culprit, everyone outsources nowadays even Apple.

The Register has a few good stories on it.

http://www.theregister.co.uk/2011/11/21/nokia_hildon_the_gre...

http://www.theregister.co.uk/2011/01/12/symbian_history_part...

http://www.theregister.co.uk/2010/11/09/symbian_developers_m...

As you might imagine not everyone wants to disclose what went wrong on public forums.
Very, very small data set. I have doubts that you can draw conclusions from it without further controls (e.g., exposure to radiation versus zero-G versus the strenuous training versus the damned Tang. Well, probably not the Tang).
While that makes it sound like the Russian government are planning to crack all the encrypted traffic on the internet in two weeks, that's not what they're saying. They've built a website that enables companies to easily voluntarily hand over their private keys - companies that don't will be fined, and presumably blocked at a state level if they refuse long term.

http://news.softpedia.com/news/russia-finalizes-procedures-f...
they run an NNTP server, not just a website. So cloudflare would not help with that.
>which this article's title seems to be a reference to

The first mention of JDSL is a link to an article about it: http://thedailywtf.com/articles/The_Inner-Platform_Effect
Wasn't the problem with battery breakthroughs that they don't commercialise well, rather than that the science doesn't repeat?
A Simple iOS Photo Browser with Grid View on GitHub
I think this is what you're looking for:

https://github.com/docker/hyperkit

Source: https://blog.docker.com/2016/05/docker-unikernels-open-sourc...
MySpace suffered from having management who didn't know what they are doing especially after the sale to Murdoch. FB will do well because Zuck will still be running things.
Dokutech, breaking the unicorn myth
Just being able to rerun the benchmarks (or other data analysis for non-CS papers) would be an improvement on the current state of affairs, where people often don't publish code nor data.
Alignment errors build up over time -- there is a good 1.5 ft misalignment visible here: https://youtu.be/C6-xwSOOdqQ?t=216
I don't believe the ROI will be good; that is what you need to demonstrate to me

Most tools that pitch themselves like you are not a good fit for me
If you assume an absurdity you can deduce all sorts of things.
> But even something that is rare and relies on observation, like gravitational waves, we have already been able to identify more than one occurrence.

But who didn't believe the original result? And does the same experiment observing multiple occurences really count as 'reproducability'?

We've only had ONE observed local group supernova within the past several hundred years (and that was within our lifetime, thankfully with several relevant detectors up and running). Should we ignore any result or conclusions from this instance?

No - if the data from the next supernova disagrees or reshapes the field - and it probably will, given the huge amounts of resources dedicated to studying it (see e.g. http://snews.bnl.gov/), this will just be evidence of scientific progress - reshaping your position based on experimental data.

Again, I think there is a certain amount of crosstalk with people who say that the "Entire community of scientists" has a problem, whilst actually meaning specific fields. Perhaps an ironic imprecision.
Unfortunately not everyone reports this information. Here is a study that we did of over 500 papers using online social network data: http://tnhh.org/research/pubs/tetc2015.pdf While most authors would report high-level characteristics (e.g., which social network they measured), fewer authors reported how they sampled the network or collected data, and very few people reported on how they handled ethics, privacy and so forth.
driving the display is just a part of it - they need to do super accurate SLAM, object recognition/machine learning inference, and if the visuals are interactive and not pre-rendered then all the lighting, texturing, rigging, physics etc of the rendered models - all this on the same cpu/GPU.

It's just about doable on desktop VR setups with latest desktop GPUs
The Android tool chain has improved A LOT over the years. I used to want to throw my computer every time I was forced to do something in our Android product, now it is only a mild annoyance. Compared to iOS it still has a ways to go though.
I love that both of our replies used 1987A as an example...
JDSL sounds like a capital idea, but obviously Subversion is much too slow, and Javascript/JSON is not enterprise-compatible. Someone should re-implement it using EJB's, XML and an Oracle backend to store the functions in.

P.S: Dear Eris, please let me never turn into Tom!
Actual title: IMF admits disastrous love affair with the euro and apologises for the immolation of Greece

It's nice that you fixed "disastrous love affair with the euro" to read "euro problems", but there's also plenty of unnecessary hyperbole in "immolation".
The software culture was great. I really felt like being in a big startup.

However the had so many reboots that scared the developers away.

On one side they went

J2ME -> Symbian C++ / Java -> Symbian C++ with PIPS -> Symbian C++ / Qt -> Symbian is now open source -> Sorry use .NET instead

On the other side the Maemo was Gtk+, but then the team decided to move to C++ and port it to Qt.

These actions angered everyone that was trying to earn their money targeting Nokia devices.

Ah and don't get me started on Symbian C++ with its quirks copied from Win16 days and Palm OS.
Loaded content: how much software have you seen commoditized? Especially end-user facing, professional and very complex content production software.
This. It used to be the first page of results was good enough. Now if it is not in the top 3-4, I refine my query.
The closest thing I know about is websdr (http://websdr.org)
Peer review is a relatively new aspect of science: the Philosophical Transactions of the Royal Society started systematic peer review in the mid-19th century https://arts.st-andrews.ac.uk/philosophicaltransactions/brie...
Coinbase and Reddit CEOs Discuss Removal of Theymos as Moderator of /R/Bitcoin
Looks very interesting, I will definitely read this. Is there an epub version of this anywhere?

Perhaps this is a bit off topic, but why do so many people prefer PDF to Epub, even though Epub seems so much more superior with features like text zoom?
If you are interested in recent developments in verified programming, you might be interested in looking at Adam Chlipala's work (in particular, Bedrock [1]). His book "Certified Programming with Dependent Types" is a fantastic resource.

Coq can be daunting to start with because it is three different programming languages in one: Gallina is the main pure functional programming language, Vernacular is a language of commands for controlling/guiding the proof assistant, and LTAC is the "type-level programming language on steroids" for writing type-level proofs. ("Type-level" is the important word here - the Curry-Howard correspondence allows us to encode propositions as types, and proofs are inhabitants of those types).

When I was getting into certified programming, I found it helpful to try different proof systems until I could understand the common features. I found Microsoft's Lean Theorem Prover [2] to be quite user friendly and well documented, and I liked the syntax and feel. Also, trying out something bare-bones like Twelf [3] can help too, because there is not a lot of extra stuff tacked on and it is closer to an assembly language for machine-assisted proofs.

For doing real-world things with Coq such as writing a simple web server, check out Guillaume Claret's blog [4].

Agda is comparable to Coq in terms of what they can do (I have heard). Idris is a "PacMan-complete" language that you might find useful for writing real-world programs, but I am not familiar with its suitability for programs relying on really complex proofs. Edwin Brady is writing a book on Idris [5], and you can get pre-release drafts through the Manning Early Access Program.

[1] http://plv.csail.mit.edu/bedrock/

[2] https://leanprover.github.io/

[3] http://twelf.org/wiki/Main_Page

[4] http://coq-blog.clarus.me/

[5] https://www.manning.com/books/type-driven-development-with-i...
Hi folks, My name is on that list and I work on one of the Go package managers (Glide - it's like npm, crates, composer, bundler, etc... but for Go... https://glide.sh).

If you have questions or input those who are working on this problem are listening.
I think tech is unique in that once a given company attains enough market share it typically is then around and stable for a very long time, deservedly so or not.

Citation Microsoft, which through aggressive business tactics became (and continues to be) pseudonymous with personal computing. Apple isn't a loser anymore but that's because they found a new market in handheld devices, I'd argue in terms of the PC battle, despite how good a Mac is (I'm writing this on one) I'd say they've still firmly lost in this market.

But just because you're a loser in the market doesn't mean you lose at everything. Still plenty of money to be made even if you can't make all of the money forever, which seems to be how a lot of VC's define success.
It's also a wrong term. "Patriarchy" means a system where women are owned by men (husbands, fathers, brothers), cannot own property, etc. The only reason why feminists chose this term to describe the current social order (which is clearly not a patriarchy in the literal sense) is to elicit negative emotions.
Heh. Thanks for the warning. I just changed my document (mentioned at the bottom) to comment-only too.
Yeah, yeah. I keep getting the 0 and 1 mixed up. Thank you.
I had my Masters students do this as part of my wireless networking class this year. It was very instructive for me and the students seemed to enjoy it, so I'll definitely keep it in the syllabus.
Germany’s Merkel stands by refugee policy despite ‘terrifying’ attacks
The molecule c60, a.k.a Buckminsterfullerium, has shown to have powerful anti-radiation effects(http://www.ncbi.nlm.nih.gov/pubmed/19914272). It can absorb ionizing radiation without degrading. They tried to kill mice by feeding them it, but they lived twice as long (http://www.ncbi.nlm.nih.gov/pubmed/22498298). Unfortunately, this result is so bizarre that nobody will ever believe it.

NASA and SpaceX won't ever figure this out though. They will fund some sort of initiative that will waste billions and give lots of researchers jobs for years. It will test billions of small molecules and find something that improves tolerance to radiation by .1% but has toxic side effects.

Edit: Gave medical study citations for both claims and got down votes? There are actually a lot of surprising results in medical literature that are ignored because there's not a lot of money in them and they were discovered with so little effort. The conventional wisdom is: if it didn't cost a billion dollars to develop, it couldn't possibly work.
I use Slack's OS X app, and I regularly run into layout glitches and slow load times.
It hasn't nothing to do with marketshare. Uber is eponymous with ride sharing. You don't hear Lyft mention in the media, etc.
Maybe you could also read the comments from the previous thread for this book posted here, on hacker news:
https://news.ycombinator.com/item?id=10812055
I think this is a really great POC. Do you have plans to create a real product around it?

I see a lot of potential in the whole "put a screen on the wall and interact with it" line of products, either through e-ink or - as in your case - with the one-way mirror/screen combo.
It's common. Look at Samsung with Tizen, or basically any pre-Android/iOS mobile manufacturer. The skills needed to make software and hardware are very different. Apple is one of the few companies in the world that successfully built combined teams.
My reaction was the same. I would argue that the requirement is even stronger: the hypothesis must be verified by different scientists over time. One of the key roles of the scientific method is error correction for bugs in our mental machinery (i.e., cognitive biases, of which there are many ).

I look at science as an essentially evolutionary process: a single study has a very low probability of being accurate, if the results survive additional testing over time, the probability of accuracy increases.
Less than 2% of all web users have javascript turned off. Some say it's less than 1% and it's mostly people who understand the consequences of doing so.

Turning off the native component of anything always has consequences for those tinkering under the hood and the vast majority of those visiting that site don't tinker under the hood.

As the owner of a web dev company, I sometimes consider ignoring the "must work even without javascript" mantra. I haven't yet but there are times.
If the project meets the guidelines, it might make a good "Show HN" post.

Guidelines: https://news.ycombinator.com/showhn.html
Understanding 12 Ethics in Business
you would use kubernetes, dc/os, swarm mode for aws, etc for that. Containers are portable.. nobody is launching a windows vm and doing a "docker run" for their production env
I honestly fear the day my boss stumbles over this idea.
"the lesson learned is mostly that it [scratchpad memory] ends up chronically underutilized. A cache speeds up nearly all code written for any system"

I recall that when that technology came out, there was a heavy marketing stunt involved. For the boast's sake, performance had to be conjured. And as seamlessly as possible. And as noticeable as possible. That really affected the design development, and not in a good way. The problem (in what I quoted) here is the poor measurement base, the wrong comparison base, and what is counted or discounted as value. So that cache really speeds up nearly all the code written for any system. Such a flat model does not, however, make much distinction between a memory hogging application that might not require performance and some server process that has to be up and running with as little lag as possible. What is counted there in the terms of cache performance really? That 0.1% (that someone bothered to hand optimize the memory access patterns for) might be the only one really needing that cache. That, however, is not how you sell technology to the public, isn't it? You have to show them a general speed-up, even when it doesn't matter. You have to show them that the same application that used to do something in a given period of time does it now in less. That's how you sell. But that's not how you develop, hopefully.
12 men walked on the Moon and 24 total reached lunar orbit.
My experience has been the auto-upgrade works without requiring reinstall (and indeed just did so to GA last night). I don't think there's any specific fresh install requirement.
To me it's eponymous with protests and lawsuits, because of the media.
So, if I have a summer intern who is paid by the government, and helps on my otherwise non-government-funded project, then is that enough to trigger the requirement?

Or, if I use a government facility, like a supercomputing center, then that also trigger the release requirement? Even if no money changes hands? What about a government network?

It sounds very tricky. If I get a government grant to work on a project, and that grant buys equipment X, which I also use for another project, then must both projects be subject to this form of release?

Even if the second project is 10 years later?

If in working on project X, but in the process of working on X I find some new knowledge Y, and publish it, even though that has nothing to do with the grant from the original X, does that count? (Think AT&T's observation of the cosmic microwave background, when their goal was to reduce noise in terrestrial microwave communications.)

It seems like a very complicated scheme.
For #3 that is an issue for remote debugging with things like XDebug for PHP. I have been using this command:

sudo ifconfig lo0 alias 10.254.254.254

And setting the remote host to 10.254.254.254 instead of localhost inside the container to work around that issue. It's been working pretty well.

I've been using the Beta version of Docker for Mac for many months and haven't had many issues with it at all. The biggest issue I've seen was the QCow file not releasing space and growing to 60+GB, but deleting it and restarting Docker did the trick (although I had to rebuild or repull any containers).
Git-series: track changes to a patch series over time
So misinformed. Docker for mac and docker for windows are not targeting production. They are designed for local dev envs
I wouldn't call the iPhone a moonshot, more an extreme iteration.

This was around before the iPhone: https://en.wikipedia.org/wiki/IPAQ (HP IPAQ)

Combine that with a phone and update the software and make it designed and you have an iphone.
Hands down, the best bit of hyperbole during the EU debacle was when Greece's Finance Minister called the austerity measures 'financial waterboarding'.