skysight-inc/HackerNews huggingface dataset:
I agree with you. If there ever was a man that epitomizes trustworthy and built a huge business because of his reputation there was RG LeTourneau. Early in his career he went far past expectations and cost him dearly to honor his word in fulfilling a contract. His biography is remarkable if you ever have a chance to read it.
Python 2.7.9 supports SNI:
https://www.python.org/downloads/release/python-279/
I don't see where Apple said they were abandoning OpenGL.

They just moved over to Metal for AppKit operations which naturally would always be faster than a common abstraction layer.
Seriously? Tell me any given example of an Apple product and I will show you something that came before it that had the same set of functional capabilities.

Apple has never led in terms of raw innovation, but what they do is take cool shit and make it work together really solidly.
"The community needs to figure out a way to demonopolize this business and make it ubiquitous without destroying its credibility."

Did you mean " ... while restoring its credibility, which has long since been destroyed" ?
I'm so glad I finally have an alternative to Spotify. They removed staring, apps, and filtering. Their radio is abysmal (almost as bad as Pandora).

What I'd really like to see is a radio feature that plays songs that sound like the song you requested. What all these algorithms seem todo is play songs that other people listened to after or before the song you requested. Or they just play something in the same genre. Genres are kind of dead now, so it doesn't make sense to recommend songs this way. Why not suggest songs with similar guitar riffs? Why not suggest songs with artists that have similar voices?
I will wait until this ships, but I don't think that I will like it more than quickly switching apps with a sideways swipe. For example: I write a lot on my iPad, keeping a text editor open to a markdown file and a PDF open in an adjacent app. I sometimes quickly swipe back and forth when making edits.

I recently bought a keyboard cover for my iPad, which I don't often use, but an iPad Air with a keyboard cover overlaps some laptop use cases, and the split screen might be useful.
Apps that have a lot of YAGNI features.

eg. For some reason your app has the ability to use Postgres instead of SQLite, even though you always use SQLite.

eg. For some reason your app supports Postgres/MYSQL/SQL Server because every enterprise you sell to wants to run their preferred database instead of the one that works best with your product.

In short 'enterprise' apps.
I switched back to the iPhone for a bunch of reasons, but once I got used to TouchID, in hindsight, I would've switched just for that. Apple still seems to know how to add features that are surprisingly new and useful. I just wish they did more of that with their software too.
I wouldn't say optionals are necessarily for error reporting. According to this slide[0], actually, we're going to be getting a proper error-handling model in Swift 2— we'll hear more either today or tomorrow.

