skysight-inc/HackerNews huggingface dataset:
Those are different functions. Your `g` function takes a single argument, but it's a composite datatype. It's akin to the following Javascript:

function g(args) {
return 2 * args[0] + args[1];
}

You're right that we could write either `f` or `g`, but the reason `f` is the "default" way is that it involves no extra datatypes. Consider the following:

h [x, y] = 2 * x + y

I wouldn't say this is "default behaviour" in the same way as `f` or `g`, but it certainly seems 'closer' to `g`. Similarly:

data Pair a b = MkPair a b
i (MkPair x y) = 2 * x + y

This seems very "non-default", especially since it's using a non-default datatype. Yet that datatype is alpha-equivalent to `(x, y)`.

Whilst tuples (or the above `Pair`) are isomorphic to curried functions (e.g. via the `uncurry` function and its inverse), they're not alpha-equivalent, so there is a meaningful distinction between tuples and curried functions. Since tuples are defined in the Prelude, we could do away with them (and use `MkPair` instead, if we wanted), so they're not really "built in". On the other hand, functions are (AFAIK) built quite strongly into the core of Haskell, and hence we cannot avoid them, making them, and hence the function-returning behaviour of currying, more pervasive, unavoidable and hence "default".

(Note that Haskell may at some point be less tied to functions; e.g. Conal Elliot's 'compiling to categories', among others, looks like a reasonable justification for allowing something like an "OverloadedFunctions" pragma)
I can take my maple leave or krugerrand and change that in any crash for gold/western union/money exchange shed for almost market rate in minutes. There are plenty of them. Even I take a cap that is its faster and cheaper than bitcoin.
The article is dated one year ago today. I'm honestly kind of shocked I hadn't heard about this for an entire year!
There are many interesting comments pro and con the the question. Over a recent period of time, I have had a good and thoughtful discussion with a nuclear physicists and educator about models in science. He did challenge me to look further into the subject, which I have.

My statement to him was that "All models are wrong, but some are useful". Since that discussion, looking into mathematics , experimental evidence, various opposing theories about particular areas of science, I am now more in agreement with the statement "that all models are wrong, but some are useful".

Our understanding of the universe around us is not only limited, but, we humans (all of us) get caught up in the dogmatic belief of our underlying premises. This works to limit our understanding about any area.

The tools we use to do the investigation of the universe around us are just that tools. Whether we use machine learning and computers or space probes, telescopes, high energy colliders or electron microscopes, rulers and meters, these tools are only useful to the extent that we do not ignore the experimental results.

In it very obvious that many (scientists) ignore questions that challenge their "pet" models. There are no stupid questions, just inappropriate answers. There is much data that has been collected that does not fit the standard consensus models and thinking.

Whether or not an alternative model is useful, is not the problem here. It is the immediate response of anger that you should question the "dogma" that, in the end, limits our ability to further our understanding of the universe around us.

I, personally, do not believe in major standard models in use today. I find that there are significant problems with those models in explaining the world around us and leave too many things ignored. Do I have an alternative model - No. But that's okay. I am not required to supply an alternative model, I just have to point out inconsistencies in the models and evidential data that is being ignored.

Far too often, reputations are considered more important than inconsistencies. Consensus more important than problems in the models. If a question is raised that disputes a particular model and it cannot be answered simply then it might be a good idea to look for an alternative simpler explanation.

There are ideas that are completely off the wall, but if investigated properly, we can discount appropriately and in that investigation we may find further areas for study that would not arise otherwise.

Science should be fun.
It’s from Douglas Adams’ Hitchhiker’s Guide to the Galaxy.

From this and other similar works such as Terry Pratchett’s Small Gods or Neil Gaiman’s Ameeican Gods, deities pop into existence from the pure belief of people. It’s a great literary conceit.
P2P is everyone else's server. Each peer pulls its own weight. This is different from relying on a single entity.
Obligatory xkcd: https://xkcd.com/1047/
Some people are just party poopers.
Not to absolve the whites for their (our) crimes in the new world, but please recall that the native american tribes were at war with each other and often initiated war with the whites. It wasn't all one way. Further recall that the great preponderance of the loss of life on the native american side was the result of lack of immunity to diseases brought - without malice or even awareness - from europe.
IMO discovering the interface is part of the fun :)
Can you give us a list of companies producing semi trucks with large range starting 4 years ago? All of the ones I've seen have small ranges.

