skysight-inc/HackerNews huggingface dataset:
I'm curious how you can know the tool is 95% accurate, if it's being tested on real world data, such as from reddit etc.?

I can only assume it was tested on a synthetic dataset perhaps.

Also I'm wondering how many unique users are present in the dataset, along with the volume of content for each user.
Funny. When I stopped coding it came to me we may have been a tad mistreated: http://beauty-of-imagination.blogspot.fr/2016/07/moving-out-...
>Edit: Not a 9/11 truther or anything - I just know this from first hand experience with metal working

Isn't the knowledge that steel loses structural integrity at a temperature way lower than that required to melt it a sign of not believing in a 9/11 conspiracy (because 'jet fuel can't melt steel beams')? I'm confused.
https://news.ycombinator.com/item?id=12193755
so is this how Roko's Basilisk will find you?
I was just at this exhibit a few hours ago, funny enough. This exhibit is the first contemporary art to ever be shown at the Mauritshuis in the Hague, which is a beautiful museum that has works by Rembrandt (including a great self-portrait), Vermeer (including Girl with a Pearl Earring) and many more old Dutch masters.

Here's a photo I took of my favorite work: https://www.instagram.com/p/BIgFNpXA53Q/

The exhibit is amazing and I highly recommend it. Vic Muniz is a very talented artist and I think the Mauritshuis picked a fantastic first exhibition.

From the article: "When Muniz had the opportunity to bring his recreated frame [of the Mona Lisa] to the Louvre and placed it side-by-side with the authentic painting, technicians who have spent years caring for the original apparently thought his was the genuine one."
https://news.ycombinator.com/item?id=12182423
The author of that post seems to be quite a character.

https://www.youtube.com/watch?v=fxPfgISHU3E
I don't think that is quite right. This says it's applying basic ideas from program synthesis, which is not too distant from automated theorem proving style AI (specially when you get to SMT solver based synthesis).

From skimming the page, it looks to me like an example of inductive programming.

So for Haskell, it would be closer to something like Djinn, where code is generated/proved from a type specification.
The term "loophole" doesn't refer to what we programmers would think of as implementation bugs; nobody is, e.g., dodging taxes by saying "these rules are for salaries under $100K, these are for over $100K, I'm making exactly $100K so I don't have to pay anything nyaah." It refers to what we programmers would think of as design bugs: the intent of the law does not cover the situation at hand, and it is not a judge's place to say, "Hm, I guess they meant to write a law about this."

A good example is the backdoor Roth IRA, which lets you exceed the Roth contribution limit by transiting your money through a traditional IRA (which has no limit) and then converting it to a Roth IRA (which has no limit). It's well-known that you can do this, and the legislature has had plenty of opportunities to put a contribution on either of these two steps. But they haven't. It would contradict the will of the legislature for a judge to say, "Look, obviously they didn't mean that," because at this point if they meant that they would have said it.
I guess he means "functional workouts". These workouts exercise your natural movements: standing up, sitting, laying down and getting up quickly, push, pull, etc. All done with your own body, no extra weights.

I've done them for some time and you quickly notice the difference. Instead of inflated biceps which hurt when you stretch them to grab a jar on the top shelf, you'll squat without hassle, jump, get up from bed, and have better core strength.

This is the program I've followed and I'm happy with it: https://mhunters.com. Check out their videos on youtube and decide for yourself!
I had figured that it would be about NIXIE tubes but was happy to learn about something I hadn't come across before. Pretty neat.

Here's an interesting channel on youtube I came across and the newest video happens to be about the NIXIE tube. https://www.youtube.com/watch?v=jytF5bvPGcU
This really hit home for me though I don't particularly care for the retelling of history as if it was a movie. I understand the need to give perspective in order to understand the effect that Europe had on Native Americans both in north and south america. I always relate it to an invasive species that out matches the an ecosystem and doesnt curb its hunger because there is no reason to.