[0] http://www.apple.com/live/2015-june-event/eda6e3f7-0fda-4b46...
All who commented or whoever is interested in updates please follow #visulator and/or @thlorenz on twitter for updates.
My understanding is that Steve Jobs made that up on the spot, and of course he could get away with that because he was Steve Jobs (I can't provide a citation, unfortunately--think I heard it from Gruber or the ATP guys on a podcast).

Tim Cook probably wouldn't do something so impulsive based on temperament, and his direct reports would probably not risk it. So I suspect this is a considered announcement.
Intro to Deep Learning with Theano and OpenDeep [video]
So with "News" and "Music", Apple's positioning themselves as a provider of curated, editorialized content. Isn't this a bit like the old Yahoo/MSN portal play? Are Apple betting they can actually found and fund a media consumption channel solely through subscriptions?
I'm sure OS X will retain its current support for OpenGL. But I think this means that Metal, not Vulkan, is going to be the equivalent to DX12 for OS X development.
There was a big web radio hype in 2000-2001.

"Web Radio Not Making Waves - An unfulfilled Internet vision: thousands of low-cost stations to challenge the status quo."

as titled by LA Times in December 13, 2001, see the article:

https://web.archive.org/web/20011216053056/http://www.latime...

(Many web radio stations are still alive, but the hype is gone)
The intuition behind the type theoretical axiom of choice is that the choice is given by a (hypothetical) proof of the "∀x ∈ A ∃ y …"-statement. The constructive interpretation of the statement is precisely that there is such a choice function — so it becomes a tautology (provable without any extra axioms). And I believe that agrees with the naive intuition one has why the axiom of choice is true. The problem is when the logic allows proofs (or semantics) which does not preserve the equality. In type theory the equality is intensional and thus preserved by structure.

Unique choice is besides the point here. There may be a unique function, or there may be many. The intuition of choosing is the same.

I also have no issue with B-T, as I expect weird consequences of ZFC; the axioms and logic being so profoundly non-constructive and removed from my intuitions in the first place. That said, I would not deny the set-theorists enjoying their theory, I merely observe that there are subtle things their theories fail to describe.

Type theory does not shout anything, but is carefully constructed from the needs of its creators. Some people want to extract algorithms from their proofs, or want to prove that their algorithms are correct. And if you want this, the nuances of type theory are actually nuances of things you care about — algorithms and proofs. If these are not among your interests, then type theory is not for you. Thats fine, I am sure you have other interests.
Surely there are other, equally pragmatic and sensible, documents?

I was reminded of the Four Rules for Firearms Handling. I think you're selling this sort of thing short, however. It's not as if some junior officer just sat down one afternoon and wrote these rules. Rather, they are the end result of a long process of trial, error, disaster, and rewriting.
MS will almost definitely do it. They've mentioned (maybe off the record) that they were looking into it, and this should seal the deal.
Show HN: Dumpstr.io – private Twitter for thoughts (closed beta open for a day)
Hmmm.. Swift on Slabs
I found this entire part of the presentation a combination of boring and awkward. Honestly couldn't care less about it.

I did find it funny when Iovine said "revolutionary" though, and a few in the crowd seemed to chuckle/laugh, and he appeared a bit confused.
No new iPod announced yet. Disappointing.
One channel? Huh? I thought scheduled channel content was over.
It is permutations if the order of events is relevant to the outcome. Theoretically, every single step you take may look "correct", but still end up badly if performed in disorder.
Valve is certainly interested in Vulkan, partly as a means to target Chinese Dota players running Windows XP. Even a second-place position on PC may amount to more than star status on OS X. (Though OTOH the relatively easy port could draw people looking for some extra income for their iOS game.)

(In any case, is it yet certain that Apple won't support Vulkan on OS X? It wouldn't have been ready for El Capitan's launch this Autumn regardless. Maybe Apple will try to deprecate it (in the non-technical sense) as a compatibility option but support it anyway?)
I don't assume that, just as I don't assume it with the stock market. The problem does not really lie with the actual unfairness of the game, it lies with the perception of unfairness. The stock market is always entirely unfair to retail investors, in comparison to professionals, for several reasons. But in times that retail investors view the market as unfair, the market suffers.
How Ikea uses food to trick you into buying furniture
FYI: Mantle is probably never going to go widespread public in any meaningful way. AMD is going to focus on DX12 and Vulkan instead.

https://community.amd.com/community/gaming/blog/2015/05/12/o...
It's an interesting contrast to OSX, which most people I know use by keeping a stack of odd-sized windows on screen such that at least a bit of each is always visible.
If you expect all incoming outsiders to be excited about your company and have decided you can't convince those who aren't to become excited, you've got a cult, not a company.

Dissenting views? Skepticism? Interests that might not align completely with our delicate, fragile startup? Shun! Shun!

It's incredibly insecure. Maybe for the first ten hires you need that kind of alignment to get the culture vector pointing in the right direction with a significant magnitude. But after that? Having to defend your ideas to internal skeptics makes you stronger. Hiring rose-glasses yes men might let you coast for a while, but when the end comes, it will be swift (see e.g. RIM).

EDIT: I can maybe see doing this quietly, though it would be pretty hard to swoop in as CEO and rescind an offer without letting your employees on the interview loop know. I really think it's the public aspect of this behavior that bothers me.

Just think: what kind of chilling effect does this have on employee speech internally? It really projects a "get in line or get out" mentality.
> overall society is moving towards a trend where not having a certain set of things can leave you with social disability

To me, just making this statement is an indicator that you've allowed yourself to buy into something you don't like. It's just as viable to live by the opposite view, which is that people who place too much value on a "certain set of things" don't make particularly good friends. And people who are constantly chasing trendy purchases to define their lifestyle don't seem particularly satisfied with their lives.
I agree, with the type of growth Swift has shown in the past, there is going to be a big demand for Swift developers now. Swift could possibly rule the mobile/web. I have already added it on my #TODO list :)
overall society is moving towards a trend where not having a certain set of things can leave you with social disability.

Towards having to have a spa & a large house? Since when has that been a required set of things to be happy?

(Stable job & healthcare, sure, those are good things to have these days)
Interesting, thanks. Sounds legit.
I'll recheck again when I'm at home.
Maybe the benchmarks got distorted.

doc/xxHash32:Small key speed test - 10-byte keys - 35.02 cycles/hash
doc/xxHash64:Small key speed test - 10-byte keys - 42.33 cycles/hash
Apple Music will be available on Windows and on Android
Exactly. Music is one of the most hype-sensitive industries. It's good that Apple is in the space, but they should be very careful about trying to be 'cool' about it. When they had U2 play some hits, that was innocuous enough. When they released a 'few U2 album' that was actually offensive to people (for a variety of reasons). Then, when Bono came on-stage and high-fived Cook, well, let's forget that moment. Surely their PR 'feelers' are aware of this and should've warned them that letting Drake ramble on stage would not be a great idea...
Anyone know what Python version comes bundled with El Capitan? I assume it's still 2.7.x, but one can always dream they have moved to Python 3 :)
It'll be interesting to see how this plays out.

iTunes Radio, Apple's first attempt in this space, is awful. X skips per hour? Really? The story went that Apple's execs actually had no idea how Spotify worked so thought they really had something.

It's the kind of fiasco that would've earned the execs a bollicking in the Jobs days and, to me, the buck had to stop at Tim Cook.

I'm a paid Spotify subscriber. Generally I like it but it has its warts:

- They did an app update a few months ago that's viewed as pretty much universally awful for reasons I can't really explain;

- Their catalog has many holes (eg Australian music, in this case probably because Spotify doesn't have an Australian service);

- I used to think artists were being Luddites by opting out but there's actually good reason for this. They don't earn royalties proportional to the actual plays. The royalty scheme imposed by the record companies gives a disproportionate amount to currently popular artists;

- Because of the last point you have artists who are missing or, in some cases, you have all their songs except their 1-2 money makers;

- Worse, for some songs, particularly for things from the 70s for some reason, you can't get the original. You just get some shitty remaster that sounds like bad karaoke.

- Spotify's radio feature is the real weak point for me. Repeats (sometimes with only a song in between) and the thumbing up and down I don't think really has the desired effect. Like I might be on a good string of songs but I know the worst thing I can do is thumb anything up OR down as experience has taught me this can only make things worse.

Really "thumbs up" should probably mean "don't change anything". Or at least me listening to something in full is itself is a positive indicator.

That being said, I'm not really sure you can do satisfying recommendations here. So much of music is I think tied to memory and nostalgia. You might like a particular song because of a particular person, place, time or event. How does liking that inform any other music choice?

At the same time your radio playlist has to be large enough not to be too repetitive.

What's more, there's actually an art to playlist selection. It's why, for example, at a concert you'll generally see a band start with something upbeat, play anything a bit more mellow in the middle and finish on a high note.

Curated playlists (which I guess Apple is calling "guest DJs" because that's what it amounts to) is an idea with some history (eg Songza, bought by Google last year I think).

I actually find myself listening to iHeartRadio a lot. I pick a music style I'm in the mood for and just try different stations until I find something not too objectionable. Sure there are DJs (99% irritating) and some ads but at least I don't need to build a playlist, worry about what's on Spotify and what isn't or make a decision each song about whether to thumb it up or down. It's it or nothing (well... something else).

Radio really has a low cognitive cost.
Surprised they are also releasing this on Android!
Or at home, work, gym, cafe etc. Lot of places have free Wifi.
It's difficult to argue with you when you mention the word Halacha, which is specifically talking about the laws that revolve around behavior and actions. Even within that context, no one denies the concept of "Kavanah".

Ars used a dishonest argument that follows the following logic. "Since we would rather someone do the mitzvos without faith than not do them at all, then it must be that the actions are more important than faith." In fact, the only reason to act a certain way without the belief and intention behind it is "mitoch shelo lishma, bah lishmah" since actions can influence their faith.

Still, the fundamental point of Torah Observance is about hisbonenus, emunah, bitachon, and tikun olam. Almost entirely around understanding G-d and connecting spiritually. This is not just how I feel, this is black and white fundamentals. Sure, the mitzvos and halacha are crucial...but lets not distort that to mean that one shouldn't focus on the faith as long as he does the bare minimum action...

I stand corrected about the 13 maimonides tenants of faith.
-----------------------------------
The Jolla/Sailfish Linux (with Android compatibility) tablet is on the way, http://techcrunch.com/2015/03/03/jolla-tablet-hands-on/, still available via 5X-oversubscribed crowdfunding for $249, https://www.indiegogo.com/projects/jolla-tablet-world-s-firs...
There's also an efficiency loss from the extra circuitry, particularly when the batteries are good enough that there's no benefit yet.
“Inter-universal Geometer" - This seems to refer to the Geometers from Neal Stephenson's Anathem[0], or is at least inspired by the same concept. "Inter-universal" probably refers to the fact that math, analogous to geometry, holds true regardless of the rules of one's universe. (Math is a set of "if these rules apply to a system, then these other rules must apply" statements.) Just seems a little weird to me that the article was so specific about so much, but left that bit ambiguous ("What does it mean? His website offers no clues.").

Edit - Did some digging, apparently his website offers direct clues:

> "inter-universal geometry", which may be thought of as a sort of generalization of anabelian geometry　and, in particular, "absolute p-adic anabelian geometry"[1]

Idk what the "absolute p-adic" part means, but anabelian geometry is described here: [3].

Edit2 - Dunno why i'm spending so much time on this, but here's Mochizuki's explanation for the term (stolen from this wiki page on Inter-universal Teichmüller theory[4]).

> "in this sort of a situation, one must work with the Galois groups involved as abstract topological groups, which are not equipped with the 'labeling apparatus' . . . [defined as] the universe that gives rise to the model of set theory that underlies the codomain of the fiber functor determined by such a basepoint. It is for this reason that we refer to this aspect of the theory by the term 'inter-universal'."

So I guess that's your explanation?

[0] :: https://en.wikipedia.org/wiki/Anathem

[1] :: http://www.kurims.kyoto-u.ac.jp/~motizuki/thoughts-english.h...

[3] :: https://en.wikipedia.org/wiki/Anabelian_geometry

[4] :: https://en.wikipedia.org/wiki/Inter-universal_Teichm%C3%BCll...
Project Shield: DDoS Protection by Google for news and human rights orgs
That is seriously deceptive to write as if you weren't part of Justworks. Flagged.
Most formal order documents are like this. You can find tons of operations, warning, and fragmentary orders online, including orders used in combat theaters previously. But be ready for an increasing amount of entropy as you move from formal operations orders to warning orders to fragmentary orders. Often, FRAGOs aren't even typed up in a document, especially in combat arms.
> Apple is the first big company to really push smartwatches.

That's completely inaccurate.

Samsung has released tons of smartwatches, as has Sony, Acer, LG, Microsoft, Qualcomm, and Toshiba. All before the Apple Watch was even announced, so unless you expect us to believe that none of these are "big companies" your point is provably and factually wrong.

This is yet another example of "Apple invented it" from Apple fans well after the industry had been well established and Apple jumped in late (see e-payments for another great example).

I mean for crying out loud the Samsung Gear 2 and Moto 360 have been out almost a year ahead of Apple's watch and one has a camera and the other actually has the same physical dimensions and shape of a traditional mechanical watch. It is absurd to ignore how far this sector has come.
> What I'd really like to see is a radio feature that plays songs that sound like the song you requested.

Isn't this exactly what Pandora does?

https://en.wikipedia.org/wiki/Music_Genome_Project
I use the Prompt app that provides a SSH enabled terminal. I don't lose any sleep worrying that the app might not be secure, but maybe it should. I also like Juice on my Android. Being able to SSH from my mobile devices is a useful feature.
Anti-Vaxxers Are Using Twitter to Manipulate a Vaccine Bill
You're saying that if the old man worked harder, he'd be less likely to break his back? Or are you saying that if he worked harder, he'd only break his back after he made a few million?
good collection :)
Yummyfajitas seems to be using utilitarian morality in his argument, not ejecting it altogether. That's what the concern with the net number of people harmed would suggest anyway.
Ask HN: What will you choose for $9.99/mo, Spotify Pro or Apple Music?
EDIT: Added Google Music

I hadn't added Google Music to restrict it to what I initially felt would be major players. I was trying to avoid adding every service that exists out there. TIDAL, Rdio etc
Fashion and taste is a huge part of apple's brand (and the "Beats" brand), and can definitely be apple's competitive advantage in the music space. There's really only two ways for a streaming service to differentiate itself: exclusive content and curated content. If they aren't going for the exclusives, they have to depend on radio.

I think you're underestimating the popularity of radio, too. Pandora and songza are purely radio services, and spotify, google music, and rdio all heavily promote their radio services.
Because most can't.

My Android tablet still doesn't officially have anything beyond Android version 2.3 and I had to root/jailbreak and install Cyanogen to upgrade to the 4.X releases.
what !! how can i read that can you refer to a particular author ?
Sounds like Orwell, but wasn't: http://quoteinvestigator.com/2013/02/24/truth-revolutionary.

And if you look more closely, it doesn't sound like Orwell after all. It's too grandiose.
Did Google I/O get you more or less hot and bothered?
I wonder what this will mean for Qt and QML.
Sure, it's a possibility. Easy to test; start charging for the service.

But that won't happen. They'll continue to play imaginary company, acquiring a heavier and heavier daily burden of seemingly broke users.
I think the most exciting part of Apple Music is the idea of allowing musicians to put their music into the apple store. Much like the Apple store gave a storefront to small indie developers, this might do the same for musicians worldwide. The idea that a small time guy can get a small profit via the app store instead of just posting onto Youtube and crossing his or her fingers is cool.

Aside from that, I really have expected thought changes more than anything from Apple WWDC and this one is just disappointing.
WebRTC services are still, for the most part, isolated silos. There is no effort made to federate or interoperate between services. For that, you want something like SIP or XMPP/Jingle.
"Truth is treason in the empire of lies." - Ron Paul
Well Node.js(+Framework) is an entirely different beast from Swift(+Framework), RoR, Python+Django, etc. As for Swift(+Framework) vs Python+Django, RoR, etc, Swift would have to be faster and introduce some amazing new feature for it to replace anything. I dont personally like how Swift is statically typed but does type inference. If i dont specify a type for my variable i should be able to change my variable's value to whatever type i want.
But even by that definition, the web isn't a single application, it's many applications, some of them compartmentalized (search, social), some of them not (email), and some in between (websites/blogs). If an application were centralized, I would expect a single provider you had to use, but instead, where it at least compartmentalized, you have a group or providers. Can you name a single service/application that you expect more than 5% of people use that has only a single provider? For search, you have Google, Yahoo, Bing, and other smaller players. Google is dominant here, but still has less than 68% of the market. For social, Facebook is the dominant player, but you yourself used a different social network to communicate on this subject, and there are many other providers with popularity that ebbs and flows. It's the same with anything I can think of. I'm not sure how this is considered centralized under any definition.