skysight-inc/HackerNews huggingface dataset:
Very cool, many questions

1) Why create a project distinct from Stan? Was it the prospect of benefiting of all the work going into TF and focus solely on the sampling procedures rather than autodiff or GPU integration?

2) Are you implementing NUTS?

3) Any plans to implement parallel tempering

4) Any plans to handle "tall" data using stochastic estimates of the likelihood?
Have you considered the possibility that those scary predictions were only wrong about the timeline rather than the eventual outcome? Humans are very bad at reasoning about things that happen at earth scale and over long periods of time.
I wonder if AI will take over eSports (Twitch, competitions, etc.), as well. It could be a variant of the Turing test.
Turkey will only be what its people want it to be. Not some people who are not its citizens think it needs to be.
Nobody used floppy drives or optical ones when Apple removed them.

Most people still use USB-A accessories.

See the difference?
Vapor.js is a new amazing JavaScript framework
> Otherwise the AI is eventually just going to absolutely destroy humans with micro, which is not remotely interesting.

If you could issue as many orders as you wanted, what would the optimal strategy be?
You're not the only one... I'm an American married to a kiwi and we have been considering moving to NZ from the US for the last couple of years. We are seeing exactly the same thing and it's unfortunately continuing to delay our move, maybe permanently. Sad what's happened the last 5 or so years. Our friends in Auckland who did not get into the housing market 3-5 years ago or earlier are completely priced out and looking to move to more affordable areas.
Are you using Google Apps for business (GCloud?) If so, you can transfer ownership that method. I've not heard anything about this causing issues, however, if you're concerned you could up your subscription to include Vault service?
Too large for me to want to make a game in it. But if you made a specialized version that had an actual game loop underneath it, there's some potential there.
>You either agree completely with the zeitgeist and get domesticated as an "ally", which is like being a little mindless pet.

Talk about coded language.

zeitgeist: Focusing on diversity is just a temporary fad, I'm thinking ahead by sitting this one out

domesticated: Changing my opinion is akin to renouncing my freedom and autonomy

"ally": People like me don't really agree with those crazy diversity people, we just need reasonable cover

mindless pet: Those who don't agree with me have freed themselves from the perils of rational, enlightened thought. Like dogs! Or pigs, being fattened for the slaughter

I do agree with your premise (talking about diversity as a cis-straight-white-male can be a minefield), but there has to be some recognition that one's race (among other factors, even!) can color your experience on the job or in an interview. You may argue that social class or cultural upbringing have more of an impact, but those variables have an undeniable connection to race/ethnicity as well.
Samsung will release a software update to stop unreturned Note 7s
APM limiting would be an interesting way to scale the game's difficulty level.
Disk is at least ~$0.023/GB. Whether it's "cheap" or not depends on how much of it you need.

