skysight-inc/HackerNews huggingface dataset:
You can close all of those. You can have large amounts of your verifier itself be verified. You can verify the CPU design (hardware people tell me this used to be standard, and a lot of the formal methods community has roots in verifying hardware).

What you can't close is the language that you use to do all the verification in, itself. You wind up with a core calculus that you have to stare at really hard and trust / prove via other means.
I want to go long on a component paradigm that targets the web (server or client rendering) and native iOS/Android views, only one framework has strong support for this (React). It speaks highly of its design
What is a good resource for learning databases in general (besides just queries) and then focus on PostgreSql?
The katakana words are often English, but it still takes some time to realize that to-re is 'toilet'
So, Twitter is down...
I have been hoping for this move, and then Google using Kotlin for Android. They made the smaller step of officially endorsing Kotlin which I think helps, but acquiring Jetbrains and opening the entire Intellij would be huge for the developer community, Android, Kotlin, etc...

Of course that assumes Google doesn't drop support a year later.
Tones are tricky in Chinese, on the other hand, there is no conjugation which I really appreciate.
Which just means that taste is a function of a person. Or, approximately, a function of all the data you have on them.
Ask HN: Are web/mobile devs really significantly moving away from MacOS devices?
> I think you should evaluate any language and platform for your needs, and rely less on internet popularity scores.

A solid advice, but not very practical in this age when there's too many language-framework combinations to take them all for a spin. We just have to rely on other people's opinions and surveys. Your summary of Dart strengths is valuable in that sense.
Western Governor's is online, accredited and relatively inexpensive: https://www.wgu.edu/tuition_financial_aid/tuition

On the other hand, a lot of the quality of an MBA program is the connections a student makes and the relationships the student builds and the high price of some elite programs is a filter on the financial status of students and in business terms, knowing people with money has some upside relative to knowing people without.
Our experience with a Google Meet (formerly Hangouts) is that it is almost always good but during any given 30 minute meeting the audio will drop out for one person at least once. It breaks up the flow for sure but isn't a deal breaker.
The drug war has failed. Legalize all drugs and tax them. Spend the tax money on rehab, schools, and public universities. We are just propping up drug lords in Latin America to feed our insatiable demand for drugs.
Server-Side Rendering and Code Splitting with React-Router 4
Paedogeddon
US made such a phenomenal win with cheap gas that Europeans still mis. Exposure to cheap energy EMPOWERED people across vast country. Robust chevy v8 powers everything for decades and still going strong: from cars, trucks, boats, generators - you name it.

This came exact opposite in the old continent. The fact we drive efficient lawn mowers is just a sad testament for this failed energy policy.
Ask HN: Cheaply deploying CNNs on embedded devices
Is there a good way to cheaply deploy a CNN on a embedded device, such as a robot? Perhaps, are there cheap, arduino-like micro controllers with GPUs that are powerful enough to work for sophisticated models?

I guess the standard way is to make calls to some server that forward propagates the models, but that has its obvious pros and cons. I would like to have the benefits of on-device in real time.
Best movies every entrepreneur and startup founder should watch for motivation
I keep a curated list of a bunch of interesting quotes I find here. When I'm not quite feeling like working but don't feel like descending to Facebook or YouTube, it's a great read.
I'm sort of intrigued at your belief in the existence of "social action" that somehow manifests without any individual doing "anything" to "help". As if it is some sort of ontological force that exists independent of the individuals participating in it?
Twitter is broken for some users but status page shows everything is fine
IDK about helping the species but maybe contribute to open source software in one of the following?:

Disaster Management Software
EMS Software
Assistance software for the blind,deaf,etc.

Of course, not everything becomes magically better from software's involvement. There might be some good opportunities in robotics, robotic medical care and elderly care especially come to mind.
I'd say that HN seems extremely interested in the wellbeing of humanity. That's all anyone talks about. The disagreements are over what methodology is most likely to reach that ends.