I find it particularly poetic how the Chief said with pride "We were the first Christian tribe". Christianity originating from the middle east with the new testimate being under European rule. Has been used countless times in europe to excuse genocide and invasion. Was brought by europeans under a guise of peace mission whom eventually went on to completely ravage two continents. Christianity even today is used to excuse persecution and oppress. Yet despite all of this, knowing it is not native gods and being on the brink of extinction and erasure from memory. He takes pride in the lasting faith in the tribe. And imagining him say those words I think of dedication and love.

Im sensitive about this because I feel like I would be consudered a necessary sacrifice or even entertaining to dominate/exploit. This particular board tends to attract alpha mentalities in the startup industry So Im curious on your thoughts
Real Madrid 3 Chelsea 2
DMCA 1203 doesn't require copyright ownership to sue. (check it)

I understand why you assume she needs a copyright, but read the actual complaint and causes of action. Indeed she sues for copyright and DMCA, but asks for damages under DMCA. If copyright fails, it doesn't affect the rest.
The Problem with CSS-In-JS, Circa Mid-2016
>> idiomatic higher-order functions

Mmm... I wouldn't really say that JS is a good example of idiomatic HOF - just look at the standard library. I would say that JS has specific idiomatic patterns (such as callbacks) that are a subset of HOF, but most JS code you see around is not like ML or Haskell with regard to HOF in general.

>> very little odd about the syntax (for a C-like language, everything is pretty much what you expect it to be, save some of the OO stuff, and the obvious elephant in the room that is ==).

And scoping. And magic semicolons.

>> first-class functions that are equivalent to lambdas (you'd be surprised how many languages don't have this: It's pretty much just JS in the mainstream language space, AFAIK)

Can you clarify? So far as I can see, all you need for lambdas are first-class functions (function-typed values), function literals, and closure semantics for the latter. Most mainstream languages offer that these days. C# would be a good example - what do you find limiting about its lambdas that JS does better?

>> Now if you want to see a REALLY stomach-churning scripting language, have a look at QuakeC.

QuakeC was basically just C with only primitive data types (no pointers or arrays!), and a single reference type that referenced a single struct type with an extensible definition. So yeah, not very impressive; but it mostly did what it needed to do in its niche.

Besides, it was fun fighting with the language limitations sometimes (e.g. you could simulate a global array by writing a function with a giant conditional inside - or, better yet, writing a code generator to do it for you). Again, not something you really want in a "production" language - but as far as writing game mods went, fun was usually the primary goal for most who did it.
if your data are over [a,b], where a < 0 and b > 0, you can do the decomposition mentioned in the article over [-c,c], where c = min(|a|,|b|), so you don't need to extrapolate.
Neat :) I had almost the same idea when I was trying to figure out whether every matrix is the sum of a symmetric and an asymmetric matrix.

The decomposition being very similar: A = (A + A')/2 + (A - A')/2, with ' denoting the transpose.
I wasn't suggesting that the govt shouldn't be able to do so (I generally think they should) but rather that the parent wasn't really replying to the point.
>One solution to this is to do away with the whole idea of having the fed give money to banks and then assume the banks will give money to the people.

Except that's not a solution if the whole point is to give the banks money, which is the motivation of Washington DC, the FED, and the SEC. Don't take my word for it, listen to Senator Dick Durbin.

http://www.realclearpolitics.com/video/2009/04/29/sen_durbin...
Dissolved oxygen in water decrease when temperature and salts increase. Sea water have two hydrogen by each oxygen, and contains also atoms of sodium, chloride, magnesium, sulphur, among other. Therefore, saltwater will not have a 21% of oxygen normally, and a 10% of oxygen in salt should not be translated as: "wow, in that time there was only the half of the current oxygen in the air, how animals could live?". Aquatic organisms are adapted to the normal rate of between 6 and 12 mg of dissolved oxygen for each L of saltwater.

On the other side, if saltwater becoming brine releases gradually its oxygen, maybe the oxygen in an unknow mass X of water, could be trapped and slowly accumulate in a bubble under tons of silt.
The S&L crisis of the 1980s[1] put hundreds of bankers in jail. The 2008 banking crisis did not. The Administration was squishy-soft on banker crime. It didn't help that the Secretary of the Treasury was from Goldman Sachs.

