skysight-inc/HackerNews huggingface dataset:
I imagine to make it to the real world you only need a 3d printer (that can print at sufficiently high density) using a gel substance. After that you can simply lick it and apply.
Elixir is not statically typed. Thus you lose a lot of what makes OCaml great; a whole class of errors caught by the compiler before you run your program.

I'd say the type system isn't that much of a barrier to entry. You're likely used to one from any existing statically typed language; the only new things are sum types, polymorphic types & type inference. These aren't _that_ hard to get your head round but really improve the safety of your program.
Considering that, which is why I said "and their future replacements"

Hopefully someone makes a new fbook that allows people to choose their own level of filtering / moderation / censoring. And actually gives you the chronological feed of stuff from your friends and family instead of trying to space out the stuff you want with stuff you don't and more ads.

Snapchat could stay the way it was, prioritize friends added instead of distant friends, keep the ads minimal and probably keep usage for a long time.

I still believe people needed yahoo and google more some years ago. These days more people are getting most of their online content directly from facebook (which I abhor by the way) - but I'm pretty sure that's true.

If that is true and google is giving instant answers without the need to click over to a result, it seems that it is also true that users and webmasters don't have the same need for google as they once did. Unless fbook goes offline, I don't see that reversing anytime soon.
"So long as the cryptocurrency hasn't gone already. If it has.. well whoops, bye bye money."

This was the comment I replied to. It says money and I'm talking about money.

Bank cards represent account holdership, not money. Losing a card entitles you to get a new one for a small charge. Your bank held funds are protected by law, and you can expect somewhere between 75% and 100% of your assets being covered from fraud.
Also http://longbets.org/
Since adding noise is a critical part in many neural network training models, it is entirely possible that an at-hand source of randomness is highly useful.

Drugs that reduce the accessibility of this randomness by biasing the signal pathways (or something) might be an interesting research vector.
> Hyperion decoheres

Fascinating!

http://blogs.discovermagazine.com/cosmicvariance/2008/10/23/...
It's not perfect but skyscanner.net does the first part of your description. I just did some test searches from Eindhoven + nearby airports, and it found routes starting in EIN, BRU, CRL, and ANR. By default it shows different take-off/landing airports.

Edit: kayak performs the same.
Melo-drama. Britain can better manage their former colonies without restrictions from the EU. africasiaeuro
PSA: InSight Mars probe is landing in about 8 hours
The geography matters. I did the Self driving car nanodegree and not having a US work permit pretty much took out all my chances. I did have an interview with Voyage but I didn't clear round 2 or 3 I don't remember.
World’s first gene-edited babies created in China
If nothing else, at least I learned from the comments here that most of HN seem to be working on their own competing flight search engines ;)
From my biased perspective, it could be OCaml thru Reason.

The .NET/Microsoft ecosystem is a no-go for a lot of people, and F# doesn't have functors. Being a statically typed language, you don't have something like Ruby's mixins to share code, nor do you have OO's interface inheritance. Functors fill this gap by allowing you to mint new modules out of existing modules, and is a powerful way of achieving modularity. Simon Peyton Jones critiques that while OCaml's modules are very powerful, the power/cost ratio is not very favourable. And it is true - there is a bit of learning curve, but I think it can be eased as the community grows.

For good or for bad, Javascript is the lingua-franca of computing today if adoption is any measure, and anything that goes against its norms face strong downdraft (try getting Ruby+Opal mainstream adoption). But the updraft can be useful (I'm probably the only person on the internet who don't understand React Hooks yet which was announced just a few weeks ago). Reason is Javascript++: the syntax is very close, and it compiles to vanilla JS with great interop with npm. The promise of gradual adoption I think is a good marketing lever. We'll see in a few years.

There is also Elm, which is just so good for building rich web applications on the browser. It is a language with wonderful aesthetics, clear long-term vision, and avoids importing the complexity of academic research, which is often the case in other typed functional languages.

But you don't really need to pick a language more than you pick Typed FP. F#, Haskell, and PureScript are great as well - each has different tradeoffs. But once you understand the set of features underpinning Typed FP you can move around languages with relative ease, and that's what I think matters most.
This program charges at least 1% fees. The FAQ is fairly nebulous on the max fee.

Seems like there are easier ways to get payment processing fees lowered for Ohio than exposing tax payers to currency markets.
Ricky Jay unbelievable card trick
Show HN: Real time path tracing game proof-of-concept in the browser with webgl
Ask HN: I think I'm losing my memory, is lack of sleep a cause?
I'm struggling to get enough sleep per night and find myself feeling more tired waking up than going to bed. I am getting about 5 hours or less of sleep per night. I am forgetting people and some simple facts around my situation (like the color of my car [not gold, silver] ). If I can get some sleep thearapy of some kind is this reversable? I feel like my mind has been a kind of FIFO buffer where old knowlege is being destroyed as I absorb new information. I'm on the other end of a major life change (loss of a parent) and I've had to depend on my mom for routine and a sense of purpose (elderly care). People know me and I don't know them. I was working on an ambitous project but now it seems hopeless that I can complete it with my ability to concentrate such that it is. If this sounds familiar maybe airing this out can serve as a warning to others that are going down a similar path, especially if it is too late. I'm 41 years old and suffer from a mental illness. Thank you for your perspective.
> As someone that grew up on a farm, can you explain why?