Likewise, can you tell us what BYD should be praised for? They keep on announcing that they're going to compete with Tesla head-to-head with long-range high-performance cars, but the only thing they've managed to get volume on are low-performance, lower-range Chinese compliance cars. Tesla is praised for making electric cars sexy; is BYD doing that?

Third, I'm sure you've noticed that at the lower end of the US market, the Leaf gets a lot of credit, as does the Bolt.
Also IPFS QmRLfN12i51FtvsmgQfGZ91K698dBPFei3oWDAjAH17NGQ Wozniak_Steve_The_Woz_Wonderbook.pdf
Is it good for reading technical books which may have diagrams and source code excerpts?
1 (because it's a bool anyway)
> They wouldn't know what was IPFS and what was regular encrypted TCP

The extreme conclusion of state-sponsored censorship is not a black list or DPI. It is a white list. It is easy to restrict traffic to a small set of addresses that are rigorously monitored for any ability to proxy non-conforming traffic. Everything else would get dropped on the floor.

IPFS and the like sit too high in the OSI layers to combat state sponsored censorship in the long-run.

It makes me wonder what the target market is. If this ever got big, it would just trigger the next step in the arms race it is incapable of sustaining
NET Core does not work with OpenSSL 1.1
"At one point during the altercation, Ben drew a gun. ... he still had a black eye from his showdown with the director."
If that's the most embarrassing thing you ever write on Hacker News, you're doing better than me.
Here at Brazil it's mostly lizards that eat spiders similar to black widows, not birds.
Hi-Tech Problems (Sustainability EcoTech-Myths)
Well there's a thing.

You are of course correct but for a decent discussion of the issues around religion, I'll direct you to "Small Gods" by Sir Terry Pratchett. I don't think it is considered a classic by fans but for me I think it is close to being one of the great critiques about religion. If nothing else it is a damn good page turner.
Yes, exactly. Faking data (and making emotional appeals like this one) make me doubt the argument. Or at least the motives of the people behind the argument.
Heh. Ask the people in the Carolinas what they think about FEMA. While the agency eventually provided aid, it usually arrived too late, and was too encumbered with rules and regulations.
Even after 4 years, this remains my favorite, most influential article that helped me understand and feel comfortable with git. It's just a very good analogy.
True. We're talking about the prettiness and factors of the numerical values, and the terms in the original hyperfactorial don't have units at all.
Also, 10 factorial seconds is exactly 6 weeks.
If that's the case, you better start learning to use those UNIX systems soon.
Socialism as you’re portraying it here doesn’t exist, does it? Or can you provide some examples?

The model where social democracy works best seems to be the Nordic model, but this is expressly NOT socialism as you’re defining it: https://en.m.wikipedia.org/wiki/Nordic_model

So please, where’s this utopia that you’re telling OP is the answer to their problems?
Handgun safe can be remotely opened in seconds–no PIN needed
Is that the same as using yum history to roll back?
Pretty good explanation mate! No need for that disclaimer ;)
I used to work in finance and this theory makes a bunch of sense to me.

One way they could address this is to focus bundling on the content side. The scenario. PatreonX then operates as a monthly online magazine with variable content (patronize/subscribe to the creators you like). Content from creators is held until the monthly publication date. Everyone is charged for the content they patronize on publication date. Creators are paid once the bookkeeping is done. The people who use Patreon to collect funds to support other activity could issue a monthly "progress report" as their content (a paragraph or two).
OK, so far we have a Javascript and possibly C based "proof".

