skysight-inc/HackerNews huggingface dataset:
You can. Just start the app in a comfortable position and the image will me from and center.
> Perform your proofs in the same term language in which your program is written.

We don't have such (real) languages yet[1]. Idris is far from being production ready and or demonstrating it can be effectively used for real-workd programs. Even then, it still remains to be shown that such languages will be cheaper to use than validating the translation and still be performant enough for the purpose they're used for (and, BTW, systems that require this level of correctness usually require proofs of timing and memory use -- including stack use).

[1] There is actually one such language -- Esterel. It (and its descendants) have been used to write safety-critical software successfully. It's an incredible language, but it doesn't translate well to other domains as it's not Turing complete.
There's no need to trust Apple with re-signing the binary, it just happens to be implemented that way. It throws away the reason for the original code signature, which was for the developer to securely say "I created this." You could just upload unsigned binaries to the App Store in this case, saving a lot of complicated work with maintaining signing profiles.

It's not that I don't trust Apple, it's that there's no reason to trust them in this case. Either stop forcing developers to deal with code signing for App Store apps or stop destroying their signature, allowing verification and logging of builds.

And yes, the same encrypted binary IPA is served to everyone, but it gets customized by the device/iTunes.
I use Pocket Casts on android to listen. Highly recommended.

Ordered by how often I listen.

Marketplace

Planetmoney

RadioLab

This American Life

Startups for the Rest of Us

Reply All, (Statup S1 & S2)

Occasionally other public radio podcasts
Sean Parker Tells How “Hacker” Philanthropy Can Save the World
I'm not sure it's made life easier for him yet. He walked 3.5 metres, but how frustrating would it be to lose the use of your legs and then be tantalized by something sort-of-like walking again, but within very controlled situations? But the promise of what's to come is fantastic - my dad's a lifelong paraplegic due to polio and although this tech is too late for him, it's wonderful to think others may have a chance.
I had really no problem using a magnifying glass to burn printer paper as a kid, as long as it was the summer, trying to do that in the winter was for some reason impossible.
Wow, that's a strong statement. (Are we using the same definition of materialism?)

I use it to mean that there are no outside forces describing the state of the universe beyond what's materially measurable/describable; in other words, probably we have no transmaterial soul.

That's a strong assumption for anyone who's religious, but it's sort of gospel for atheists. That said, it's the many-worlds hypothesis doesn't square with a totally-naive interpretation of Bell's Inequality and materialism/atheism.

So... are you saying that we have to admit there's a God/transmaterial soul / some other magical thing because we don't understand the implication of Bell's inequality? If so, that's a big jump, but I can't say it's wrong. Just that I don't take that leap along with you.

You know, there are more things in heaven and earth, Horatio, than etc etc. For both of us.
I would say it is still a very big achievement. Imagine you being able to do something you were not before, just thinking about that.
While it's gotten rid of the worst spam (apps sending totally unrelated ads as notifications), unfortunately there are holes in that policy big enough to still drive a busload of junk notifications through, as long as they're somehow related to the app:

> Apps and their ads must not display advertisements through system level notifications on the user’s device, unless the notifications derive from an integral feature provided by the installed app. (e.g., an airline app that notifies users of special deals, or a game that notifies users of in-game promotions).

To me those are still pretty spammy. An airline app notifying me that a flight I have a ticket for is delayed would be one thing; that's a legitimate use of system-level notifications. But an airline app vibrating my phone, just to announce that AirlineName Has Great Deals To The Caribbean In Our End Of Summer Sale? That is not ok, but Google allows it. I assume this is also how Yelp is able to send that kind of junk notification without getting banned.
3d printers (i.e. RepRap) do the same only the "work" is done by the user's PC.
Yes, this is the real thing that should be debated -- where does the developer's responsibility end and the App Store's begin?