One reason is sheer hypocrisy of the country to force developing or under-developed countries to stop subsidizing _their own_ farming.
China is a country with more than a billion hard-working people. This should not be a surprise!
InSight mission homepage - https://mars.nasa.gov/insight/

Wikipedia page - https://en.wikipedia.org/wiki/InSight

Mission Control live stream - https://www.youtube.com/watch?v=bGD_YF64Nwk (in ~7 hours from now)
It should be a scandal many places inflating engagement. The amount of times my brother has left the house with a new tab open for some web site that keeps playing videos and video ads - so many place purposely inflating video and other usage just to game the advertisers - it's sick.

It's especially bothersome the fbook would be doing this considering they get so much money from ads and have so many talented maths and code people.
The problem is not whether YOU use the advanced features. It is whether someone else does.

I generally don't require any better than Markdown and for larger documents I just LaTeX.

However I am normally sent work documents with all sorts of macros from other companies (embedded forms) to fill out for things like payments, right to work etc. These require Microsoft Office. Originally when I started I thought I could get away with Libre Office. It worked at best 50% and these weren't complex macros (I inspected them myself).

None of these forms are outside the norm of what a HR department, University faculty office or most medium to large companies use.
The buyer has to pay to make the order, that's usually the case in most e-commerce transactions I can think of.

If the evil buyer convinces the naive seller to ship products without a payment being executed or a smart-contract based bond, then the situation is exactly the same with or without cryptocurrencies.... the seller must report the buyer to the police and either hire a collection agency or take some other action to recover the goods.

edit: on a second look, I think I misread your comment... are you asking about the mechanics of conterfactual transactions?

If so, the idea is that the contract is entered with the buyer signing a transaction with some form of conditional operation. One the seller ships the product, the shipping code could very well be the condition that allows releasing the funds.

There's plenty to talk about here around game theory and mechanism design, but if you are interested in the topic I can recommend some cool state-channel and plasma contracts we can go over and discuss.
Most people posting here say that the US/Canadian government should interfere here. I'd like to present a different point of view: I am relatively young, from the Netherlands and started my job a few years ago. I do not really remember the 2008/2009 bailouts. I have some savings, and I invested mostly in a Dutch ETF, which lead to a nice mix of tech, finance, Food Industry and a big oil company.

I invested a small portion of my money in GM because I did not have a car manufacturer in my portfolio, and Tesla seemed hyped to me. I considered that GM is making a profit, betting on electric cars and already has an affordable model on the roads that could actually benefit society.

I do not care wheter GM production is in the US, Canada, Mexico or China, as long as the employees are treated fairly. In fact, I would think it is unfair that GM makes a choice that will lead to lower dividends and is held back by something that happened prior to the moment that I invested in it.
> ok, but how many of these do you need?

For what? A web server (the most common application around) can use one for each simultaneous connection. They don't even have to be on the same box. A database server is limited on IO, but can use many CPU cores to speed-up things. A component on the latest "productivity" suite can probably use only one, but should require an entire one anyway, and your usual Win10 desktop has plenty of stupid stuff to run by its own, while your usual Linux desktop was already idling 90% of the time a decade ago.

It is always a matter of what are you doing. If your task is inherently serial, do you need it done only once?
Basic solution would be for seller with low reputation to lower the price. Even if not a lot of buyers take the risk, lower price should eventually attract enough people to allow a legitimate seller to build the reputation.
There are some fairly decent subs on reddit but, generally, I find it mostly populated by 15-year old kids and others who have never had a job in the industry so, no, I would not refer anyone to reddit for information.
Compiler without a Grammar...
They have no ethics whereas it is for privacy or human tests. Of course having no ethics is the easy way to get a technological advantage over others that have some. And it's going to drive all country to do the same (like how US and China surveillance drove other countries to do the same). It's sad to see the world going towards exactly the dystopia described in sci-fi : total surveillance, data about anyone's whole life, AI discriminating people in their everyday life based on those data, and soon some people stronger / more resistant / more handsome than other because their rich parents payed the prenium gene editing package (and how many failed-babies experiment to get there ?).

But people are happy about it because less terrorism and less diseases right ?
I recommend Scott Adams’ advice.

If you want an average successful life, it doesn’t take much planning. Just stay out of trouble, go to school, and apply for jobs you might like. But if you want something extraordinary, you have two paths:

1. Become the best at one specific thing.

2. Become very good (top 25%) at two or more things.

The first strategy is difficult to the point of near impossibility. Few people will ever play in the NBA or make a platinum album. I don’t recommend anyone even try.

The second strategy is fairly easy. Everyone has at least a few areas in which they could be in the top 25% with some effort. In my case, I can draw better than most people, but I’m hardly an artist. And I’m not any funnier than the average standup comedian who never makes it big, but I’m funnier than most people. The magic is that few people can draw well and write jokes.

It’s the combination of the two that makes what I do so rare. And when you add in my business background, suddenly I had a topic that few cartoonists could hope to understand without living it.

https://dilbertblog.typepad.com/the_dilbert_blog/2007/07/car...
The third gender of southern Mexico
Is this solution compatible with contemporary mechanized agriculture ? Seeding, spraying, harvesting by machines ?

Otherwise, it's like finding an automobile manufacturing improvement that can only be used with hand assembly. Besides Rolls-Royce, it won't help anyone.
But it's all peer 2 peer
The anonymous blogging site, Posteezy, launches a white paper for its token PSTY
You're doing work for google, so you can invest in google products more?
Have you seen https://www.spec.org/cpu2017/results/res2018q3/cpu2017-20180... from back in July? There are more submissions as well if you want to browse around a bit.
>What's different, though, is that China is now looking outward. In the past, China was mostly concerned with itself, it has now learned that it can't afford to ignore the rest of the world.

There was opportunity to learn this lesson before. Why is it different now?
I have little sympathy for the position that users just need to be not stupid and do things differently like they have been told to do for the last 20 years and yet have never done.
Because Stack Overflow is for asking a specific question that can generate a specific solution or answer. This is spelled out in "The tour" and the Help Center which no one ever reads. Then they complain when their question gets closed as if they were never told--even those who are told, don't read the link they're given to the above topics, and continue to complain anyway.
I'm currently looking for the language and framework to use for a project, and I'd like to go with a functional language.

I really, really want to do my next project in Ocaml, but... I find the ecosystem seriously lacking. You find Ocaml libs for a lot of needs, but a lot of those a unmaintained and have their last commit a couple of years ago. I'm afraid that choosing Ocaml would mean spending quite some time on libraries I need, and less on the app I want to develop.

There's F# and the SAFE stack, but I don't feel home there. A lot of docs/libs still are (or have quirks due to having been) Windows specific, and joining the most popular f# community communication channels requires you to join the F# Software Foundation....

Then there's Scala, with functional programming and access to Java's ecosystem. But I prefer the ML style of Ocaml and F#.
Someone changed the title, it's actually "The World, Built by China".
> Primarily: the need to get around in whichever city/area you are in once you get there. [...] If I had a high speed train to get between Kansas City and Houston it still wouldn't do any good because you need a car to get around when you arrive.

That's probably true (modulo taxis, even if you rule out public transport), but it's just as true when you fly from Kansas City to Houston. Which is why airports always come with car rental, and it works out for those who want a car. If a car is really needed at the destination, arrangements could and should be made to have car rentals available at the train station.
How to super-charge your job-search with analytics and tracking tools
Rust is a very different beast when it comes to development speed. When compromises must be made, its design decisions always favor runtime speed over developer friendliness. That results in rather unwieldy APIs compared to the alternatives in dynamic languages.

As a replacement for C/C++ this makes perfect sense, as a replacement of JS/Ruby/OCaml, not so much.
SO doesn't use a ranking algorithm.
None of the previous conversations had any comment here.
This article is very good and OCaml is an excellent language that is underappreciated (IMHO). I have used Caml-Light when I was student and I loved it.
Let me know when it gets a trip planner and has a mapmaker alternative.
>I can't really blame them. Their moves are very rational as an actor on the world stage and in many cases their involvement is also helping the locals (many of which have miserable lives, as-is).

Indeed, as a strategy it is as straightforward and rational as it can be.

When it is a detestable communist party that continuously follows upon plain, and rational strategies, and Western civil states can not despite their best efforts, you begin to question the rationale for living in the West.

This in big part was the reason for my move to China. And the constantly growing expat community in China is the proof that I am not alone having that idea.
You could also view it as China blowing a 2,000 year head start and now working to catch up.
They also dropped a seemingly random-named tool/service ("sedlauncher" and I think "sedsvc") in
"C:\Program Files\rempl" (not the Windows directory as one would expect) that looks pretty malware-y to the point where even a community moderator on the MS forums called it malware [2] but is legit [1], and Win 10 has dozens of new services running (and likely having new ones added with every unavoidable feature update).

It also randomly creates a new service matching the name of an old service + a random changing hexadecimal suffix, and I apparently have Skype running on my gaming rig. As is, I don't consider Windows a defensible platform.

