skysight-inc/HackerNews huggingface dataset:
> All computers ask is for semantic precision and you don't need a static type verification to get precision. So clearly static type verification is unnecessary for producing programs that work

That's a bit contrived. No matter which language you write in, at some step a type check will happen. For dynamic types its at runtime and for static types its at compile time.

> And clearly statically-typed everywhere PLs are asking the programmer to do extra work. That's prima facie true. So the burden is really on the MLer/Haskeller to prove that that extra work is giving overall delivery throughput to the programming team. Maybe it is, maybe it isn't. But I'm waiting for the clearly thought out justification. Haven't heard it yet.

Here are just a few of the real world accounts of using Haskell in production, you can check out:

- The Joy and Agony of Haskell in Production: http://www.stephendiehl.com/posts/production.html

- Haskell is Not For Production and Other Tales: https://www.youtube.com/watch?v=mlTO510zO78

- Production Haskell - Reid Draper: https://www.youtube.com/watch?v=AZQLkkDXy68

If these didn't convince you, there are tons of Haskellers that will attest that the type system in the long run has quite substantial benefits.
It uses `electron-builder`, which has rpm support. I don't think it would be that difficult to add in a pull request, might do it myself later. (I use Fedora, with SELinux and Wayland and all that good stuff)
Doing this whole thing on Twitch has been one of the best decisions we've made this year. Thanks so much for your feedback Avi.
Both minimum and maximum levels of comfort (bread & circuses).
Quite possible. How about importing the Scrabble dictionary? Looks like there are implementation on Github that's easily <1 MB.

Loved the game, btw.
the nice thing about bitcoin futures is no conatango, no risk of key loss/theft.
That's me, I feel like the best decision we made on the homepage was the bernie sanders photo. Really ties the whole flow together.
Ahhh ok! haha yeah I was going to say :)
On cold days I dress for what's comfortable when my blood gets moving. Which usually means freezing my ass off for the first 5 minutes of the ride. It's like taking a cold shower: you never want to do it, but afterwards you're always glad you did, you feel fresh and invigorated.
Yes.. even if you figure out a perpetually unbiased system to do the fact-checking and labeling, uneducated people will still be manipulated into distrusting the labels. Fact checking organizations already exist and people still think Fox is a beacon of truth.
I recently set up a mail server with DKIM, SPF, DMARC configured correctly. After spending a day fighting with major email services to not mark my emails as spam, I really saw the value of email service providers. But the damn prices...

Are there any alternatives to traditional email that could potentially replace it in the near future?
> SELinux means you are getting the people who value security

Proper, very strict sandboxes implemented with seccomp & friends are much more secure. You simply block the large majority of system calls.

Surprisingly, they are often easier to set up.
Mercenary Rapport
As a marketer, one of the issues I run into is to subscribe someone, who filled a contact form on my website, to an email automation series (usually to nudge them towards taking an extra action while we scramble to get back to them). Problem is, once the user filled up the contact form to make an enquiry, he is unlikely to go to his/her inbox to confirm... a subscription link.

I do think double opt-in is the way forward (as outlaid in the article), but having that single opt-in option for some special cases is necessary from a business point-of-view.

Overall, pretty good compromise by Mailchimp.
No. Productive programmers get more important shit done (even if it looks
like unimportant thing).
Thanks for taking the time to reply. It seems like this would be worth a write-up!

Perhaps something like this can be scripted; if it becomes polished enough it could be recommended as a part of every VPN setup.
So maybe articles should include something like:

"The D-Wave system uses quantum annealing, which utilizes quantum effects to solve a select few problems much faster than traditional computers. However, it's not as flexible as a universal quantum computer, which could solve a much wider range of problems, including the prime-factorization problem at the heart of modern cryptography."
> Lots of valid code, won't pass the type checker. That is the problem with static type checkers.

I fail to see this as a problem. It's pretty much a feature, just as you don't expect object oriented languages to tolerate any shit you throw at them when you use the OO model.

> I just don't think static typing is the silver bullet that many of its proponents think.