Could someone manage a Brain Fuck proof or perhaps ASM?
Because you want prime factors.
Apple Executive Reveals More of Its Self-Driving Technology
I would be down for sure. Self taught .NET dev but lacking a CS background so it's hard to transition out of consulting and IT. Looking for people actually driven to do this!
Disaster relief has been self-organized among local volunteers in many parts of the US for a long time, it is almost a cultural tradition. I would make the point that it is encouraged in part because it is anti-fragile; the people that live in an area often have better information and communication/resource networks, and can react faster, than the more centralized disaster management the government provides. Especially in the early stages, it provides a more thorough and robust response because it is so well distributed.

I've lived through a few major natural disasters around the country. These ad hoc disaster organizations materialized out of the community and were effective every single time. The government will often step aside, and just act in a supporting role if the volunteers have a good ground organization. In one case where I was volunteering, we came up with a shopping list of things we could use immediately to mitigate the major problems, and the state government rooted through warehouses, found what we needed in other parts of the state, helicoptered it in, and just gave it to us to use as we saw fit. We had a plan and an ability to execute it much more quickly than the official agencies.

(As an aside, during my first major natural disaster, I discovered that union regulations limit the hours the government workers onsite can put in, the conditions they can operate in, and the kinds of things they can do without regard for if those things need to be done given the nature of the disaster. These volunteer organizations are unhindered by such rules and will work their ass off, whatever is necessary. Letting these volunteers run a lot of the relief efforts and supporting them instead taking point is a way for the government to work around its own structural lack of urgency.)
Yes, I agree with that standpoint. The agile manifesto is too vague to be used prescriptive. It requires a certain amount of intelligence and wisdom to acknowledge that. It's also not able to bootstrap: you need to be grounded in the philosophical underpinnings in order to understand it.

I'd really could go on to talk about those underpinnings, saying that they are mystic and grounded in certain Western cultural ideals (that are deteriorating at a rapid pace at the moment). But, HN is probably not the right place to discuss it and it is 1 AM here.
I think he is a good example on why attempting to put people on simple "dumb-smart" axis might not be such a good idea.
(foldl (*) 1 $ map (\x -> x**x) [0..5]) == 3600*24*1000
True
Outrageous. In my opinion, the extreme partisan bias shown by CNN, NBC, and others is a great reason to have voted for Trump. (BTW, I voted for Gary Johnson.)

Democracy has no chance to survive when the news media is 'owned' by one political party.

This is a symptom of a problem, a big problem.
Watch a young Steve Jobs explain why most professional managers are bozos
Is the following scenario possible?
Just wanted to run a scenario by the community about Bitcoin price drop.

We all know that the institutional money is coming this weekend building up to the 18th. Is it possible that someone who would like to keep them away, or 'scare' the banks could have dumped a small chunk of their coins to freak out the banks? As some sort of a warning, or the message: "You guys have no idea what you're getting into"
How Vets and Their Doctors Are Getting Around the VA’s Medical Marijuana Policy
Those are the same criteria though. Any product of a bunch of timekeeping numbers is, because of all the small integer factors (which are there by design!) going to be a product of a bunch of small integers! Now, it's sort of a coincidence that there are exactly five 5's, 4 4's, etc... But that's not that big a search space in the first place.
It only started skyrocketing this week. Last week average tx fee was about $6-7. You can see the historical averages at

https://bitinfocharts.com/comparison/bitcoin-transactionfees...
Python however does provide some immutable constructs as part of it’s core language (Tuples)

It also has the ability to really take any object and attach states to it at whim, including immutability.

