skysight-inc/HackerNews huggingface dataset:
See also Socratic Electronics http://www.ibiblio.org/kuphaldt/socratic/
This is exactly why I posted it. I'm taking circuits this semester and just spent the past few hours on the site. The university lectures I've attended leave out a lot of the practical tidbits that help the learning process. Are there any other online resources (similar to this) you'd recommend?
So was every single religious figure..
Whoever wrote this article either very poorly understands network traffic or is being intentionally obtuse to create doubt. He states that there is no way that a public IP would show up in a packet capture over a Tor network. This is blatantly false and idiotic to think.

HTTP servers, caching proxies, TLS terminators and load balancers have a habit of putting extra HTTP headers in the HTTP response to make the path of a request more clear. It's very possible that under some error condition one of them included an X-FORWARDED-FOR header or something similar that included the IP. This is all application layer data and can contain IPs.

Even ignoring headers, they could have triggered an error page that just dumps all PHP server variables, one of which includes local IP addresses.

Edit: It's infuriating that this article author doesn't understand that a packet sniffer can see contents of the HTTP protocol.
Privacy is relative. In Weev's case, AT&T considered the information of its users to be sensible, private information, while, in SR's care, the IP address is a very sensible and private information, considering that tor was used to hide it.
I'm pulling inspiration from products like "TextsFromLastnight", "Damnyouautocorrect", and even Genious.com (formerly rapgenious.com). Imagine a complete repository of all funny reviews. People could even upvote/downvote, or submit a review with 1 click (if they have a browser extension.)
Effectively. Seems to use node-libspotify's ability to pipe the raw PCM stream to a file handle, after which it proceeds to convert to WAV->MP3(320kbps). Provides wrappers on top for playlist handling, etc.
Apple rolls out TestFlight beta testing app
This article starts off with a common mistake.

It is ok to create the 3 categories:

> If I suspect that A→B, and I collect data and establish beyond doubt that A&B correlates r=0.7, how much evidence do I have that A→B?

> you can divvy up the possibilities as: 1. A causes B 2. B causes A 3. both A and B are caused by a C

So far so good, but here is the problem:

> Even if we were guessing at random, you’d expect us to be right (at at least 33% of the time...

No. It is not valid to assume each possibility is equally likely. If you do so, you are bringing your own assumptions to the problem.

If you ever find yourself assuming a distribution, pause and consider testing your assumption.
I share that concern in general (and in particular with regard to software patent cases, which often cover highly technical material and where the jury has no context about the novelty of the patented inventions), but I think this case is pretty much a slam dunk however you approach it. Regardless of how they obtained the IP, they got to the box to find it running Silk Road code, they got to the box's owner to find him holding Silk Road bitcoins, etc.

This isn't a case that hinges on a technical nuance. It will be practically impossible for DPR to convince a jury that there is any reasonable doubt as to his guilt.
Christian had time to write a book, but did not have time to update the blog.

I would suggest that in the interests of the OKCupid business, updating the blog would have been a better thing to do than write a book. The blog drew many users to OK Cupid. It's possible that writing a book was in Christian's interest.

If Christian was no longer working at OK Cupid while he wrote the book, then I understand. In that case the error is on the part of the New York Times for describing him as currently in that role.
I was talking to a co-worker about another co-worker, commending his work, and she said "Oh, the African American guy?"

Oh man, I lost it. I laughed so hard and she just didn't get it.

We're not American... Neither was he...
In the same vein, Abu Nuwas did a lot more than clown around for Harun al-Rashid in the Arabian Nights

https://en.wikipedia.org/wiki/Abu_Nuwas
Thanks for the pointer. Tried it out - it's similar to Gingko but seems much less polished, and I couldn't find the keyboard shortcuts! I guess the advantage is that it's free. I really hope this kind of text manipulation will get developed further.
Bad winter weather can cause auto accidents, and we expect a positive correlation between bad winter storms and winter auto accidents. Okay, but in the northern hemisphere, living in more northern latitudes also correlates with winter auto accidents but does not cause them.

For heart disease, we know that the main causes have to do with aging. Well, then, since now the audience for TV news is comparatively old, we can expect that watching TV news has positive correlation with heart disease. Still watching TV news does not cause heart disease.

In the US NE, hurricanes are positively correlated with
pretty leaves on the trees, but the leaves do not cause
the hurricanes, and the hurricanes do not cause the
colors in the leaves. Instead, hurricanes are caused
by the surface waters of the Atlantic Ocean hot from
summer sun with cooler air on top, and that situation is caused by the fall weather with also causes the colored leaves. So, colored leaves have a spurious correlation with hurricanes but do not cause them.

Correlation is much more common and much easier to establish than causality. Usually the convincing evidence
of causality if some basic physical connection.
Well, they were also committing criminal activity in "plain view" so to speak.
Count me in the anecdata column against that. I have Comcast at home which disconnects 6 times per day for 5-30 minutes per session and they refuse to believe it is their fault (constant ranging response timeouts on two DOCSIS modems says otherwise) and CenturyLink at work is up 24/7 with only one restart of the modem needed in the last 12 months with consistent 30/30 bandwidth for $50/month.

CenturyLink doesn't serve my home with anything better than 6/1 service otherwise I'd use them. Thank god for regional monopolies.
I use a set of plain text files in a directory that is synced between all of my machines. This is flexible and basic enough that it can be adapted to any use case or productivity system as necessary. When I need a more specific workflow, I can develop something on top of it. Staying with plain text and having reliable file sync is just a foundation.

I access the files with a fluid interactive interface and full text search provided by Notational Velocity / nvALT (http://brettterpstra.com/projects/nvalt/), for when I'm in a graphical environment, or my own NV-inspired shell script(https://github.com/lfam/n) for when I'm in a console. My primitive script has Bash and Zsh completion and gets out of my way pretty well... could be improved a lot, though.

I use Syncthing (http://syncthing.net/) to sync this directory between my devices. Syncthing is a FOSS decentralized file sync program that works on Linux, OS X, Windows, FreeBSD, and Solaris. Plus there is a work in progress Android app. I recommend it highly if you are looking for a FOSS alternative to Dropbox or BitTorrent Sync. It works right now which is saying a lot compared to its competitors, and it is truly decentralized (no server / client architecture like Seafile).

If anyone here is an Android developer, they could use your help, especially with the filesystem.

I've been meaning to explore org-mode. Maybe next time I take a long plane ride.
So when you're the CEO of this group do you tell your board "I'd like to own everything that falls under consumer-facing e-commerce"? I am thinking in cases like this the vision is to plain make as much money as possible. Everything else is just a mechanism to achieve that. This is no different than running a hedge-fund group where you make money off of your portfolio.
This article is very strange, on page 2 they spend tons of time lamenting the 360 for having a terrible CPU, then run tests they themselves created which don't really support the level of disdain they're showing.

They then almost completely ignore the results of their own tests but tack on a point about "well floating point sucks, so that explains our criticisms." Except it doesn't. A much more likely candidate (which they themselves hint at) is using poorly performing storage or having software glitches.

So I cannot tell if the author didn't understand the results or just wanted to moan that the 360 had an old CPU and didn't really care what the data actually said (they also provide no source for the power consumption claims).

I won't be buying a 360 simply because it has terrible battery life and costs $250. But this article is a little off. The second page just isn't consistent with itself.
I await your similar frenzied expose of Richard the Lionheart with bated breath....
Jigsaw Puzzle Creator
If you read the whole article, he addresses this about halfway down.
Acting unilaterally when your decisions affect others deserves no praise. It's the kind of egocentric dick-waving we saw in the US in the 90s (again in the 2.0 bubble), and plenty of companies crashed and burned because of it. We need fewer glorious cult-leaders in business, not more.
Australian govt predicts an average household requirement of 15mbps by 2023
They've been my ISP for 2 years. No problems at all. I haven't had to use support, so I can't speak to that side of things. Connection has been solid though.
Inventor profile: “The Wilcraft” amphibious ice fishing vehicle
It would be nice if there were a drop-in, pass-through replacement for Taxa to use in production environments. It might even just be a configuration flag: t(true) or t(false), for example.

That way, while debugging, I could use Taxa's type-checking. Then by changing one line or setting the flag differently, I could disable it in production.
To add to your point, we cannot prove or disprove the existence of causation (Try to conceive a falsifiable experiment about causation and I would argue you would end up with a metaphysical crisis). The 'is-ought' issue David Hume showed, where just because something 'is' a way does not indicate how it 'ought' to be or will continue to be, has highlighted to us how difficult it is to think this problem for hundreds of years. Another way to look at it is to ask "Who or what is to guarantee the law of physics will remain the same tomorrow? What is to stop the speed of light changing to 1 mile per hour?"

This isn't to say the article posted is of no use. Having a 'graph-like' mental model of how things work is incredibly useful, as most education simplifies real-world problems into a few key issues. Although most non-computer science issues can be reduced successfully using the 80/20 rule in real life, sometimes some problems require us to look at the 100s of contributing factors to allow us to solve the problem we're facing properly.

The more 'graph-like' problem solving becomes acceptable as way to solve issues the better of everyone will be.
I would highly recommend reading:

http://www.amazon.com/gp/product/013046404X/ref=oh_aui_detai...

For anyone who is non-technical and needs a quick overview.
Using massive scale and buying power to influence the price of a produce is adding something to the product. Can your electric company do that? No, they only delivery the product at it's market value.

Also, a pipe doesn't care what travels through it; does Wal-Mart sell every retail product in existence?
Well, the two Google languages you mention there are philosophically _very_ different than Nimrod. Dart has always been specifically targeted as a Javascript alternative/successor, and Go has a strongly minimalist, "one way to do it" inherited from its Plan 9 heritage.

Also, Google hasn't done very much to promote either Go or Dart. Neither of them are alternate languages for the Android platform, for instance. Chrome doesn't natively support Dart, even though the functionality exists (in Dartium). They're more like open-source projects originating in and supported by Google, as opposed to official Google products.

The history of biological evolution is marked with periods of rapid diversification followed by mass extinctions and consolidation of remaining lineages. I think programming languages follow the same trend. We're in a period of diversification right now, and at some point in the future a handful of today's newcomer languages will be the hoary old relics that people are trying to get away from.
One would like to think, along with the slow disintegration of Western Rome, that it might serve as an object lesson to people who naively assume that progress is inevitable and will solve all our problems.
First, keep reading.

Second, when gwern says "you'd expect 33%", he [1] does not mean "the abstract 'we' mathematically expect 33%", but indeed "the generic person-on-the-street has an intuitive belief that we should get 33%". If you check the context I think you'll see this fits.

[1] So far as I know, anyhow.
So these apps reportedly get a child the equivalent of 18 months of mathematical development in 6 weeks of short, fun sessions? In that case, it does seem the £15.99 price is off by at least an order of magnitude, but I suspect we disagree on the direction.
Seems like they have been going for the last 700 years.

Which makes me feel that the feelings of pride my Muslim friends feel are unjustified as they have very little in common with the world that made al-Jazari. Or perhaps more importantly, the rest of the world has advanced in 700 years, but they have staid behind.
+1. I wasn't aware this clause existed in the CFAA.
"Disagree with the title."

Perhaps you should read the article before posting your disagreement. (As well as the several other people who appear to have paragraph-sized responses to 8 words, rather than the actual article.)
Identity. Are gay men sexist because they are not attracted to women?
If you too have no idea what Koku is or was, the site used to say "a flexible financial manager for Mac and iPhone" https://web.archive.org/web/20140701194344/http://www.fading...
I like that there is a PDF version for each chapter (linked on the left.) Good for offline reading, and no ads.
"Typically OMAP 3s were built on a 45nm, which puts it at a huge power-usage disadvantage compared to the 28nm LP (low power) process used to make the Snapdragon 400 in every other smartwatch."

This line is especially suspect -- all else controlled, power usage should go up with line width, not down.

Probably, the reason they chose to go with the OMAP 3 is power usage -- it's so old but well-supported that its drivers have been really optimized and it's quite efficient under Linux.
I'm surprised nobody has mentioned Evernote. Unless I am misunderstanding your question.

I just save things in Evernote. Physical documents get scanned and uploaded. I also use BitTorrent Sync for things like music and videos. Extremely sensitive stuff like banking documents are encrypted and synced as well. I don't upload that stuff.
I don't think the argument is that it's impossible to mechanize proofs outside of HoTT---just that it's prettier and perhaps better there.
I should preface this by saying that I know very little about batteries and consumer electronics, but a little about watches.

The problem of how to keep a mostly or completely analog watch wound throughout the day was solved a very long time ago. I wonder how feasible it would be to use something like the rotor weight from an automatic mechanical[1] or automatic quartz[2] watch as a trickle charger.

Would that just be too little added energy for the added complexity?

[1] http://en.wikipedia.org/wiki/Automatic_watch
[2] http://en.wikipedia.org/wiki/Automatic_quartz
Facebook events show a weather prediction for the time of the event. I imagine they use this setting to present the temperature in the user's preferred scale.
Show HN: NJ Transit Rest API Server and Bus Data
Imagine if these 'pay to win' games like candy crush implemented a 'solve this problem to win' mechanism instead.

Maybe even have some sort of parental control where they can pay a fee to switch their kids games into educational mode
> I wish some big company (Google or Mozilla) would have taken a look at Nimrod before going and building their own language and then promoted and marketed it. I guess that almost never happens. Is that arrogance, not invented here syndrome, legal issues with copyright...?

Rust has different goals than Nimrod (memory safety without garbage collection and data race freedom—both of which are important for writing a parallel browser engine).
If they're simply tweaking the request vars to access unauthorised information, how does this compare with Aaron Swartz's crime?
The author more than understands this. In the first two paragraphs he address the much more interesting question about whether, in realistic causal DAGs, potential correlations grow at a faster rate than actual causal links—the idea being that if they did it would harm the notion that seeing a correlation improves the hope of causation due to pigeonholing.

The author doesn't assert that this is true, but it definitely means he's thinking about this quite hard.
I think it could have something to do with Events - events display the expected temperature at the location at the time of the event. The temperature scale changes depending on the preference you pick.
This is a perfect combination of every short-sighted, angry old media, and old man rant I've ever come across. I mean, to go from hating on BuzzFeed to somehow ending up on the "Africa is one single country and let's help it" trope is quite impressive.

Best article that sums up what Buzzfeed is really about, and why I believe it is incredible for the future of journalism is this piece by Felix Salmon. Basically, he makes the point that Buzzfeed is in effect a massive advertising agency, and their content efforts are all experiments to better understand how to reach younger people. They then make money off of selling that expertise to brands.

That is a much more sustainable, legitimate form of funding a news business vs. the world of doing anything you can to get eyeballs to your page and selling ads around it. It means constant experimentation in the fields of communication and storytelling built on the back of an incredible technology company.

The best part of the entire Filloux piece, it was Chris Dixon who led the investment (someone pointed that out nicely in the comments). Does he not even realize that VC firms almost always have internal dissension and investments aren't unanimous? He has zero way of knowing Ben Horowitz's take on the investment.

https://medium.com/@felixsalmon/normally-when-some-big-deal-...
The reason is obvious. Moto must have worked on this thing for years, but couldn't make it work well enough. This is the first time that Moto or Google can build something that is marketable. It will take 1-2 generations to be really solid much like Android itself.
I guess I was thinking of the FAQ:

https://www.gnu.org/licenses/old-licenses/gpl-2.0-faq.html#T... - "Subclassing is creating a derivative work"

https://www.gnu.org/licenses/old-licenses/gpl-2.0-faq.html#T...

Also the preamble of LGPL2.1 (https://www.gnu.org/licenses/old-licenses/lgpl-2.1.html#SEC2):

When a program is linked with a library, whether
statically or using a shared library, the combination
of the two is legally speaking a combined work, a
derivative of the original library. The ordinary
General Public License therefore permits such linking
only if the entire combination fits its criteria of
freedom. The Lesser General Public License permits more
lax criteria for linking other code with the library.
I'm no expert, but I believe the hope is that quotients are easier to work with in HoTT than they would be elsewhere since you can treat the resulting "cosets" as true objects instead of structure with proof.

Also, it should be much easier to transport proofs from type to type according to isomorphisms that are discovered.

I'm hardly versed enough to say whether those things are (a) true (b) actually occurring (c) powerful enough to be worth the potential headaches HoTT incurs or (d) deserving of acclaim, but it's at least my understanding.
It's about two orders of magnitude too little power for a smartwatch.
why does this say 2000 ? Clearly, its 2008 ! Typo.
Congestion pricing is a fee, not a fine. Again, there's a difference. Let's keep the conversation honest, okay?
Productify to take on the WebSummit – Dublin
Anyone have something better than a wild guess about whether Lisp is getting more or less popular? It was never a very popular language in the first place, having lost out to the spawn of Algol.
I don't think it would be necessary to know a priori that something is unpredictable; failing to find a pattern after some number of observations should allow an algorithm to determine that the event is not predictable by that algorithm.
...That's irrelevant. It's still his code and still his copyright.
The medieval polymaths were a fascinating bunch! Hildegard of Bingen[1] was a contemporary of al-Jazari, and one of the most influential European women of the late Middles Ages.

In 2012, Pope Benedict XVI named her a Doctor of the Church[2] – a title given by the Catholic Church to only 35 people over the past 2,000 years!

[1] http://en.wikipedia.org/wiki/Hildegard_of_Bingen

[&] http://www.hildegard-society.org/p/academic-sources.html

[2] http://en.wikipedia.org/wiki/Doctor_of_the_Church
Should You Move to the Valley to Get Funding from Sand Hill Road?
I can't believe it's Crested Butte. That blows my mind.

For folks not aware, the bulk of Crested Butte's tourism industry depends on its reputation as a less-well-known, authentic, unspoiled, laid-back "real mountain town" that has not been overly commercialized. That is the only reason that people with money choose to go there instead of better-known and better-appointed towns like Aspen, Vail, Telluride, etc.

This stupid event gives that reputation a huge black eye. It seems obvious that the town leadership has no idea how thin the thread is that their tourism dollars hang on.

To be clear: the skier bums and lifer mountain bikers and kayakers will still come to Crested Butte because it's got great outdoor resources, and is much less expensive than the fancy Colorado towns. But the well-off tourists, who are the backbone of any tourism economy, might not.

Reputation matters. Imagine if Linus Torvalds took a million dollars to appear in a Microsoft ad. He couldn't just go back to running the Linux kernel the same way, even if he wanted to.
Well, except that I'm not actually trying to add a constraint. I'm trying to relax a constraint. As a member of the audience, I'm saying: hey, don't kill yourself over making this neat toy for my amusement. I don't actually want you to do that. Take all the time you need. Don't worry, I'm sure it will be great and it will show up in my feed whenever it's ready. (And maybe I should have said that in the first place.)

But of course they never asked me. Any pressure they feel comes from the imaginary audience in their heads.

How much this resembles the actual audience (which, admittedly, can be harsh, fickle and are easily distracted - guilty!) is hard to say.

Taking a broader perspective, there are of course far worse problems in the world, the sort of thing the Fair Trade advocates worry about. Demonstrated demand for consumer goods is quite a force, in aggregate. Who wants to be a millionare?
I'd love a write up of your setup, and I think other people here would as well. Did you build this all from what you thought you'd rather use, or have you tried Lisp machines like Genera?
Http://www.YouTube.com/watch?v=57-jQaPehfs