My guess is that parent sees comments that recommend a different means to the same end we all generally believe in, and views those as disregard for humans.
OK done: we move to self signed certs.

- Someone connects to wifi.

- The wifi gives a DNS server.

- The DNS server says some IP is foo.com.

- foo.com isn't actually the foo.com you expect [1], but it's got a self signed DV cert so you connect to it, and give some bad person your data.

That's why we don't more to self signed certs.

[1] Of course, if you want to assert foo.com is actually the 'Foo, Inc' you were expecting that's a job for EV.

Disclosure: I made https://certsimple.com that focuses on simplifying the identity verification process for EV certs.
> I'm guessing the probability for death is far higher, or rather, the public safety benefit greatly outweighs the tiny cost.

The tiny cost? First, its a tremendous cost!
Why allow any 2 types of cars with different safety features? If safety is paramount on a car, then we should only one model: the safest.

Second, the probability of death varies wth many activities. For example, biking is very dangerous in SF. So are many outdoor activities like mountain climbing. Or diving.

There is a case for the seatbelt because when people die in a car accident, there are externalities, but forcing the seatbelt to protect someone is a paternalistic idea.

> We also have regulations on building safety and construction, or would you rather not force people to have the precaution of getting a structural engineer when building homes and buildings?

In this case, this is the safety of others. Very different to the safety of yourself: the whole concept of libertarianism is self-posession,that who you are is only owned by yourself. It is surely acceptable to use the powers of the state to protect one from others.

> Alcohol has been banned for a while, but eventually it was decided as a society that we were willing to accept that risk and negative outcome.

We have countries in the modern world that have banned alcohol still. Its purely cultural, its not a foundational moral or economical trade-off. And the negatives of alcohol are pretty bad!

> Bad food is also banned via food safety standards via the FDA

Depends on the definition of bad: if you mean toxic, sure. If you mean food that degenerates health, definitely the opposite. Sugar for example, could simply be banned to a very positive result in public health.

> Recently we have the example of marijuana being rethought as a society and now those bans are largely going away. Things can shift in either direction.

This is the appealing point from the libertarian stance: you dont need to depend on the mood of the moment for the direction of policy to benefit you. Marijuana would have never been banned under a libertarian conception. And neither would cocaine and other drugs, provided the harm is done only tos elf, and not to other.
WordPress 4.7.5 release addresses six security vulnerabilities
It's a fair point - I don't see how ad hominem attacks change the news.

I guess that's why painting him as a russian sympathizer is "in" now. Makes it seem like the leaks even if authentic have some agenda.

But still, parties and a gov that are threatened by their people looking in on them are just asking to be influenced by outside actors anyways, state or not. There's a reason transparency is key.
"In principle, you could translate your code -- or even the generated machine code -- back to TLA+ and check it there. This has been done as research projects for C[1] and Java bytecode[2]."

There's also ASM's and equational methods that allowed specification or verification of instructions or their use to happen in days when the tooling was already adequate. I wouldn't use TLA+ for this unless we're talking about concurrency. Even then, I'd be using it in combination with something else.

You might also find it interesting that one group embedded TLA+ in a sound prover (HOL?) for making the TLA+ analysis sound. They extended it in some way, too. Anyway, the got the benefits of both with that combination. So, some weaknesses in the tooling can be knocked out over time if more people just put labor in.
Compiles aren't that slow compared to other languages and Kotlin compiles directly to bytecode, not through Java, so its replacing the last link on the chain, not extending it.
The problem is of course your argument justifies any incumbent system no matter how heinous. I don't think the analogy holds up. And I don't think I am required to present a plan to revolutionise research funding in a comment on HN.
I would love to have the opportunity to explore the concept of hyperlocal. Using the web to help bring local communities closer together. Never really had the opportunity yet.

I myself, work mainly on projects related to museums, culture, green economy... In the projects I accept I try to find a balance between money I can get and how I view it as work for the greater good. A very hard balance and a very subjective one.