If I created an app, both distributed internally (say, to my corporate users) and via the App Store, but the App Store version has a bug because they're using a different ARM backend than my Xcode, that will be a real pain to debug.
Might be nice to watch a movie in a comfy room if you are stuck on a long flight. I think headsets out to at least ship with a noise cancelling headphone option built in. Plus, the room scene is easily interchangeable. With a decent room scanner it could be your own home, or a Hollywood screening room, or the Acropolis.
That's the one. YourGoogleFu >> myGoogleFu.
I don't know man, plenty of people are fed up with ads (installing adblock isn't really technically challenging) and now there are plenty more non-tech people using adblock because of Apple.
Well this is interesting:
"related to a largely subconscious apprehension about confirming the given negative stereotype"
All whites are racist, all men hate women are sexual predators and wife beaters... Maybe progresives should read about this before spreading their bs?
What you're saying largely aligns with detailed analysis I've read on the subject:

http://www.scribd.com/doc/261173525/CSBA-Trends-in-Air-To-Ai...
Still it is infinitely better than current solutions.

The same way that bionic eyes give only 30x30 pixels (yet) and they are still infinitely better than being blind. We are moving in the right direction. That is the important stuff.
The biggest problem with native apps is that there are a lot of native mobile developers. One in 20 or so are actually good.

So you have all these apps that were built by someone who has no idea on how to architect them. The company has already spent so much just getting it out the door that they refuse to rewrite it.

Native mobile dev is great. You just need to have good mobile developers run your team.
Cool!

You can totally see the atmosphere in the top right horizon.

A lot of the big crags throughout the planet look to me like they have to be formed by flowing liquid.
So I love listening to Jason and his podcast; it's always interesting and he's right on the money so much. This piece though has me scratching my head a little bit.

> Apple draws the line at stealing content, and doesn’t see the subversion of ads as stealing – which all of us in the real world know it is. Undermining a publisher’s ability to monetize is stealing, but it’s Robin-Hood, feel-good stealing.

This is wrong on so many levels. The ad model relies on the honor system. Yes, the honor system. You are served content and it's expected-no, trusted-that whatever you view the content inside will download and show you ads. This business model made sense initially because there was no other way to get people to pay for content on a network that is based around standards versus vendor lock-in when little to no e-commerce was happening or really even possible.

As ads became worse and started to require clients download sometimes MORE data than the content they are viewing it's only natural the users would fight back against such shitty behavior. This was written about and predicted over 10 years ago and I'm honestly surprised it has taken so long before people began complaining about it. I remember when some of the first ad blockers became popular and many websites were writing about how this was stealing, the internet was going to die, blah blah blah.

Markets change when technology disrupts the status quo. Online advertisement through resource-hogging third-party ads has been the status quo and it has been eroding for quite some time. Why do you think Google makes ads look more and more like search results? Why do you think so many sites are doing "fake content" that's basically an ad disguised as content? People realize that the ad of the early 2000s just isn't going to cut it anymore.

Calling it theft when you give it away for free is asinine. Adapt or get out.
This was my thought too. I was going to suggest they toss a coin.
First, determine the kerf of your cutter. For service bureaus like Ponoko, they may be able to tell you the kerf for the cutter and material you'll be using. Otherwise do some test cuts, e.g. a set of 1cm squares, and measure the average kerf using a good digital caliper.

From there in reasonably recent versions of Illustrator, select your path, then use Object > Path > Offset Path...

In the Offset Path dialog, enter your measured kerf value. E.g. I've been working with a 0.19mm kerf lately, so I would enter half that in the dialog (literally ".19mm/2") and confirm.

A few notes:

* Make sure your path is fully joined (select everything then Object > Path > Join) before using Offset Path. If you zoom in and see your path looks like a series of disjoint rectangles, it wasn't joined; start over.

* IMPORTANT!: Offset Path creates an additional path, instead of modifying the selected one. At this scale, this is impossible to see. You'll need to zoom waaay in to see the pair of paths, ungroup them, then select and delete the inner one. If you don't, you'll end-up double cutting the same path, which can be a good way to make fire. :-/ (Ponoko checks for and will usually flag these kind of errors.)

