skysight-inc/HackerNews huggingface dataset:
You could implement monad as a class that List, Either, Writer and all the rest extended. There are practical issues: you need higher-kinded types to be able to write the monad interface, which not many OO languages have (Scala is the only one I can think of), and writing the functions as instance methods would require "F-bounded polymorphism" which is tricky ( http://logji.blogspot.co.uk/2012/11/f-bounded-type-polymorph... - that link even has an example of how you'd write Monadic as an interface you extend rather than a typeclass (don't be intimidated by the type lambda, it's a scala wart), although it doesn't compile in scala as implemented today), and you also need a way to associate the "zero" with the type in general rather than a particular instance of it (i.e. you need a static virtual method - I think maybe C# supports them?) but in principle there's no reason you couldn't do it.

(There are arguments that type classes are a more expressive way to solve these kind of N*M problems than inheritance - see https://en.wikipedia.org/wiki/Expression_problem - but that's orthogonal really)
So is there a built-in exhaust fan?
Could you explain how? Whenever I open another project it seems to become it'd own window. I must be missing something.
Microsoft Partners with Adafruit for IoT Starter Kits – Make:
Eclipse has always been a needed and valuable IDE for Java development. If I wanted to spin up a Java app with Maven, I could do okay with Eclipse. Refactoring tools work fine, debugging is great.

Support for languages OTHER than Java, however, vary wildly in terms of value.

One language support that seems to have crossed over into complete obsolescence is JavaScript. I hate to break it to you Eclipse Foundation, but developing JavaScript on a WebIDE is completely out of the question for many of us, so your fancy Orion system is a non-starter. It's mean of me to say, but I'm rooting for Orion to fail so you can move those developers back to enhancing the desktop IDE's JavaScript support.

Eclipse JSDT is my only option, and it seems broken and unmaintained. Around the 2008 timeframe, I was really impressed with JSDT's ability to build out a type library as it parsed my prototypes, it really understood the type system when I added JSDocs. It all works ok for rink-a-dink projects that are targeting the browser and coexisting with HTML. But, for any modern development like server-side Node.JS or CommonJS browserify/webpack projects in the browser, ES6 or anything modern, Eclipse JSDT is really up a creek without a paddle. I can't use you, and that makes me so sad to say because I WAS a staunch Eclipse user who turned his nose up at JetBrains!

To make matters worse, Eclipse has gotten slower and buggy since the last major upgrade (Luna?) and WebStorm is cheap and great and amazing at parsing JSDoc's to the point it practically turns JavaScript into a statically typed language, and it groks CommonJS and my node_modules folder (with the help of a little plugin I downloaded.) I admit I haven't tried running Eclipse in a year, so perhaps the bugginess has been addressed.
Yes, there's a difference between "pull" and "initiate", but it is academic to my point/hyperbole. Also, yes, UPnP Port Forwarding has made less of a mess in the case of most modern "home" NATs, and this does show up nicely in gaming platforms. UPnP Port Forwarding is a nice kludge. Have you seen how much code and effort is involved in kludges like UPnP Port Forwarding? The game platforms are getting better at it over time mostly because the good platforms can spend a lot of money building the necessary complex software.

But we're already leaving behind the case where a single NAT near the edge of the network graph (the "home") is sufficient and are starting to see larger deployments of "carrier-grade NAT". So far as I know there is no equivalent kludge to UPnP Port Forwarding that works reliably on that scale, and building such a kludge seems like a major question of what sort of internet topology we really want. For hyperbole's sake, "carrier-grade NAT" and other similar cases of NATs speaking to NATs that what we're talking about is ultimately a balkanization of the internet, breaking the internet back into sub-networks of various addressability.

Even with economic incentives, we'd still be running out of IPv4 addresses for all of the "physical places" in the world that have 65000 devices. More critically, with IPv4 we've already hit scaling problems with the size of routing tables for the physical places that connect to the internet, we can't easily do "per-IP routing" and there aren't economic incentives that will quickly change that.

Ultimately, I'm wondering if this is the confusion you are having: IP (v4 or v6) is about the physical routing to the places of the internet. IPv6 doesn't have answers to device connectivity or movement because that's not its job. Logical Device to Physical IP Address mapping is the job of internet layers like DNS and mDNS/Bonjour. NAT is a series of hacks designed to deal with the fact that IPv4 doesn't do as great of a job at physical routing as we would like, now that we have millions of devices connecting to it every day. IPv6 is an actual attempt to fix how the internet does physical routing. It does solve the real problem we are actually having: physical routing on the internet. It solves it much better than NATs wish they could solve it, regardless of the "device vendors and academics" that "ran the show".
This is where the people making the blocklists get stuck. Marcus Aurelius, ad block developer, decides that the deck ads aren't that annoying, don't break the page they're on, are low bandwidth, don't track you, etc. And so MA leaves them out of the list. But everyday he gets 100 bug reports "I still see ads!!!" from users who never want to see a single advertisement on any site ever. What's MA going to do? Probably give up.
When he brings up requests in comparison to urllib he seems to not know about aiohttp https://github.com/KeepSafe/aiohttp
Mr.Gas releases methode to write to the Vita filesystem and PSTV whitelist patch
I can not understand Secret Media's twisted rationalisation of simultaneously wanting to avoid bombarding users with ads, and developing techniques to bypass ad blockers.

Any site that starts displaying auto-play ads with sound will not get any repeat visits from me. Surely they realise that this escalation is a bad idea?
X feature that exists in the period after dbms release and before SA support -- categorical ORM problem.

Also, I'm fully aware of using raw queries in SA/most ORMs -- my point is that if you have to drop down to raw queries, you're paying (mindshare/complexity/concentration/project size/whatever) for an incomplete abstraction you just had to side-step.

Just to make sure there's no hostilities -- I'm not saying "don't use ORMs", because that would be dumb, as they offer tremendous value (and no downsides except for maybe complexity, as you can easily write custom queries) -- I just want to point out that the argument against them still stands, so don't drink too much of the koolaid.
Please see above. It's because the JDT project page doesn't roll up the stats from its sub-projects, where all the real work happens. We're looking into fixing that.
Should've used commissioned (and active duty) officer rather than enlisted, English isn't my native language.
>higher paper specs than a PS4
That's not very difficult. My midrange graphics card beat it one year before the PS4 was even released.
Yeah, shame - as the leading ad blocker, he could've instead set a de facto standard for respectful ads. Maybe the Deck itself should make this.

Make it opt-in, and it's like the micropayments future we were promised.
If I'm not mistaken, ESC sets the focus back to the editor. But yes, I agree, pretty annoying.
Wouldn't that be too slow? By the time you see the temp spike on the cam you may have already started the fire
A bit off-topic, but you gave me an idea: What if Google did guarantee to host stuff forever when startups go out of business? It would eliminate customers' reservations in cases like this, and hence eliminate business reservations about going all-in on cloud services. The increased business could potentially more than cover Google's cost.

The trick would be the care and feeding of the software. But as the industry moves to more immutable infrastructure -- especially stuff like AWS lambda and JAWS -- this will become less of an issue.
iOS9 Lock Screen Bypass
Epic’s incredible first attempt at real VR gaming
Well, if you're blocking a site's ad, the site probably doesn't want you as a repeat visitor.
Yes. Actually both intake and exhaust fans. Both of those are under software control, so they only run at the speed required for the job. Then the $500 air filter option has its own internal fans to assist with air, also under software control.

If you use the filter, there's nothing else hanging off the back of the device except a power cord. (My old laser had a squirrel cage fan, an aquarium pump, and a chiller tethered to it at all times!)
Well they're not mutually exclusive but I can kind of see where you're coming from.

I think you're setting yourself up to miss out on a lot if you're only interested in dating someone who makes X dollars a year though.
What is TF-IDF?
Right, but this is another sexist positive feedback loop with a negative result.

My mother just expected me to help with laundry when I was a kid. I also helped with cooking and other chores. Now people are amazed when I hem my own pants or cook lunch.
The security implications of new compiler optimizations potentially eliminating security-essential code really interest me. As do the plain old reliability implications of hitting new compiler bugs.

It's going to be really really really Fun with a capital PH when Apple enables some new optimization that contains a subtle bug, and recompiles everybody's apps, and us third parties are left holding the bag trying to figure out why our apps are crashing with no visibility whatsoever into the process.
In a sentence ... price discrimination over the world wide web defeats the purpose of the world wide web ...
NASA’s Highest-Res Photos yet Show Pluto’s Bizarre Geology
Please correct the title. It is $39 after the kickstarter. Plus $15 for HDMI output if you want to compare it to the Raspberry Pi.

https://olimex.wordpress.com/2015/06/05/how-to-get-in-the-ne...
I do not see value in this discussion. Once your smart phone is powered on, it is not encrypted. All files can be pulled or pushed over the air by the carrier. Not all carriers will ask for a warrant. Click down if you want, but I was told to not ask for a warrant.
Someone made a VR theater for the oculus rift (it's on Steam) which allows you to stream a movie or video to watch with other friends. That's pretty awesome.
Super excited by this. Does anyone know if they've dealt with nausea during use? This is the only thing I really wonder after trying the original.

I'm also selling Orift.co for anyone interested in the VR space! (https://flippa.com/5569435-invest-in-the-future-of-virtual-r...)
The default static analysis setup misses so many common things (unused imports, methods, variables) that whenever I open a class in IntelliJ I have to spend 5 minutes removing the cruft.

That does not jibe with my experience with Eclipse at all. I see the stock configuration being quite comprehensive in showing those kinds of warnings, including all three of the items you just mentioned.
This is an advertorial! Fascinating.

> WSJ. Custom Studios is a unit of The Wall Street Journal Advertising Department. The Wall Street Journal news organization was not involved in the creation of this content.

Very confused as to why this is getting voted up the front page of HN though.
I sort of agree that Eclipse started out that way (mostly paid for by IBM), but I am happy to report that the community has evolved a great deal since those days. If you take a look at the Platform UI project, for example, you will see a very diverse project, with a lot of unaffiliated committers.

https://projects.eclipse.org/projects/eclipse.platform.ui/wh...
Not sure if it bothers you ... but no jvm needed
Compared to the multi-day outages common to cash-strapped startups back in the day, I don't think Facebook is going to suffer unless this happens really frequently.
I had a professor who liked to say things like "RAM is free" when talking about how the cost of computers has come down over the course of his life. I always rolled my eyes and thought yeah, it's basically free when you're an accomplished academic who brings in untold amounts of grant money and makes even more from consulting than you do from your university salary. But to a broke college student, anything that costs more than a few hours of minimum wage =/= free.

I really like this concept of cheap, all-in-one computers. We've had Arduinos and Raspberry Pis, but stuff like this really opens a lot of doors. $40 is a great price for a computer, but I would never consider using it for a project where its destruction is a legitimate risk (anything exposed to the elements, or liquid, or drones, for example), but with a $9 computer I would.
“Snowden Treaty” for End to Mass Surveillance, Protections for Whistleblowers
NZ Flag Referendum – Pseudorandom Numbers in Legislation
www.OnlineMedia.tips went up for sale
Sketch App Tutorial Series – Part 1 of 4
> Eyeo declined to disclose which companies are on its “whitelist”—those that escape ad-blocking.

Yeah, right..
https://easylist-downloads.adblockplus.org/exceptionrules.tx...
Legalizing drugs would reduce gang violence to almost zero, but whether or not drugs are bad is orthogonal to the argument. I lost a good friend to alcohol and have relatives struggling with heroin. Just for the record I cannot believe the huge comeback heroin is making, I just don't understand. Some kind of affluenza and believing the stupid media telling them that the world is shit. I am in favor of virtually anything that reduces suffering in the aggregate.
Information regarding a lot of the configuration options for this purpose is scattered across the web. To get some idea for what settings are useful for privacy and security in Firefox, I have found https://github.com/pyllyukko/user.js an extremely useful starting point.
Great for everyone still using Adblock Plus. The rest of us switched to uBlock Origin and never looked back.
Run Android Apps in Chrome in OS X, Linux and Windows with Archon
> That prison will eventually be overrun and everybody freed

Or murdered. Given that the name 'Bassel' is likely Christian (Basil), it wouldn't surprise me to read that he's been slain.
Cem Kaner said that all the pedantry about whether or not something is a bug is irrelevant. He says a bug is anything a user perceives as wrong.

I used to worry about calling things not-really-bugs, but when I adopted his viewpoint it gave me a better perspective on what's important in software.
Oculus Michael Abrash on How to Make Virtual Reality Feel Real
~ More Info
https://www.nasa.gov/feature/perplexing-pluto-new-snakeskin-...
> Ask yourself this -- if apple iAds was wildly successful would they be taking the same action?

iAds was only ever an offensive against Google. "Success" to Apple is Google losing ad revenue, so you might say that the content blocking extensions will do the job iAds was meant to.
I got to try this out at XOXO and it worked remakrably well. Really enjoyable to use and i didn't get motion sick.
> men are more likely to be the victims of physical violence

I read a document [1] yesterday saying that's not entirely true, but if you only count aggravated assault (or something similar - i.e. actually getting seriously hurt, not just a slap or being lightly pushed), men "win".

[1] https://www.notehub.org/2015/1/8/not-all-is-great-in-the-wor...
It is production, but DJing has come to be used to describe both things, at least in California. The line is especially blurred because a lot of popular electronic producers perform live, which ranges from anything to mixing music in real time to playing pre-produced tracks, both of which resemble traditional DJing.
John Carmack is a good role model for any techies that move up to management. If you want to keep in touch with the base tech that your devs are using, you have to dive into a project like this where all your tech knowledge is brought to bear on a problem and you learn lots of new things.

None of this "well I guess I knew a bit of C++, let me find another engineer to work on this Netflix app and offer micromanaging style tips and tricks" which is what I've seen from a lot of managers who used to be technical.

He's also an amazing role model for regular programmers; figure out the requirements, take a crack at it with a prototype and then iterate. The iteration doesn't have to be an overtime week affair.
What is your domain?
That's not true support. I have IntelliJ AND pycharm. In pycharm I have all my python and Javascript projects open in the left. I never close a project. I open them all at once.

Java projects on the other hand have to be in separate windows and its annoying. I don't even program in python anymore but I keep renewing pycharm just for the Javascript project convenience that beats intelliJ
I think your analogy is being taken too far and is starting to unravel.
Someone needs to get in there and do better bug prioritization...
> Maybe companies that generate revenue using these tactics?

Well, yeah, that's what I meant. The thing saying "Who cares?" is Apple, because they have nothing to lose by doing so.

I don't disagree that Apple is a profit-driven company; I'm saying that the way they approach the web in particular is solely as a manufacturer of hardware that ships with software including a web browser, which puts them in a unique position to offer software that does what customers want even where doing so "hurts the web."

> Ask yourself this -- if apple iAds was wildly successful would they be taking the same action?

News.ipa effectively replaces web ads with iAds. And, of course, they won't let you block them. Like I said, it's just the web.
Cyber Risk Isn’t Always in the Computer
Dying? I doubt it. While it's not the tool of the "cool kids" anymore, it Just Works, and it has gotten better in some important ways with the last couple of releases. I have to admit, when they started the whole 4.x thing, I was not a fan, and I do still think a lot of work went into making Eclipse more "web based" in a way that didn't actually add much value. And as result, the UI got buggy and it got slower and less stable. But at least with the Mars release, Eclipse works amazingly well. The performance is reasonable, most all of the plugins I want to use installed cleanly and work with no problems, etc.

The only real fly in the ointment to me, is something that isn't any fault of Eclipse itself. The Groovy/Grails IDE has not(last time I looked anyway) shipped a Mars compatible version, meaning I'm stuck using an older version of Eclipse for doing Groovy/Grails work. But that's mostly, as far as I can tell, a side effect of Pivotal dropping their support for Groovy and Grails.
We invited prawn to repost it because it seemed like a high-quality story that missed getting attention the first time (https://news.ycombinator.com/item?id=10268924). Did we get that wrong? Certainly we sometimes do, as it's not physically possible to read all the articles.

We don't care what department created it, only whether it's good content by HN standards, i.e. does it gratify intellectual curiosity.
If you take a look at games like Deus Ex the Fall which was also ported to PC (with mobile assets even though they could have just taken the high res assets from Human Revolution) you'll see that it's not even close.

You may not notice it on a tiny screen but on a monitor or a HMD it's absolutely terrible. It looks like a game from 8 years ago.
Which is why you bake the subtitles into the video! Subtitles for everyone, blurry subtitles for everyone!
Those aren't video ads. The specific example the GP is referencing says specifically they develop video ads that aren't detectable.

to help them deliver video ads in a way that
cannot be detected by ad-blocking tools.

Literally one of the worst types.
It shouldn't need to hurt your framerate too much, considering that the font rendering only needs to happen once every few seconds. A new subtitle can be rendered, kept in memory as a texture, and then just blended by the GPU as pixels. The titles are also known ahead of time, so it's possible to set up a pipeline with no sudden increases in processing load.
Virtual Reality and Art
Yes, of course, but anyway Copenhagen is not really quite as dense as the small area of the city proper would lead you to believe.

(Looking at Wikipedia, the San Jose metro area actually seems to be very concentrated in the city proper, with almost 1.9 million in the city proper and only 56 000 outside it. )
NYT has tons of ads, even for paying subscribers.
How strong are the religious and traditional reasons for doing the Hajj once a year only, rather than whenever people want like typical pilgrimages?
Even a conservative weekly schedule would decrease crowding by one order of magnitude, certainly enough to save many lives.
Is it? I'm neither democrat nor republican but that seems like a non-nuanced way to look at things. I doubt the majority of democrats hold such a simplistic view.

Regardless the GOP is not a "cabal of men in America forcing women to behave in certain ways". Even if they believed that (I don't think all republicans do) they in no way have the authority to "force" women to do anything. Abortion is legal in the US.

Also GOP != patriarchy.
New Soca Music
I know you're probably being sarcastic, but that's probably only true if you're a female in an abusive relationship, or particularly if you're a male with suicidal tendencies.

http://www.cdc.gov/nchs/fastats/leading-causes-of-death.htm
I think the real question is "would there be a net drop in suffering as a result of legalization?" and I personally suspect that the answer is "yes".

Forgive me for accusing you pre-emptively of moving the goalposts. It happens a lot and I get tired of it. That's usually what happens once it becomes clear that legalization would end gang violence, another objection to stopping legalization for another, never before mentioned reason.
5.5M Iranian Players on Clash of Clans
> but I go through life with people telling me I'm an awesome dad because I change diapers and my wife goes through life with nursery school teachers wondering why she didn't dress our daughter up as a pirate when they gave us notice it was pirate day two whole days in advance.

Society gives you praise for basic child rearing tasks because then you will feel good about not being involved with your kids and will focus on work first. Try and actually be a more involved dad and you will face a lot of backlash.

I was constantly discriminated against because I worked a 9-day fortnight and spent the other day with my kids.
I'd like to quote a german comedian here:

"Never look into the laser with your remaining eye"
- Snap Judgement

- Ted radio hour

- NPR's Hidden Brain

- Planet Money
I was under the impression that their biggest source of funding was VCs, and that ads + gold aren't enough to keep them around.
"Once birth date is set, you can click it to change it."

... I then clicked the age of death and couldn't change it :(
Tangentially related: of the people and projects that are using Python 3, why? I've found that aside from syntax and a few features here and there, Python 2 and 3 are more or less the same technology-wise, especially since 2.7 has a lot of features backported from 3. Thus to me it seems better to stick with 2 because there's so many existing libraries and CPython is the only implementation with complete Python 3 support.

If Python 3 had good concurrency and optimization (something neither version has right now), I'd consider using it, but is there an already existing reason that I'm just not seeing?