You're the one making the case here, before answering it.

> Haskell e.g. is just terrible at doing numerical work

I've had good experience with https://wiki.haskell.org/Numeric_Haskell:_A_Repa_Tutorial
It had nothing to do with annoyance. The real reason for separate lanes is safety. There is so much attention for traffic safety amongst the Dutch, especially towards kids in traffic.

50 years ago traffic in the Netherlands was not unlike the US now. Until in the 70s an action group called Stop de Kindermoord (“stop the child murder”) succeeded in getting the government to pay attention and make a turnaround. I remember this from my own childhood. Many kids died in traffic accidents.

The attention to the safety of children is still present today, more bike lanes are being bult, kids need to do a traffic exam (on bikes) in 7th grade, existing roads are being remodeled for safety.

https://www.theguardian.com/cities/2015/may/05/amsterdam-bic...
Upgrades of Linux distributions typically are actually upgrades and if they're not, you'll find a not-shit upgrade path somehow, be it by switching to a different distro or to a different flavor of the same distro.

With Windows, it's very much arguable if the upgrade from 7 to 8.1 or to 10 is beneficial (or even legal for you to do, thanks to the increased surveillance) and if you dislike this upgrade path, then you can't easily switch to the next operating system, run all your same applications and continue using most of your configurations and scripts.

There's also still a monetary cost to upgrading Windows.
I am a nihilist and don't really think that this will affect my life. I suppose that is most of my reasoning in not worrying about things like this.
Edit: Messing with it now will affect my life due to the proximity in which I live to Yellowstone. If the park gets messed up and tourism declines, my local economy will take a huge hit. That is something that can happen in my lifetime.
You don't see the Russians attempting to influence the US elections via social engineering as a problem?
I don't trust them, it's just that I can use them. The real problem is requiring a smartphone.
In the past I've used the Google page translation code: https://translate.google.com/manager/website/?hl=yi

It works pretty good. There's no way to tell if it's 100% accurate, but its nice to offer the feature to your visitors. However, I ended up removing it because I just didn't have any room for it anywhere on the website anymore, as it is pretty much on a page-by-page basis, and the majority of my visitors are English-speaking anyway.
Yeah ppl who keep predicting bubble need to hang it up and just admit they were wrong.
Either I'm dumb or the guide on https://www.wireguard.com is awful.

I have a VPS with StrongSwan installed, through which I connect when I need to access the internet with my server's IP. Basically, a poor sysadmin's VPN. I've heard of WireGuard, why not try it out?

