skysight-inc/HackerNews huggingface dataset:
Yep, just like all the most-capable and beautiful cars in the world which sit in private collections not being driven. At least violins get played for the most part :)

I always thought it'd be depressing to be a Ferrari engineer or in a similar position of making things great when you know the most of them will never be used anywhere near their potential, or worst-case never used and hoarded for profit by rich investors collecting trinkets they know little about. You're also undoubtedly aware of the types of buyers who e.g. Get a LaFerrari crash it on the turn exiting the dealership ( http://m.sfgate.com/world/article/1-5-million-Ferrari-wrecke... ) . IMO that would make it hard to care about my work, knowing that wholly-underserving drivers are smashing these functional works of art. Just because you can afford one of the fastest vehicles out there doesn't mean you're at all qualified to drive it.
Sunshine did that, by depraving you of red and yellow for a while and then panning out of the ship to show you our sub in all its glory.
Personal opinion: If you have the tendency to involuntarily hyperfocus on things, re-consider your interest in flying.

I had that happen to me once while landing in high wind, and it's only thanks to my instructor that I'm still with us today. Another time I was so focused on my landing pattern that I blanked out the tower instructions and pulled in front of a landing passenger plane (at MSP). And those are only the dangerous incidents, not the dozens of other minor incidents.

For me, the traits which make me an exceptional developer made me a terrible pilot. I can't regret choosing development of flying, just the money I lost realizing that I was not a good fit.
1. Electron is a massive resource hog.

2. Qt actually blends in with the platform's look and feel.
only if the origin server uses HTTPS and SNI.
So you are implying I stole Windows? That's your contribution to this?
Become a DDoS Mitigation Master. Test Your Skills with the New DDoS Bootcamp
Economist Branko Milanovic ( https://twitter.com/BrankoMilan ) wrote about this in a World Bank working paper in 2012. Here is a recent article which refers to his now famous "Elephant Curve."

http://www.voxeu.org/article/greatest-reshuffle-individual-i...

His book published in April: https://www.amazon.com/dp/067473713X/
Even if that was their obligation (which it's not, as others have pointed out), there's no reason to believe that keeping the algorithm proprietary would be more profitable. They're not handing a critical capability to their competitors (competing with Dropbox isn't fundamentally about cheap storage). They don't have the infrastructure to licence the algorithm (who should they licence it to? For how much? Under which terms? Those are not simple questions to answer.)

Releasing it freely allows it to work its way into browsers, allowing Dropbox to serve up the smaller images directly to users, saving money on bandwidth. It allows other users to contribute improvements. It markets Dropbox as a desirable place to work for engineers.

Not obviously less profitable that the opposite.
> However, you can consider the formal specification of your intent (the type), to be an example of fully declarative programming.

The vast majority of formal specification and verification tools (I believe Coq and Agda are the only exceptions, and they are rarely used in the industry) express the intent directly in logic rather than in the types (HOL in Isabelle and HOL Light, ZFC+LTL in TLA+ and maybe Scade, ZFC in Alloy, and a typed set theory in SPARK, I believe).

> But in practice it's usually enough to catch the sorts of mistakes that you're likely to make.

I think this claim is supported by little evidence. Most non-dependent type systems are extremely weak (or require cumbersome encoding) to express even all but the most trivial of properties (e.g. they can't even express that the value returned from a max function is indeed maximal, let alone more elaborate properties). Their expressive strength is that of a finite-state machine. How much does that prevent real bugs requires empirical study.
My presumption is that you're already using Swift in your app when you decide to write/break out a component framework and open-source it.

If you're using Objective-C, keep doing that, but then this isn't really a question to begin with.
I'm on the erlang rather than the elixir side of the BEAM, but it's pretty easy and normal in the BEAM to communicate with heterogenous processes, either by implementing a dirty or regular NIF, opening a port, building a C Node or using JInterface with java, using CORBA haha, or just opening a socket.
> MIT would probably be happy to support more

MIT doesn't support _any_ developers. MIT DCI pays MIT and is funded by undisclosed parties, but you never even care to ask about that. (And not that MIT is magically benevolent, in any case...)

We've tried for _years_ to get sustainable funding for development; but the Bitcoin 'industry' is just not interested.

> paying most of the top developers

Why do you keep repeating this misinformation? As I pointed out, e.g. three of the top ten by commit activity work for blockstream (and all of us were founders of the company). This is not most.

> has people worried

Has pseudonomyous sock accounts on the Internet who appear to own not much (to zero) Bitcoins; worried, at least.

> modest on-chain scaling (which needs to happen eventually anyway)

I think all the engineers at blockstream that work on Bitcoin supported segwit which roughly doubles block transaction capacity. (in a backwards compatible while improving scalability, to keep the operating costs low).

> due to your funding from AXA

Pretty perplexing, AXA isn't even to be broken out in the reports I have (we have many investors). I've never even had a conversation with anyone from AXA myself.
In the UK, and I think most of Europe, sick days aren't limited and personal days would depend on company policy. Either can require documentation (doctor's note etc).

I have 30 days vacation, which is fairly typical. Giving twice the vacation length as notice (two weeks for one week off etc) is usually reasonable, but it's usually in the company policies.

Somewhere with unlimited vacation would need to ensure the employees used at least the legal minimum (20 days, plus public holidays).
A kiwifruit contains a lot more sugar proportionally than a strawberry, yet the latter is usually considered sweeter.
> So when you change job of your own initiative, it is assumed that you first get a new position, then give a notice and start your new position.

It's pretty much the same in Europe (except when you take gaps, of course).

> I'm not saying it's right or wrong; just explaining how long and recurrent gaps can be interpreted.

Recurrent gaps can be interpreted in a lot of different ways, but there is just one real reason behind them. But I see how recruiters can assume things before asking for real answers (e.g. 6 months gap and this guy hasn't been able to find a job? Next!). It's a pity.
You have to be trolling.
Are there any other protocols that rely on SNI? Genuinely curious.
Why wouldn't they (at least, plan to)? They control the client-software.
Google Maps has my property's location and image on Google's database.
Yelp has my property's location and image on Yelp's database.
Pokemon Go has my property's location and image on Niantic's database.

I don't like how my property is portrayed on Google or Yelp. I have no recourse. Why is Pokemon Go different?
Show HN: Multi-GPU Reinforcement Learning in Tensorflow for OpenAI Gym
>Developers with tech jobs often have high end machines provided to them.

Developers with tech jobs should also be able to afford high end machines.

It's totally worth it, if your employer will allow you to work on your personal machine at all.
Professional software development uses IDEs, linters, static typing, tests, and build scripts, which are all some variant of checklists. (either as "verify that this documented list of conditions is true before you run for real", or "do things in this documented order")

There's also some (much more experimental) work on provably-correct programs, i.e. that can detect whether certain posited conditions will hold for all cases when the program is run: see Coq, Liquid Haskell, Idris, Dafny, and Why3.
Not only programmers! My grandmum likes how easy it is to make everything huge and high contrast when needed. My mum is a fan of unity, because everything is just reachable even with limited space. She recently even started to use a tiling plugin. My little sister spends hours customizing her desktop and tried pretty much any window manager. My dad uses linux and wine to play windows games that do not properly run with windows 7 and upwards.

I would classify them all as at best average computer users, but there was not much hand holding involved in the transition at all. And way less work for me now! (Like my mum did open Locky (the crypto trojan) twice!!)
MathML Improvements in WebKit
I disagree, depending on your environment... it might be mission critical.

In our continuous deploy environment, we're a revert first ask questions later shop. That means when we find something wrong we revert, and that happens a lot. Since we revert so often it is ESSENTIAL that history is clean. Sometimes your code is reverted before you have a chance to be consulted. It always sucks, but if it happens you want to be sure that your change isn't only partially reverted.
Why bother trying to losslessly compress your DVDs when they're already a low quality, compressed MPEG2 source? The small amount of content that isn't available in higher quality won't take up that much space left as is.
No compression algorithm works on completely random data. Fortunately (for compressors) there is in practice almost no completely random data sets people care about in the world. Almost all data is corrolated in some way. In pictures you can do a good job of predicting the colours of neighbouring pixels (they will, most of the time, be a similar colour).

In this case they are making use of the fact that JPEGs store a certain mathematical formulation of a picture. It turns out JPEG doesn't store that mathematical formulation very well, so you can squash it loselessly into a better formulation, then later turn it back into the original JPEG.
Okay. You were not complaining. I was.
https://www.facebook.com/communitystandards
I think if we want to understand the recent surge of populist movements in western countries, this study gives one good reason for it. Regardless of wether statements/positions of those groups are correct or outrageous.

“In Sweden, for example, where the government intervened to preserve jobs, market incomes fell or were flat for only 20%, while disposable income advanced for almost everyone. In the United States, government taxes and transfers turned a decline in market incomes for 81% of income segments into an increase in disposable income for nearly all households.”

So, protectionism works? At least it seems consequential to me, that for western workers came with globalization an increase in wage-competition from workers in emerging markets.

That most western workers can afford much more from their flattened or fallen income than they could 10 years ago is the other part of the story that neither this data-point tells nor the populist movements.
Rewritten by the author of South. Basically, all the good ideas of South with some of the problems fixed.
Pinterest acquires the team behind mobile apps Highlight and Shorts
Ah, interesting. Thanks for the correction, the online sources I quickly pulled must have been specializing in only the really cheap stuff.
On a related note, I'd be all for the #BlackLivesMatter movement to call for the live streaming of all community interactions with law enforcement.

Making every single interaction transparent only serves to improve service. And there's no reason that law enforcement should be the only ones video taping these sessions..
Are news networks ready to change their news reporting format? I am seriously too impatient for it when live to the point news and 10 second to the point snaps are available
Hi Daniel, very cool project! I am interested in hearing your thoughts on alternative image formats / compression methods.

WebP is very promising (also based on VP8) for lossless and lossy compression. Have you considered using it to compress PNGs in the same way Lepton is compressing JPGs? Odds are it wouldn't be bit-perfect though (despite being pixel-perfect).

Also interested in hearing about the tradeoffs between server-side decoding and client-side. Not to keep focusing on it, but WebP has native support in Chrome and javascript decoders for everything else.

I think it is a very exciting time for image formats with several promising new ones on the way (WebP, FLIF, maybe BPG but possible legal issues).
CART Innovation Report: Key Technologies Trending in Q2
I want to teach you to build products using JavaScript. For free
Fiat Chrysler Launches Bug Bounty Program, Awards Researchers Up to $1.5K
Scripting languages are just that, for plain scripts, not full blown applications.
Interesting. So there are no 24/7 news channels?
http://www.django-rest-framework.org/api-guide/routers/#drf-...

See for yourself.
I suppose this makes sense for the average person, as most people probably don't understand how to use emulators and what not. Oh well.
I remember the emergency squawk codes as a rhyme:
75, Taken alive (7500 for a Hijack)
76, Radio nix (7600 for Lost comm/radio failure)
77, Going to heaven (7700 for Emergency)
I've always been intrigued by Cloud9 and its ilk but can't figure out what is the best thing to do on it.

What are some great use cases for this type of tool? Is it mainly for quick testing or temporary stuff? Or would you use it for something longer term? Indie developer or team?
So, a marketing trick, as I suspected. "Let's explicitly deny other browsers the capability - and claim them inferior for it." Circular reasoning at its worst.
For our (smallish, fast moving) team we disabled history rewrites on all branches on the server, have all the developers manage their git workflow using the (very awesome) osx app called gitup, and have everybody rebase and resolve conflicts before pushing. We always rebase and only merge in unusual circumstances where preserving the merge conflict resolution decisions might make sense (which almost never occurs). Everybody on our team including very junior developers and designers are able to quickly pick up this workflow and almost never have problems - and when they do it's always obvious that they should get help from someone -- and typically this is exactly the scenario where some analysis is needed -- so its a good use of time for a second pair of eyes.
Didn't read the article, but how is this not obvious?
Tracing Pokémon Go's roots back to the '90s MMORPG Meridian 59
Books to read 2016
This is also a reason that Cloud9 makes sense for us. The group I work with is focused on teaching programming to people who aren't traditionally represented in software development and sometimes they don't even have their own computers and have had to borrow a computer from a friend to do the work.

With Cloud9 they can develop on any computer they have access to, whether their's, a friend's, or even one at the public library. It is just one less barrier to being able to engage people.
Judge dismisses Hyperloop One cofounder's restraining order against A. Pishevar
"Have you considered that the real reason there hasn't been a change is that because the people that want it aren't actually in the majority?"

Are you actually for real?

This is the current mining pool distribution:
https://www.blocktrail.com/BTC/pools

Antpool, which represents 17% is in favor of 2MB, and has threatened to NOT include any Core changes until it happens.

Proof:
https://www.reddit.com/r/Bitcoin/comments/4l564f/bitcoin_cor...

f2Pool, which is 23%, supports 2mb.

Proof:
https://bitcointalk.org/index.php?topic=700411.msg13571787#m...

BTCC, which is 13%, supports 2MB

Proof:
https://www.reddit.com/r/Bitcoin/comments/40az4o/bobby_lee_b...

BW, which is 12%, supports 8MB!
Huobi, (HaoBTC), is 7%, and also supports 8MB.

Proof for both:
https://www.reddit.com/r/Bitcoin/comments/3a5qj5/draft_signe...

KNCMiner, which is 2%, supports bitcoin classic (2MB hardfork)

Half of slush pool (5% total, so 2.5%) supports classic.

The only major miner that hasn't explicitly supported some sort of block size increase, is I believe Bitfury, which is ~10%.

Now, please add up all of these numbers, and see if it adds up to a majority.
I'd wonder why they're pressuring you to move to PHP. I've written PHP in the past, and recently started maintaining a site in PHP through a company acquisition. Normally I prefer Ruby on Rails and have used it since Rails v1.2.3. I consider PHP to be a step backwards technology and tooling wise. Laravel seems like the nicest copy of Rails, but it seems like everything nice in PHP is a crude copy of something from the Ruby/Rails ecosystems.

Frequently in PHP I found myself missing a proper REPL, yes PHP can be run interactively with `$ php -a`, but it doesn't print the last returned value, so spelunking in a running system is slow and awkward, luckily I've found Boris(https://github.com/borisrepl/boris) which is more like IRB or Pry, but it's still unpleasant when I'm trying to kill a tricky bug. On the package management front Composer is a better solution than previous PHP offerings, but it's got some quirks that make it seem unpolished compared to Bundler.

If I was given a choice PHP I would never willingly pick PHP. I suspect your company is pressuring you to move because they think they can get PHP devs at a lower cost than Ruby devs. If you're in the Bay Area there are plenty of companies that will hire you to write Ruby so you don't really have to switch if you're not comfortable with it.
When I was a teenager in the early 80s I both learned to fly (eventually becoming a flight instructor and charter pilot) and learned to program. There was definitely a synergy between the two. My systems perspective was formed in an environment where decisions managing relatively complex interactions with the physical world have serious consequences in a matter of a few minutes or sooner.

Emotionally IT/programming haven't been nearly as satisfying as successfully managing a flight in adverse or challenging circumstances. Bush runways, unexpected weather changes, etc....
Google ends spat with Mississippi AG over his MPAA-tinged investigation
The most recent Sega units by ATGames are emulated, and they do an absolutely terrible job. Many of them have the FM sound channels out of tune with the SSG sound channels. It's a great way to get a terrible impression of the games offered for it.

The older TV Plug and Play ones, however, had a Genesis-on-an-ASIC, a native licensed silicon clone of the original chipset. These were super accurate, and could even have a cartridge slot wired to them by the enterprising modder. They ran at 3.3v, though, so things get quirky with a real cartridge without proper transcieving logic.
> Communication from the afterlife conferring information that could not otherwise have been acquired.

Any such communication (and any such afterlife from which communication was possible) would itself be explainable as physical processes. (Obviously, it would require new understanding of what the laws of physics are, but that's not unusual.)

Any phenomenon that involves an observed and predictable relationship between an observable action and an observable result can be explained physically (though it may require new physics.) Any phenomenon that does not is rationalized within a secular materialist viewpoint as either (1) random, or (2) an effect of some as-yet-unknown cause.

Nothing observable can falsify secular materialism.
My point is that you don't sacrifice any of the awesomeness of Swift to the consumer of the SDK if you write a great Swift wrapper around your code.
I suppose all I can say to that is, I do not believe this level of gamesmanship to extract Twitter's value proposition is going to work out. I think they're asking too much of their users, and if they can't figure it out, they're gonna fail.
The article says that the causes of this stagnation were:

1. the deep slump and the weak recovery after the 2008 financial crisis

2. a decline in the number of people available for work

3. more part-time and temporary working

4. a decline in the influence of trade unions
Someone just had to mention that _stupid_ show. Seriously. By empowering that show, you're just making fun of yourself and all the other programmers on here.
Cool! Thank you for sharing this.

Here's the part where he starts talking about the 2mph bus accident [1]. He says the self-driving car should not have moved. He does not say why. He says they ran a lot of tests to make sure it will not happen again.

In plain English, I'd say, when the SDC is stopped on the side of the road, give sufficient time for traffic coming from behind to clear out before the SDC moves forward. Also, if an accident is imminent, being in a non-moving position is probably safer and less likely to cause liability for the SDC than moving. Plus, rolling over some sandbags is probably preferable to being hit by a bus.

[1] https://youtu.be/Uj-rK8V-rik?t=21m45s
If they don't check out https://www.nitrous.io/ - Similar to Cloud9 and was huge for me when I started learning.
So some kind of Share-Alike license? Perhaps this: http://opendatacommons.org/licenses/odbl/summary/
The NES cartridge's pin pitch is nonstandard, and making a new slot for it is actually a very expensive endeavor. You can get "close" with standard parts, but the resulting tolerance is extremely low.
All the more reason why we need to aim for decentralized (and ideally carbon-neutral) power.
They've had a long history of building or other users compiling versions for Windows - https://www.gimp.org/downloads/ - has Windows and Mac OSX as options, as well as Linux.
Introducing Sysdig Tracers: open source transaction tracing meets htop and strace
Yep, I wished I had had access to this back when I was working on something in the Rails side. Ingesting large amounts of data from Shopify across multiple oauth access points while being limited to the PostgreSQL backend and Shopify rate limit restrictions was a pain to setup with Redis and Sidekiq. I ended up forking Sidekiq to accomplish that -- essentially using Sidekiq as a concurrency framework to build in a different set of behavior. Reading through the GenStage document, I could have implemented something better.

The way I implemented it (with Ruby) left gaps of idle time, and huge amounts of data gets staged through the queues. I couldn't figure out how to make it better. Since I only had a week to come up with something while the infrastructure was melting down, at the time, it was acceptable. Looking at this though, the demand-based backpressure would work very well.

There are a couple problems I think I can use this in my current work -- this is great work!
The macOS Dock and services handling infrastructure has already been rewritten in Swift.

More macOS components will be slowly rewritten in future OS versions.

Likewise some new Sierra APIs like Units are Swift only.

See this year's WWDC talk about Swift 3.0.
David Davis: Trade Deals. Tax Cuts. Time Before Article 50. A Brexit Strategy
Learning to code as a 30-year-old kid with Apple’s Swift Playgrounds
I agree, in general, but I'd like to present one counterpoint.

Twilio's demos have always been fantastic and their product in actual use is as well.
Idealized spherical cows in a vacuum reduce to idealized spherical chickens in a vacuum if you work out the math ;)
A collection of abstract patterns
I'd be interested to know how this scales on a larger team. Looking at the number of open PRs on some of our repos, I would guess doing this in a larger organization would cause an unnecessary amount of busy work when everyone scrambles to rebase after each merge.