skysight-inc/HackerNews huggingface dataset:
If you’re trying to make a point about a change over a specific period, you can select a range and the selection gets appended by JS to the URL, such that if you send someone else the link they’ll see exactly the selection you made. It’s also possible to follow figures and be updated when they change. But also interesting things become possible across datasets. For instance, it becomes possible to mash up absolute job numbers from the BLS with population estimates from the Census and get accurate per-capita figures, that stay current when either the BLS or the Census publish new numbers.
They don't need to disclose how they caught it, just what said misconduct was - going "yeah we're closing your account due to misconduct" is like fining someone for no reason. It'd be a violation of human rights if that happened, and in this particular case, it's potentially ruining someone financially.
Cool, the code is finally out.
I found this from neural-networks course in coursera[0]. The author of this paper had been discussed as an example of what recurrent neural nets can now do.

Here's the description from the slide:

•  Ilya Sutskever (2011) trained a special type of recurrent
neural net to predict the next character in a sequence.

•  After training for a long time on a string of half a billion
characters from English Wikipedia, he got it to generate new
text.

– It generates by predicting the probability distribution
for the next character and then sampling a character from
this distribution.

– The next slide shows an example of the kind of text it
generates.

Notice how much it knows!

Some text generated one character at a time by Ilya Sutskever’s
recurrent neural network:

In 1974 Northern Denver had been overshadowed by CNL, and several
Irish intelligence agencies in the Mediterranean region. However,
on the Victoria, Kings Hebrew stated that Charles decided to
escape during an alliance. The mansion house was completed in
1882, the second in its bridge are omitted, while closing is the
proton reticulum composed below it aims, such that it is the
blurring of appearing on any well-paid type of box printer.

[0] - https://www.coursera.org/learn/neural-networks/
I also believe that it is. There is so much data contained within video that it's impossible not to obtain something if it can be presented correctly. The trick with coding videos is grabbing the users attention, not losing them, and showing them the results they can expect. If they're not engaged, they're learning. With so many subsets it can be hard to achieve engagement, People want to learn different things, but everyone needs to learn some things. The most efficient way to learn some things is not necessarily the most efficient way to teach some things.
When I started reading the quote, I thought it was going to back your argument up. It was a surprising disappointment when it did not.
I would love to hear any feedback you might have! I completely agree with you about fact-checking. One mini-feature that’s implemented right now is the ability to select a range in a graph and then copy/paste the URL, and when someone opens it in a new window they’ll see exactly the highlight you made with the same % change displayed. It makes it really easy to back up particular assertions across a time series.

And yes, I was having some issues with the DNS because of the way Heroku interacts with root domains, but that should be sorted as of today and the apex numer.al domain should work just as well as www. Thanks for the heads up!
> Proving correctness is a big one

Totality does in no way make proving correctness easier in practice. See http://blog.paralleluniverse.co/2016/07/23/correctness-and-c...

Totality really mostly helps when using typed programming languages as proofs of general (non-executable) mathematical theorems via propositions-as-types. Without it, the logic will be inconsistent. For actual programs, though, it makes little difference.
How bad accounting practice can bring down your agency
That's a good question. If I want to write a cross-platform tool I wouldn't know what to choose either (besides electron that is).

Maybe Xamarin?
Does Rosemary induce Abortion?
I'm glad they are joining Stripe, both of them great and cool companies.
CacheBrowser: A proxy-less censorship resistance tool
The rage may be misplaced, but the rage is still valid. There is basically skilled jobs and minimum wage jobs. You are saying "they're misinformed" but they are not actually incorrect. So what do you suggest we do instead of focusing on manufacturing jobs?

(I would love to suggest something, unfortunately, I have zero ideas, and not sure where to get any ideas, frankly.)
Seems intellectually dishonest to accuse honkhonkpants of lying when Rice was claiming they could produce a nuke at any time.
On the contrary, that's exactly the environment I'd want to do biz in. Some kind of pro-small biz small claims legislation.
> It's not just that "there is more", it's that there is everything. The halting problem ....