Cheers!
Banks embrace Bitcoin's heart but not its soul
I'm really impressed at the responsiveness of this implementation. HTML5 terminals I've seen seem more sluggish even though they are similarly simple (though I guess that's partly the round trip latency at work, as well, and I guess this is all implemented in the client).

I always wanted an MSX when I was a kid and collecting 8 bit computers (this was when 8 bit computers were still somewhat useful; I bought, fixed, and sold them for spare cash and would keep the most interesting ones). I had almost everything I read about in magazines come across my radar during those several years, including ridiculous stuff like an Apple Lisa with several hard disks, a TRS80 with every imaginable expansion (including the big expansion backplane case), a Coleco Adam, and more Commodore machines than you can shake a stick at.

But, alas, MSX just wasn't common in the US, and I never found one.
The federal prison system runs prisoners through a 6 month halfway-house that helps them find a job and a place to live. In fact, if you don't have these, they will hold you past your release date until you secure them.
Or The Verge!
i stand corrected, somehow i was under the impression that they were a part of es7 (es2016). So does this mean, there's still a chance that they might not make it?
Harmontown - a podcast by the creator of the brilliant tv shows Community and Rick and Morty. I'm not sure it will make sense on it's own, but if you really love Community, think that Dan is a genius, and want to understand how he thinks - it's awesome. Also very funny.
I don't see any percentage-wise memory savings in the article or here in comments. How big a difference does a couple of MB per document make?
Ulefone UWear Bluetooth Smart Watch Specs and Price
Do any air to air missiles in the U.S. inventory offer thrust vectoring?
Yes, self-checksumming becomes impossible [1].

If you are concerned about anyone reversing your code (Apple or otherwise), you must obfuscate it. Either you work at the ARM level or the bitcode level (watchOS for now), but the basic techniques are the same. Or, you can avoid changing tools by doing source-level transformation.

One of the companies probably impacted by this change is Arxan or other obfuscators. They have to change both front and backend to be LLVM -> LLVM.

[1] Except for the case I mentioned before, where you predict the generated code for known architectures and use that to generate your constants. This still breaks if Apple generates code for a new architecture without your help.
Jailbreak+iOS+8.4.1+via+download+TaiG+2.4.4+jailbreak+-+iosjailbreak-download.co
Great point. Why check what might later change when you can enforce it now and going forward?
The conversation here about slave labor made me think of my Air Force enlistment. I couldn't even get a sunburn during my enlistment without getting in trouble for "damaging government property."
I love the characterization of Facebook as 'a glorified web app'.

This is true, but only in the sense that a Ford motor car is a wheeled widget. Or maybe the Apollo capsule was just a flying tin box.

I don't use Facebook myself but I can still appreciate that running a web application that scales to the level of Facebook is at least as hard as designing and building cars or other factory produced widgets.

They handle over a billion different users in a month with a mind boggling scale of user graph interconnection. They handle the uploading of hundreds of millions of photos per day and manage to keep it all working when much of the site is written in PHP.
The word you used above was 'disingenuous' and I think that deeply mischaraterizes the issue. The overwhelming blame for gitmo being open today falls on the GOP.
Tips for using both sides of your brain
You have 1/20000 chance of having an salmonella egg in a batch that can be inactivated with proper cooking.

For people with working immune system basically any food is safe-ish. So we are overdoing it. But there are people for which (AIDS, immunosuppressors, cancer) a very low bacterial load could be deadly.
While the battery oversight was bad, who actually cares about how many eggs they have left and needs to be notified? It's a non-problem first and a hardware oversight second.
Interestingly Google ngrams has 'poop' as more popular, even in British English.

https://books.google.com/ngrams/graph?content=poo%2Cpoop&yea...
I agree with you, but I must also add that not every site needs to have an app. Mobile web is plenty appropriate and sufficient for many types of apps. Many news and blog sites are a great example of this. In their case, an installable app would make sense if they are offering a feature or experience that requires the privileges of an app. Lets not unnecessarily crowd up our phones and app stores. The World Wide Web is still a good idea.
> I hope Google can expand it

A few days ago I remarked on Twitter: "sad that Contributor, a great alternative to ads/tracking, is owned & marketed by Google, which has more to lose than gain from promoting it"[0]

The idea behind Contributor is a powerful one: one that if aggressively marketed and expanded, could (at least conceivably) provide a viable hybrid model for online content publishing (that could coexist with ad-tech).

But Google is a one-trick pony (with ads, obviously) and has everything at stake here. That makes Contributor feel like more of a defensive "moat" initiative -- there to passively discourage others from pursuing (or investing in) similar ideas. Maybe I'm being too cynical. I too am happily subscribed to Contributor--the most dramatic difference is The Next Web -- where the crazy canvas-flying ads are toggled off.

[0] - https://twitter.com/spencenow/status/646480765794975744
I thought it was brilliantly apt.
So how do Google's super-smart security folk protect their data?
Leave Homework to Children and Home Work to Adults
Which makes me think you aren't doing any iOS or Mac OS X development anyway. So the state of Swift openness doesn't matter.

So go pick OCaml, Haskell, Rust, Idris,.... instead.
The body uses water to process alcohol.
That would be a great move for VolksWagen too ;)
Here is my humble recommendation:

1) Contribute to (or just read the code of) open source projects in order to improve your coding skills

2) Read up on existing research in topics you're interested in

I understand the desire to be efficient and kill two birds with one stone. However, finding a good, active, community built research project might be a bit difficult. Even if you find it, you may find that opportunities for you to contribute to it are very few.

Contributing to open source projects will give you a good opportunity to understand the open source contributing process (which you'll need to know when you do find that open source project you want to contribute to). It'll also allow you improve you coding skills while you're at it.

Reading research papers gives you much more bang for your buck in terms of developing your research interest, though is not very resume-able. But, who knows, maybe your reading will spark your own open source research project.
If I have 100 fake accounts, how many of them have access to my wallet to buy what you're selling in the ad? If 100 of them click your ad, how should you count it "100 potential customers" or 1.
Most of the fakes seem to represent a 0% chance of making a sale.
Can't avoid it for everything which is why I'm considering wrapping.
This is one of my favorite and that illustrate my key belief:

"Writing will help you to make connections with people who share your passion but will also help you to expand your own perspective on topics. Writing is hard and does not come naturally for everyone, but if you’re trying to think outside the box it is a great tool."
I think the VR paradigm will evolve as a social signal of detachment from availability for interaction. Like being on the phone. It's like closing the door to your office.

AR may become a commonplace, useful layer on social interaction. For people with compatible hardware... AR that could aid daily life will always signal social detachment for some, but for a younger generation it may be as natural of a tool of rich expression as a whiteboard.

We have somehow managed to understand that wearing headphones and sunglasses means you don't want to talk to people, or that you don't want to be interrupted. Wearing headgear around will die off like Bluetooth headsets if it doesn't allow for clear distinction between local and digital interaction. The phone to ear gesture is well known. Talking to thin air remains dubious to those around you.
Anime sometimes have unorthodox subtitle placements, it can be nice and also annoying.

Maybe it is a getting used to it thing, but it can be overwhelming.
It's official: North America is out of new IPv4 addresses
Why "the cloud"? Certainly there's more than enough horsepower on my local PC and enough bandwidth in my USB cable to direct it, or even better, allow my PC to queue up the movement instructions and just hold them in a memory buffer in the cutter. Then I can use it without my internet connection being up.
Detecting Pulsars (Rotating Neutron Stars) with an RTL-SDR
Affero GPL would be suitable if they were releasing the serverside code, not the dumb client code. Here, it would make no difference.
Modern missiles aren't immune to rules of engagement which prohibit beyond-visual-range engagement.

The actual solution to this problem is to establish air superiority by sending in autonomous drones to down all aircraft and destroy all anti-aircraft munitions in a given region, and then send in human-flown craft for other work.

Yes, this entails robots being given the ability to kill humans.

No, this is not currently politically feasible in this country right now.
The gearbox is an extremely heavy, failure prone, and complicated part of all helicopters. The gearbox alone typically weighs between 10 and 30% of the total dry weight of the helicopter. So replacing it with electrical drives does sound very attractive - and not just for the Osprey.
Of course YMMV, but my go-to is the Mac native client that they themselves put out. Not the web client, but not third-party. I don't have trouble with it.
Shitty products.

I had a Quirky Wink Spotter and it was just shy of usable. How they failed (for over a year!) to issue a software update that fixed the problem of getting hundreds of push notifications every time the thing moved, I will never understand. Coalescing was not in their vocabulary. This was not an exceptional team of engineers, by any stretch. It was apathetic people who knew how to cobble stuff together, but didn't give a shit about doing the last finishing touches to make the stuff usable.
I agree 100%. Now low income people can connect with their friends and business connections. That could lead to more business even though their business is just off...
Real World Elm – Part 2 – Form Validation
> We don't have such (real) languages yet

We do. Because Haskell and ML are ultimately just fancy term rewriting systems, you can do equational reasoning on their terms by hand just fine. It's even easy enough for non-[computer scientists/mathematicians] (such as yours truly) to do it casually!
Curious, what was the last time anyone scored with a cannon on a modern jet fighter vs another jet fighter?
The most egregious site breakage from ad blockers is when sites can't handle the absence of their Adobe or Google JS. Some sites have large amounts of content that is only loaded via three levels of third-party-JS indirection. Others will try to fire an event to Google Analytics on every click, but if GA doesn't load, an error is thrown that prevents the click's default action.

I was making a $1000-range purchase on an ecommerce site that was utterly broken by my refusal to be tracked in intimate detail, and their product manager was basically, "eh." So I worked around it by catching the errors for them in the browser inspector. This is the type of breakage that site developers absolutely should be fixing.
Really? Huge difference? I would say about 20% (being generous with that number) of the good apps that I install try to misuse the notification. I don't find it that hard to disable the notifications for them. The benefits of notifications outweigh the spamming by a lot.
Wrong solution to the problem. Matches can be unsatisfying for both parties. "Why do I have to be with this guy". It is much more efficient to let the students browse profiles and choose themselves. They will feel empowered
Once I found Edonkey2000 and then BitTorrent way back in the day (2003) I started watching less Cable and TV in general.

Though it took a ton of time to download content back then....content I would organize and really never watch a lot of. That got old after awhile and then YouTube and the other streaming sites came online. THe best one was Justin.TV.... marathons of your favorite shows running 24/7.. whenever you wanted to watch. There are some sites still online now, but nothing with same catalog Justin.TV allowed on their site via the DMCA.

Either way and as to many here Cable TV is the dodo bird and going that way in the next five or so years for all demographics!
If you have a look at https://en.wikipedia.org/wiki/List_of_countries_by_median_ag..., you will see that the total world age median is 29.7.
I agree re: checksumming.

Regarding Android's flexibility, I've written an obfuscator (on another Java-based platform) that took a DSL and generated half the code in Java and half in C, intertwining the computation between the two processors via IPC.
There might not be a need to equal the energy density of jet fuel in a battery. If the efficiency of the engine and propulsion improve significantly compared to fuel jets, an electrical system might not need that much energy after all.

See the hybrid car: the efficiency of a regular engine (VW Diesel not taken into account ;-) is relatively low. If an electrical engine can be twice as efficient, you only need half the energy...
Yes, this piece is used as an example of one future path for advertising online.
Check this thread, which has a video of a guy actually using a camera to measure the focal distance, and finds it around 1m:

https://www.reddit.com/r/oculus/comments/2wpccf/measuring_th...