Now, the installation page seems pretty easy to follow, and I guess (though it's implied) WireGuard has to be installed on the server.

Then the Quick Start page shows a list of routing commands, where am I supposed to run them? On the client or the server?

Or, quote:

wg set wg0 listen-port 51820 private-key /path/to/private-key peer ABCDEF... allowed-ips 192.168.88.0/24 endpoint 209.202.254.14:8172

What are those IPs? What's that private key file?

How the heck do I install and use it?

Also, the side-by-side demo doesn't load on my Safari.

I'm fine RTFM and man pages, but I don't see the point of a quick start guide if it's totally cryptic for anyone that has never used WireGuard. Just tell me to RTFM and I won't bother with this guide.

I guess I'll keep my StrongSwan installation, has been working without a hitch for a while now.
One alternative is Fareportal, which has a full featured API for flights with both search and booking ability. https://www.fareportallabs.com/Home/DownloadDocs#0

I'm happy to answer questions as I'm helping several companies switch over to Fareportal at the moment.
Thanks! Google Docs can read your content on the server, as proven by https://motherboard.vice.com/en_us/article/zmz3yw/why-is-my-....
It is not random, it is about money. For example see Magnitsky Act.
Would be nice to have some sort of do-not-call list equivalent for email mailing lists, or at least something that forces double-opt-in on the receiving end. Too bad we're not MailChimp's customers so they could care less really.
For anybody looking for an alternative, there is Fareportal, which has a full featured API for flights with both search and booking ability. https://www.fareportallabs.com/Home/DownloadDocs#0

I'm happy to answer questions as I'm helping several companies switch over to Fareportal at the moment.
I suspect they would use different IP addresses for deliverability depending on a single or double opt-in subscription in order to manage that risk. That would be the sensible think to do at least.
Hash, Hack, Code: Emerging Trends in Cyber Security
Interesting point mentioned about the Tahoe-LAFS remote there:

>Tahoe-LAFS does not support removing data once it is stored in the Tahoe grid
Ha, I'd have to get a golden parachute to work there. Some SJW googler would try to scalp me within 30 minutes of me saying the problem with policing in America is the lack of secret police. And the problem with airport security is that it's reluctant to embrace differential scrutiny.
It's not a question of wether something might break, it's a question of when will it break and how long a new introduced bug might be undetcted, that could have easily detected by some tests? Bugs always happen in projects, if someone says otherwise, he either proved his program to be correct (e.g. in COQ) or is wrong (and sometimes both :).
Explain Like I’m 5: Zero Knowledge Proof (Halloween Edition)
Check out Fareportal, which has a full-featured API for flights with both search and booking ability. https://www.fareportallabs.com/Home/DownloadDocs#0

I'm happy to answer questions as I'm helping several companies switch over to Fareportal at the moment.
I'm sure I left cash on the table, but I was too late to the game to have really made a fortune on this stuff

says everyone who has ever heard of bitcoin (except the lucky few who mined and or bought coins early and still have them). A $5000 super-duper giga-hash miner barely breaks even, takes forever to ship, and and in a year becomes a paperweight.
TensorFlow: everything to all people.

Eager is actually not as innocent as "open-source projects borrowing the best parts from each other", as some commenters here suggest.

Google is attempting to dominate the machine-learning API and the Python ecosystem for scientific computing.

The company that controls the API influences which apps are built on it and how. Think about how Google bundled Android services on top of Android, and how that posed an existential threat to other companies. That's what's coming for TensorFlow. Many developers are too naive to realize it, or too short-sighted to care.
Also harder to implement. With letsencrypt you prove you control the domain and the DNS. How do you prove you control software?
Ask HN: Help me choose the best syntax for a new language
Hi HN friends,

I have a hard time deciding between the following options for variable scope syntax. The language is supposed to be very easy to learn.

A) Local variables start with `@`.

Pros: Easy to identify global and local variables. You have easy access to global variables inside a scope.

Cons: Users have to learn variable scope from the start.

Example:

<set var="x">3</set>
<scope>
<set var="@x">4</set>
Local x is <put>@x</put>.
</scope>
Global x is <put>x</put>.

Result:

Local x is 4.
Global x is 3.

B) Local variables silently overshadow existing global variables.

Pros: Easier to learn (no more `@` in the syntax).

Cons: You loose access to the global `x` -- the only way to access a global variable is to make sure it has a unique name.

Example:

<set var="x">3</set>
<scope>
<set var="x">4</set>
Local x is <put>x</put>
</scope>
Global x is <put>x</put>

Result:

Local x is 4.
Global x is 3.

C) Reversed system: use `@` for global. I personally don't like this because there would be too many `@`.

D) ... Any other suggestions?

Thanks :)
Weird. What browser and operating system are you using, and which locale/keyboard layout? (Not sure which of those matter, but it works fine for me.)
On what terms? Sure many trees, plants, animals, and humans will die in a super volcano eruption. But the resulting ash will help enrich the soil for a decent fraction of the entire country. There will be a huge carbon sink as entire forests are buried in ash, soil will receive additional minerals, and a light loamy soil will result. California for instance has excellent soil (class A good enough for even more challenging crops like strawberries) because of a large previous eruption.

So sure in the short term (years) no eruption is good. But in the long term there will be poorer soil, or a huge amount of energy/chemicals consumed to keep the soil usable.

It's far from clear that it's better for the ecosystem to stop a volcano (or supervolcano). What's next stopping earthquakes? Keep plates from moving? Stopping erosion? Preventing rivers from migrating?