Also have some friends that are a lot into open data which is also an interesting area to explore.
https://status.twitterstat.us/
It's part of the language I enjoy (I find myself dropping pronouns, usually "I", in written English anyway, so it feels oddly natural), but dropping "watashi wa"/"anata wa" even in something as simple as "I am <name>"/"You are <name>" (both can be said as "<name> desu"> definitely makes it more difficult to get started. I've found it to be more or less a non-issue once I got used to picking up on the context clues, but there's no easy/quick way to get there other than listening to a lot of the language.
Ask HN: Would you donate the equivalent of 1 hour of your work?
Let's say my fee is $80/hour. I would donate $80 if some company donates 3 times the amount, in this case, $240.

The total of $320 would be given to charities.

We'd been doing it with a great involvement of employees, around 80%, in my former company.
Yep, me too. Stand on the pedal with brakes on; torque at zero RPM. Though I have an EV too. Can't do that with an ICE unless power breaking.
Teach coding to children and those who want to learn it.
Cars are safer and more comfortable, but the idea that cars are becoming bigger and heavier is more due to marketing pressure that forces car models to become "better" each generation.

The closest today to a mk1 golf/polo is probably the "up". having been in both, the interior space is very close to the golf, the boot is slightly smaller than the original polo. There's even a 120hp turbo version, with slightly better performance than the original golf GTI :)
Many of the opioid addicts in the US are people who got legal meds through irresponsible prescribing.

Legal opioids have caused massive addiction, and massive harm.

The drug war clearly isn't working, and all drugs should be legalised, but we need to recognise that legal drugs will cause harm.
Jon Corzine Seeks a Wall Street Comeback
"But it was all right, everything was all right, the struggle was finished. He had won the victory over himself. He loved Kotlin" - George Orwell
Aka language fork.
Sketch and Plugins = Improved Workflow
I think it makes the point that there are some cases where the cost of negatively impacting society is not worth the benefit of making more money to give to charity.
Check out architecture components announced on Wednesday, I think you'll be interested in LifecycleObserver and LifecycleActivity
What Is the Purpose of Being an Empath?
Clearly it is high time for an EncryptWeShall nonprofit with a wholly separate implementation and team and all the tooling adjusted to randomly pick between the two.
I have Du Chinese and I like it a little more than Decipher. I'm always excited when I get a notification for a newbie or elementary lesson. Chinese Skill and Hello Chinese are lesson quiz format and pretty interchangeable. Line Dictionary is cool cause you can draw in it. I also have Pleco for the Outliers dictionary which shows etymology, but it's still in development. HSK Magic is another one that looks decent, flash card style learning.
https://socialcoder.org/
You can find a project that you can contribute to.Can even boast it on your resume!
From the long view, no. Regimes that use pain as control inevitably break as at a certain point, people will no longer willing give that up. This is history.

Walk down to a local AA meeting and see people who at some point willingly made a decision and who are now, unfortunately controlled by it. This will always exist.
As Allegations Swirl Around SoftBank, It Calls Them ‘Sabotage’
I think companies need to accommodate the differences in people here; either within one company or within the industry they need to split into "office friendly" and "remote friendly" groups.

I'm on the introvert side of things and I'm simply oversaturated with human interactions. I have to actively avoid being physically around other human beings just to keep my sanity. I recently managed to convince my boss to give me 2 WFH days a week and I saw both my productivity and happiness skyrocket within those days.

A lot depends on the type of project, I guess. Mine is such that I'm mostly collaborating with the customer side, which works in a different country. For me, 99% of events in the office are off-topic. Others in this thread seem to have close-knit team projects, so I'm not surprised they feel more productive in the office.
No man, next week the threads will be: Why I moved from Go (Or whatever was the FOTM) to Kotlin.
Irrational exuberance is the best example, in my eyes. Conventionally, economists would say that "bubbles" are just rational price fluctuations, and result from new information. Shiller's explanation was much more about contagion, psychology, excitement. This may not seem to have implications, but the fact that momentum trading has been shown over and over to work (if done in a very specific way), suggests that Shiller is correct.

