skysight-inc/HackerNews huggingface dataset:
I think Nim is really really closed to it. If it could add more dynamic features, meta programming.

And if there was a Hexagon Graph on programming languages, it should draw an Hexagon at the 80% region, it isn't the best for everything, but you could use it in any scenario without heavy compromise.
Last paragraph:

>In which case, perhaps the advice that I give to students — proof by contradiction is a very useful tool, but try not to use it unless you really need it — is, though not completely precise, about the best one can do.
I found the original project page. Looks like they did two of these! One version (an all black one) uses twin turbines of a smaller variety. Amazing!

http://www.pulsojet.ch/modelle.php
AdBlock Plus is published under a GPLv3 license, so it is open source even if it doesn't have your preferred default settings. AdBlock Edge is a fork of AdBlock Plus that just disables the acceptable ads preference.

Personally, I don't use AdBlock Plus, but I think it is silly to criticize it for allowing some ads. Even in the first version it had a preference for allowing Google text ads -- the developers have always presented it as a tool for blocking annoying ads, not as a means for blocking all ads. That said, it is very easy to subscribe to another filter list in AdBlock Plus that blocks all ads.
Convenience is the key do you really want to go to the grocery store and pay $1.69 the minibar at $3.00 or split the difference and try the vending machine for $2.25?

A similar concept is in Vancouver, BC Canada where vending machines in condo lobbies http://www.cbc.ca/news/canada/british-columbia/groceries-fro...
It may be that I just have never had to down-shift in traffic where I couldn't drop all the way to first and come back up. But usually I'm shifting up because I'm going too slow, or dropping a gear because of the jackass in front not going the speed limit.
Check out the project page. They made a twin too!

http://www.pulsojet.ch/modelle.php
Take two cases. One where x has no factors of two, and one here it has at least 2. In the first case, x is not divisible by 2, while 2 is divisible by 2, therefore x is not 2. In the second case, x is divisible by 4, while 2 is not, therefore x is not 2.

You're right that they are "essentially" the same proof, but excluding contradictions is weird, a bit like excluding the letter e. Rephrasing a proof to not use it may be possible in some cases.
Local Data Sharing for Apple Watch and App Extensions
It's a moral responsibility to cooperate with law enforcement when they are trying to track criminals like pedophiles, terrorists or similarly malicious persons. I don't think there should be any argument there, Tor operator or not.

However, we have every right to anonymity and to encrypt our communications and data such that only those we want to see it can. So what to do?

Perhaps Tor operators can perform some act of vigilantism and expose criminals like the above without incriminating themselves through booting out and releasing the data of the pedophiles, terrorists and what have you.

Being a revolutionary and a lover of freedom is not a crime, and the criminals who give us a bad name are making it one.
Five Takeaways on the State of Natural Language Processing
What's the problem finding executive names and ages? Get the SEC index for a CIK, pull the latest DEF 14A form[1], and start parsing the tables. Build a 2D data structure for each table. Look for tables that have column headings including "Name" and "Age". Then back up from the start of the table to the previous heading that's not associated with a previous table, and look for keywords in the heading such as "Director(s)" or "Executives".

It's tougher when the filer tries to be cool and doesn't use tables for tabular data.[2] Then you have to figure out which <div> items are line breaks and which aren't. Fortunately, the SEC doesn't let you put Javascript or off-site CSS in a filing; it all has to be in one document.

Yes, dumb scraping techniques like looking for CSS class names won't help, but it's not really that hard.

[1] http://www.sec.gov/Archives/edgar/data/1288776/0001308179140...
[2] http://www.sec.gov/Archives/edgar/data/1326801/0001326801140...
Having grown up used to over priced mini-bars I was surprised when in Japan the majority of hotels I've stayed at have vending machines either on the same floor or usually on the first floor or basement where the price is exactly the same as anywhere else, zero markup whatsoever.
I've been hacking on several side projects with GPG and OpenPGP for the past few months[1][2][3], and I've come away from it fully convinced that the lack of interest in PGP is because people don't want to unofficially extend the format. The the fundamental format and specification are really extensible and could be used as the base for most crypto apps, including Keybase/OTR/TextSecure apps. However, for some reason, people are scared to unofficially extend the OpenPGP format specification to add the features they need. Maybe it's that they don't want to extend the format, maybe it's that there's no good tools to actually do that (there really aren't).