I think that’s a better trade off than JS
What? Verizon rolled out the bulk of its fiber service between 2005 and 2010 at which point it halted new roll outs. AT&T has been pretty miserly with it's fiber roll out until just the last year or so when they accelerated deployment as a condition of their merger with DirectTV.
Not sure if anyone else was confused, but the cruise ship is called "The World".
When I read "Who owns the future" three years ago I thought his diagnosis of the Internet's issues was spot on but his solution of compensating online creators with micropayments was outlandish and technically impossible. However, the rise of cryptocurrency (e.g. Basic Attention Token) made me feel short-sighted and I put a lot more stock in his ideas nowadays.
"It's just image compression artifact" took the crown for me.
They also had pictures of the team in ROM. You need to activate the debug switch and then jump to the right address.
Shown here: https://youtu.be/wiTlRENwbXM
History is written by the winners. When those who disfavor women's empowerment are ascendant, they rewrite the past no less violently.

Fortunately, in our era those regressive forces are a frail, unsure, and declining culture.
What an incredible waste.
OK, so `id` is basically syntax (or access to the meta-language) for a schema. Thanks for explaining that! In Lean you can certainly feel this sometimes, as you can't even write the proposition `id = id` or `id id = id`. I guess there is no escaping such mechanisms in consistent formalisms, but I've found myself running against such subtleties much more often in Lean than in TLA+, and certainly far sooner (giving me a persistent feeling that I don't really get it). For example, the entire universe hierarchy is something to be aware of from the start (even though Prop is exempted from it), and is completely accidental complexity (necessitated by the chosen formalism, but still) from the perspective of someone just interested in specifying and verifying programs. I think that in most, though not all, cases, TLA+ has a somewhat better story in that regard. For example, definitions parameterized over the domain of the entire universe are syntactically distinct from functions (even in the use-site), and access to the meta-language, required in order to universally quantify over formulas when writing theorems/axioms that serve as inference rules (e.g. well-founded induction), is done in a way that's syntactically distinct from formulas.

When playing with Lean (and I guess the feeling may go away if I ever invest enough time to become proficient in it) I feel like fighting the formalism, which works hard to maintain consistency while having formulas represent "intensional" objects (meaning objects other than true/false), which is a feature that may be very interesting to logicians, but as a practitioner, it feels like paying a high price for something I absolutely don't need. HOL should be simpler, but the Isabelle/HOL tutorials are seriously lacking, and the whole quoting system there is a lot of accidental complexity that I didn't want to bother with.
>How is this different from people trained in administering IQ tests?

Repeatability, you can do the test multiple times and expect similar results. Not identical, and outliers exist, but similar.

I am not a fan of current IQ tests as a measure of intelligence. I am not trying to change your mind, nor do I doubt you believe these things. This article is careful to distinguish intelligence from IQ test results, and the link is interesting without trusting IQ tests.

What bothered me the most was using the Feynman example without anything scientific in your argument.
While there is obviously some risk, in my experience it is very well compensated. If anything, I think an irrational level risk aversion means there are basically not enough good freelancers to go around and the demand/pay is high.

The standard formula I recommend to a new freelancer is (what-you-would-make-as-salary / 50 / 5 / 8 * 2) = hourly rate. Anything less is undercharging. So if you would make 100k in salary, you can’t charge less than $100/hour. This is an absolute floor.

If you follow that formula, you’ll be able to cover the healthcare, tax accountant, gaps between work, and other expenses and still make your base salary.

But the ceiling is much higher. For a company, hiring a full time employee is just too much risk. You have a few hours of interviews to determine if they will be a good match, and if you are wrong, it is an extremely expensive mistake. Likewise if things slow down, you’ll have no flexible capacity. Freelancers are a dream come true.

Also, in my experience, companies do not think of freelancer rates in the same way as salaries. Freelancers are not on the organizational chart as it were. Whereas standard HR hires and the attached salaries come with a load of political and ego driven baggage, freelancers are thought about more like buying a new office printer. If there is a need and the budget, the company will hire you and you might be making 3x what the project lead makes.
Ah...I see now. Socialism has failed miserably everywhere it’s been tried, but that’s not socialism’s fault! It’s capitalism’s fault! The big bad capitalists ruined it by meddling! If only socialists could be left alone, they’d finally be able to create paradise.

I’m straw-manning here, but only a bit. Not only is this cliche defense of socialism not logical or accurate, it’s impractical.

So you need a world without adversaries or people with entrenched power before you can create your utopia?

Good luck with that.
Yeah! It's great for mood isn't it!

>Just remember to wear sunscreen!

I just use extra virgin coconut oil - found a brand that doesn't make my skin go red.

Also, I cover up my face and arms (that get too much sun) and strip off to spread the sun over a larger surface area - need less minutes in the middle of the day to obtain vitamin D quota.
Banks safeguard your deposit and offer significantly more services than Bitcoin.

A better comparison to energy usage would be other distributed computing systems.

Bitcoin is insanely wasteful by design because it's requiring clients brute force guess the hashes in increasingly rising difficulty.

Computational work in cryptosystems of the future would ideally provide useful work that provides value other than brute force hash resistance.
Using bad science to influence gullible people is a great way to end up with terrible policies.
Would it have killed them to use inverted commas?
A business is often, maybe even entirely, opposed to free markets and competition. There are numerous transparency and disclosure regulations to inhibit such behavior. I'd put this in the category of fraud: deception intending to result in financial gain. The problem is politics, in particular the Republican variety, is too forgiving, or even servile, when it comes to accommodating big business fraud under the auspice that all regulation is bad, and it is regulations that inhibit free market behavior, rather than encourage it.

Strong anti-fraud and competition (anti-trust) laws are absolutely necessary to have something even crudely approximating a free market.
https://news.ycombinator.com/item?id=15888888
Tell that to the business that runs the ship.
Higher prosperity for everyone? Who are you talking about? I'm pretty sure the bottom 95% of capitalist countries are in complete poverty.
I have known many cops, correctional officers, military police, etc.

Without exception, all the ones I have known have been good, helpful people who would not harm someone intentionally. (There are obviously a few bad ones, but none that I have known.)

It's one of the hardest, scariest, least fairly compensated jobs I can think of. Thank God for cops.
they also do not know your networth, not that it matters to them.
Thanks! GUN is already a CRDT (it is a generalizable CRDT on graphs), which is why IPFS is chatting with us. Our CRDT has an emergent property of composability though, which lets other specialized CRDTs be implemented on top in just a few lines of code (take this example, of a counter CRDT: https://github.com/amark/gun/wiki/snippets-(v0.3.x)#counter ).
const hyperFactorial =
(n) => [...Array(n+1).keys()].map(Math.pow).reduce((a,b) => a * b)
While this is possible, people with dark motives are clearly incentivized more.
When you are as self absorbed as it appears some of the residents are, then the World seems an appropriate name.

It's a bloody great toy. I've cruised (wifey insisted) on some big ships and oddly enjoyed the experience eventually.
Thanks for the clarification here. I've read a lot of your comments today, and this is the first time I've understood your point.

I've learned a lot, btw... so thanks for that too.
Yes. All the time. They get annoyed. Sometimes they shout or make empty threats. Eventually they tuck their tails between their legs and run off, realizing that I have no interesting in giving them any ammo against me.
You're being extremely hyperbolic. An authoritarian dog whistle? That's not even a thing.
Compare global poverty (especially in developing economies) today to 50 years ago and tell me again about the dystopia the average human is living in because of capitalism.

If I was going to be reborn in a random country, I’d sure rather it be in 2017 than 1967, and I feel optimistic that 2067 will be much better still.
Setting Up Node.js Development Environment
Erase all kittens AMA with Dee
> This is why we need YouTube to begin with, instead of millions of people posting their videos on their personal page.

People can post videos to their own hosted pages already. We "need" YouTube because 1) people generally don't want to host anything, and 2) it provides connectedness (search, related videos, subscribers, etc).

P2P makes the first issue worse. The second issue is a problem of data federation, not client/server systems.
Liberalism went through the same period. Ever hear of the french revolution? Then the Napoleonic wars?

The same is and will happen with socialism. The status quo benefits a select few people (Monarchy, at the time), who will do their damndest to keep it that way. Eventually, enough people will rise up and make change happen.