Mucking with nature to prevent the natural cycle of life has gone pretty poorly so far. Floods are getting worse, rivers are moving faster, coastal cities are losing their marshes, cities on rivers are at a higher risk than ever of flooding.

Check out the updates on Mt Saint Helens area in the post eruption documentary. It's quite vibrant and recovered much faster than scientist expected.
> divisive social and political messages

If the actor is a foreign government and the intent is to destabilize a country thats ok with you?
I would say that we can do something about it... we can hedge our bets and we can be smarter about how we direct our efforts in the time we have.

I have recently started to evangelize panbioticism and project which seek to seed the solar system/galaxy with terrestrial life.

Even if humans can't become self-sustaining outside of Earth before we get wiped out by something, I believe that we can give our genetic family a chance by sending out clusters of small probes of primitive AI and primitive organisms which can maybe evolve elsewhere. Also by storing a vault of our knowledge and storage for embryos for ourselves and as many diverse species as possible. We could build that and land it on a moon outside of the radius of an expanded sun with a beacon to help it be found.

Any of these things is absolutely feasible and would give life a better shot in the future. Here is Dr. Michael Mautners website for the Society for Life in Space (SOLIS)

http://www.panspermia-society.com/
I don't think that it would. How much energy would we have to extract to make sure it is not a threat? The article states that 6GW of heat is already leaking from Yellowstone. How much impact can we really have pulling another 6GW? The article may be to brief and I need to do more research into the topic but is there some amount of energy that must be extracted to put the chance of an explosion into an acceptable range?
Also https://www.amazon.com/Math-Gene-Mathematical-Thinking-Evolv...
Modded down to -4. Apple's PR operation is on the job.
One choice could be Fareportal, which has a full-featured API for flights with both search and booking ability. https://www.fareportallabs.com/Home/DownloadDocs#0

I'm happy to answer questions as I'm helping several companies switch over to Fareportal at the moment.
I don't get you. You chose a secure messaging platform that you don't trust?
StreamData: Property-based testing and data generation for Elixir
Even if your false equivalence were true, maybe both are bad?

It's funny because this whataboutism is exactly the kind of thinking that Russian bots are accused of spreading.
> How well does it overcome firewalls?

I don't believe this is something wireguard cares about. It looks like they're aiming for doing in-kernel build-your-own routing VPN solution for servers where the networking is completely within your control. If you need a solution for privacy / working around provider limitations, then other software may be better.
Mortgages, too...
Again, this isn't a new problem and it's actually better in Windows 10 than it's ever been as far as choice.

If the problem is choice, not that the telemetry gathering exists then everyone really needs to reframe their argument because everyone complains first about the collection and then second about the inability to turn it off.
"What is the solution? I would rather have automated drone armies in the hands of the US government than anyone else"

Wow
Have you considered getting a life instead of soliciting one from strangers on the Internet?
Don't most other providers already do single opt-in by default already anyway? Really, MailChimp is just sinking to their level. It's not all of the sudden worse than alternatives, right?
Cheeky but my girlfriend runs a website translation service. She normally focuses on AirBnB listings but handles many other kinds (English/French/Spanish)

https://airbnbtranslation.com/
As a long time econtalk listener I am kind of disappointed with this week's episode. I don't feel like they really elaborated beyond "we should have permissionless innovation"
Mixed feelings, some of them maybe unpopular:

1. Careful with anything that Greg KH prizes.

2. Written by zx2c4 who is very high on my 'who I can trust' list.

Since #2 greatly over-weights #1 can't wait to try WireGuard.
That is a naive thinking. If US has a defense system against nuclear weapons but you can attack it via social media the error is on the US side. US is not an exception and had also attacked a lot of countries before via different strategies.
Thanks for the feedback. Indeed there are the wg(8) and wg-quick(8) man pages, and probably you should read the whole _front page_ of wireguard.com, namely this part -- https://www.wireguard.com/#conceptual-overview -- which gives some important conceptual overviews to learn what's going on. Probably if you don't have the conceptual overview in mind, the quickstart won't make much sense; this may indeed be a fault in the writing presumptions of the quickstart.