[1] https://en.wikipedia.org/wiki/Savings_and_loan_crisis
Agreed, because the problem domain/system dynamics needs to be encoded into Scheme before synthesis can be useful for high level specs. If this kind of programming style takes off, it could possibly be useful for communities to supply "starter templates" for common patterns and system behaviors that they manually reason about all the time.
I understand your point, but this system also requires water, and therefore does compete at that point as well.
Higher temperatures also have a negative effect at the efficiency of solar panels, but they are indeed a lot more resistant (typically lower temperature=better efficiency for solar panels).
This was downvoted? I provided a pertinent fact - Hillary does use email.
One way to make a system like this one more efficient/cost effective would be to draw the CO2 from ocean surface water which has a much higher concentration than the atmosphere, depending where you are in the world.
Meh.

Mostly JS frontends are just for annoying grumpy oldtimers like us here at HN.

Seriously: unless you have a serious good reason for depending on JS in the frontend then keep it to progressive enhancements: autocomplete etc.
ISTM that any site that is capable of controlling spam, is also capable of dealing with trolls. Sure spam is more repetitive than trolls, so it's easier to notice automatically, but there is also much more spam, so chances are that at least some will get through. If you have moderators authorized to zap spam, let them zap trollage as well.
And yet, weirdly, Charlie Hebdo fired an artist for anti-Semitism (http://csglobe.com/charlie-hebdo-fired-anti-semitic-cartooni...).

And again, weirdly, are the cartoons in question attempting to satirize fundamentalist Muslims and isolate them from mainstream Islam, or are they just attacking Muslims? Along with the author of this (rather poorly written) article, I'll ask: Is it really satire, or is it just another version of the big-nosed Jewish banker from the '30s?

Further, I don't know about where you're from, but in the west here, we used to have the semi-legal principle of "fighting words". If I said that you were a dirty rat bastard and your mother wrote simulated annealing code, you would (everything else being equal) be justified in socking me, even though I neither physically attacked you nor threatened you.
Who goes Nazi?
Would the downvoters please enlighten me?
In Brazil, I can get some credit lines (usually small) by just spending more than I have on the bank, for others (a bit bigger) I'll need to enter my pin number either on a phone or an ATM, and for big credit lines, I'll have to go to the bank.
> and delaying entry for individuals coming from areas where terrorism is endemic, until a vetting process is established.

I hate to even further the discussion on this off-topic subject, but the above is simply not true. Here is the official statement (still published in it's original form) directly from Donald Trump's website:

> Donald J. Trump is calling for a total and complete shutdown of Muslims entering the United States until our country's representatives can figure out what is going on.

This is a far cry from "individuals coming from areas where terrorism is endemic". Regardless of your stance on politics, what that statement suggests is blanket discrimination based on religious belief.

https://www.donaldjtrump.com/press-releases/donald-j.-trump-...
Inscripción de talleres – Prensa CDP
>> that somebody won't be able to
>> disagree with by counter example

> I really don't understand this.
> You give a counterexample to a
> theorem; you don't give one to
> a definition.

In a sense you do. Often when we are giving a definition we are intending to capture a particular idea. Sometimes the definition we give captures too little, or too much. If you find that out early enough then you can change your definition to better match what you intend.

The classic example is "connected" from topology. Speaking very loosely, a set is "disconnected" is there is a "disconnection", which is a separation of the set into two pieces which are contained in disjoint open sets. Basically, the set is disconnected if it's made up of two (or more) pieces that can be divided by a "surface". A set is "connected" if there is no disconnection.

The problem is that there are sets we want to think of as not connected, and yet which satisfy the definition of connected as given above. Here's an example:

X = { (x,sin(1/x)) : x in R, x>0 } u { (0,y) : -1 < y < 1 }

So the net result is that we have the two definitions: "connected" and "pathwise connected."

If that example had been thought of earlier, it's possible that the definition of "connected" might have been fixed earlier. So in a sense, X is a counter-example to the definition of connected.

Further reading:

http://planning.cs.uiuc.edu/node140.html

https://en.wikipedia.org/wiki/Connected_space

https://en.wikipedia.org/wiki/Connected_space#Path_connected...
I think that the whole point of a self-driving car is that the passenger can pay no attention to the road. Else it's not self-driving.
Why not just tap at the repeaters? The signal has to be electrical there, and you can probably make it so that maintainance teams don't notice the tap.
I think perhaps you should be happy that Europe and North America do not have that particular advantage.

When Europe was operating without a bit of hand-wringing, it seems to have overrun much of the rest of the world, taken charge, planted colonies, and run said rest of the world for its own benefit. Likewise, we here in NA have a certain history of transplanting people who have something we want into camps in the stinking desert. Or into the ground, whichever is more convenient for all involved.
Nice, it'd be even more interesting if for each website there was a short discussion on implementation details!
I've always been upset at how those of us in the indigenous communities cling to Christianity as some absolving attribute. Land stolen, dignity stolen, labor stolen, and for some reason we seek refuge in a religion that was largely imposed on us.
The book "Wild Swans" (written a good while ago) gives a very good insight into what it was like for a young person to grow up in this madhouse.
I am Jack's middlebrow dismissal. Why not just type "pffft" and save us the tedium of pouring through your "references"? This is every comment you post.
There's still a lot of state (mostly in firewalls) associated with UDP traffic, and treating it as a connection (even if it isn't technically) can be useful.
UniJoystiCle v0.3
I understand this concern. It's like the old 20 Newsgroups data set for testing classification, where supposedly you're distinguishing the topics of conversation between comp.graphics, sci.electronics, talk.politics.misc, and so on...

...but what the most effective classifiers do is memorize the names and signature blocks of people who posted in each newsgroup.
What do you mean by "magical array handling"? It is the most obscure construct I have ever seen.
Just to be clear Ireland's bankers for the most part have so far escaped anything harsher than public censure.

These guys committed the unforgivable sin of actually thinking they were doing the morally correct thing, encouraged tacitly by a hapless regulator and a terrified government.

They did something so obvious and so transparent exactly because they felt they had the assent of the establishment.

They just literally lent another bank 7.2 billion so it could say all was well and thus "save" the country from financial meltdown.
See also "Hyper-Reality"

https://vimeo.com/166807261
Because it helps to some degree I guess.

Also keep in mind that the lack of religion is statistically worse as shown by too many examples. :-/
Default when you hit enter. You don't have to hit enter. Left then enter will get you your PSD.
It would be pretty shocking if it was already cost comparable, of course :-).
Ask HN: What's on your RSS reader?
I'm interested to hear what you think is good/important enough to warrant following, admittedly with the aim of expanding my list. I'd also be interested to hear what reader you use.