I have the feeling that everyone just keeps slapping features, services and more telemetry onto Win 10 left and right with little coordination. Would be funny if some government agency just told Microsoft "now give us a complete list of all telemetry" - I would be surprised if MS could do it (with any reasonable confidence that the list is actually complete).

[1] https://support.microsoft.com/en-us/help/4023057/update-to-w...
[2] https://answers.microsoft.com/en-us/windows/forum/windows_10...
> Now, when the West wasted itself on two decades of useless "wars on X,"

The West hasn't wasted itself on such any more than China is presently wasting itself on wars on X. Your premise falls apart when you look at what China is doing. China currently has equivalent wars going on against: drugs, porn, jokes, speech & expression broadly, homosexuality, neighboring territories, Islam, all forms of protest, worker rights, political activism, privacy, social rebellion, journalism and news.

You know the Chinese war-on-all-things has gone wrong when the Communist Party is disappearing Marxist students who are activists for worker rights.[1]

Or consider just one recent example [2] of their long war on porn. Offering $86,000 rewards for citizens to rat on their fellow citizens regarding porn:

“I'm not going to work today,” wrote one potential porn-buster on Weibo. “I'll look everywhere for materials so I can report anyone who I find disagreeable. There’s money to be made in reporting, so what am I doing working myself to death?”

"In August, the 27-year-old founder of video app Hot TV was served with a 7-year prison sentence for hosting 1,579 illegal videos on the platform, 28 of which were defined as pornographic – that’s one year in prison for every four indecent videos."

"On Friday People's Daily, known as the mouthpiece of the Communist Party, published a glowing report on (mostly retired) members of a community in the Chinese city of Chengdu that spend 90 per cent of their day snooping around their neighbours' backyards and propagating the “Clean up the Pornographic, Strike the Illegal” campaign."

[1] https://www.npr.org/2018/11/21/669509554/in-china-the-commun...

[2] https://www.abacusnews.com/digital-life/china-offering-it-ci...
For me, the question of consciousness is more than a question of pure mechanism. The mystery for me is the particularity/locality of experience. It's one thing to say that we have encountered these thousands of clocks, and here is exactly how they work (mechanism). It's far more mysterious to find one's entire experience suddenly located at the epicenter at one clock in particular - with seemingly no access to similar experience of other clocks. The issue of particularity is the real problem for me. And I can't see how claiming that it is imaginary helps - it's my most convincing experience.
There was also this concept of a telescope beyond the Pluto orbit using the sun as gravitational lens..
Your assuming a 3rd party is bad - commodity trade would not work without third party's validating that that ship load of Copper really is the xxxx tons of copper you paid for.
>I still don't understand what problem decentralised currency is supposed to solve.

The problem(s) that proponents hope decentralized cryptocurrency will solve have grown and evolved. So far, Bitcoin doesn't seem to fully solve them but these are some of the bullet points the idealists want:

(1) real (not nominal) "buying power" wealth protection : A currency that government couldn't inflate seemed to be the original and biggest motivation from the perspective of Satoshi Nakamoto. The genesis block[0] of Bitcoin has an embedded comment about government bailout (debasement) because of the 2008 financial crash.

(2) transactions of buying and selling without intermediaries: The charitable version of this scenario would be sellers accepting payments without paying fees and rent to bank-owned networks like VISA/Mastercard. Or transfer funds between accounts without bank wire fees. Sellers can also sell controversial items without being "approved" by companies like PayPal or Stripe. (What some call "censorship" or "deplatforming" by denying access to the payments infrastructure.) The uncharitable version of this scenario is buying & selling illegal things like drugs on Silk Road.

(3) privacy of transactions: This is somewhat related to (2) because of no intermediaries. If a shopper uses Google Checkout, Amazon Payments, Apple Pay, or VISA/Mastercard to make a payment, that information can be used against them. This doesn't necessarily have to be illegal drugs. Some people are worried that buying a legitimate item such as a certain book can be unfairly used against them. The age of pervasive data collection and machine learning means buying "50 Shades of Gray" could result in insurance companies charging you higher rates or employment background checking firms lowering your "hiring" score. The Chinese "social credit" system using pervasive data about its citizens might be an example.

(4) bypass government currency controls: citizens of restrictive countries like Venezuela want to protect their savings from corruption by converting it into a cryptocurrency. This is related to (1).

(5) universal basic income : I just threw this last one in here because HN front page sometimes has a proposal to use decentralized cryptocurrency as a way to implement UBI.

I'm skeptical of cryptocurrencies promises but I wanted to try to fairly lay out its aspirations. Are there any more I missed?

In any case, different participants of cryptocurrency have different priorities as to the benefits of decentralized trustless currency. Some prioritize wealth protection more than censorship-free payments. Or vice versa.

[0] https://en.bitcoin.it/wiki/Genesis_block#Raw_block_data