skysight-inc/HackerNews huggingface dataset:
Full type inference, pattern matching with exhaustivity checker, modules, abstract types, ...

But to be honest, it's not very useful to do checklist-style comparisons — writing OCaml/Reason code is a completely different experience.

For me it results in less worry about how my code would sustain under refactorings — this is one of the reasons I feel more productive with it rather than with TypeScript or Flow or (of course!) plain JS. I can start writing code and don't worry about getting everything right upfront — refactorings are cheap.
This is an amazingly honest review.
‘One more reason to use adblocker. The beauty of 3rd party scripts running on your website, hijacking people's passwords like it's no big deal.’

Yeah but soon adblock and 3rd party adaptation will reach critical mass, we will start to see, 3rd party tools integrated as 1st party (with subdomains etc) then adblocks will be not much efficient
Robo-Adviser Websites Crash, Cutting Off Access to Accounts
I hold 50% of my assets in shares and 50% in money.

I cannot decide if I should hope for the stock market to go up or down. What do the wise people of HN think?
>Switzerland is hardly homogeneous. 29% of residents are foreign born. If anything it is less homogeneous than the US.

85% of those "foreigners" are your fellow Europeans. It would be like me saying Florida is less homogeneous because some people from Utah moved there. Except Utah is further away from Florida than any country in Europe is from any other. Switzerland is quite homogeneous.
Where you will draw the line, then main ad industries will start to serve ads as 1st party as custom subdomains.

There is no way to win this fight except regulations and oversight
This looks really, really good. I’ve been looking for something like this for a while, even considered building it myself.

Javascript and Shell programs are actually pretty similar IMO. Both are loosely functional languages that can run in many different environments, with different feature sets in each. Both run from a single entry point. A lot of JS tooling could be applied to Shell scripting.

This library takes the right approach, by augmenting existing functionality with syntactical sugar for safer programming. The wrong approach is the many libraries attempting to make a “new” shell language, or a “superset” of shell. The beauty of shell programming is its portability, but that’s lost once you have even a single feature relying on non-POSIX functionality.

I like the Modernish approach because it’s just a library, but writing it can feel like writing a cleaner version of shell. The docs say Modernish was inspired by jquery, but I would argue it’s more akin to underscore or lodash in this sense.

Following the trend of shell/JS similarities, what I would like to see is a compiler and packaging system similar to webpack and npm. I’m not talking about a package manager that downloads libraries and binaries into some directory in $PATH, but rather a bundler that compiles all libraries imported from an entrypoint into a single executable shell script.
Programming Clojure applications with CIDER[0] is a really slick experience. By connecting through an nREPL port to a running environment you can capture variable values like function inputs, change and re-evaluate function definitions on the fly, and test hypotheses by calling funcs directly with whatever input you want. Not to mention the speed of prototype iteration. This has been invaluable when trying to quickly track down production bugs.

I've lately been working in Python, and even with IPython/Juptyer the workflow isn't quite as magical as Clojure's.

[0]: https://github.com/clojure-emacs/cider
Who takes calls at 3am when not on support shift?!?
Sales of stocks means that the main market movers want to liquidate their assets. Escaping a possible crash or fear of overvaluation are not the only reasons you want cash. You could also be preparing for a huge investment. Considering how privatized USA is, they could be preparing to invest in some government related action or venue. This could even mean an impending war.
Ah, I see. Indeed, I didn't read closely and missed that. Thank you.
Silly question. Why give out free money when you can starve them to death? I've heard that average American dumps lots of food into trash. I've heard that a lot of children in Africa are starving to death. Yet I don't see some real efforts to solve starvation problem, even if it's obvious that humanity technically is able to feed everyone on this planet. Yet we spend those resources on military stuff and other stupid things.

I don't really see free money working, at least because people are selfish and won't agree to pay their money to someone else.
Up. If you hope for a crash so that you can invest your other money in a dip, you are foolish to try to time the market and would probably be better of to invest it earlier and just spend more time in the market.
> I think your view of the GDPR is naive. 99% of people will just consent and that’ll be that.

Maybe, but the GDPR also has much higher fines when it comes to a data breach. So there's quite an incentive for companies to care a little more about user privacy.
We can't win this war with technology alone.

It's good the GDPR is coming on the data collection front, because the only way you can stop this fuckery is through out-of-band threat of legal problems.
Hard to disagree with the headline. Our prisons are made for punishment. Everything from 2 meals a day to charging prisoner's families for basic crap like soap, basic health care, toothpaste, toilet paper, letters, phone calls, to decades of solitary confinement. And that's what's legal and on the books. Off the books is a whole new level of barbarism, not the least of which is the prison gang system, sexual assault, etc, and there's no denying that we ignore, enable, and allow that to exist. We know how to grind out bitter, desperate, and unemployable re-offenders like no other country can.