No, no, no. The original halting theorem is avoided in total languages, but the much more important version which forms the core of the time-hierarchy theorem, sometimes known as "bounded halting", holds unchanged. It is a generalization of halting which basically says that you cannot know anything about a program (including halting) any faster than running it (more precisely, you cannot know whether a program P halts in input x within n steps in fewer than n steps; all the other corollaries like Rice follow in the same way). This means that the cost of verification is the same for total and non-total programs, with the theoretically interesting but pragmatically irrelevant promise that the cost is some unbounded finite number in the total case.

If you want to convince yourself that totality cannot make proving program properties easier with an intuitive argument, consider this: take any program ever written, and to every loop and every recursive call add a counter initialized to 2^100 that is decremented with every iteration/recursion and stops the program when it reaches zero (which will not happen until the end of the universe). Your program is now provably total, yet its semantics have not changed a bit. I.e., you can already assume without loss of generality that every program is a total program and that every language is a total language. Is verification easier now that you know this?

The only case where you cannot make this assumption is when your language is used as a theorem prover to prove general mathematical theorems (that aren't executed and may actually "reach" infinity), and this is where totality matters.

See my post for a more in-depth discussion: http://blog.paralleluniverse.co/2016/07/23/correctness-and-c...
They reach saturation in a local area quickly and tend to burn out quickly. They also tend these days to not even be year-round work.

Fireworks booths, Halloween shops, frozen yogurt franchises, "escape game" franchises, "curves" gyms targeted towards women, edible fruit arranged like flowers...a lot of service jobs have very short shelf lives, and can really only have one or two in a town.
Early couch had scaling problems. We built a product around it and had a terrible time keeping it running at scale. Ruined erlang for me, too. Not from the language, but the problems with the build tools.
It's because Germany and Japan is so successful with manufacturing. Donald is asking why the US cant compete with Germany and Japan.
> so they can't roll over and kill their piglets

If you'll excuse an ignorant question, how did pigs ever survive before this practice? And is it necessarily "humane" just because it reduces one kind of risk?
An icon set based on programming, web and software development
I wrote 'tuition' but was talking about 'total cost', which is what matters. Harvard is $65,000 | $260,000 [0]

I'm paying for UC Davis, $35,000 | $140,000 [1]

My next kid wants to go to Loyola Marymount, $63,000 | $252,000 [2]

Average student loan debt in 2005 was $15,600

Average student loan dept in 2016 was $37,000 [3]

[0] https://college.harvard.edu/financial-aid/how-aid-works/cost...

[1] https://www.ucdavis.edu/admissions/cost/

[2] http://financialaid.lmu.edu/generalinformation/costofattenda...

[3] http://www.cbsnews.com/news/congrats-class-of-2016-youre-the...
I get it, you see yourself as the watchman on the tower. You're telling people to not be suckers, sheep, etc. Wake up, don't look at the bright and shiny, there are REAL problems here. Am I hearing you correctly now?

Griping, by itself, is repulsive. Getting grumpier because others are turned off by you doesn't help. In my opinion, rather than doubling down on the grouchiness, the best thing you can do is flip the script; turn off the complaints and retort with leadership or ideas on how you'd improve things.

I doubt you're as skeptical and questioning as you think you are, though. You use lots of hyperbolic language which makes me think you've bought into a lot of hype.
Yahoo Said to Have Aided U.S. Email Surveillance by Adapting Spam Filter
can anybody tell me what this is?
Actually I think they were too early in the market. Everything is moving towards real-time updates but we're at the beginning of that curve yet.
Three fake call centres in mumbai made rs 500 crore by duping us citizens
I'd say you can learn enough from any medium if you try hard enough. However, just "watching" those vids won't suffice. You have to practice (= write code/complete a project).
it was a rarely well articulated appraisal
You're redefining "control flow primitive". Those are not primitives, and they affect control flow as much as functions do, aside from `?`. Closures are a concept that C doesn't have, but once you get them they obfuscate nothing. These library calls obfuscate control flow only as much as regular function calls would.

Nor are you forced to use code like the excessively clever version you talk of. People who are used to monadic programming have the choice to.

You're making the same crappy arguments like a broken record. I'm not having the same tired old discussion again.
This is my favourite counter to millenials complaining about how booomers had jobs handed to them on a platter. "What, you want an unfulfilling factory job doing the same mundane thing day in, day out, probably on your feet, and probably without climate control? And if you're a woman, explicitly get paid less for it?"

The boomers may have had a higher employment rate, but they weren't design consultants and business analysts and so forth.
Being done by a bot is not an excuse in general. However, when pointing out objective factual mistakes, I think there is a difference between your colleague pointing it out, and an automated tool pointing it out. Even if result is the same, the former can be embarrassing, hence why we learn to phrase negative responses in a roundabout way. But politeness cannot be expected of a brainless machine, and so it can deliver simple facts.

So it seems that it boils down to public disclosure before private?

Out of curiosity, how would you imagine the "correct the mistakes" procedure after private disclosure? The author cannot just edit the paper, it's already published. They would have to publish errata, which draws just as much attention. And, from an ethical perspective, if an author is notified of a mistake found by autonomous tool, wouldn't they be required to disclose the methodology when publishing errata? So I'm not sure how that whole situation is fundamentally different from just dumping it in the public.
As someone in this field somewhat close to the article in a certain sense, I wouldn't say Susan Fiske's attitudes are typical of psychology. Maybe not rare, but not typical either. Her comments have been very controversial to say the least, and many are disturbed by them. Moreover, if you level that statement against psychology, I'm afraid you have to level it against medicine as well, given that there have been similar sentiments expressed in major medical journals as well recently.

Also, without meaning to defend Fiske, her comments here are taken out of context somewhat. Her reference to "methodological terrorism" (from what I have heard through the grapevine) is more, or at least in part, about the trend toward having scientific debates outside of the peer review process, in social media. So my guess is that she might say that part of what she objects to about Statcheck is that it crawls through the papers, labels an error, and then we end up discussing it on HN rather than through peer review. What if Statcheck made an error, which it does sometimes? I don't agree with it, but I think the position I'm describing (which I think is her point in part) isn't unreasonable either. That is, it's not the checking of stats, it's the chaos and disintegration of the peer review system, and "extrascientific" discourse that's happening in science today, if you define "extrascientific" as "outside of peer reviewed journals," where your critics are attacking you on twitter, forums, and facebook, more so than in professional published outlets in a sort of mob.

Again, I do not share her perspective at all (I'm in favor of a shift away from journals) but I do think here her original point was twisted a bit.
Theranos closes labs and wellness centers, lays off 340 staff
Income for bottom 90% has declined http://www.oftwominds.com/photos2015/income-growth4-15.png
Decentralized = federated or peer2peer.
Out of the frying pan - into another frying pan!
https://www.google.com/search?q=HTC+Market+value&oq=HTC+Mark...

HTC has lost 50% of its market value over the past year. It is 1/3 of what it was worth in mid-2013. If you feel like counting the stock market bubble, HTC is work a bit under 7% of what it was worth in 2007.

The money they are making now falls short of previous expectations. It falls short by a hell of a lot. Whatever it is they're doing now, it ain't what they hoped to be be doing. Meanwhile their rivals are profitable and valuable.

What else do you call that but losing?
Edit your headline please.
It's really weird that you think there's an infinite demand for goods, but not an infinite demand for people to stock those goods on shelves.

Anyway, a 'service economy' doesn't mean unskilled drones working in back-of-house. It means having a substantial professional class.
The copyrights and patents are already covered under the licenses they used (AGPL v3 and Apache v2). A search for RETHINKDB on the USPTO trademark search engine turns up no results.
Except apple is not society. It is not democracy. It's a for profit company, and can do whatever it wants. It is in no way entitled to be fair.

If you don't want it to behave this way, as a consumer or developer, you just have to choose to not deal with it. But you don't want to, because it makes you money and makes you life more comfortable in some way.

What it means is that you value money/confort more than been respected by this company. Accept this is what you choose and don't bitch about it, this is dishonest. You can't have it both way.
What if I'm designing a covering index to cover for both my filtering and ordering needs? The SQL engine should pick that up in my opinion and avoid needing to re-order anything.

Of course, SQL is by far more general purpose than producing ordered stuff. In fact, ordering is a completely non-relational thing that was even criticised in SQL in early days (such as offsets, limits, duplication, etc.). But SQL has learned to shoehorn foreign concepts into the language / platform for a long time, so I'm just curious about a concrete example where SQL window functions fail (and couldn't be fixed) in SQL for you.
Imagine that a big sheat of this material is put on a structure made of beams (e.g. Sphere). You then get a very solid and light object that has also some flexibility so that it doesn't break under high stress or hits.
Reading this brings the thoughts to Kahlil Gibrans book the Profet. The section "On Houses" reads:

...

Or have you only comfort, and the lust for comfort, that stealthy thing that enters the house a guest, and becomes a host, and then a master?
Ay, and it becomes a tamer, and with hook and scourge makes puppets of your larger desires.
Though its hands are silken, its heart is of iron.
It lulls you to sleep only to stand by your bed and jeer at the dignity of the flesh.
It makes mock of your sound senses, and lays them in thistledown like fragile vessels.
Verily the lust for comfort murders the passion of the soul, and then walks grinning in the funeral.

...
Js2Py: JavaScript to Python Translator/Interpreter Written in Pure Python
In the blogosphere (boy, has that word dated fast) there was such things called "planets", which aggregated the blogs from a community of interest. Kinda like hacker news, but if you found some interesting article you could keep track of everything the same author had published to the same site.
Kadıköy Escort Tan Annesinin Sevgilisi İle Yaşadığı Sex İtirafı
Just a hypothetical - if you actually own the IP, you may be able to release future versions under non-free licenses. However I don't see Stripe in the premium-DB business.
The current market is precisely that there's so much low-hanging fruit in automating a developer job that we aren't going to entirely eliminate developer jobs any time soon; and hence why any new pair of hands helps.

The tech companies in SV told the Obama administration that if they gave a million more H1Bs to engineers, they'd hire them all. And plenty of them put resources on improving developer tools.
I frequently decide not to install any app if the app size is more than 3MB. My phone has limited space and I install only the smallest and feature rich apps in that much space.
Venture capitalist Marc Andreessen explains how AI will change the world
You just won't get agreement from me here - string manipulation in 'C' is quite easy. Concatenation operators and the like mostly get in the way. This has nothing to do with design approaches. The str() suite from the standard library is very easy to use safely, if you're careful in your constraints. You do have to think "this is a buffer" and behave accordingly. The resulting code is pretty tedious, but there's no way it takes 3x as long.

Throw in the level of control with sprintf() and there's a pretty clear win.

What is easier with C++ ( and most scripting languages ) are things like combinators and regexp.
You missed the essence of my argument. The curl approach serves as an example of some less trustworthy, unvetted ways of installing software, similar to downloading an installer or apk from some random website.

Is it a bad idea? Maybe, especially if you're not technically versed. Does that mean we should take everyone's freedom to make their own choices. "because we know what's best for you"? I don't think so.

I believe that most non-technical users are self-aware enough that they stick to curated app-stores of their own volition.
They said Google won't make a bid. But Alphabet ($GOOG) can absolutely make a bid.
Thanks for clarifying. Oh, I see yes indeed. We can only nest aggregate functions inside of window functions, not the other way round (unless resorting to derived tables, views, ctes, etc.). Indeed, it's logical to know why it's not possible (the way the language was designed), but the language could have been designed differently.

Do note that Oracle has the KEEP clause that might probably solve your issue with aggregate functions only... But it's a rather esoteric, vendor-specific extension.

Anyway, I do agree, what you're describing would be a very nice feature.
May be its bad implementation of cloudflare. Cloudflare doesn't do javascript check if content type is xml in headers unless you explicitly want it to do.
RSS feeds and similar URLs should be excluded from security with page rules.
looks interesting!
Έφηβη βιζιτού στα Βόρεια Προάστια της Αθήνας σε προσωπικές γυμνές φώτο
GTK+, version numbering, and long-term support
I think it used to be impressive when they created Bootstrap.

Twitter's website currently is not Responsive. The web interface looks different on every platform (mobile, tablet, desktop). And on mobile, the website is terribly slow.
The anatomy of a Vulkan driver
OpenType 1.8 and style attributes
The trouble with new TLS version numbers
Marketing is about figuring out your customer's needs.
Sales is about promoting your products.

Both are done to sell more stuff.
Those Americans often suffered from homesickness so bad that it was possible to die from it:

https://en.wikipedia.org/wiki/Nostalgia#As_a_medical_conditi...

Homesickness: An American History by Susan J Matt is a great book about how it existed in America. The song "Home Sweet Home" is banal to us, but was forbidden to be played during the Civil War because it caused homesickness and desertions.They used to hospitalize people suffering from nostalgia. It could be that bad. the past was nothing like the modern rootlessness we have now.
A look at the Linux 4.8 development cycle
It's funny, we expect "undo" features in our applications these days, why shouldn't the OS and indeed the entire machine's state be treated the same way?

I used to think that virtualized Windows guests would eliminate the need for wine. I have XP and Windows 7 VMs around precisely for games or the few applications I use that aren't wine-friendly. Over time my usage of wine has dropped to the occasional Play on Linux game.

But part of what makes those VMs so robust is that 1) they're normally disconnected from the internet, and 2) I have developed a habit of saving my work to a shared folder so that I can reset a machine's state to a few days previous at the slightest sign of trouble. For applications that require access to the internet, however, wine may be our last, best hope of opting out of the Cortana Empire.

