skysight-inc/HackerNews huggingface dataset:
The most corrupt people are the older upper middle class Australians. They are happy to do nothing at all other than "own property" and rake in ridiculous amounts of money. All they are doing is sucking the money from younger or poorer people and transferring it to themselves without actually doing any work or adding any productivity to society.

I live in an area with lots of these investors and they don't work. They talk about it in hushed tones like it is a scheme or a rort, which is obviously is.
I wonder how much of that is technical, and how much of that is dirty play from the gorilla of the market.
Yes. It's still a very good framework for simple Web Apps. It's takes care of a lot of boilerplate.

With Rails 5, it's good for a simple API backend as well. And there are a ton of gems that can alleviate a lot of pain.

It's when something non trivial where Rails may not be a good choice.
I agree that gold is impossible to value (at least, the current valuation is impossible to justify). I always liked this argument by Buffett: http://www.businessinsider.com/buffett-on-gold-2012-2

But for bitcoin the situation is much worse. Gold would still be worth something. It is a physical object, a collection of atoms with some nice properties. It has industrial uses and the bling-bling factor wouldn’t disappear. If anyone needs or wants gold he would have to mine it, an expensive thing to do, or buy it from you. You could always sell it marginally cheaper.

Anyone could easily come up with an alternative cryptocurrency and what advantage would yours have over the others?
“I’m a nuclear armageddon survivor: Ask me anything” (2015)
How does printing money make the rich richer? Isn't it exactly the opposite?
I mean, it's a functioning democracy in that there are elections. But there is a very serious class divide and it's pronounced in the upper echelons. It is widely known that governments and policy is bought and paid for.

The idea is, if you're rich enough you can lobby for what you want. Functionally this is bribery with some extra steps.

I would refer to the US as either a pendulum swing of administrations that attempt to cancel each other out at best and inverse totalitarianism[0] at worst. But I certainly wouldn't hold it up as the pinnacle of democracy.

[0]: https://en.wikipedia.org/wiki/Inverted_totalitarianism
> We're getting off track.

Oh, I think that ship sailed long ago. This started as a discussion on Kotlin. :)

> The point is that fac1 and fac2 do two completely different things when executed on a computer.

But they don't. You must define some equivalence relation to determine whether executions are "completely different". You could go very concretely, all the way down to memory addresses or even to logic gates in the CPU, but then the very same Haskell program may be considered to be completely different from itself when compiled by different compiler versions. So, when working with powerful systems like TLA, you get to decide how fine-grained your equivalence is, but when talking about programs and languages, you go by the semantics of the language and use (bi)simulation, as it's the homo/isomorphism normally used in programming language theory (it was first proposed, I believe, by Robin Milner). Such an isomorphism exists between the things those programs do in the computer.

> Even more puzzling to me is how you can consider unary addition to be isomorphic to binary addition. I am no bisimulation expert but unary addition involves a single state change whilst binary addition requires many.

Because you are allowed to map a single state in one graph to multiple ones in the other. That's the difference between a function and a relation.

> I will have to drop out of the debate, yet again, with the feeling we are living in completely different worlds.

Well, all I can say is that this particular branch of the discussion began when I pointed out that the functional denotation is one particular choice, made to obtain certain tradeoffs, while others, with other tradeoffs, exist. If by your world you mean the world when you only consider the theory of functional programming, then indeed there's no point discussing it within the broader context of programming language theory/program analysis. Afer all, the theory of functional programming is a strict subset of programming language theory. I don't know how to compare FP to itself, nor do I know how to compare the mathematics of FP to some imprecise notion of imperative programming. I can try to compare the mathematics of FP to the mathematics of imperative.
In Germany? I bet they will eat their hat before actually firing you in this case.
I didn't say that you would translate a Mathematica workbook into an iPython notebook.
Guide to avoiding vulnerabilities in programming languages [pdf]
"everybody who has anything to do with this affront to the EPA shall burn at the stake"
Hardly.

Just the other day there was a spat between a security guy and Torvalds, where the security guy wanted to push a patch set that would crash even the kernel if something in userspace made it do something "funny".

And said security guy have a whole bunch of cheerleaders in userspace (quite a few stepped onto social media to defend the patch set and berate Torvalds for being a potty mouthed bully), and perhaps even a few in kernel space.
Its probably worth noting that this site may be manipulated:

http://variety.com/2017/digital/news/white-house-petition-si...

After the election, many petitions were not registering signatures. My position is that this was deliberate. So if this somehow 'fails' or gets stuck at some number, don't be surprised...
Awesome recommendation
I mean, did anyone really doubt it?
Personal attacks and incivility are not allowed here. If you do this again, we will ban you.