For example, there is a "User Attribute" packet you can add to a PGP public key that can contain arbitrary data. The only official format for this packet is a jpeg image, but you can specify up to 99 more types of "attributes" on your own, and parsers that don't understand them will just ignore them. So Keybase could have extended this packet for its online identity validations, but instead it created it's own centralized PKI, signature format, and command line tool. One of my next side projects is going to be trying to add my Keybase signatures for my github to my PGP public key.

Also, there's no reason why the format can't be extended to allow for Forward Secrecy. You could very easily use OpenPGP as the base format for OTR and Axolotl. One of my next side projects is going to be implementing the same OTR and Axolotl flow using OpenPGP as the base format. That way, you could use the public keyservers to start end-to-end encrypted chat sessions (AND utilize the web of trust in the process).

I love Keybase and TextSecure just as much as the next person, but it really sucks that we're having to rely on so few people to maintain the infrastructure, protocols, and formats for the next generation of crypto apps.

[1]: https://github.com/diafygi/publickeyjs

[2]: https://github.com/diafygi/openpgp-python

[3]: https://github.com/diafygi/keyserver-elasticsearch
Fine. Rails and JavaScript then.
There are actually a number of ways to monetize filmmaking without selling the copies themselves (at least not directly to consumers). There's a reason why film success is measured in "box office" earnings, for example. And then you have things like merchandising deals, licensing of content/trademarks to other content creators, etc.
Show HN: Oblique Strategies for Atom
I've had the most success with describing concurrency and parallelism as follows:

The term "Parallelism" these days is synonymous with "CPU Parallelism." Parallelism has existed for a long time. For example, network cards have been able to do I/O parallelism for seemingly forever. Could you imagine if a computer could only have a single network request running at a time? Therefore, what parallelism (read: CPU Parallelism) means is CPU execution happening at literally the same time. Emphasis on literally.

Concurrency is how we make sense of and communicate the above mess. In the days of single cores, we mostly cared about concurrency as a way to communicate I/O parallelism in a manageable way. Now we use concurrency to express both forms of parallelism in our programs. Good implementations of concurrency (Erlang) make all of this transparent to the user. Bad implementations of concurrency (Node.js) have the user doing all of the work (callbacks).
"This boot-loader, unfortunately, did not support loading any kernel images larger than 4 megabytes. This turned into a problem very quickly as it turns out that rustc is far less adept than gcc at creating succinct output. In fact, I was hitting this problem so early I was barely able to make a “Hello World” before having to stop working on rust code."

This really caught me. I have not played around with rust that much but having the executable be over 4MB, with such a small program such as just a Hello World is kind of nuts. I know that they still have lot of compiler optimization, but I just thought that was a very interesting portion of the read.
He didn't think he had anything to lose the first time, either.
You are correct, that the participants are people, with birthdays, and capable of speaking, is an assumption. You appear to be taking issue with that assumption. I suppose that is your prerogative, but it probably leaves you in the vanishing minority.
The level of inbreeding on that island is quite scary. Although if they purged a lot of the deleterious alleles from the population, if they outbred with others, they could produce much healthier offspring and a lower likelihood of various genetic ailments.
> "The government" isn't a monolith;

And somehow individual is expected to be.
> Available for free

Windows wasn't ever free (until very recently, and even that isn't exactly the whole story). A big reason for the sheer quantity of bloatware on Windows PCs even nowadays is because that bloatware subsidizes the cost of Windows.

I know (and agree with) what you're getting at (that inexpensive commodity products dominate more easily than expensive niche products in a given industry), but comparing Windows and Android isn't exactly a perfect analogy.
I don't need such a general statement. I only need the assumption that 2 can only be prime factorized with an odd number of 2s, which is trivial.
> if you come to me and say 'our art pipeline sucks, it's too inefficient' and then walk away, I literally have nothing at all to work on.