Historical aside: Before VM usage took off Robert Shingledecker and friends followed that reset logic to an extreme with the Tiny Core Linux project -- every time you start your machine you load a known-good kernel and apps into RAM, use the machine, and then let anything other than your data derez at the end of the session. You can get pretty good performance with that approach on older hardware that can't support virtualization. The downside is that your application choices are limited and dated when compared to mainstream Linux distributions.
I really enjoy using GNU Social and it is good to see alternative implementations using the same protocol. An option to just use Postgres, and not Postgres + Redis might make installing easier for experimenting with running a node.
A low-level hibernation bug hunt
Udacity’s Self-Driving Car Curriculum Revealed
Chrome OS: ARC++
Systemd programming, 30 months later
I hope no one buys and Twitter collapses.

I use Twitter. I enjoy Twitter. Twitter does many good things for the world. But it's terrible in a million ways. I'm not sure that it's immediate collapse wouldn't be a net benefit for society.

Let Twitter die. Turn into ash. Let something new have a chance to grow and flourish.
Another proxy doesn't bypass the first proxy. I suppose I could have encrypted everything going through the proxy, but didn't.
Around 2001 there were all kinds of laptop battery recalls, where they would send you two new ones and a box to return the old one; that's above and beyond. Since battery replacement is not applicable and advance shipping a $$$ phone return is a big risk, Samsung could have worked with carriers to authorize replacement of carrier branded models at the carrier store, even if original purchased somewhere else. If the phones are serviceable, they could have made a replace the battery while you wait program, so people don't need to transfer data etc.
ci", ci), ci]... I love these, and use them all the time.
I need a clone of cars.com Can you make it? :)
5 Webseries to Get You Ready for Cuffing Season
Seems like a spam bot to me. I wonder if there's a farm of bots upvoting it - it appears faily high on the thread after all.
I would guess they don"t care. These countries are not exactly the target market for such a expensive phone.