skysight-inc/HackerNews huggingface dataset:
>"This prior probability represents how plausible the hypothesis is supposed to be based on considerations other than the observational and experimental evidence (e.g., perhaps due to relevant plausibility arguments)."

I guess I don't know about how "Bayesian logicism" differs from "Bayesian probability", but this is totally false in the latter case. The prior is just supposed to be independent of the current data (eg devised before it was collected). In practice info almost always leaks into the prior + model via tinkering. That is why a priori predictions are so important to proving you are onto something.
"Does this suggest the VR industry is in trouble?"

No, it's gaining speed in fact. Most of the applications are not in consumer but in business. See the new Microsoft VR platform and the headsets from HP and Asus. Those are the reason the current Vive is not so hot anymore - they manage full movement without large cables and without difficult to set up beacons.

If Varjo's varied resolution technology with eye tracking which enables high resolution rendering only where it's needed succeeds as promised that could be a huge boon (http://www.varjo.com)

But - for professional applications, not games.
I feel like the original paper, as linked further up, might do a better job at allowing you to not have to link to Upworthy.
Is that a good thing though? Maybe the government banned it because they found that most of the population is opposed to it. Then it got reinstated because of a loud minority. Why should a loud minority get their way at the expense of everyone else?
It's an ok article, but it heavily conflates D&D with all tabletop role playing. For example in one of the very few mentions of other RPGs it says this about Vampire:

"some of them switched over to D&D, with the result that there are more women gamers now, "

As though if they hadn't switched to D&D they wouldn't really be gamers. Also this article predates Pathfinder eating D&D for lunch. The latest edition of D&D has made a strong comeback, but there's huge diversity in the RPG market now with lots of high quality games catering to every taste in terms of complex or lightweight game mechanics, tactical or narrative focus, and every conceivable genre. I hooked my daughters on the hobby using a great little RPG called Mermaid Adventures. It's a great time to be a gamer.
A couple of comments mention 1995 and 21 year old technology.

For the curious, here is a PC Magazine article on VR from March 1995:

https://books.google.com/books?id=79i1lfAqumUC&lpg=PP1&pg=PA...
Non click-bait title:

"Using Coq to write formal proofs of an image browsing app written in Haskell"

While this seems interesting, in this type of application what benefit does this have over, say... unit and integration testing?
That's exactly the global state I am complaining about.

The current polygonal environment is a global state variable.

The current vertex is a globally set variable (as you'll notice once you try to set textures and colors, becayse glVertex3f just sets a global variable), etc.

Try throwing two threads at this, you'll get hilarious results, and there's no way to propeely fix this.

And OpenGL 1.0 to 1.5 and then 2.0 made it even worse.

You allocate a buffer, fine.

But to write to it, you first bind the buffer to a global variable, then use a call writing to a global variable.
You certainly get a lot more bang for your protestor buck when you're able to show the politicians that their own electorate is against issue X.
Link is not working for me.
I reported - in reasonable detail - a similar case study, in Jan 2014: http://oneofmanyworlds.blogspot.in/2014/01/another-go-at-go-....

It was similar in that the combinations of types quickly led to a ballooning of concrete types that had to be implemented. And, not having those concrete types led to an unacceptably high number of type assertions!

Generics would have solved the problem succinctly, while preserving programmer intent.
I think this might be a misunderstanding, I said that Vulkan (with complicated calls, but no shared state whatsoever) is far preferrable to OpenGL (no complicated calls, but all procedures only operate on global state).
Congratulations for the launch, team!

Living in Bangalore, this is one of the biggest challenges I see. We notice the dying lakes and water supply shortages. It would not be wrong to say that a mafia of water tanker operator exists.

A friend from Jaipur mentioned how their city handled this situation better & how Bangalore seems to be struggling despite good rainfall.

The other night we saw a man refilling water cans from an ordinary hose and prayed for the recipients' health.

Are you launching a service or product for domestic users? Shout if you need beta testers.
I'm not sure if you are asking how to transition into working in aerospace? Or how to apply aerospace engineering methods to web/mobile? (Or maybe something else?)

Aerospace development is not categorically harder or more skillful than any other sort of software development. Some areas are math-heavy, but that's true elsewhere too. The biggest difference is the process overhead.
I used to be a pretty hardcore gamer. Now I'm a bit older, have other responsibilities, and considerably less time. Also, home improvement is expensive.

I desperately wanted to love VR, but could not bring myself to buy a unit. The demos I tried just could not bring me to pay that amount of money given the limited games and limited quality of them. Many of the ones with the greatest potential seem like they require multiple friends to also have VR.

I have a Daydream View headset and have barely touched it since getting it with my Pixel XL. Discoverability for Daydream apps on the Play store is a horrible experience right now. There's not even a filter, and no way to sort by newest, so you end up seeing the same crap over and over mixed in with generic VR apps that aren't made for Daydream (and thus a lower quality experience), or random apps that show up when searching for "Daydream" because that's the best way I've found to filter.

I DESPERATELY want VR to take off, and I've wanted this my entire geeky life. But it just isn't there yet.

Once the price comes down and quality comes up, and ideally isn't tethered, then I think we'll see a huge market open up. But I spent $5k on my last gaming computer (excluding peripherals) a few years ago, and I couldn't bring myself to purchase this.
It expects the whole program in all languages. For C# try

using System;

class App {
static string Hello() { return "test"; }
public static void Main(string[] args) {
Console.WriteLine(Hello());
}
}
> As handwriting and cursive skills decline, how useful are signatures going to be? I know no two of my signatures ever look the same.

It's not even just handwriting skills - my handwriting is fine, but I was recently asked to sign two documents and there were obvious differences between the two. It's because I've signed maybe four things in the last year, so it's not something I'm going to reliably reproduce identically. I could use my standard handwriting to sign, but I'd be trivial to forge rendering it pointless anyway (I deliberately use print rather than joined-up script [which was taught at school] for clarity's sake).
When the Tesla can not reliably detect lanes (for example, due to too dense traffic), it starts to just follow whatever vehicle is in front, and determines the lane from that vehicles movement.

This can lead to major issues, as mentioned.
Anyone doing so would also require the name and address of the account holder.
Are there modern examples of this?

Follow up questions:
1) Especially for issues relevant to the tech community?
2) Can that be done by an average citizen?
Fair enough on the death penalty, but I don't see how that's relevant for any other crimes.
Deep Learning is not the AI future
I'm an Australian citizen but was born in Pakistan. Do I go in the Australian queue or Pakistani queue for green card lottery?
How many other car manufacturers broke the law in this way? We're none of the ones that didn't competitive? What a patently ridiculous argument.
His organization is funding and supporting local elections and initiatives across the country. If you accept that local politics is the foundation of national politics in the US, over time he may accomplish a great deal.
Not really. There is no reason for anyone to reply. As far as I'm aware from logs I only get about 10 Mails per month in these addresses.

And I'm truly not interested in what someone has to say to an email that says "noreply"
It's been that way for a while. One of the big reasons I up and moved away from it. I only use it to send PRs for Github hosted repos now.

It's amazing how quickly an organization or platform can just die like this. Sure, it isn't dead dead, but it's descended into a pit of political BS and petty drama.
I believe it is likely that the author was told the nature of problem and that the nature of the problem is related to acting in good faith regarding the code of conduct as befits a community leadership position.

At the point where the legalese is called for, the working relationships necessary for a functioning committee within a voluntary association have already broken down. There aren't full time human resource staffers and legal council and there's no lateral move to another department available. The TSC's rules stipulate that removal of a member is by a normal committee motion.

I'm avoiding picking apart the statement because I don't want to pile into the internet witch hunt that is throwing titillation and innuendo at the twitters. I think it is a practical problem regarding the function of the organization. Part of it is probably a result of success changing the organization. Part of it is probably the result of changing attitudes among wider stakeholders. And for better or worse, part of it is probably deliberate choices by the people involved over a period of time.
...It's not? It's illegal here. It's not often punished just because (a) it's quite rare and (b) most police have better things to do than pulling some guy over and emissions-testing his car over something that looks like a simple engine problem. It's in the news because it's political, but it's not actually common at all.
My original motivation for exploring Coq was that I was working on a compiler that repeatedly applied passes until the syntax tree stopped changing. I added some mutable state(like a dirty bit and other things) for performance, and ended up with a few bugs that were hard to track down.

One of them was that the compiler would enter an infinite loop because the syntax tree wasn't getting any less complex, but did keep changing. I didn't need any tests, because just running it demonstrated the problem. And it depended on a fairly complex interplay between many passes, so trying to individually test all the permutations would be fragile.

I ended up writing a heavy-handed consistency checks that were run after every tiny update, and a tool for searching a verbose reduction log. But I made a note to later see if it was feasible to integrate termination proofs, which seemed like a useful debugging technique that I hadn't tried.

I didn't want an article on compilers, because everyone already uses Haskell and Coq to write compilers, so that topic has been done-to-death already. Plus, I figured this would make it seem more approachable. In practice, you should probably just use Rails or something for your webapps.
Really? Bernie is the most popular politician in the country, and now billionaires like Mark Zuckerberg and even the Ayn-Rand-reading Mark Cuban are promoting single payer healthcare. That's a big change.
Classic case of a frequency illusion.

https://rationalwiki.org/wiki/Frequency_illusion
Look on Alibaba. Cubic zirconia by the metric ton. CVD and HPHT synthetic diamonds, polished, in bulk. (Be careful that you don't get cubic zirconia when you order diamonds, though.)
Social+Capital betting big on India’s cashless economy
Trump also took on this message as well in his own way.
Dave Arneson was the other creator of D&D and in retrospect, I think he was the one who really drove the RPG and world creating aspect of it. Gygax was more interested in designing the rules, but Arneson created the first campaign (Blackmoor).

There's a book called "Playing at the World" that goes into the details of all this, but my takeaway was that Gygax was more of a rules guy, and Arneson was the story teller.

Also a great read if you want to know a lot about the corporate side of the whole situation...
Making a few specific Nazi phrases illegal doesn't meant there is 'no free speech'.
The orange peels contributed two things for certain, a large amount of nutrients and organic matter that would hold and trap moisture. Both of those are very conducive to high plant growth.

I do wish they had ph tested the soil before so we could know whether the orange peels altered the soils acidity.
"Let me flash back to November 15th 1969, Washington DC and the Moratorium for Peace in Vietnam. This was probably the single biggest anti-war demonstration of the era, estimated at half a million by some and twice that by others...

"My scepticism about the demonstration’s effect seemed warranted when five months later, at the end of April, 1970, the US extended the war into Cambodia. In the protests that followed six students, four at Kent State in Ohio and two at Jackson State in Mississippi, were shot dead. The upshot was the biggest student strike in US history: more than 4 million students walking out of classes in universities, colleges and high schools across the country. Yet still the war did not end. Two and a half more years would pass before the peace treaty was signed in Paris in January 1973. By this time there were millions upon millions dead, disabled, bereaved, traumatised. Nonetheless, the movement against the Vietnam war is widely considered the most "successful" anti-war movement of modern times, against which more recent movements have measured their "failure".

"Many years later, I learned that the Moratorium demonstration was, in fact, anything but ineffectual. In July 1969, Nixon and Kissinger had delivered an ultimatum to the Vietnamese: if they did not accept US terms for a ceasefire by November 1st, "we will be compelled – with great reluctance – to take measures of the greatest consequences." The US government was threatening and indeed actively planning a nuclear strike against North Vietnam. In his Memoirs, Nixon admitted that the key factor in the decision not to proceed with the nuclear option was that "after all the protests and the Moratorium, American public opinion would be seriously divided by any military escalation of the war." What would have been the world’s second nuclear war was averted by our action, though we couldn’t have known it at the time..."

http://www.socialsciencecollective.org/success-failure-polit...
Hi, good work, your solving very critical problem which we face in our Bangalore.

But my doubt, is commercial water supply legal?

http://www.thehindu.com/news/cities/bangalore/where-do-tanke...

as per this article, an RTI query says, no commercial water supply license issued by BWSSB
Empirically that doesn't seem to be the case.
Per day. For reference, that is €1,131,500 or $1,350,000 per year.

> You’re in the top
0.007%
richest people in the world by income.

> That makes you the
428,441st
richest person on earth by income.

I'm really disappointed with Germany on this one, but it makes sense since VAG were buddy buddies with Merkel & co. since time immemorial (makes sense since it's a powerful force for the economy, still despicable).

If you kill a couple of people you go to jail or might even get executed. If you kill 1200+ you get early retired on a comfy stipend.

http://iopscience.iop.org/article/10.1088/1748-9326/aa5987
Doesn't valgrind do this?
Maybe, but that doesn't help if it goes to collections like the parent part describes.
If most people were opposed to it, then they would have voted out the law makers who reversed the ban.
Just curious, do you mind name dropping some of the journals you prefer, for those of us that agree with your view and would like to read them?
Yes but its hard to plug your company by saying:
"we do X like everyone else, but trust me: we have this"
but easy with:
"we don't do X, we do X' because these bad things happen with X".

Particularly if X, or things that have been labeled X have been cause for concern.

Such trival considerations as X' == X don't always get the attention they deserve, as seeing this requires an amount of understanding of the problem and not just the fustrations of using X.

*insert generic engineer gripe at how common it is that the people making the purchasing decisions - the target of marketing - don't have said amount of insight.

tl;dr: yup pure fluff
Regularly solve problems! Try making minimal implementations of things you're interested in. I've implemented toy versions of lots of things just to learn how they work.

I always start off thinking it'll be easy, and every single time I'm amazed by the number of details and edge cases involved. It's usually where you'll get exposed to more interesting algorithms, since most applications are able to leverage libraries which usually hides the magic.
You would need more than a non-programmer friendly interface on top- biologists, astronomers, chemists, et al. usually aren't fully fledged programmers themselves, and aren't likely to understand what Docker is, let alone how to use it. A scientific programming project framework is a great idea (perhaps something built into Julia, or a specialized packaging of Python similar to Anaconda) but it would require a lot of the complex machinery to be concealed somehow. A challenging project, even before the "get editors to demand it" stage.
There have been a number of websites with a fee to create an account, to prevent spam. Metafilter, Something Awful, Bitcoin Wiki previously.

There are also sites meant to be exclusive with fees $1000 and up https://www.theverge.com/2017/4/26/15407144/exclusive-social...

I've also heard proposals of email readers charging fees that senders have to pay, to stop spammers from being able to send them anything. Sometimes it's a computation fee instead of a monetary fee, a proof of work to rate limit spammers.
The apps are either invading my privacy or updating and eating up my space. No app needs 75mb to 250mb per update. Its shoddy workmanship in that regard and the privacy issue is un-fixable. So I dont bother.
Who sit on the left side of rows?
You say that like it's some damning put-down. Of course he didn't succeed; the elites usually win. That's why they are elite. It's no shame to have tried and lost.
Earlier in the day, before the eclipse, there were a dozen or more private jets flying over my sister's place into the local airport when the previous days there were none. Some even had to circle (to wait for others to land?). This probably primed my mind about private jets. Then this jet was not just flying straight through but came from the south, turned to the east, and then headed south. Could have been NASA? That is why I was querying about how one would find out about it? My thought about it was more of how perfect the symbolism would be if the jet was say Ellison's than a knee jerk reaction against the 0.0001%. The efforts and accomplishments of many 0.0001% er's have brightened my life over the years and I wish most of them the best of luck.
Not entirely true: I am an astrophysicist, and I can say that this practice would be extremely useful for my discipline as well. In cosmology (my field) we use codes that are often extremely complex, yet they are not usually released together with the papers based on their outputs. This puzzles me, as last year I attended a conference on informatics and astrophysics (ADASS), and one of the talks showed that releasing your codes as open source increases a lot the chance of your papers being cited (expecially if you advertise your code using services like ASCL [1]).

The only reason I can think of this unwillingness to publish codes is the fact that these codes written by physicists are often extremely unreadable: very long Fortran routines with awkward variable names, no comments, no test cases, no documentation… Once you get a result from your own software, you get more satisfaction if you publish a paper with the results than if you polish and publish the code.

IMHO this is bad science, but it is difficult to change this way of working: cosmology is today done by large collaborations, not by individuals, and if you propose to make the codebase developed by your team public, this idea is usually not welcomed by your co-authors.

[1] http://ascl.net/
ISTM it would be difficult since the sun isn't a point source. Fortunately, as other comments have mentioned, sunlight is not the limiting factor for plant growth in most situations.
Most of it (memcheck and massif), but good luck getting the important data out. Memcheck is fine, but massif is quite restricted as a object-level memory monitor. I can't talk for MTuner, but HeapTrack is very, very useful to track and eradicate temporary allocations (useless C++ object create when using `==` or passing by copy.
Locals usually strongly resist big projects like this. Building in the water is politically a lot easier.
So protestors caused USA to lose the war, as Nixon complained?
Did you do a replay on one of the ADS-B sites?

Try fr24.com, you can go back one month without an account I think. Convert your local date and time to UTC.

Here you go, jiggle the time slider around a bit. This is for 17:00 UTC, 09:00 PDT, on 21 August 2017:

https://www.flightradar24.com/2017-08-21/17:00/12x/44.61,-12...

You can pause and click on an aircraft icon for more information. Some will have their registrations blocked on request but usually have their type indicated ( so you can determine bizjet or airliner ).
"Empire of Imagination: Gary Gygax and the Birth of Dungeons & Dragons" is good as well.
From the article, the L1 Lagrange point isn't stable, it's a saddle.

In the plan described here, the craft would be actively controlled to adjust how much light they're diverting and at what angle in order to stay balanced at the Lagrange.

If the steering system is turned off all the reflectors would harmlessly blow away.
Without if let, you must add one line for declare local variable. And also must add exclamation mark
The point is not to deliver a measured and realistic view into the specific security threats, for the entertainment of experts. The point is to show the broad public what the logical extremes of vulnerability are, so that the public exerts some market pressure, and seeks out the help of third parties to insure that things within this realm do not happen in their cars.
Here at the End of All Things
London’s Grenfell Tower Fire Was No Ordinary Accident
"Screw it, we know how to meet the law, but we want to save money" is what VW did. Not only did it result in people dying from air pollution, it also left their competition wondering how VW did it so inexpensively.
Another possibility is that the soil was so degraded that only crummy grass could grow there. Perhaps the larger native plants, which are more complex organisms, need nutrients in greater quantities than the grass. So it's less about beating back the invasive grass and more about establishing necessary conditions for native growth. These more complex organisms then create shade canopy that other native species can thrive in (and which is bad for grass).

This is an extrapolation of my my experiences with composting. A greater number of plants can grow in rich soil, period.