Plus, disk may be cheap but servers to house it are not (the kind of servers you'd run in your house, I know you can get cheap SC846 off eBay).
Could probably configure it/optimize it for different apms (10,100,300,inf)

Could be interesting to see if it chooses different strategies based on that. What actions will optimize performance if I can only do 50 a minute
> If if the judges wrongly sent me to jail "for life", at least I'd have some hope that one day I can convince them they were wrong and get to freedom again.

Is your German government any more able to restore your lost decades than my government is able to restore lost life?

For some crimes execution is unjust; for others it is just. It is just as unjust to allow someone who deserves death to live as it is unjust to execute someone who deserves life.
I have lost a few friends for daring to indicate that I don't feel constantly guilty for the actions of people who I likely have no relevant relation to who share my skin pigmentation.

It's unsurprising white male suicide is up, when society is telling everyone white male opinions don't matter and that it's okay to discriminate against them.

(Oh, and the same people who discriminate against white males are usually the people ignoring the fact that most of the gun violence they're complaining about is mostly white male suicide. I agree with a lot of liberal views, but liberals can be funny sometimes too. Maybe instead of trying to ban guns we should just stop telling white males their voices aren't important because they're white males.)
last commit 9 days ago: It's active.
People with Cystic Fibrosis are not "drowning in their own mucus." They underproduce mucus, not overproduce it. They are drowning in phlegm.
"Out of routine" is routine for frequent flyers. You never know when you'll end up spending the night in an airport transit lounge or you can't get into your hotel at the end of a flight around the world, or whatever. Or when driving or hiking through a somewhat remote area and something goes wrong....

When things go wrong, you need to make calls, put out fires, keep trying to reach remote towers using full radio power for extended periods.

When things go wrong is when you MOST need your phone, so you need a battery that can continue to serve you a lot longer than it normally needs to on an ordinary day unless you can somehow be certain that for you every day will be an ordinary day.
Fullstack Developer

Location: Mexico

Remote: Yes

Willing to relocate: no

Technologies: Ruby on Rails, PostgreSQL, JavaScript

LinkedIn: https://www.linkedin.com/in/ivanv

Contact: LinkedIn / http://ivanyv.com

~10 years experience with Rails, around 20 years overall. Full web apps / mobile APIs.
Apple did not stand up for user privacy, they stood up against inserting a backdoor into their crypto and played it off in the media as a stand for privacy.

Apple have gladly handed over user info on dozens of occasions (in accordance with the law).
these things are inevitably biased, inaccurate, and little more than propaganda tools.
We don't always have to vote on one outcome. Multiparty systems often split representatives by party percentage. This has its own problems, but seems to allow more party mobility.
"F star is an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness and security properties. The F star type-checker aims to prove that programs meet their specifications using a combination of SMT solving and manual proofs. Programs written in F star can be translated to OCaml or F# for execution."

And you wonder why you're not getting any traction.

Dafny, though, seems to have the right idea.
Neat code isn't supposed to improve web app performance, it's supposed to reduce the amount of development time it takes to complete a project.

Most large companies don't really care about actual code performance, which is why bloated frameworks are becoming popular. With AWS, startups don't care that much either. You can always just throw some more hardware at it.

It also makes it easier (and cheaper) to find developers because framework development is more consistent and you don't have to worry about a few developers holding your product hostage because the entire application is written spaghetti code (I've seen this).

Frameworks are nice for businesses, but cheapen the industry and will reduce developer wages overall due to the oversupply of novice developers being able to meet the demand.
I'll care about the Earth when I can feel like I can actually own a piece of it. I have no skin in the game, really, other than some vague dread of total environmental collapse.

Ted Turner, now, he has a great reason to be an environmentalist. Let the burden of environmental protection fall primarily on those who claim the most ownership of it. If Ted wants me to separate my recyclables and watch TBS on a TV constructed from recycled material and powered solely by renewables, he can damn well pay me something to do all that.

You don't ask the team that loses by 50 points every game to start playing with their shoelaces tied together. And you don't ask the poor to sacrifice for the benefit of the rich. Developing nations are going to burn coal, and non-rich people are going to eat from disposable paper plates and then not recycle them. Environmentalism is a luxury, and only those who already have a sense of economic security will buy in to it.

But as long as I have an "at will" job and no more attachment to the land than a one-year lease, I'm not going to feel all that motivated.
Yup I blame them for that. (I is freedom software advocate)

Not a company of good taste in my book.
On both counts I couldn't disagree more.

I use Force Touch every time I pick up my phone and especially on list views it allows for far more functionality. Touch Bar is nothing more than a nice looking contextual menu. I assume toolbars are a gimmick too ?
Fly Through the International Space Station in Ultra HD
The basic idea also isn't that novel, collective dehumanizing the enemy with using LSD on soldiers was quite a popular sport some decades ago.
I'm a heavy app user and imho that's a myth, because people end up being naturally biased towards the platform they've been using, once they learn about what's good or not.

And even if I can feel my own bias, I really think Android is the more polished one, OS & apps. I could enumerate all sorts of reasons for why, but then you'd hand-wave it as not being relevant for moms using apps that could have been web pages :-)
By hard truth I mean absolute truth. Facts. 2+2 = 4. If you understand all the rules that go into addition, there's no way for you to arrive at another conclusion.

Another example:

The earth is not flat. If you spend any amount of time studying just one of the many reasons why it can't be flat, you will have to agree.

Climate Change is not something we can know for sure. "Climate change" itself is not very well defined. Do you mean man-made climate change? Do you mean global warming? What exactly do you mean? You can, of course, draw different conclusions because its not well specified.

Out of that complex of issues, one good example would be the ozone hole. It's pretty clear that in the 70s we ejected a class of chemical substances (FCKW etc.) into the atmosphere that messed with the ozone layer. That's provable. If you study the facts, you have to agree.

Likewise, you have to agree that the human race has contributed to an increase in carbon oxides in the atmosphere.

All hard truths.

Then you have truths that we do not have direct evidence for but can verify conceptually - like this one:

"The universe has not existed for an infinite amount of time". How can we know?

Hawking makes the following argument: "Had the universe existed for an infinite amount of time, it would have had an infinite amount of time to achieve thermodynamic equilibrium. But it is obviously not in equilibrium (us being able to observe it necessitates it not being in equilibrium); therefore, it must be finite"

You can not possibly find a counterargument to that.

I differentiate between absolute truth and "what we know". We can be wrong about things because we have access to a limited amount of knowledge, but that doesn't change truth.

Faster than light travel is either possible or it is not. We don't know. But that doesn't make the truth any less deterministic.
But they do. They removed optical drives and RJ45 jacks from their laptops. Most new laptops don't have these anymore.

Some competing models already just have USB Type C ports.
I'm selling my games for 98% off ($0.50)
Apple keeps the data for up to two years, but from 6 months its associated with a random ID code so it's not personally identifiable. At least that's how it used to be done. They have been talking about using more advanced statistical anonymization techniques recently but I don't know if they are used for Siri.
The ui sucks..
If you're the kind of person who feels entitled to tell others what to do to begin with. I'm perfectly happy to pay taxes so everyone can have socialized health care, and to stay out of other people's choices.
How?

I've seen this chart and it has very little to do with what is described above. My point isn't that people should reject challenges, or to push back unnecessarily when confronted with pressure, or resist deadlines. The point is that you optimize your environment, methodology, tool usage, workflow, designs for simplicity, and that when you've done so it grants a level of control and predictability over one's work that it would appear you guys think is unattainable.

The above mindset embraces challenges by controlling for their parameters, and when confronted with a challenge too large you break it up until the pieces are something that one can assert control over. If that's still too much then you start shaving off requirements, and if that's still too much then yes, you might have to dive in and power through it. But that's where the boring mentality saves you: "diving in" and "powering through it" become more like a light swim than a sprint or marathon. Plus, when the code is simple and predictable its very easy to make estimates and then you can give yourself a larger deadline than you need.

Obstacles are confronted and plowed through -- but again this is not as difficult because the system is simple enough that most of it can be held in one person's head. When that fails, though, a little bit of creativity can get one out of a bind.

Effort... well you got me there. Less work is always better. Smart work, not hard work. If you are working hard, step back and think for a minute, because you are doing it wrong and you should probably optimize. There are very few scenarios for which this rule doesn't apply.

I don't see how my assertions have anything to do with feedback and criticism, other than to say that there is not as much in the bugs department because the boring system generally works. How one handles feedback has little to do with the other components.

It should also be noted that my mentality DOES involve a lot of questioning management, but that is because management desperately needs questioning. When a cabal of socializers and non-technical soft-power types try to run a technology-centered business, they require a lot of course correction so that development can continue unhindered and not get distracted with silly little initiatives (or whatever the third-party enterprise sales hacks walked through the door with this week)
Diversity and discrimination are kind of two different topics, no? Discrimination clearly leads to lack of diversity, but lack of diversity does not imply discrimination. I hope everyone thinks discrimination is bad, that doesn't seem like a controversial subject.

Lack of diversity in STEM also has other causes, though, like self-selection away from subjects due to lack of role models, or struggling in college because your background has not prepared you for the academic culture. Some of these are likely more race/ethnicity/gender related, like the role model issue. When it comes to being prepared for the academic culture, though, that firmly seems to be in the socio-economic territory.

The trouble is that ethnicity also works as a semi-good proxy for socio-economic background, so it seems like people think that by fixing the "I don't see anyone like me here" problem, they can also do a good enough job of fixing problems due socio-economic background, even though that leaves out a significant chunk of people.
I've found that over the past 20 years my taste in wine has gotten more particular, it's really more about how your palate changes over time. The expensive and famous wines aren't completely without merit however, and if you go off of the taste alone, well that's not really what wine is about either. :) Wine is also your company, the food, the smell of the earth (terroir), the balmy afternoon.