The 'art pipeline' might be something you could work on...
http://en.wikipedia.org/wiki/KeyKOS was an OS along those lines (but on conventional hardware, treating RAM as cache). It was very different also in being built around capabilities -- a related decision.
I love that it is written in C and not Go, or Rust, Java
Now you can get an HBO Now subscription, there's a 30 day trial to watch game of thrones. You can join and watch it now, or wait for the entire series is out, then sign up for the trial and watch it all for free, legally.
I did not know about EB.

donated to one of the organizations listed at the end of Mihai's post
http://mihai.sucan.ro/mihai/blog/thanks
> I came into contact with a version of this philosophy even earlier, in The Mote in God's Eye by Larry Niven and Jerry Pournelle. In the story, there are aliens called Engineers who only build special-purpose things. To them, there's no such thing as a generic chair. They would instead build a Sam-chair to my exact proportions. If those proportions changed because of a series of brownie-related incidents, they'd rebuild the chair. Every item in their world is custom-made for its particular purpose. Both Moore and Niven's specialisation philosophies came from resource-constrained environments: the Engineers because of the limited physical resources on their home planet

To expand on this, and why Moore's views are a niche and will remain that way for a long time: in _Mote_, the aliens in question have been trapped on the same planet for millions of years, typically overpopulated, and have evolved to an extremely high degree to cope with living at (and sometimes beyond) the Malthusian limits. The Engineers are an example of these adaptations at work - because there are so many Moties, Motie time and labor is dirt-cheap (specifically, they are at the Malthusian limit where their wages equal how much it costs to live the most minimal life) while resources remain at their usual finite amounts; and so, it pays to have Engineers finetune and customize each product, for the same reason evolution leads to ultra-optimized (but often unclean and inelegant) solutions.

In contrast, as ugly incidents like the wagefixing scandal at Google/Apple/etc show, we face the opposite situation. Real resources are extremely abundant, and computations have never been cheaper, while programmer time remains expensive. So it makes little sense to take a Moore/Engineer approach, and instead generally the tradeoff of performance for more generality is made.

This will remain true for as long as the cost of programmers remains the main part of running software compared to the resources like CPU or RAM or joules consumed to run the software. (The software could be run at Internet-scale, in which case the possible efficiencies from specialization are worth the programmer time; or programmers themselves could become much more abundant, such as in a Robin Hanson upload/emulation SF-like scenario.)
They come at the same issue from opposite directions.

Scientists make statistical adjustments to the raw data in an attempt to eliminate or mitigate sources of bias, including siting effects like Watts is concerned with.

Watt sought to show that siting bias effects were too significant to mitigate, or were not properly mitigated, thereby calling into question the reliability of the surface temp data sets that show warming. Instead, the data he collected showed that actually, even poorly sited stations show a very similar warming trend.

Since attacking the validity of the station data itself did not provide fodder for the political campaign, this project seeks to generate vague doubts about the statistical adjustments.

The agenda is plainly clear when you consider that they bothered to embed a graph from NOAA, but somehow failed to link to the NOAA writeups that discuss--and in some cases provide source code for--the very adjustments they are wondering about.

Version 1 (source of the graph): http://www.ncdc.noaa.gov/oa/climate/research/ushcn/ushcn.htm...

Version 2: http://www.ncdc.noaa.gov/oa/climate/research/ushcn/
Interesting statement about geometrical objects. Note that the unit hypercube (surface) aligned with the axis will not converge to a normal (regardless of orientation?), it stays uniform instead.

In fact the simplex seems to be the worst case for convex objects, in terms of concentration of distribution near the center. And the best case should be the sphere. Which plays out nicely since the simplex seems to be the most "concavey" convex shape of a given 'diameter' is the sphere is the most "convexey" convex shape of a given 'diameter', no?
Top 5 Books for New Software Managers
As only a very casual amateur at KSP, what's the use case for multiple joysticks?
A practical application of duck typing. Both are a bunch of dry people surrounded by water. @anchor is a constant for one and a variable for the other.
I love studying failure, or at least when systems break. Please do a follow up that addresses Itanium and the P4.