I welcome more public activism from countries in extradition decisions that raise awareness about our shit system. Voters in the US don't care so much about this issue, so the PR helps. We are so focused on eye for an eye that we forget the real outcomes of this set up.

Edit: An honest, non-sensationalist example regarding toilet paper and sanitary pads for female prisoners in New York. "no access to clean underwear, feminine products, and toilet paper, forcing some of them to 'bleed through their clothes'" https://www.attn.com/stories/4148/female-prisoners-toilet-pa... As a US citizen, I'm completely embarrassed about this kind of thing, and this example isn't the worst of it by a long shot.
Traders use mental algorithms. Portfolio managers write up trading plans with expectations, theories and the actions they intend to take. Computers are programmed to execute some of those algorithms. There isn't a dividing line between what algorithms in the heads of humans are doing and what the computers are doing, except that the computers are doing it several orders of magnitude faster.
I never said that we can show that an asset is overvalued, I simply described what actually has happened in the past multiple times and what seems to be happening again.

The truth is that investors will always pump as much money into a stock as long as there is still a logical explanation for a positive ROI. However at some point the stock becomes so hot that the general public will also start pumping money into it (with the simple hope of making some quick and easy $), at which point the value will skyrocket even further until there is no logic explanation anymore and it becomes very difficult to justify the value in any logical way... and that's when it bursts.

Just look at Bitcoin and tell me I'm wrong...
It's a question of future economic systems, and "just give out free money" isn't much of an answer.
MemTest86 7.5 Pro Edition Crack Free Download Latest
A self-hosted solution is easier to setup than a cloud-setup... The only difference is that you don't need internet access.

You still need to connect the power cord and connect to ethernet or wifi (end regardless of whether it is a cloud device or self-hosted device you can configure wifi from your smartphone like the chromecast).
putting people out of work before there exists a means for them to have decent shelter, nourishment, and quality of life, is extraordinarily stupid.
Because you have to wwwait for it.
Yes, I strongly agree. That's why I can't wait for GDPR to come to life this May.
Yes, but the SD card may have a short life if the system writes a lot on it - so far that is the common failure mode of RPi, which are otherwise reliable.
Isn't a forkbomb the equivalent of a DoS attack though? So even if it doesn't grant any privileges or expose data, it is still part of the traditional security concerns.
13 Facts and Benefits of Coconut Oil will impressed you and How to make it
I haven't heard that claim too often.

In fact I've heard a hell of a lot of "CDOs are back and as interwoven as ever!" things. Though in theory we've learned a lot, who knows what will happen

From my understanding, American student loans can't be defaulted upon? They might be a bit too particular to hit the issues that happened with mortgages
I've been working with Clojure a lot and some years already, but only a couple of months ago really started working with CIDER. It makes everything so much nicer and it feels like the way Clojure is meant to be developed. I had some grudges about leiningen and the startup speed, but having a CIDER connection, tests ready to run immediately and a REPL where I can test my code in a buffer, writing Clojure is such a joy.
I feel as the the most successful people I know 1. have routines and keep to them (whereas most people don't) and 2. keep their routines very simple.
So what's that figure?

Go and look it up yourself if you are so excited about it, that has nothing to do with the vagueness of the original statement which was what I was highlighting.
I explicitly said that the RPI wasn't suitable... But listed it as an example of a way too powerful device that is still cheap. Just to emphasize that you don't need expensive hardware.
>> What matters for the purpose of human communication is the latter, not the
former. Success at communication trumps your grammatical errors (...)

But grammatical errors cause communication to fail. Because they introduce
(measurable) noise to the signal, which obviously makes it harder to extract
information from it.

Btw, grammaticality is another uncontroversial measure of the performance of
NLP systems that are required to generate language (like machine translation
does). There is some theory behind the idea that well-formed sentences are
inherently more intelligible, that will take a lot more to overturn than "it
works for me".

To draw yet another analogy- homeopathy "works" for some people: they feel
better when they take its concoctions. That doesn't make homeopathy
objectively useful.

>> in the context of computer science, a heuristic is a technique where you take
an optimization problem (e.g. "finding the minimum of something", "the
shortest route to somewhere", etc) which is computationally untractable and
provide a "good enough" answer which can be computed.

Yes, looking at machine translation as a heuristic is a good point. Like I say
in other comments, the problem of machine translation has no good definition.
That's because it's very difficult to define what is a "good translation" in a
formal and principled manner. Hence, we're left with heuristics like "how
close this automatic translation is to this human translation" (where the
human translation is whatever happens to be available, rather than something
chosen for its quality or other attributes).

This is actually exactly what machine translation systems do. They are made to
optimise a measure of error over examples of human translation. So GT is
actually designed to do what you say is not important, produce grammatically
and syntactically correct language, like its examples are.

In that, it fails. It may achieve your goal of "communication" but that is not
really a heuristic, it's more of a quality that you, personally (and obviously
other people too) assign some value to. But it's far from a universally
accepted measure of machine translation quality. You might say that
"communication" is a business goal whereas matching human translations is an
engineering goal.