The side-by-side video puts this -- https://www.wireguard.com/talks/talk-demo-screencast.mp4 -- in a <video> tag. I'm a kernel developer, not a web developer, so if you have a suggestion on how to fix it in your browser, I'm all ears.

With all that said, we probably should rewrite the quickstart page to be a little more intuitive and "quicker", so that people can get an idea of what to do without having to understand or think about anything... Maybe a better approach for that might be: "Here's what you do on one side. Here's what you do on the other side."

In any case, I guarantee that learning WireGuard is faster and simpler than learning StrongSwan or any IPsec things.

After the Netdev conference, which is next week, I'll allocate some time to improving documentation. Thanks for the feedback here, and sorry for the frustration.
A major target of a lot of these efforts are white men over 40. If your prescription is a better education system, it will take years before it starts making a difference.
Nothing in particular, I just already have a server set up with a good amount of storage because I didn't want to pay year-to-year for something like dropbox to save photos and videos to.

I'd also be interested in getting the documents to appear in my Nextcloud and vice-versa.

At the end of the day, it's mostly about having everything in a central location with a good set of backups in place.
An Equilibrium of No Free Energy
About your edit: precious information, thanks!
Yeah, it does that in Firefox, sorry about that. It works in Chrome.
people do, but they often lose money and you never hear from them (except for the rare instances where some make money and then they don't shut-up about it)
I don't think anyone is implying that the ads themselves constitute a crime. The issue is that a foreign power attempted to manipulate the public in a certain direction.

Your assertion that "the media" intentionally tries and turns groups against one another is pretty sweeping. Certainly certain advocacy groups attempt to paint their opponents in a bad or even dishonest light, but this is far different than a foreign government trying to manipulate Americans.
Sorry, but could you go into a bit more detail on how triggering a bot check is supposed to help get past the irrelevant results? I'm not sure I understand.
SendGrid for transactional email, https://myemma.com/ for newsletters (although I don't think Emma do double-opt-in by default).
It's not at an article level, it's at an institution level. If an institution is known to publish misleading article with half-truths or non-truths, a rating which indicates that (and links to a list with examples) would be beneficial. Institutions that want to be seen as credible will strive to be accurate and fix any mistakes.

There are definitely problems with this, but the idea that we just need to fix our education system seems like just as much of a cop-out to me. The problem is hard, it plays into human cultural and cognitive pitfalls, and affects smart, well educated people too. It's not just a matter of education.
I didn't understand why they need an ICO for a fancy paper wallet, but from the whitepaper:

> Each Fiat cash bill explicitly states the nominal value in Ethereum, but the FCB will only exchange Fiat cash for Fiatcoins and viceversa. The nominal value in Fiatcoins is given by the FER [FTC to Ethereum exchange Rate].

It looks easy to manipulate the FER and keep it near 1 to 1, while the real value of the FTC has a 30% haircut (or is negligible). [Hi from Argentina, where 1USDollar = 1 ARGPeso = 1 BsAsPatacon until they don't.]
"Bullying" would be "you can't say anything negative". As I already said, I've seen reviewers say negative things and still get devices. There's a difference between saying negative things in a review, and writing an unfair review.
but commodities are much more volatile than stocks though
I think you might be misunderstanding. You're seem to be talking about how much coverage is required for utilities. The person you're responding to appears to be specifically talking about the (lack of) guarantees for uptime, recovery, etc... for someone who already has service.

In the US, required coverage mandates are up to individual states to set and varies.
It's on by default in 8.1, 8, 7, Vista, and XP. It's also on by default in Office since XP.

When was it optional?
Thanks, I hope I've given you some constructive criticism and wasn't too harsh.

I'm really interested, I hoped it was something I could install quickly and easily at 10pm before bed, I guess I'll study it better during the weekend and compare it against StrongSwan.
A few more alternatives:

- B, with an explicit syntax for accessing the "global" x. For instance, ::x, or global::x.

- B, with a compile-time warning or error if you shadow a name. This would be my preferred alternative.