skysight-inc/HackerNews huggingface dataset:
A type checker is a formal proof system. A test determines correctness for a given input. A formal proof system determines correctness for all inputs.
Isn't it a little crazy how much beverage companies are betting on 12 ounce cans?

I don't understand what risk you're referring to.
I'm sorry, if I wasn't entirely clear. It's not so much about being anti-Microsoft or even anti-Minecraft. I love Minecraft and the new Microsoft is really good as compared to the old one.

But, there's a lot of value in having an open source and libre edition of anything which started out or is maintained as a closed-source, proprietary system.

Consider: Firefox versus IE, Linux versus OSX or Windows, or LibreOffice versus Microsoft Office.

With Minecraft, there is no opportunity for developers to really get on-board to build stuff with them. The source is closed and Mojang is AWOL when it comes to the developer API.

Minetest, on the other hand, is LGPL and is freely available.
Same for Apple two decades ago. Yeah they never went anywhere.

Which spontaneously makes me think, maybe this CI stuff is the wrong way to go. Maybe a big-bang release every year where you can make a marketing statement "imagine if" "now you can" sort of thing.

In fact, as part of the minority 40+ contingent on HN, I'd love if all services I used released updates only annually and I could know precisely what they are.
If You Can [pdf]
Glad to see these new regs.
Good sleep, good learning, good life: a primer on sleep
Basically I need to understand if there is dependency to store multiple feature maps at any point in the forward pass?
Using closed stuff for education is a bad idea to begin with. Especially when there are open alternatives. I'm very surprised many in the education sphere don't get it. Windows, Windows everywhere and so on.
Gains in Roth IRAs are also tax free in addition to withdrawals. This means that if you have 30 or more years until retirement, you enjoy a 30 year growth at 8% compounded tax free (based on The numbers in the article). This is why if you're young and qualify for a Roth IRA it's almost always the correct choice.
The actual answer is that NASA has been cooking the books to make it look like it's accelerating to fit their agenda by editing current stuff UP and older stuff DOWN.

http://realclimatescience.com/2016/08/the-history-of-tempera... (All links and charts are cited)

EDIT - Since climate alarmism is somewhat of a religion now, I anticipated the "OMG CONSPIRACY THEORY!" stuff, which is why I mentioned that all links and charts are cited. They all lead back to nasa.gov or archive.org of nasa.gov, proving NASA is lying using their own data. At least check out the link I provided before you dismiss it.

If it's too much for you to believe a crazy conspiracy theory site, here's just a chart of NASA's cooked GIS data vs RSS (more accurate satellite data): http://www.woodfortrees.org/plot/rss-land/from:1997.5/mean:6... . It's literally just a graph, no crazy conspiracy here.
If you decide to retire early you can always set up a Roth conversion ladder by rolling over IRAs and 401ks to Roth IRAs. It takes 5 years for those contributions to "season" so that you can take them out before 59.5, but you can take out capital gains that way as well. No need to contribute to a Roth today if that doesn't make sense otherwise.
This is US centric. Rotaries were in use in EU way into middle 90s at least.
It's a back-handed agreement. Static typing increases value with project complexity and head count. So yes, if you only ever do small tasks with low or singular head count, then dynamic typing probably works OK for you.
>It's not about "fault" as if it's some kind of moral argument.

It seemed to me that a moral argument was being made, that twitter took too much money and that that is bad because they aren't profiting (i.e. earning the investors money)

Of course a business wants to make profits, but i dont see how its immoral for twitter to have taken so much investment.

Would it be fine if they weren't making profits, but had only taken 10 million in investment? if so, why?

Unless the argument is that twitter somehow purposefully deceived investors in order to get money, i dont see how the amount of money they've taken makes a difference.

i wasnt trying to speak so specifically to this exact case, but more generally the idea that its a company's fault that they took so much investment and arent seeing the expected success. (i see this about uber and tesla a lot as well)
The Search for the Latest European Startup Successes – Part 1: Berlin
Nextcloud Box a private cloud to run Ubuntu snaps
If you're healthy enough to swing a high-deductible health plan, consider maxing out a "stealth IRA" aka health savings account. With a $3,350 individual / $6,750 contribution limit, it's a great tax-advantaged account that can be treated just like a Traditional IRA. If you use it for medical costs, which you are likely to have in retirement, you get tax advantage on both ends.