As a P.S., I'm not "claiming" to be working on a PhD. The information is in my
profile with links to my linkedin and github :)
I'd say it would cost 5% royalty on sales assuming that algorithm was key. Ten years ago I negotiated a licencing agreement with CMU for a computer vision algorithm. I was leading an unknown startup. 5% with no upfront fee is what we ended at.
And apparently Java 10 has ,`var` keyword. It won't be long before Java has all the goodness.
This is slightly off topic, but I always thought that, if I were loaded, one thing I would do more of would be kitesurfing. Which makes me feel very lucky today (I am NOT loaded), as I already kitesurf.
I wish AWS would employ this type of thing in their support department. Currently, support tickets are worked by multiple agents but you don't get the "survey" until the ticket closes.

What do you do if one agent is great and the next agent is terrible? Using something like a HappyOrNot button on every interaction would give you a lot more information about individual agents and their interactions.
أفضل طرق ربح المال من الانترنت
"pick the solution that seems harder" genuinely seems dumb. But there are some fears that you need to push through. For me, the things I'm most afraid of are killing cyclists and writing.

Avoiding the first one is mostly a matter of which city you live in. Back when I lived in Austin, beyond buying a wide-angle mirror and being attentive, I just had to accept that if I wanted to get groceries, I would need to risk killing a cyclist. Now that I live in London and can take public transport everywhere, I can totally avoid that fear.

With writing, I often run into situations where to accomplish some goal I really care about (getting a new job, applying to mentor kids, etc.) I need to write as a means to that end. There are things I can do to make that easier, but fundamentally I do need to bear the discomfort. I think this is what the articles are actually getting at: when you have some irreducable and unavoidable barrier in front of you, then you need to be able to say to yourself "This is scary; This is uncomfortable; But this is necessary and worth it and I am stronger than I think."
What you’re referring to is activist investing, or what is more descriptively known in most cases as activist divesting. Activist groups put pressure on funds to invest in, or divest from, certain assets.

For example, my college’s endowment was invested to varying degrees in the oil/energy industries. A bunch of forestry school grad students organized a “divestment campaign” to pressure the investment office to divest from anti-environment assets. I’m not sure how effective they were in the end, but they sure made a lot of noise.

So yes, endowments/pensions/sovereign wealth funds are certainly obligated to listen to their “constituents” if you will, but only by societal contract. A big enough PR storm should be sufficient to drive investment or divestment, if enough people are emotional and aggressive in marketing their argument.
Asexual reproduction yes, but GP's point is that asexual species seem much younger, seem to generally speaking not "last" on long timescales.

Which would make sense, if an individual has great fitness they can "boom" extremely rapidly, but then any change in condition or emergence of specialised predator or disease will take down the entire population just as quickly because it has very low variability and flexibility.
Would you argue the same way if I was holding 99.9% of my assets in money and 0.1% in shares? Would you still say I should hope for the stock market to go up? Or is it related to the percentages? If so, where is the threshold?
That's exactly what it is, if not going long on human society itself. So far I've found, without fail, that everyone with a strong distrust of the stock market as something "rigged" or a belief that it's somehow an "expendable" part of investing that doesn't affect them has an objectively very poor to non-existent understanding of even basic facts of economic and business activity. Much poorer than I do, at any rate, and I don't really know that much.
Startup opportunity: Custom 3D printed dice. Pick any variation (e.g. less boring than cube). Different text and order.

Excellent swag.
It's usually referred to as an "x sigma event". A paper I really like on this is "How Unlucky is 25-Sigma?" https://arxiv.org/abs/1103.5672.
Guessing the bottom is hard. Spreading risk, like you have done, is a better idea. Maybe be more granular than "money market" and "stocks" though. There's bonds, annuities, real estate, foreign derivitives, and other vehicles too.
Thank you for teaching me the word “gavage.” I upvoted your highly opinionated comment just because that one word amused me so much.
Your response was equally vague.
It's possible to defend against fork bombs with appropriate user limits. This, not so much.
One of the great feats of social engineering that Wall Street has done in the several decades is convincing regular people that they should have their money in the stock market.

Ironically you could call this “owning the means of production”
I was looking for a 4D dice with 8 sides, just dots from 1 to 4 and couldn't find it (the same one as used in Sorcery's Swindlestones) so I'd definitely be interested.
That's not what happened in Zimbabwe.
"these days"?