That's not to say the GP was a good comment, but responding by making the thread more toxic is exactly the wrong thing to do.
In another article he writes: "In China, where I was born, there are a lot of people who work much harder but could not enjoy similar results. The difference is that I was lucky enough to have had the chance to move abroad at a young age, thanks my parents. In other words, as Warren Buffett said, a large part of life is the lottery at birth."

http://www.economist.com/whichmba/mba-diary-standing-oration
Is it just me or is the number of signed petitions not increasing?
Most of the problem with that is the cryptic abbreviations. A symbol lexical filter would let you have this:

.SectionHeader
.Name
.Optional Flag C
.Optional Flag o Argument output
.Optional Argument prefix

or with some punctuation:

.SectionHeader
.Name
.Optional Flag: C
.Optional Flag: o Argument: output
.Optional Argument: prefix

which is quite readable.
From what I understand he is standing in the way of an open internet. Maybe I understood it wrong?
Not quite. It doesn’t use the existing Hyper-V management stack, but it does use the Hyper-V hypervisor and (trimmed down) virtual device stack.
But if they aren't permanent residents, then they are subject to the law of whatever country where they spend the rest of their time. China, I presume. So when you say there's an infinite supply, you imply that the Chinese police cannot obtain Australian property records and use those to identify and imprison a few thousand corrupt officials.
Where the hell are Google and Facebook on this? The idea that they'll profit from the repeal is simply naive - without net neutrality Comcast et al will be able to extort whatever they want from SV.
I realize that this is unethical, but Alphabet alone can match ISP donations and then some. Alphabet plus Facebook can probably buy post Citizens United Congress fifty times over.
My Seattle neighborhood has over 30 Little Free Library (https://littlefreelibrary.org/) book exchanges. The owners tell me that they simply seed the exchanges with an initial collection of books and do little in the way of curation or maintenance after that.
Yeah but the vertical skew came practically for free (just an offset before you start working on each column), which was very important for performance.
You said yourself that you're a "technical person", so probably not the target audience of this article.
> Less than 50% voted for either candidate.

True. Another way of saying this is 64% of voters cast a vote for someone other than the President. This is reflected in his historically low approval ratings [1], and public opinions on both the healthcare push [2] and the current tax reform push [3].

But if we assume for a moment that the election was a mandate for the President to implement his agenda, we have to also note he isn't implementing the agenda on which he ran. He promised a wall paid for by Mexico, and several times has asked Congress to appropriate money for the wall. He promised he would not touch entitlements, and supported GOP measures to slash medicaid. He promised to drain the swamp and appointed interests to his cabinet with an agenda contrary to the agencies they represent. He promised to release his tax returns if elected and then claimed his election meant the voters decided he didn't have to. He promised to get tough on China and then capitulated to them over a cake dessert. This whole "mandate" idea, if we are going to accept it, should only be a mandate to implement the agenda on which the candidate campaigned. It cannot be used as a carte blanche for an elected official to turn around and do whatever they want.

To be clear, I'm not saying how a President governs and how a President campaigns should be identical. There's room for improvisation and changing ideas. But the fact a President was elected cannot be used as a justification for every action his/her administration takes.

[1]: https://projects.fivethirtyeight.com/trump-approval-ratings/...
[2]: https://www.usatoday.com/story/news/politics/2017/06/28/suff...
[3]: https://www.reuters.com/article/us-usa-tax-poll/fewer-than-a...
Don't put away the torches and pitchforks, we're going to go after the alcohol industry when this is done.
How Best to Promote Research and Development
Modafinil has a half life of 15 hours, how the hell does anyone get any sleep after taking it repeated days in a row - never mind twice a day for a 4 years, at the end of that he was on ridiculous amounts.
You say that like Trump ran on a platform of deregulating internet service providers, as opposed to populist rage.

If anything, this election cycle demonstrates that the executive holds far too much power, that it can act with impunity at the behest of lobbyists on issues unrelated to, and in conflict with, the issues which drove voters to elect it.
Best I could find, has seem further links: http://time.com/money/4360431/internet-data-caps-bogus-ploys...
> lost the popular election by 3 million votes

Oh no not this again.
I also started to do that, but it is pointless except for specific purposes or memory competitions. In real life you can’t go creating memory palaces or funny stories for everything. And it distracts from other more important points in the article, like remind how bad is our memory.
Ask HN: Drop Google?
So many people I respect work for Google.

On the other hand, their censorship seems more self-interested than public-minded, Eric Schmidt is a Dr. Evil wannabe, and they know too many things that no one else should know.

Should I drop business Gmail? I think I already know the answer, but confirmation is nice.
Bloaty when I used it. Crappy ui. Crashed a lot. (Circa 2007 or so for me)
They have very few courses.
> Beyond that, it will likely also need to position itself as the "anti" facebook - no tracking, no data collection, etc.

Not saying this isn't important but outside of here and other niche communities, regular people show no signs of caring about this.
I use my hp48 every so often. The UX is primitive, 5 generic keys, slow refresh lcd. But the RPL (lisp/forth) system has only a few bits of builtin constructs, which means you'll have maybe 3 level deep worst case. Most things are below the 7 figure. It's smooth as f. With just a bit of upgrade I wouldn't mind programming on this at all.

More and more I believe that ignorance thus space exploration and Miller's "level 1" cache has a huge role in our enjoyment of things.
aah that makes sense. thanks.
They’re definitely already on this. Likely they have a deal in place with Comcast already.
The point here I think is that "nobody" seriously believes in container isolation purely through namespacing. It's sufficient for some scenarios, but we can expect the hypercontainer-based OCI runtime to gain much more momentum.
It's only logical that Microsoft will skip namespacing entirely and go straight to a unified Windows/Linux container runtime based on their Hyper-V investment. Hyper-V isolation has been the only production-approved runtime for Windows containers already, and it's how Azure Container Instances works under the hood (that's my understanding at least).
That is fine when it is possible, but many changes cannot be localized to one file.
Probably like this: let the user set the repeated alarms (like, Mon-Fri at 9am, Sat-Sun at 10am), yet the user is required to "confirm" the alarm each night if he/she really wants that alarm be effective. This way, the user can avoid the tedious "keep setting same alarm" each night, and the "conciously set the alarm" thing is still there.
Yes, I can, but that's only because I have read that book. Which cites its sources for everything.

If you can't compare it, that's because you're missing the data to do so. I'm quite certain you'd like reading it.

I don't really want to push that book this much, but I do want liberals to understand the dishonesty and malice inherent in the actings of previous administrations that are held in high esteem for no apparent reason - like Clinton and Obama.

And the reason I want that is because it would be helpful to liberals.

The US is so far behind on many basic things, it's a joke to the rest of the world;
- The level of poverty in the US is staggering - you can reasonably say that more than 50% of citizens live below the poverty line.
- The lack of basic bank security, the fact that if someone steals your bank account money, you don't automatically get it back from the bank.
- The cost of health care is actually insane
- The number of citizens in jail, and the exploitation of them for manufacturing (talk about slavery)
- The low number of people who vote. In my country, more people vote in _city_ level elections than do in your presidential elections. Always. By a factor of 20%. "representative democracy" my ass.

Anyone who lives in Europe knows these things. And any honest US citizen who has lived abroad knows it.

I am saying these things to illustrate that I want to _help_ you.

And that includes reading that book, and dispelling your notion that Clinton or Obama were good or honest. Competent, oh yes - competent enough to literally destroy your nation.
I had to take a semester on formal proofs using Coq, the same tool the article talks about.

Putting aside their steep learning curve, formal proof methods do not guarantee that the code you've written is bug free. They only guarantee that the code follows the requirements you defined given the conditions you also set on your inputs. You can think of it as a mathematical proof of your postconditions will hold given that your preconditions are true.

And you know what? People do make mistakes establishing those preconditions and postconditions all the time, and the tool is not going to be of any help. You've proven your code, but it may not do what you actually wanted it to do.

During a lecture I saw a tenured professor, who was a well-respected mathematician and expert in Coq, make some rather obvious mistakes while establishing those preconditions and postconditions. His proof was valid but worthless.

When you add that writing those proofs is actually rather time consuming, you end up with a niche product with little real-world applicability, except possibly for safety-critical environments.
Bitcoin developers do use valgrind. I don't know about B2X, but the Bitcoin Core guys do.
> non-IP packets (ex. DHCP)

DHCP is IP/UDP.
My favourite euphemism comes from the Simpsons: "Meltdown?! No that's one of those buzz words. We like to call it a temporary fission surplus."
One of my coworkers proposed a better way to utilize Strava's data for finding good routes: https://medium.com/@vovabilonenko/strava-activities-map-6cbc...
I think the re-calibrated software that hurt performance and fuel economy caused customers to suffer a lot more than the pollution did.
"useless except when it really fucking matters"
>Unfortunately they left their ankles exposed.

History had to wait for Victorians for this problem to be resolved..
Streaming Redux State as an Observable with RxJS
> Something I don't think people realize: 3 million people isn't that many.

It's not that many in relative terms, but it's certainly a lot of people. It's more than the population of some countries and 20 US states.
Time for Hashgraph:
https://hashgraph.com/
If the summary of the book is, as Wikipedia puts it, that " the American Democratic Party has changed to support elitism in the form of a professional class instead of the working class," then I don't disagree. And if the suggestion is that all administrations since Clinton are responsible for that, I don't disagree with that either - in fact, I'd go further back, and I would make it bipartisan.

But we are making an in-group comparison here: the current administrations versus previous ones on the topics at hand. To imply complete equivalence between the two on the grounds that both suffer from some of the same systemic problems is moving the goalposts.

Were previous administrations also corporatist and deeply flawed? Yes. Does that mean that the Obama administration didn't also provide demonstrably better outcomes than the Trump administration on a range of issues? No. Dismissing the clear policy differences between the two actually does a disservice to the cause of making government better, because it ignores the positive things that did happen that we want to encourage and further.

For instance, if you support a single-payer healthcare system, you can say both "the ACA has made healthcare in the US better than before, and closer to what I want," and "the ACA doesn't get me all the way to what I want." But it would be dishonest to suggest that the ACA didn't bring us much closer to healthcare-for-all than we were before it passed. Incremental change is still change. (And if you have the opposite stance on healthcare, the same logic applies in reverse.)
I read this more than 5 years ago, I think from a recommendation on HN. But I must have gotten something different out of it than most people.

It is advocating a particular architecture. But that architecture is essentially LAMP, as far as I can tell. It's what we ALREADY do!!!

From the paper:

FRP is currently a purely hypothetical approach to system architecture
that has not in any way been proven in practice. It is however based firmly
on principles from other areas (the relational model, functional and logic
programming) which have been widely proven.

In FRP all essential state takes the form of relations, and the essential logic is expressed using relational algebra extended with (pure) user-
defined [18] functions.

[18] By user-defined we mean specific to this particular FRP system (as opposed to pre-
provided by an underlying infrastructure)

-----

- All essential state takes the form of relations This is a database. (SQL deviates from the relational model, but I don't view that as important here. An SQL database stores everything as relations.)

- Logic is expressed using pure user-defined functions This is PHP / CGI / FastCGI. PHP is imperative, but the entire program is a pure function, because the request state is cleared between every request.

What am I missing? I'm being totally serious -- this is what I got out of it when I read it 5 years ago.

You can quibble with the details of PHP or Rails not being pure functions, but I believe what's important is the architecture, not how the source code looks. The essential state is in the database, in the form of relation. Accidental state is thrown away.

TL;DR -- PHP/MySQL is functional and relational.
Their testnet didn't fork properly either, but for some other reason I believe. It was thought to be because they had more mining power than anticipated in their testnet, which was discussed on the mailing list as an attack on testing.

One reason why testing wasn't thorough enough was that it was under specified. There was no public discussion on how this was supposed to work. The specification was whatever the maintainer decided to merge, which changed several times during the software's lifetime.

Most further discussion or counter proposals, including perhaps the most controversial one which was replay protection, were met with "that wasn't what the signees agreed to" and that anything going beyond that was off the table. But what the signees agreed to was always very unclear, as the agreement only described that a "fork" was to be activated and that something was supposed to be 2 MB in this fork. What was supposed to be 2 MB was not specified, let alone how deployment was supposed to work, and neither the protocol for signalling, fork activation and block weight. And the latter things are probably what reviewers would have concerned themselves with had this ever been a real proposal.
Sure thing. Also surprised there wasn't one.
Ask HN: Has anyone tried to debunk the myth that Facebook is listening?
For weeks and months, there has been the same conspiracy about Facebook listening to their 2 Billion users to serve targeted ads.

Countless questionable youtube videos, reports of all sorts by people who have no idea what it would entail to perform such a stunt on a large scale.

After googling extensively, I still can't find any real scientific proof that it's either true or on true.
It's mostly about some people relating their funny experience and mostly about Facebook saying "No we don't"

Anyone familiar with Charles Proxy would know it's pretty easy to spy on the traffic going from an app to the backend.
I work in Facebook advertisement and I've been doing it for various reasons already many times.
I've never seen anything that would like a speech datagram, but then again, it wasn't what I was looking for when listening to the Facebook app.

I would expect that given Google and Apple should be scrupulous about what the Facebook app does and doesn't, there should be a host of people who've been looking into that urban legend a number of time.
Also the data plan of many people would simply explode too quickly for this to be true.

With my colleagues, we've been wondering if it would be possible to rely on a local text-to-speech engine running on the phone. Needless to say that would drain the battery pretty quickly and the dataset needed in the app would be pretty huge... But is it? And would it really drain the battery? More than Pokemon or the Facebook app...?

Who among you guys is a seasoned user of Charles and could run the experiment a tad further?
See my sibling comment -- I honestly believe it's describing what people already do. I'm curious what someone who's read the paper (like I have) thinks.