The failures you describe in the post were technical manifestations of an operational failure in bringing an engineering project to completion. The scope was too large, with too many unknowns. Had they scheduled their project relative to Moore's Law, they could have kept the team smaller until they had the transistor budget to ship the chip they designed. You should read about how the Aztek was made [1]

[1] http://www.roadandtrack.com/car-culture/a6357/bob-lutz-tells...
The paper is about subroutines (function calls) being a lot less complex because all a subroutine can do is finish and then go back to its caller. There are no semantics in subroutines for jumping around willy-nilly.
Can you say how the reading changes in light of the videos? I skipped the vids because I'm hard of hearing, but maybe it'd be worth the trouble to look again with auto-transcription.
interesting look, example documentation a bit spotty (pages missing eg: http://foam-framework.github.io/foam/foam/demos/ & others), rest of the docs ok.

What do I see? It's language centric, that's good and bad. The good bit is you can with a very small JS lib write code to generate a dynamic page. The bad bit: as the language grows and rusts, you have to chase down the removed features. Much easier to grasp in concept and execution than Angular.

Loved this bit in the calc demo source, testing: https://github.com/foam-framework/foam/blob/master/apps/acal...

Q. Is foam an attempt to create a framework for Mobile Apps?
Google is a bigger F**K than NSA
Here is the image that shows the bills I have to pay or which is due.

Who gave the Google the rights to read into my contents in the mailbox??? and when I search something in Google it shows the bills I have to pay or that is due..

http://imgur.com/yoxjX5F
Nick Bostrom: What happens when our computers get smarter than we are?
its time for them to change. triple win is hard, but worth trying - http://soon.thanks.ly
This website allows us to watch videos together in real time like this one
And even that is less of a problem if you take into account that they still accept:

¬¬¬¬ϕ ⇒ ¬¬ϕ
Wow I had no idea. What a guy. May he rest in peace.
And the hand-over-fist profits from box office earnings, merchandising deals, content/trademark licensing, etc. have been insufficient since... when, exactly?

Those are the places that the Internet Age hasn't really usurped yet. The old "record a theater showing with a camera" trick is nowhere near desirable quality for most people, and piracy does nothing for those hoping to use a particular trademark in order to make money on some product based on Elsa the Snow Queen or Luke Skywalker or Winnie the Pooh or whatever other character one wants to plaster on a backpack or notebook or turn into an action figure. Those are the realms where the future of capitalist film production lies (TV is a slightly different story; merchandising is still an effective monetization strategy, but box office earnings are nonexistent unless you make movie spinoffs (se also: My Little Pony), yet are replaceable with ad revenues in both online streaming and conventional broadcasting, both of which are incredibly popular).
I would phrase it as:

Concurrency is a possible feature of an abstract machine, exposed as a programming-language-design paradigm. A language can target a platform that "has concurrency", and this heavily shapes the language. You can end up "coding Go/Erlang in C"—writing concurrent code in your head for a concurrent abstract machine, then translating it to your target language.

Parallelism, meanwhile, is a VM/runtime/platform implementation detail.
They would have to transmit accelerometer data (at a reasonably high sampling rate) in real time. Still, different cellphone's earthquake signals would arrive at different times. Also: depending on how my building/table resonates with the quake, the phone sitting on it may make a distorted measurment. So given those issues, I'm not sure it's as easy as you make it seem (though it is a pretty awesome idea).
>scribd

No thanks.
We do use spread spectrum technologies a lot. I don't know about cell phones though.
I've updated the diff/tgz to include the new privsep functionality, systrace(4) based syscall whitelisting was conditionalized on OpenBSD.
Yes, its an ongoing issue that people are increasingly unable to read simple if statements. The world has been plagued with academics attempting to analyze the simplest of statements without success. This is what led us to form the "Leave No Academic Behind" (LNAB) group. To inform academics in the err of their ways and show them the path to success.

There have been increase in tin-foil theories about these scripts even when the source is available and very easy to read through. It honestly blows my mind.
This wouldn't be the first time. It probably won't be the last.

All that's required in this case is a shift away from traditional per-copy earnings toward more modern earnings via content/trademark licensing and streaming/broadcast rights, supplemented with box office earnings (for movies) and ad revenues on free streaming/broadcast services (for television shows).
Your $12.50 per month is not paying for all of the content you consume.
They should scale each state by its population, or you overemphasize the (ostensible) opinions of the people in very small states.
The actual kernel binary was smaller but the loader s limit was based on the amount of memory the kernel laid out in memory takes, including anonymous sections.

Also turning on optimizations in rust and the linker helped a lot but were not enough in the end.
First 3 lines are same as yours.

Consider k. Either it is 0, or greater. Consider 0. In that case, X is not divisible by 2, hence cannot be 2.

Now consider k positive. (My original proof didn't show k wa positive, so I needed to deal seperately.)

Use your proof to show that 2^(2k) > 2, and then 2!=X. As far as I can tell you never actually used the assumption that 2=x, so that can be deleted from the proof and it remains valid.
I found myself using cabbage[0] so I could have exact version dependencies. Nix was awesome when mostly using latest versions of a package, but for much of my code I needed specific versions and cabbage allowed me to have them.

0: https://github.com/acowley/cabbage
Any time you use the web, be sure, thousands of people have your IP instantly.
Unsurprisingly, I've had the opposite experience with Amazon Instant Video on my Fire TV, while the mobile experience is a bit mediocre (though not terrible). I guess it varies greatly depending on the device.
Affordable, Light-Speed Supercomputer One Step Closer
The literature on sexual reassignment surgery taken as a whole, doesn't support McHugh's claims.

First, the Karolinska Institute study [0] doesn't show the effectiveness or ineffectiveness of sexual reassignment surgery. From the discussion section:

>It is therefore important to note that the current study is only informative with respect to transsexuals persons health after sex reassignment; no inferences can be drawn as to the effectiveness of sex reassignment as a treatment for transsexualism. In other words, the results should not be interpreted such as sex reassignment per se increases morbidity and mortality. Things might have been even worse without sex reassignment.

Additionally, the line about "The study revealed that beginning about 10 years after having the surgery, the transgendered began to experience increasing mental difficulties" is speculation. The study didn't break down participants' mental health year by year--just their mortality risk.

Next, the Johns Hopkins study. As far as I can tell, the Johns Hopkins study, while a randomized control trial, surveyed just 50 people [2]. It's not clear that you would get the same results after 30 years of social and medical progress, either. A metastudy further suggests that the Johns Hopkins study is an outlier [3].

Third, the studies of children. I wasn't able to find links to these studies, but going off of his own description gives us enough reason to reject them. The subjects of the study were children, which tells us little about sexual reassignment surgery or hormones, which are treatments only adults and teens get. (And the latter group, somewhat rarely.)

His discussion of subgroups of transgender people is too ridiculous to even answer. Suffice it to say, Chelsea Manning wrote to a gender therapist months before contacting WikiLeaks [1] so the idea that her transition is a way to avoid men's prison doesn't meet even basic scrutiny.

Finally, established medical organizations agree that sexual reassignment surgery is effective, including the American Psychiatric Association [4] and the American Medical Association [5].

McHugh's article does not represent his chosen studies well, let alone the larger body or literature or the scientific community.

[0]: http://journals.plos.org/plosone/article?id=10.1371/journal....

[1]: http://nymag.com/news/features/bradley-manning-2011-7/index4...

[2]: http://archpsyc.jamanetwork.com/article.aspx?articleid=49217...

[3]: http://onlinelibrary.wiley.com/doi/10.1111/j.1365-2265.2009....

[4]: http://www.psychiatry.org/file%20library/advocacy%20and%20ne...

[5]: http://www.imatyfa.org/wp-content/uploads/2013/06/ama_resolu...