Algorithms were definitely a contributing factor to the 1987 Black Monday crash (in that case, "portfolio insurance", basically implementing a simple stop loss policy by going short (through direct sales, or purchases of puts)).
I attended this talk, and it was one of the highlights of the conference for me. Mike is a great speaker and I found myself inspired to dive deeper into LLVM internals afterwards.
All You Need to Know About Infrastructure-As-a-Service
Self-hosting doesn't impose a ban on having the ability to create an optional account on the manufacturer (or your own!) servers and to do an automatic cloud backup of that config file.

Spotify is a good example of something that could work identically to what it does today self-hosted. No change anywhere, no extra setup at all, except for the fact that storing the entire spotify library is impractical.

When I talked about a more user-friendly device I meant something of a smart-home controller. Not a general purpose script that glues together some open source packages that each require a weekend of setup from an enthusiast... No, that none of those has taken off doesn't surprise me the least (that doesn't mean they are useful or that I could see myself using one, but it is not for average Joe).
There are ways to protect against a fork bomb from an unprivileged user though, you can set per-user limits for number of process or memory use. If the OS didn't provide these mechanisms then yes I'd consider it a security issue.
Indian government’s first blockchain project – Tamper proof degree certificates
I never said that we can show that an asset
is overvalued, I simply described what actually
has happened in the past

We cannot even say in hindsight what was overvalued. We don't know if an asset was overvalued in the past. Because the value of an asset lies in the probability function of the future returns. Which can never be found out.
Sadly, that doesn't help on the bullshit Chrome is apparently pulling with name resolution internally.
>Deutsch – Warum Nicht?

If you don't mind listening to a really weird drama about a hotel porter who's having some kind of psychotic episode. I'm not knocking it, but it's bloody strange.
McLaren to usher in new breed of hybrid and autonomous cars
Nominally neutral in peacetime I meant. Meaning, didn’t become a Soviet vassal, remained a democratic market economy open to the West. In practice we had to make some concessions to the East.

Also, in the Winter War Finland fought alone against the Soviets. During the Continuation War we made an enemy-of-my-enemy sort of pact with the Germans and, in 1944, wiggled out of that agreement and sued for a separate peace treaty with the USSR (as it was becoming clear that the alternative was being run over).

The terms of the treaty dictated that we had to drive remaining German forces out of the country, leading to the Lapland War as the understandably pissed Germans used scorched earth tactics as they retreated from Finnish Lapland to Norway, at the time under Nazi occupation.
You might be interested in: http://slatestarcodex.com/2014/07/30/meditations-on-moloch/
I bet MITRE will redirect you back to Apple.
Social acceptance of corruption and mismanagement
Of course this is exceedingly cool and the item itself is of good quality, but it should be said that it's possible to make your own twenty-sided dice with whatever you want on their faces, by ordering blank dice on the internet and painting your desired symbols by hand. There's also companies that can print you the diece you want.

In fact, gaming lore says that in the early days of pen-and-paper RPGs, gamers couldn't find anyone selling the polyhedral dice they needed, so they ordered instead Platonic solids used for demonstration of geometric objects' properties from school supplies retailers and filled in the numbers by hand, as above. Which in no way means that any early d20s were missing a few 1's and 2's :|
Hi, I work on Reason: To add to other comments:
One thing that ReasonML can do that TypeScript cannot do, is take advantage of the world-class OCaml compiler to generate very fast native executables. If you learn Reason, then you are also a "native developer" in a sense.
He was just trying to get it to run Nix.
>I'm skeptical that such people actually exist, or at least exist in significant numbers in places where there's actually snow.

Well they exist in significant numbers online.

>You don't need snow tires to drive safely on a snowy road. You just need decent all season tires and the knowledge of when to slow down.

Exactly. Thinking ahead to the next turn solves most problems.
Bitcoin Miners Fried in Game of Chicken
You seem to imply that I am looking for investment advice or that my approach of asset allocation might change. Neither is the case. I will simply continue to hold 50% in shares and 50% in money.

My question is what is better for me. If stocks go up or if stocks go down.
"But because everyone worries and saves a little more, and invests and spends a little less, the economy gets stuck in a downturn. Recessions are an outbreak of collective madness."

Or maybe "Recessions are an outbreak of collective sanity."
On my laptop I use Arch Linux,mainly because it doesn't get in the way installing any unwanted package or service. Should I need to configure a new laptop suddenly, I have scripts that provision the new machine exactly the way I want it in 1h~.
Another killer feature of Arch is its vast repositories of packages, I can install spotify, dropbox, skype the same way I install htop!
In 4 years of running it (and updating weekly) I have not had any major problems with updates breaking things, which is a common concern of newcomers to the arch rolling update system.

On servers I most often use debian, rigorously with unattended-upgrades enabled, for its stability and attention to security.

As a base image for containers I prefer Alpine for its slenderness and security, escalating to debian or ubuntu as a last resort when needed for exhotic packages and such.

Finally, when I setup a linux box for inexperienced users, I usually use manjaro for its ease of use and attention to the inexperienced-user-experience.