http://whitecoatinvestor.com/retirement-accounts/the-stealth...
Sometimes behavior follows from the types. Combined with inference you sometimes wind up writing substantially less code (because it's basically being generated for you by a prolog program).
2nd-largest meteorite in world, weighing nearly 68K pounds, found in Argentina
He did it through a local company: http://www.gamestartschool.org

They also just started getting Tynker at school. I think it's optional at school though. https://www.tynker.com/minecraft/
Ditching the office to work in paradise as a digital nomad has a dark side
Glad to hear it! I'd recommend putting more info on your support of 3.x/2.x in the FAQ linked here for when other places eventually pick it up.

The only reason I knew that was because I took at look at v4 yesterday when i was bumping up some of my dependencies before our freeze.

With the recent Bootstrap issues still fresh in many's minds, and the already bad reputation that many think the JS ecosystem is "doomed" to continue, it would help to really drive home the point that you aren't just hanging everyone out to dry.
You can also take your principal (and earnings) out of a traditional IRA penalty free if you work through the loopholes. http://www.madfientist.com/how-to-access-retirement-funds-ea...
The use of `go run` here makes adopting this very hard. The benefit of using Go for projects (in my experience) is that you can build for multiple OS/Arch super, super easy. I'd thin that having uploaded artefacts would be the first thing most people do when releasing Go code into the wild that is meant to be consumed by someone just wanting to run the program.
You could argue that with PowerShell you have an entire .NET REPL. And I have actually used it that way, particularly when I run into some function that has bad MSDN documentation.
The US fine is only for shenanigans pulled in the US, other banks in US paid even higher fines (JPMorganChase and BoA settled for 13-17bn each).

The other investigations are handled by other entities in Europe and Russia. And there are two levels at play: breaking the law in the first place and then being stupid enough to be caught.

See here for details:
https://en.wikipedia.org/wiki/Deutsche_Bank#Controversies

It is a shit-show of epic proportions.
I think coordination is the key. If someone with authority isn't willing to step up and make sure everyone knows what they're supposed to be doing, things will definitely slow to a crawl and people won't communicate until it's too late. And that team will do better colocated. But a good PM can make a remote team work just as well as a colocated team, in my experience. If you don't have that person, you're just leaving your efficiency up to chance (does the team get along; do they feel like working that day) no matter the work environment you choose.

Edit: I'm not sure "is willing to" is the right phrase. You have to have a brilliant PM, period. I've worked with bad PMs, no PM, and a few great PMs, and it really is night and day. A talented PM can make an organization sing.
Hopefully convincing people not to unnecessarily demonize those we should be collaborating with.
Originally they required contestants to give up 5% of their company just for appearing on the show, whether they got a deal or not.
What Is Interactive Content Marketing?
I think (and correct me if I'm wrong) the advantage of a Roth is that you're paying the tax on a much smaller amount at entry than you are at exit. For example:

- I deposit $4000 into my Roth IRA this year.

- This was post-tax income on $6000.

- In 40 years, It grows to $20000.

- My total tax burden is still $2000.
I think you're confusing "profits" with "rents".
And the EU officials wonder why they aren't happy about thousands more mouths to be fed paid by taxpayers, spreading BS about racism.

It's not racism, it's economy.
Regarding point number 2 - A promotion has to get handed to you in some way or another, regardless of how hard you work for it.

I just don't want my career advancement to be up to the arbitrary whims of someone in a position of authority, that's all.

There are many ways to work your way up that don't involve giving all of your free time away to someone else who may or may not decide to promote you for it.
I've converted the 5 minute journal into 2 Google Forms one for AM & PM and have put links to those in a calendar invite for my notifications/alarms to wake up and go to sleep. Keeps me on point every day without being too cumbersome. PM me if you'd like access to the template so you don't have to recreate yourself.
It's an important point, but it can also be fairly well generalized to a lot of the "softer" points of program design. For instance, when to introduce an abstraction layer, and where the boundaries of the abstraction are. You could find-and-replace instances of "static typing" with "abstraction layer" into the quoted paragraph and it still makes perfect sense.
Unless I am mistaken, your investments in either IRA grow tax free. In the case of the traditional IRA, you are taxed when you withdraw the money. In the case of the Roth IRA, you are not. It is more a question of whether the returns on your investments are going to be significantly greater than your initial contributions. I certainly hope so, if you are compounding returns over decades. In that case, with a Roth IRA, you can create a lot of investment income tax free that would eventually be taxed in a traditional IRA. That, in a nutshell, is why I would prefer a Roth IRA. As a point of fact, I am not a "US person," so it is moot for me.
If you consider the risk of massive tax rate increases over 30-40 years significant, due to the need to pay for massive entitlement and infrastructure spending, also consider the risk that they will tax Roth capital gain withdrawls to pay for it as well.
Yeah, but C++ has so much baggage with it.

It could really use profiles. Strict mode or something, where the code should only use N "good practice" features.
Yeah, damn those Bangladeshis always insisting on being victims just because they don't have initiative. Wait, did I say initiative? I meant money. The people who don't have money will die by the millions.
And the risk that the tax laws on 401k will change too. Also, I missed that's in the self employed section so I don't know much about that. But if you have and can afford to max out a 401k, you probably can't get a deductible tira so it's really a question of taxable account vs Roth.
Ask HN: Best route from developer to pentester
I have a lot of experience with web (rails, angular, ember, react), android and backend (nodejs, go), but got laid off a while back and am thinking of branching off a bit and look in to pentesting. It's an area I have always had an interest in, so now that I have time I wanted to delve a little deeper. There are some costly courses available, but seeing as I am getting short on money it is quite the risk without having some solid testimonials backing it up.

If anyone can offer me some advice on a good starting point I would greatly appreciate it.
But haven't China proven (again) that they already have that technology? Unlike the DPRK (who don't seem too eager to get into orbit, either). Not working with China in space feels like a rehash of the cold war space race, except the US and the PRC are quite a lot friendlier, at least in terms of trade, and travel.
For example trees being burned (at a faster rate than they would die naturally and regrow) resulting in less trees to bind CO2.

The opposite is also true: Algae in oceans grow when temperatures rise, binding CO2.
I just saw this the other day! This wrapper around Pandoc to make life our lifes easier (tidyr)? I just went through the process of making a markdown file to an epub before I saw this, wish I saw this earlier.
Sure, the team/your teammates might be working for the success of each other, but that doesn't mean you aren't all being screwed by the company.
> My coworker told me a very surprising thing about containers. If you run just one process in a container, then it apparently gets PID 1?

That's true for Docker (and possibly rkt, I don't know) but not for LXC. Docker is intended to provide isolation for a single service/app, so having an init process (arguably) doesn't make sense. For LXC, it's more like a separate OS, so it does need an init process.