Here's my list (most of these are easily searchable so I won't link them):

Comics:
Cube Drone, Dilbert daily, Garfield daily, Invisible Bread, lolnein, Poorly Drawn Lines, The Oatmeal, xkcd

Misc:
xkcd what if?, John A De Goes' blog [1], Still Drinking [2], Krebs on Security

I use a Telegram bot [3] as a 'reader' of sorts (no affiliation).

[1] http://degoes.net/

[2] https://www.stilldrinking.org/

[3] https://telegram.me/TheFeedReaderBot
Video: Nollywood actor gets burnt Alive while performing stunt on movie set
Firebase x Parse Server
One of these days, some cleverclogs is going to present to the press a black box that stores electrical charge (and even gives back almost all of it when asked politely) with an energy density almost as good as liquid fuels.

If he can shut up about it containing liquid fuels that are synthesized on the spot, they'll eat it up and hail the finding of the battery holy grail.
Hoax tho
You're pretty sure?
Because we care about rigor and accuracy in this forum, and would prefer to be aware if and how the article title and content don't reflect reality. If these comments bore you, skip them.
Property rights in the US and UK have deteriorated.

Look at the Tiny House movement. It's clever but it is also a symptom of something rotten. There is something wrong with a society where half a person's working life is dedicated to the establishment and maintenance of mere shelter.
So I've been studying a foreign language, a language from a country active in state sponsored hacking. Two years ago I had the opportunity to participate in a competition at the country's embassy. I had to bring some files on a USB that was to be connected to a computer in the embassy. Competition went well, didn't humiliate myself, and came home with a consolation prize and my USB.

