skysight-inc/HackerNews huggingface dataset:
Explanation:

1. sin(pi/p) is non-zero for any prime p since 1/p is not an integer.

Thus the product is non-zero.

2. Since sin has period 2pi and product(p')/p is an integer,

sin(pi/p) = sin(pi/p + 2pi*product(p')/p) = sin((1 + 2product(p'))pi/p)

All integers over two are divisible by some prime so (1 + 2product(p'))/p is an integer for some p, and the sin is 0.

Since one of the terms is zero, the product is zero.

---

As bonoboTP, points out, this is simply encoding logic into math functions.

* TRUE is non-zero; FALSE is zero.

* AND is product.

* N IS INTEGER is sin(n * pi).

Note that I think 0 != to be semantically simpler than 0 <.
For those of you asking about Packet reliability - been a huge fan of them and supported them where I can. My blog post and company have been on the front page of HN before. Here are my benchmarks: http://blog.tiingo.com/switched-away-aws-packet-net-benchmar...

Since I've been with them, I haven't experienced any downtime except for block storage where I knew getting into it that it was in alpha at that time and I was an early tester. Even that downtime was at 99.9% and they had engineers on the phone with me throughout the night updating me even though it was only down for a couple hours. They don't charge me extra for support which was nice.

I ended up deciding to use their NVME storage for faster performance.

I can't recommend them enough. The backend of Tiingo would not be possible without them and their co-founders and engineering staff helped me quite a bit when I was looking for an AWS replacement. Took a chance with them a year ago (before Series A) and don't regret it.

I went to them initially as I have market feeds coming from NY4/NY5 and AWS network throughput wasn't good enough. Data was delayed and inconsistent. Also Packet had a data center in NJ, 25ish miles from the market data center whereas AWS had it in Northern VA which was hundreds of miles.

Right now I have real-time market streaming and the only downtime I've experienced has been user error. I usually have the #packethost freenode channel up if anybody wants to ask me directly (rishiattiingo)

Hope this is helpful
Yes - when you create a function you may tell whether it is sync or async, and just push tasks into it.
Thank you for slumming it around here and enlightening us idiots.

Meanwhile, in the real world, literally two hours after you posted this comment there was a mass stabbing on a school campus in Mountain View
I think at those power levels you start vaporizing significant amounts of metal - the walls were heating up a fair bit at current power levels. You might be able to plate to increase reflectivity at GHz (gold, maybe something else is better up there, could do multi-layer metamaterial). But if you're vaporizing metal on the walls that's going to act like a propellant, so it will be very hard to distinguish what's causing the thrust (since thrust via propellant can be much stronger per Watt than the proposed propellant-less technique).
My local cairo-gtk2 build of Firefox 49 reliably crashes anytime you try to use the GTK file dialog. Does it work for you (arch or gentoo)?
It's not a hard question, it's an easy one - We can't fix it. If you want accurate news you have to think, you have to be willing to know a site's history, who pays for it, what their usual bias is, how they compare with scientific research papers and compare with other news sources to see who's reporting. You have to do that foot work, if you can't do it, you'll never get accurate news. Once you know a few news sources that are generally trustworthy this gets a lot easier of course, with some exceptions. You only really have to do this once per source to get a basic feeling.

We can't just go out and do that for people either without introducing similar biases. It has to be done by every individual who wants an accurate depiction of the truth. Call it idealistic, but anything less is unacceptable in one way or another, so it's the way it has to be.

At best we could build vetting tools into social networks or perhaps better as browser extensions to allow you to filter and see general details about sources, it might be difficult to not introduce issues into these sorts of tools though.

Voting systems and public commenting offer a decent alternative in many ways, but often produce one set of biases that dominate completely. They're no replacement for proper research.
I think the scale of HERE is different than mapillary and the quality of data is substantially better.

We are talking data in the many many many petabytes range. 100Mil images is a tiny fraction of what HERE has. Also I am not sure if mapillary also has the high quality LiDAR data. My understanding is that they reconstruct from images, which has a much lower density and accuracy.

They also do have offices all over the world. I mentioned the Chicago office because you were saying there wasn't interesting work in Chicago.
edit - bad math deleted. thank Tossrock for the correction.
Virtual reality powered by  our minds?
My point is that this is not the case. I don't know anyone taking a big pay cut to work at a startup unless they are a very, very early employee, essentially a co-founder. A company's seed round might be $2M these days (this used to be an A round) and A rounds are easily $6-8M. It's hard to justify not paying someone market rate when you have $2M in the bank and a plan that says you're going to use it to hire engineers.
Sounds cool. Sort of what the people at Genius are attempting to do at some point?
This is not the first experiment undertaken by Nasa/Pentagon/Boeing or the DoD. As well as similar measurements confirmed by other research teams (including foreign teams).

I totally agree it requires drastic evidence, but it could be explained by another physical action not necessarily the violation of Newton's laws or effects that supersede those laws like quantum effects

https://drive.google.com/file/d/0B7kgKijo-p0idV9tcmVIVzZrdTQ...

http://www.ibtimes.co.uk/emdrive-exclusive-roger-shawyer-con...

http://www.slideshare.net/KurtZeller/investigation-of-a-part...
neat. Is there any plans to tie this into the serverless (or JAWS whatever) framework?
Show HN: (Yet Another) Window Library (Win32/X11) for OpenGL/OpenGL ES
Yes, Java is supported. Like the other comment, anything you can run in a Docker container, which is pretty much any language. It also supports the same format/structure as Lambda in Java.
Not really proud as I just hacked other people's work together to make it, but I use it often when cooking pasta :)

https://www.simongriffee.com/pastaclock/
"Set a preference to have Ctrl+Tab cycle through tabs in recently used order "

Finally something that is an actually improved UI feature!

Not some "removed status bar and instead hover its info over text you want to read sometimes" or "moved refresh button to different place than before just to annoy you" or similar thing :)
The arguments against boil down to "Any reactionless drive must by definition violate conservation of momentum." We shouldn't reject any scientific conclusion as unquestionable gospel, of course, but off the top of my head I'm not sure that I can think of any fact about the laws of nature that I consider more firmly established than "momentum is locally conserved". (I'm a physics professor, for the record.) Conservation of momentum is part of the bedrock of everything from relativity to quantum field theory, so if you throw it out, you'll need to come up with entirely different (seriously: entirely different) replacements for those theories that nevertheless manage to reproduce their hundreds of enormously successful predictions (to just as many decimal points). Again, it could be true! Keep an open mind! But if it is, then literally every discovery in (say) particle physics in your lifetime has been a fluke: just dumb luck. You can decide how to balance that likelihood against the evidence presented thus far in favor of the drive.

I'm really not sure what the argument against impossibility is, apart from a fervent longing for something of the sort to be real. (A longing that I share, for what it's worth.) They claim to have some data showing that something really is generating thrust, but as I recall some experiments have shown comparably large results in both the "actual test" and "control" conditions, so I'm not sure what to make of that evidence.
Real names don't stop people being awful online, this has been shown many times.
you can import your AWS Java code using the command line https://github.com/iron-io/functions/blob/master/docs/lambda...
we use packet.net for all of our services at andyet.com and i can only remember one time that we had a problem that was actually because of them and not user error. as i recall they had an issue with some networking hardware, but had it repaired in about an hour.

i've seen a few other times where they've mentioned issues in their status page, but they're typically only for low inventory, and even those are usually resolved pretty quickly.

overall we're super happy with packet and i recommend them to anyone looking for hosting - especially those that have a need for bare metal servers.
I'm married and I agree with you. I couldn't imagine my life without my close friends.
This may be an incredibly stupid question, but I know they used gravimeters to map the ocean floor on subs.

And I recall an anecdote of snow fall on a roof effecting their results in a lab, could you possibly use them to detect other subs.
I think it's totally misleading to say that the 100M photos are "available for all" and described as an "open repository of photos" when there is no simple way to download the full database of photos.

I understand that they want to charge $99 per month to embed photos since you could argue they need to pay for hosting but there are no instructions on how or if it's possible to download the full database of 100M geotagged photos, except for a "Contact Us" on their pricing page if you want "access to Mapilliary data".

Crowdsourcing photos by getting people to contribute with a headline "street level photos for everyone" and then charging for access seems like a hustle.

If the database is publicly available for computer vision research, please provide a link and make it more explicit!
NASA climatologist Gavin Schmidt on Curry (Google cache):

My reading of the evidence suggests clearly that the IPCC conclusions are an accurate assessment of the issue. I have tried to follow the proposed logic of Judith’s points here, but unfortunately each one of these arguments is either based on a misunderstanding, an unfamiliarity with what is actually being done or is a red herring associated with shorter-term variability. If Judith is interested in why her arguments are not convincing to others, perhaps this can give her some clues.

http://webcache.googleusercontent.com/search?q=cache:pLrHr9q...
FYI, fox news had been attacking trump until he won the nomination. Can you point me to where they reported a false story.

CNN claimed it was illegal to read wikileaks emails and the average should trust them (CNN personnel) to vet them and report their analysis of it. Washingtonpost reported it:

https://www.washingtonpost.com/news/volokh-conspiracy/wp/201...

Is that left wing propaganda, buddy?
Data from Facebook helps Red Cross make better maps
Ya if it's a popular request, definitely.
> where over 95% of the female accounts were fake

This is definitely not the case with AFF.
Post Virtual Reality Sadness
Ah, yes she is a bit of a skeptic- http://www.skepticalscience.com/Judith_Curry_arg.htm
I think the third party situation is unlikely, unless they're shipping a fork like IceWeasel or stripping out all branding information. At the end of the compilation process in Gentoo it helpfully tells you (if you enabled the Firefox Branding) that you cannot legally redistribute a branded version of Firefox.
ok, stretching things a little, but Poe (http://getpoe.com) started out as a single-function tool - a distraction free writing app, for the windows store, back in 2012 when there were none. It was basically just notepad with a hidden interface back then.

Now it has word-count goals, writing timers, built in resources and custom theme support. I'm working on a follow up with lots of incremental improvements and new features.

I'm proud because people love it. They give it amazing reviews that I feel like I don't deserve. People are super nice about it.
Ideal Product Manager
I love this project, having some fun with it. Very slick, thank you!
How to Short-Stroke Your Hard Drive for Optimal Speed
On a similar note, I started making a thumbnail view: http://www.git-browser.com
Congrats on launching!

If you're able to do a follow up post in e.g. a month I'd enjoy reading!
Especially if you decide to sell directly I'd be curious how that fares vs the App Store.

Thanks for sharing here, nice to see this.
The best project by far is osm2vectortiles.org. It pretty much allows you to have a global OSM map on a USB stick, or render it live from a 4 GB VPS.

There is one critical issue which needs to be solved though, Mapbox reached out to them and asked them to rebuild everything from scratch [2], which means that it'll be a few more months before it's legally "safe" to use vector tiles produced by this project.

(disc: I'm just a user)

[1] http://osm2vectortiles.org/
[2] https://github.com/osm2vectortiles/osm2vectortiles/issues/38...
There are implications. ZFS' raid-z2 (which uses 2 disks for redundancy data) was pitched - in 2008 or so - with the idea that disks are now large enough that recovery can take long enough that it's likely that another disk in the raid set breaks before the redundancy is back.
For the same reason they haven't made 64-bit the default on Windows and provide two versions. There are many users for whom only one variant works reliably. If upstream, like in the case of cairo-gtk3, decides GTK2 is not supported anymore, it's a matter of chance whether your cairo-gtk2 build of Firefox works at all. For instance, for me 49.0.2 gtk2 local build on Arch crashes anytime I try to use the file dialog, while of course the file dialog of both GTK2 and GTK3 doesn't crash in other gtk apps on the same machine.

Somebody requested this and the reality has been ignored so far: https://bugzilla.mozilla.org/show_bug.cgi?id=1268234
It isn't very hard to go to Iran as an American. The only thing is you need to travel with a guide at all times, which can run you between $50-$150/day. Added expense? Certainly. But it is quite doable, especially if you consider how cheap everything else is relative to say, vacationing in France or Italy.

You can also easily go with a private tour group if that's your thing.
https://github.com/andDevW/getChromium/blob/master/README.md

I made this because I was trying to introduce friends to Chromium for Android and loosing most of them at 'unzip'. It makes installing the official latest build of Chromium reasonably easy.
Well, it's anonymous enough after mixing 2-3 times through Tor, using different mixing services, in small amounts, among Electrum wallets, each in its own Whonix instance. And I can anonymously lease servers, VPS and VPNs. So yes, it works just fine :)
>> This post gets it close, but what we need is the best tools that can run in a web browser on a public library computer. Many don't even have a Chromebook or RPi.

> This would further the centralization of the internet, which is a disaster waiting to happen. It's easier, it's cheaper, but it's also wrong.

Sorry, honest question - I don't understand what you're saying here. Could you please explain?
After almost a decade of building Firefox from source I finally bit the bullet to switch to a precompiled binary last month. It's fixed all the issues that have started to crop up but leaves a bad taste in the mouth.
I think people appreciate nuance in things, people etc when they like them. For others they prefer unambiguous answers.
From the facebook statement about the percent fake news, they state

Of all the content on Facebook, more than 99 percent of what people see is authentic.

which isn't the same as 1% of the news items being fake, since they don't specify how much of the content is news.
Mac mini ? How come nobody has mentioned the mac pro[1] (aka the traschcan-shaped mac workstation) which is much more closely related to this

[1] http://www.apple.com/mac-pro/
That's interesting, because Chiang himself doesn't view "Liking What You See" to be his best work. In fact, he turned down a Hugo nomination for it, "on the grounds that the story was rushed due to editorial pressure and did not turn out as he had really wanted".[1]

Personally, I think Story of Your Life is a master work. I found the strange writing structure annoying at first, and then right at the end of the story you get an "ah-ha" moment that changes everything. What I thought was awkward writing turned out to be a masterful illustration about a theory of consciousness. I was floored by Chiang's ambition to even write such a story.

[1]: https://en.wikipedia.org/wiki/Ted_Chiang
How about posting link to frameworks only when they release a significant new version?
"A subscription implies I get something that normal users don't get."

Fair enough - but there are very, very few value creating engines that can feasibly exist in such a context.

Wikipedia is one.

Stackoverflow probably could not.

Someone mentioned it creates 'billions' in value, well, that's probably not too far off.

There's nothing wrong with people paying for things.

But to your point - it would be nice to find a way to do intelligent price discrimination. Students, hobbyists get it free, other entities can pay. etc..

I don't think that would work for Stackoverflow either because there is an inherent 'open-ness' that it needs ... that said, again, there's nothing wrong with paying for things.
I wrote a humble static site generator in Scheme that generates not only my blog, but at least 3 other blogs and the websites for 2 GNU projects. It's no Jekyll, but it's the first piece of software I created that is used by more than just me.

https://haunt.dthompson.us

GNU project sites:

https://gnu.org/s/guile

https://gnu.org/s/guix
When I've usually clicked the report spam and unsubscribe button after reporting spam in gmail it usually immediately opens a tab with the unsubscribe URL.

I've since stopped doing it since the last thing I want to do is open up some random page belonging to the person who spammed me.
Heh, I still use RCS on a semi-regular basis...
Well, many of us are not willing to live in a police state in order to achieve that end. You know the cliche about the definition of insanity, right?
Is it so hard to see that floods are a common theme, especially in agrarian land near rivers (e.g. Mesopotamia and Egypt)? I don't see much evidence they all point to the same thing.
I've heard that complain as well. Their mobile app isn't even open source. A buddy of mine had this rant when he was debugging an issue:

https://github.com/mapillary/mapillary_issues/issues/2361
And there's also the API - http://api.stackexchange.com
How does this compare to, say s3?

At 14 Cents Per GB / Month, rsync.net costs me ~$1720 per year for 1TB (14 * 1024 * 12 / 100).

S3 at 3 Cents Per GB / Month clocks in at ~$368 per year for 1TB (3 * 1024 * 12 / 100). Let's say I'm using a lot of transfer, so I'm going to double the price to ~$720 per year.

Still, rsync.net costs me $1000 more per year. Convince me :).
Contributing is wonderful, but those internet points (reputation) screws it up. An edit would give you 2 points if you have a rep < 2000, and contributes towards badges anyways. People would make pointless edits to a post. See http://stackoverflow.com/posts/21023161/revisions for example. There is no change between the original answer and the latest revision after 3 edits.
Any firefox devs here? You guys broke your own VTT polyfill with this update: https://github.com/mozilla/vtt.js/issues/354

Only reason I'm mentioning it here is that it looks like the repo is dead.
does an autohotkey script count?

^':: ;;; (or ^2 for US keybs)
Send me@e.mail
return

CTRL+@ symbol pastes my email address wherever the cursor is.
I'd be interested as well.
Computer+Keyboard+Key+Explanation
also join the real-time conversation: http://get.iron.io/open-slack
I had been using their binaries due to security updates and having to build at inopportune times for an hour or three (depending on machine), but like I wrote in a sibling comment, enabling the cairo-gtk2 backend resulted in crashes when trying to select a file with the gtk file dialog. So I bit the bullet and am struggling with the drawing regressions of GTK3.
Legally Blonde
http://github.com/nishanthvijayan/CoderCalendar/

Android app and Chrome and Firefox addons that lists live and upcoming programming competitions on sites like Codeforces, Topcoder, Hackerrank, Hackerearth, Codechef etc

https://play.google.com/store/apps/details?id=com.corphots.c...
https://chrome.google.com/webstore/detail/coders-calendar /bageaffklfkikjigoclfgengklfnidll
https://addons.mozilla.org/en-US/firefox/addon/coder-calenda...

Has 7k+ users all together :)
There are no hard rules about how to divide up your microservices and how atomic each one can be. This is an example at the lowest level as projected by Nginx.

We recommend deploying microservices that are encapsulated by domain because 1. locality of operations, 2. dependencies are going to require you rev as a unit. For us, that model could be running in it's own container or with several other related models.
Agree; I don't think a system has to take sides on what's reputable or not, but it can provide information on where the article originated, who funded the investigation, fact check stats, etc. without judgement. The challenge, in my opinion, is fundamentally one of user interaction. How do we provide these "stats" and "disclaimers" without fatiguing the user and adding to the original information overload issue we're trying to solve? If we fail to make it easy to do the right thing, we have done the wrong thing.
Huh, it works! :-)
they have gotten 60-61 million votes in the last three elections. it seems stable but not growing.
> I'd love to actually see tags on facebook posts. "Extremely conservative", "Mostly Neutral", "Mostly liked by liberals" etc etc.