That is just my perspective on it. I'm a bit apprehensive about characterizing the entire field of conventional economics as I've done. There is a large amount of variation in opinion among economists. But my feeling is that the prevailing consensus before Shiller was about rationality.

Some will say that Shiller didn't come up with the idea, that it's just a packaging of what Keynes said about Animal Spirits. Consider this quote from Keynes, for example:

"Even apart from the instability due to speculation, there is the instability due to the characteristic of human nature that a large proportion of our positive activities depend on spontaneous optimism rather than mathematical expectations, whether moral or hedonistic or economic"

In any case, Shiller has received a large degree of credit for consistently pressing the issue, and he was lucky enough to be pushing it forward right before 2008, which many saw as a validation of his theory.
He was indeed questioned at the Ecuadorian Embassy [1]. And before that, for years, Assange gave them that offer, but they refused time and time again (until they relentlessly accepted) [2].

[1] http://www.reuters.com/article/us-ecuador-sweden-assange-idU...

[2] "He has offered to be questioned inside the embassy but the Swedish prosecutors only recently agreed." http://www.telegraph.co.uk/news/2016/08/11/ecuador-to-let-sw...
> Redundancy. Yes, the grammar should be redundant. You've all heard people say that statement terminating ; are not necessary because the compiler can figure it out. That's true — but such non-redundancy makes for incomprehensible error messages. Consider a syntax with no redundancy: Any random sequence of characters would then be a valid program. No error messages are even possible. A good syntax needs redundancy in order to diagnose errors and give good error messages.

This makes no sense. A terminator is required, multiple terminators (ie, redundancy) are not. Various modern languages eliminate redundancy: any random sequence of characters is not a valid program in those languages.

Disappointed Dr Dobbs would publish something like this.

More subjectively:

> Tried and true. Absent a very strong reason, it's best to stick with tried and true grammatical forms for familiar constructs. It really cuts the learning curve for the language and will increase adoption rates.

More people will program in the future than who do at present. If you aim to approach this audience, things like using '=' to set values, rather than test equality, make no sense to the vast majority of those people.
The winner of drug war is prison industry.
Twitter Service Disruption
Debunking “America has become so anti-innovation – it's economic suicide”
> Hillary Clinton allegedly requested that Julian Assange be killed

Politicians have the weirdest rider lists
Same here, was very pleased with Caddy so far, but it being tightly coupled to LE being up, despite having certs cached is a no-go for our production systems and if this stays like that, would make me go back to nginx for the services I've used caddy so far.

edit: looks like the dev added a fix to only refuse the start if the cached certs are dangerously close to expire. that satisfies me and I'll be continue to be using caddy.
The Secret Life of Urban Crows
Unfortunately, that's not meaningfully different from, "I want X, you should offer X." It is basically the same as saying, "I want X, some companies do X, give it a shot" in persuasive power.

I love working from home and have done it for most of my career. The next job I take will probably be in an office though for a change of pace. I honestly find that despite my personal affection for it, most arguments in favor of remote work really just aren't very compelling.

"Some companies do it successfully" is not compelling to most companies. It's a disingenuous portrayal of the real difficulties and sacrifices that need to occur for remote work to be successful. Remote work rarely works partially, because without a deep seated remote culture the employees who are not in the office will be fundamentally left out of subtle but important group interactions. If you are the only remote employee on your team, they're not going to video conference with you to have a spur of the moment discussion that leads to a business insight. Conversely, asking a company without a remote culture to change is asking all of the employees who are already there to embrace a new, unfamiliar culture where they can't just lean over and ask someone a question.