Only when I got home, did I realize the USB was dead to me with possibly unwanted packages from the foreign government AND the US government.

Took a hammer to the USB and the USB went into the garbage.
> Christianity even today is used to excuse persecution and oppress.

I guess that is totally fair as long as we also keep in mind that most of the biggest crimes against humanity were committed by proclaimed atheists.
"...mast-mounted antennas and collection systems atop the conning tower, some of them one-of-a-kind devices made for hard to reach or specific targets, all of them black boxes of future war."

That's a quote in the article from a source who is another pair of journalists writing for Gawker.

RF doesn't propagate well through water - in fact VLF is best and only goes to about 20 meters depth. Subs are most vulnerable when on the surface.

So the idea that we'd be using underwater manned platforms at a cost of $1.7 billion each to monitor enemy radio from the conning tower (without even using a buoy) seems a bit absurd to me.

The NRO has launched 3 spy satellites already this year. They're monitoring signals from within 150 miles using high gain antennas without the constraints of salt water, risk of detection and negative effects of a low altitude antenna and a tiny radio horizon.

I too want to believe we have badass hacker subs, but this feels like laying the groundwork for a budget request.
I have my own theories on why people want to make Linux / iOS their desktop.

People use Linux because they grew to hate Windows (and/or appreciate Linux) when OS X wasn’t really an alternative. One factor in that might be that not everyone can afford a Mac. Also, when I got into Linux, it gave me a sense of pride, and I felt like I was part of the hacker culture (not black/white hat hacking but Facebook / Eric S. Raymond hacking). I think that’s a motivation too. It’s is (or was) _cool_ to use Linux at one point.

People go out of their ways to adapt to iOS because they like the idea of running their lives on a small, svelte device. It makes them feel more autonomous in ways desktops and phones can’t. The technology isn’t there yet (as you mention).
Add asm.js-style exception handling support for wasm
Working remotely can be great; I worked this way for several years.

But not all jobs are like programmer's. Think of e.g. medical personnel, overworked as they usually are, being able to sleep for an extra hour while being taken to / from a hospital. Think of a teacher who could spend an hour of commute preparing to the lessons instead of holding the steering wheel. Think of a plumber who can settle some business affairs while on the road, and spend an extra hour with his kids instead.
What is open source?
There is nothing rigorous about the ongoing fantasy that random HN commenters know things that no one else does.
I'm pretty sure when using the Chrome extension, all the HTML/JS is downloaded locally once when installing the extension, as logging in via the extension brings you to a chrome-extension:// URL. When logging in via lastpass.com, of course, you will be redownloading the crypto code every time.
The best thing I took away from this article was the concept of a "digital sabbath". I should start doing this. Right now I spent practically all of my working and free time on my computer or phone.
Startup Releases Vehicle-Agnostic Autopilot Software
I rather wish there were more examples of reviews of works that are more familiar to modern readers; other than William Wordsworth’s “The Excursion”, which I haven't read, all of the works mentioned are completely unknown to me.

I'll take Samuel Clemens on James Fennimore Cooper anyday. (http://www.gutenberg.org/files/3172/3172-h/3172-h.htm)
Definitely seems like it. It sounds like there's a very clear issue here that the president has been repeatedly talked to about, though.

My point was that wanting to use a product that's been around for 30 years isn't necessarily an indication of knowledge and acceptance of tech; that's sort of a vain way to measure it, imho. It should be measured by someone's comprehension of how a technology works, and an understanding of the positive and negative implications of it.

Honestly, as time goes on, more of the people I meet in the tech sector seem more like moderates; a lot less likely to jump to a shiny new thing than the average consumer.
There's one for every cardinality (up to isomorphism). I forget my set theory, but if the cardinalities form a set, then the totality of vector spaces does too. If not, we can amuse ourselves by looking at the set of finite-dimensional vector spaces.
That would actually be a really good question. And it's not just British moral culture, either.

I'll go out on a limb and blame the Victorians.