These two operating models are referred two as "application containers" and "system containers". It seems that the former is more popular for service deployment situations, but if you want a virtual dev environment / sandbox to play in, I would think the latter is a better choice.
Not if they implemented something like AdWords.
Yes I know; this is why I asked the question. It would be easier to suppose an answer if Albania was 98% or 2% Islamic.
مشاهدة قناة اون سبورت ON Sport HD الرياضية بث مباشر بدون تقطيع
Who, in your opinion, should wield the enforcement power in such cases? And what would be the mechanisms of said enforcement?
There's scads of money being made on the infrastructure, network, and equipment that's used to pirate films. Perhaps companies like Google and Apple should be paying Hollywood more for the material that people consume through their hardware/software. Hollywood's decline would be bad for both of these companies.
Nice conspiracy theory site.
I don't think the outsized mindshare of the Apollo missions has anything to do with the amount of data they collected. In fact one of the major criticisms of the Apollo program is that it produced relatively little scientific knowledge for the amount of money that was spent on it.
Completely agree.

Unfortunately I think they're still chasing the wrong dollar. They should be monetising their publishers and not just their audience.

Twitter should let publishers paywall their articles and then authorise and take micropayments via http://t.co on their behalf.

Almost everybody would benefit from this arrangement:

- Users would no longer need to buy multiple newspaper subscriptions.
- Journalists would be better positioned to ask for revenue share.
- Publishers could gain a larger paying market without needing to coax user's through the account creation and subscription signup hoops.

They'd finally be a viable business. And their incentives would be aligned with publishers.
Or you can just turn it off.
https://twitter.com/techcredo/status/775364119490879488
The gist of the backdoor Roth is that you make a traditional contribution and then roll it over into a Roth before tax season. There is no income limit on roll-overs and you aren't taking the benefit of a traditional IRA at tax time so the IRS doesn't care that you set it up in the first place.
> There will likely be people that reply to this comment with various comments saying I am wrong. You can judge those comments for yourself.

This is the comment equivalent of a loaded question. Or it's like those people who dismiss those arguing against them because of who they are rather than what their argument is.
I think Kubernetes does a good job creating a normal "Unix process environment".

The Pod concept allows for:

- Container processes share localhost, mount points, etc
- Providing a "normal" IP address that is routable
- Ensuring a PID1 can monitor the group of processes (as done by rkt integration)
- Allowing for normal POSIX IPC (signals, etc)

More here: http://kubernetes.io/docs/user-guide/pods/

As for PetSets I do agree that they need more work to support things that are replicated but not cluster aware. It doesn't magically solve the issues of distributed systems. Also, natively cluster aware things might be better served by controllers. See this demo of an etcd controller:

https://youtu.be/Pc9NlFEjEOc?t=18
While I agree with you regarding all the points you made, let's try not to get too cynical with age if we can. I was a kid when Earth Summit happened and we humans managed to stop and slightly reduce the Ozone Hole within a generation time. And it all started pretty much the same, with politics and all: something had to be done, if it was an ultimate silver bullet or not it does not matter because it is all about political momentum, IMHO.
No, we are not on the same page. The point is not that you're using a project tracking tool or distributed source control.

Btw, Google/Facebook do not use distributed source control, and they are quite relevant.