This is the smartest suggestion I've seen so far.

I think the only thing you can realistically do is encourage metacognition.

Telling idealogues from either side 'Your Wrong' will almost certainly have the opposite effect to the one you intended.
Amazon getting rid of stack ranking
In the past (10+ years ago), clicking the Unsubscribe link in a spam email was a sure way to get your email address sold to every spammer out there.

Most of those bad actors seem to have been weeded out, but some still might try it.
How to get free iPhone 6S
The fun thing is that I think Reddit once used both types of ads. I don't think they do that anymore though.
Most technologies can be wrangled to do pretty much anything, but that doesn't mean you should use them. Every browser since I was a child has had a download manager of some kind built in, but that didn't stop the last academic paper website I tried to use from writing their own using a java webapp, of all things, and refusing to let me download their pdf's with anything else.

If your site looks like garbage when I turn the javascript off, fair enough. If your site breaks because it needs to do client side process, then that's on me, fair call.

But if your website can't even load text without javascript, then you're using a carpenters square as a hammer. Loading text is what html does. That's it's one and only job, and it's really fucking good at it. Way better at it than javascript is.

If your website cannot load text without javascript, you're a shitty developer, because you're rejecting the objectively correct tool and shoehorning a far more complex tool into it's place. That's how you get security vulnerabilities and high maintenance costs. It's the very definition of over engineering.