But I've found I have had to get more clever about the wines I like by finding vineyards near to the fancy ones, such as a wine from Gigondas vs. its more expensive neighbour Chateau-du-Pape, or a good Cremant or Prosecco vs. Champagne. Even at that not every supposedly "great" wine is transcendent, but from the right areas I've occasionally I gotten lucky and it's really something else. And some of the best wines I've had weren't for sale, small hotel in Tuscany making it's own wine, or a professor in Hungary who happened to own a vineyard were stunning.
Open Source Storage founder accused of fraud by former 49ers star Patrick Willis
The news that are more recent:

http://www.cbc.ca/news/canada/north/igloolik-ping-military-i...

"Military plane investigates mystery 'ping' near Igloolik
Search turns up nothing"
"Ally" isn't my word. We actually get called that. It's a pat on the head that doesn't buy you anything. You get asked to not have an opinion about certain things, to not enter certain spaces ala "White media to the back, black media to the front"
Nothing in the profit motive prohibits Apple's success, no. Apple certainly pays attention to its margins and how to increase them, it's just that they're not afraid to do it with price. However, and this can't be the first time you've seen this, but brands and their products are routinely downgraded in quality over time, particularly after acquisitions. Have you seen a Bell & Howell product line lately?[1] See also: Converse Chuck Taylor and Doc Marten shoes.