The point is the communication tools. If you are not accustomed to jumping on chat with somebody with the same comfort as walking over and tapping their shoulder, it doesn't matter if you pay for VC software licenses.

If you talk to somebody in person, and then decide something and act on it, without looping the entire team in on the decision, then remote employees are going to feel like outsiders, even if you are paying money for email software.
Really interested in this as well. Currently working as a web dev but really get excited when it comes to web app security.

Can we also discuss paid courses that might be of value as well?
You don't? Look, if microsoft is paying people to use bing or internet explorer, wouldn't you expect they're doing the same for bloggers and commenters?
Synaptics pointer acceleration development horror story
go get github.com/pforemski/dingo
A couple of links i want to throw out for those who are interested in locating and shooting the Milky Way.

Check out Clear Dark Sky for star-gazing forecasts [1] and download Sky Walk on your phone for locating the Milky Way (along with just about anything else you're looking for) [2].

For those of you guys near Denver area check out Last Chance, Colorado for some VERY dark night skies.

Here is how i shoot with DSLR...

1. Get a sturdy tripod.

2. Get a remote-release (preferably with timer) to avoid any vibrations during exposure. They're typically around $20.

3. Shoot on the lowest f-stop you lens supports. I shoot with f/2.8.

4. Zoom all the way out.

5. Set the focus on manual & focus your lens on infinity. You'll typically see the infinity symbol on the lens. If you don't have one, just rotate the focus ring all the way until it doesn't move and then typically just a notch back (2-3 millimeters). I find that that usually works. Some folks do this before they get out at night to shoot.
You just have to be extra careful and not touch the lens or make a mark on the lens so that you can always set it back.

6. Set your ISO to anywhere from 400-800.

7. Cover the eye-piece.

8. Start shooting! Your exposure time is probably going to be somewhere between 10-20 seconds to get a crystal clear shot. So this is where you experiment with ISOs and exposure times. This will all depend on how dark your dark spot is :)

Shooting the night sky is fairly trivial. Finding a good spot is incredibly difficult.

I don't do a lot of Milky Way stuff since it's such a pain to find a good spot, but i do all night time stuff pretty much the same way [3]

[1] http://www.cleardarksky.com/csk/

[2] http://vitotechnology.com/star-walk-2-guide-sky-night-day.ht...

[3] https://www.flickr.com/photos/sergeyakopov/27003195396/in/da...
being the CEO of even a small firm is a 150 percent time job.

I still find it hard to believe the Twitter board couldn't find anyone who didn't already have a job.
The actual answer is that that page is a joke and full of lies

They even still are talking about Obama being Kenyan

http://realclimatescience.com/2016/09/who-was-the-first-birt...

Really?
> That would require quite the rise in taxation rates

Take a look at any of the Millenials working in any large-city downtown: they spend every single penny they earn, they have no savings; when they get older, either the State will let them starve to death, or taxes will be raised in order to take care of them.

I don't think the former is politically possible, so taxes will have to go up.

Meanwhile, the same spendthrifts are by-and-large refusing to have children early, which means that there will be fewer workers to pay those taxes.

That means that there will be tremendous political pressure to raid 401(k) plans and IRAs. I actually believe it's even odds whether Roths will end up taxed one way or another (perhaps with 'withdrawal fees' or some form of Social Security clawback or something): it'll be too much money for the State to leave alone.
The Guide to Open Source Swift
and apologies, but this guy really is on my shit list:

https://en.wikipedia.org/wiki/Josef_Ackermann

All of this happened under his CEO tenure, he collected millions of EUR in salary and bonuses, resigned in 2012. Runs the WEF, Bilderberg group, etc.

An expert. But Capone and Escobar got hunted down. This guy is not in jail. A typical Swiss banker.
Twitter's huge value is the ability to follow without needing a follow back (friend relationship).

However they need to find a way to offer both short and long form content while doing this. It's crazy they haven't tried anything else yet. Perhaps there is an opportunity for communities to form naturally as well but again they haven't given this any thought.

So many things they should be trying, its too bad. The concept is amazing but they are butchering it.
Your math is wrong, even though it feels correct. The only difference is tax rate, because you're multiplying by taxes and order doesn't matter. You pay less tax initially but have lower growth. Assuming 1%/year, (Taxes * principal) * 1.01^n, or Taxes * (principal * 1.01^n)
Thanks, we've updated the link from http://git.savannah.gnu.org/cgit/bash.git/plain/NEWS?id=a0c0... to the release announcement.
Well there is a barrier to entry, user preference.

The same force that keeps people searching with Google instead of Bing keeps people hailing rides with Uber instead of Lyft.
It is usually still considered part of type checking. It's basically adding ranges to the types. For instance, `sin` will always return `float[-1, 1]`. If I have a function that takes `float[-10, 10]`, they're compatible. If my function takes `float[10, 20]`, then they're not compatible.