It's my personal opinion that there is a very vocal minority that wants remote work to succeed, a more silent swath larger than the first that is indifferent, followed by a supermajority that silently disapproves (or at least, wouldn't want to work in such an environment). Even though I enjoy it, it appears selfish to me to ask companies to offer remote work without significant evidence it will work for them, all the while imposing a real communication cost on employees that work there who already thoroughly enjoy the status quo.

It seems to me like it's similar to a lot of other things in professional life: you can't have everything, and if this is really important to you then find a job that offers it. But don't expect companies to alter their organizational machinery to cater to you when they have no reason to.
This is preposterous. how on earth will they enforce what people post on the internet? Blocking access to sites via ISPs is one thing, but am I going to be fined for blogging with an unconservative/anticonservative inclination?

This is just going to push new business away, as if the UK wasn't already a sh*thole for startups...
> I once ported a Scala program to Java one and ended up with much shorter and concise code.

I don't see why you are surprised. Especially at the concise part.
I can confirm issues myself, also there's discussion about ongoing issues on reddit[0] and people reporting issues to downdetector[1].

[0] https://www.reddit.com/r/Twitter/comments/6c1p1t/so_twitter_...

[1] http://downdetector.com/status/twitter
Well, the benefits are also distributed to people I don't know, so this type of accounting is tough.
The closest thing I've found to Duolingo for Chinese is an app called ChineseSkill (Android and iOS). It's pretty good for the most part. My learning stack so to speak consists of HSK textbooks, Skritter, ChineseSkill and recently I've added ClozeMaster. This is all for Mandarin btw.
It's always a good thing to bring cases like this into some kind of context to see the extent to which it's the rule of law or something else. Julian Assange may be a rapist but a prosecutor thought there wasn't enough to even say maybe don't leave the country. Roman Polanski may not be a child rapist but I'm not even sure he arguing that. [1]

How would you characterise the difference in the treatment of these gentlemen and I use the word gentlemen quite wrongly.

[1] https://en.wikipedia.org/wiki/Roman_Polanski
How does legalizing fix or reduce addictions? I understand it makes acquisition less taboo, and perhaps makes treatment a less taboo subject too, but it's not like legalization is a pancea for addiction. Booze is legal and we still have a massive alcoholism problem.
Strange that Go and Dart are completely missing from I/O this year.
7. Oracle can't sue Google over Kotlin.
Anything similar on iOS you'd mind to recommend?
The US got the "win", but everyone will pay the consequences... I'm not sure that was a very good policy
Elon Musk's Production Plan for New Tesla: Too Fast, Too Furious?
1 week, so most servers likely won't be affected unless the outage goes on for a really long time.
> You can see it in the many comments claiming that working at an ordinary day job or donating your income to charity is akin to the social good asked for by OP.

If OP doesn't see donating to charity as interest in the well-being of society then let's just admit that the parent isn't so much concerned about whether or not HN is interested in the well-being of society so much as if HN wants to contribute to the well-being of society in the same way the parent would. Thus, parent really should say, "HN doesnt seem to agree with my particular persuasion as to how one creates well-being in society."

Donating to charity is, almost by definition, interest in the wellbeing of society.

Also, if you're going to be paid $100k at Facebook that means the value you provide is >= $100k to Facebook. It does not mean that your work is objectively worth $100k anywhere you could go. There's some correlation, of course, but I think given the context it's an important distinction to make.

As an aside, it's entirely possible for me to imagine a scenario in which the most beneficial thing one could do for society is utilize the scale and reach of Facebook. I doubt that the vast majority of the work at Facebook is that specifically, but it's certainly possible to imagine.
It doesn't but neither does criminalizing fix or reduce addictions. Addictions are a health problem and quite possibly a mental issue but rarely a criminal problem.
Wow, a Fiero weighed 2580 LB? That must have been before it caught fire.
> wonderful stepping-stone

It's honestly a fantastic final solution in certain circumstances.
If you can read code in Java, then you'll be able to pick up Kotlin within couple of hours, the only difference in Android APIs in Kotlin are the nullable types as parameters