1. http://bellandhowell.com/
OK but how do I set it up with webpack?
I find it amazing that all restaurants open a fresh bottle of wine at your table, and never seem to offer a decanted bottle.

If I trust you to make my food in secret, out of sight, I trust you to open my wine in secret, out of sight.
Skin color does not tell you anything about who a person is. Your just reconfirming your own biases when you assign characteristics to race.

Diversity often ends up being a political and ideological filter just as much as a racial filter. The organisation looking to hire a 'Diverse' person already has a set of ideological filters in place to rationalize why they prioritize 'Diversity' and what it means. There not just looking for any divers person but the 'right' kind of diverse person that agrees with there filters.

So there is process that leads to ideological and political monoculture as it is now. One of the points that to author is making is that focusing more on other forms of diversity rather the race can increase the intellectual and cultural diversity of your organisation far more the just hiring a group of different skin tones who all have the same believes and politics.
Do frequent flyers not bring chargers in their carry on?
I'd like to add that changing the "front-end" of voting (having people rank choices rather than pick-one) enables a whole slew of potential better-algorithms, because the input data is fundamentally better.
The parallel with the command line, I found it to be very true when I first experienced "Siri" and "Ok, Google".

And still years later no man pages for voices commands.
EndorsementDB: a tracker for election endorsements
Tell you or order you? I wrote "nobody gets the right to decide for someone else".
Except Erdogan and his anti-secular movement was a project designed to serve US foreign policy.
I read some of the scribe notes on succinct data structures from the link, it jumped out at me as something interesting. But going from `O(n)` to `n + o(n)` doesn't seem especially game-changing -- what lead you to describe it as "miraculously powerful"?
upvoted partly for the observation (which I can relate to), but mostly for introducing me to a new phrase "incest of thought"
It's about MMOs in particular. I'm writing one.
Some AIs for the Spring RTS Engine had this too. The funny thing is though- harrassment doesent scale. In these Exponential Economy type of games, the harassment only works as long as the macro-strategy is unable to take off. After a certain treshold, you can micro all the funny dances in the world- but the wave of enemys is going to carry this surfer to the shores end.
What does Hannibal do that makes it portable? My impression is most game AI is essentially completely game specific, outside of, eg, pathfinding.
There will be ways to bypass those checks. The easiest is to wait a week after installation before doing anything bad. Or extension could download and execute code from remote server that would serve one version of code for users from Mountain View and another version to everyone else. Or the code could check whether it is run on a real device.
It's a pretty sad phone if even a low battery isn't enough to idle through the night.
Yes! I tried this site a while back and loved it. It fell off my radar a while back, but I'll need to jump back into it.
And that's what makes it ~spooooooky~.

It's just absentmindedly optimizing a cold value function! No more humanity! More more external input! Just cold machine logic!

We've doomed ourselves!!!!

But seriously. No, there is nothing inherent about an AI maximizing wins in StarCraft than one maximizing profits on the stock exchange. Although I feel like there's a bunch of Sci-Fi where this obviously goes awry.
The pixel is in fact a beast. I almost bought one, but was worried about the tiny ssd. Do you find space limiting at all?

VS Code has been stellar for JS and Go. The ruby experience has been pretty meh. Definitely depends on language/community support.
Don't take it so hard. I am the greatest fan of conversational AI chatbots. I am just a little too impatient, especially that I have seen a chatbot that can do those types of common sense challenges.
Half of the words in above list were invented by one single person.

And that person has pushed all of those words into popular use by cooperating with other authors, writers, newspapers at the time.

So, yes, that stuff is possible.

> but they can't do much more than suggest

Except, the authorative dictionaries have authority in Germany because, per definition, tests in schools have to be graded based on them, and official communication of companies has to be written with them.

If a dictionary says "deprecated", these have to switch.

Which, in turn, has a direct effect only a 13 years later (the maximum time it takes someone to go through school).
How is it illegal? Source?

Do you mean they're opening themselves up to a lawsuit by saying anything else? If so, that's different than being illegal.
Controlling five units is a lot easier than playing an RTS. In an RTS you don't just control five units, you control potentially hundreds of units, and you have base-building and an economy to manage.
So I can write a Church to Stan compiler, in principle?