skysight-inc/HackerNews huggingface dataset:
At some level of abstraction, types of any kind are already proofs, and they're tremendously important in many actual existing languages.

What you're probably glomming on to is that efforts to push the bounds of what you can prove (higher kinded or dependent types) have had mixed results (mixed in the sense that some people think they're great, others are unconvinced).

So we're in a weird situation where many many people are using a tool, but relatively few are interested in new developments concerning how to use that tool.
Exciting! I do wish we'd get "everything nodes," but I understand why we can't.

It's also nice that the VSE isn't getting cut (as was hinted might happen at one phase).
Here's the thing about Richard Stallman -- he's absolutely correct in all of his principles and all of his underlying thinking.

I disagree with this.

There are things you can (are allowed to) do, things you know you can't do, and things that are inconceivable / impossible.

His position is that #2 is evil (because knowing you could fix that printer driver if only you were allowed to is fucking annoying), and there is a moral duty to minimize it.

I think that #1 is good and should be maximized, and there is very little practical difference between #2 and #3. Minimizing #2 at the expense of also reducing #1 is bad and harmful.

In practice, there is a flow of things from #3 to #2 to #1. Things are moved out of the impossible with funds from paying customers, and then made open by people re-implementing them once the hard exploratory part is done.

There is also a smaller flow of things directly from #3 to #1. Some research is publicly funded or due to individual curiosity, instead of corporate internal. Some kinds of products can be funded from support instead of initial sales.

Destroying category #2 would choke off the first, much larger, flow. The second would not be able to make up the difference. This result would be good according to Stallman's ethics / priorities. I think it would be bad.
Do you have anything to back that up? I don't think you do. Unity has a public API and so does Blender.

I'm all for OSS just like the next guy, but saying it would be easier if unity weren't propriety is just FUD.
"Meanwhile, the old locks and dams are costing the country $640 million a year in delays and closures, according to the Army corps....Even with a tax credit, though, companies building roads or locks would want a return on their investment — most likely in the form of toll collection, said Mike Toohey, president of the Waterways Council, an advocacy group for the river shipping industry. His industry is “not in favor of a toll,” he said. Still, he is optimistic that spending on inland waterways will increase under a new administration."

What baffles me is the total dismissal of a private infratructure project which charges tolls. This would seem to be a perfect project for user-pays funding: the project offers a service with a specific, discrete in time and place, easily calculated value which is extremely large to the user who are supposedly suffering severely under the status quo. My only guess is that the lobbyist affiliation here is the whole story: the industries think they can get full taxpayer subsidies for the costs without having to pay much or any of it, and it's worth waiting for a government solution.
New Wave of Chip Industry Consolidation
I have a Pine64 2GB sitting fairly uselessly on my desk right now. I can't believe they already have this new product after the huge fiasco that was shipping the original board and components. Go check out the /r/pine64 subreddit, filled with complaints about people not getting their stuff on time (or ever).

Also, saying that it runs any "PINE A64 supported OS" doesn't mean much, it's debatable if you could consider anything currently available "supported". The android-based builds are the only ones able to play 480p Youtube without stuttering. Despite the promise of more horsepower and RAM compared to a RPi3, this has about 1/100th of the support level and community investment. Save your money and buy one of those or a NUC.
Freedom is not so simple:

“This procedure thus implies a certain logic of exception: every ideological Universal–for example freedom, equality–is 'false’ in so far as it necessarily includes a specific case which breaks its unity, lays open its falsity. Freedom, for example: a universal notion comprising a number of species (freedom of speech and press, freedom of consciousness, freedom of commerce, political freedom, and so on) but also, by means of a structural necessity, a specific freedom (that of the worker to sell freely his own labour on the market) which subverts this universal notion. That is to say, this freedom is the very opposite of effective freedom: by selling his labour 'freely’, the worker loses his freedom–the real content of this free act of sale is the worker’s enslavement to capital. The crucial point is, of course, that it is precisely this paradoxical freedom, the form of its opposite, which closes the circle of 'bourgeois freedoms’. - Slavoj Zizek
If they're so incompetent that they're running on a poorly secured Windows 2000 box, they're probably not performing regular backups. Depending on how critical what they lost is, they may have little choice.
Win2k...not surprised. I often see this. If it ain't broken why fix it. O'boy,tomorrow is cyber Monday.
This is an area of cryptography called whitebox cryptography. Tl;dr is that most solutions nowadays are proprietary, and all open sourced and documented whitebox cryptosystems are broken.
"If corporations dominate society and write the laws, then each advance or change in technology is an opening for them to further restrict or mistreat its users."

Also, you definitely can, tongue-in-cheek, call a general statement a "law." It's not meant to be taken in a literal sense; it's meant for humorous or broadly pragmatic effect.
I think what's most upsetting to me is that not only are they not built to be light-years ahead, but the fact that they aren't is explicitly due to self-imposed constraints by Apple. And then because of this, they now sell a machine that's effectively the same as the one they sold 3 years ago, but now at a higher price.

This is virtually unprecedented in the history of computing, and the last time these kinds of shenanigans happened was at the tail end of the 8-bit era, and all of those companies, even ones who had a virtual monopoly on the market, don't exist anymore.
What we need is

listContaining(Dog) isa listContaining(Animal)
listAccepting(Animal) isa listAccepting(Dog)
Unlike so many political issues, this is a rare case where two groups broadly actually agree on a course of action but disagree on the problem that necessitates it.

* Software freedom is important because it produces quality software.

* Software freedom is important because it protects the user from mistreatment.
>he's making loaded statements out of ignorance because he wont bother to google psychotherapy's definition.

Please don't ascribe thoughts, feelings, or motivations to me that you do not have knowledge of.

I have not responded in this particular comment thread since you used the word psychotherapy.

I'll finish reading these comments tomorrow, hopefully.
It is probably time to give up on that word and learn from what happened for the future. Don't create cool words that the in-group calls themselves.
The biggest exception for freedom 0 i've seen is the license on the original JSON implementation http://www.json.org/license.html.

> The Software shall be used for Good, not Evil.

The JSON license is not considered a free software license due to this violation of freedom 0(not to mention all the problems with definition including the fact that many things could rightly be considered neither in Good or Evil and the license actually explicitly says it must be used for Good).
How we solved the problem of cross-domain web components, at PayPal
I had to use an iPad for the first time in my life recently, and I have to say that Stallman is right.
There's lots of these due to the plethora of minimalist tiling window managers demanding simple, scriptable info displays.

I use dzen2: https://github.com/robm/dzen

Xmobar is another popular one: http://projects.haskell.org/xmobar
Crazy as it sounds, full scale nuclear war is not an extinction level event. Catastrophic, no doubt, and might reduce the human population by a couple orders of magnitude -- but unlikely to kill off all the humans. There just aren't that many bombs (~17,000 is a high estimate) and the earth is really really big. "Nuclear winter" appears to be overdramatized in fiction.

There's quite a lot of semiserious discussion of exactly this question on the internet; this is just a rough paraphrase of the consensus. It can make for a fun couple hours googling.
Nice ad hominen attack, good on ya' for that

I'm not discussing this with you further.

You've shown yourself to be insulting. You've shown yourself to argue for a case that the Syrian war is caused by climate change. You read a post where someone took an inflammatory meme out of context, and tries to make sense out of a situation where climate change could lead to nuclear war:

> "Guns don't kill people! People kill people!"

> Having climate change around sure makes it easier for people to work themselves into positions where they have to use the nukes.

And you defended it by insulting my intelligence. I am really not impressed.
I think "procedure call standard" is an ARM term. Linux on commodity hardware uses the "System V AMD64 ABI calling convention" (https://en.wikipedia.org/wiki/X86_calling_conventions#System...).
> "developers or any specific entity" is referring to telemetry.

I generally agree with your reading, but I think this part more likely refers to things like registration.
That's why I mentioned the distinction in first place.
Having been through some of the stuff the guy wrote about... I don't think coddling is the right tone. If you let someone who is depressed tell you how bad and horrible their life is... and you agree or buy into that... things look bleak. The last thing you want to do is validate that shit-spiral that sinks a person deeper into despair and helplessness. If you tell them to cut the bullshit self-pity and take action, that leads to them getting on a path where they don't feel the way they do.

Suicide... clearly not something to joke about, but I have to believe the original author came here for advice. Wrote what worked for me. Some people may embrace the touchy-feely stuff more... for me personally that was all just a time sink. Depression is something you fix yourself, by taking action. Small actions lead to bigger actions lead to better feelings.

For anyone who is depressed I would recommend the first three steps:

1) Take a hot shower, shave, put on clean clothes.

2) Go for a walk. Don't take electronics with you. Just walk. As far as you can and tell your feet hurt. Take a minute to celebrate how far you walked.

3) Get a good night of sleep.

Use the time walking to think about a game plan for things you want to accomplish. Start small. Be honest about what you like about yourself, and what you want to change. And remember a goal without an action plan is just a dream. Work on plans. I will do A, then B, then C and check my results at each step of the way...

If you need a few days to just contemplate how worthless you are, do that while walking. Take all the time you need, don't beat yourself up for feeling that way. But make sure you are exhausting your body each day. Rinse and repeat as needed until you feel like doing something more productive.
only idle for about 25 years...must be doing it wrong... :D
Previous discussion: https://news.ycombinator.com/item?id=13031786.
You've explicitly rewritten it as "if X, then maybe Y", exactly as I said.

"If corporations write the laws, then maybe they will restrict or mistreat their users." That's not a law.
The Karakoram Highway: The World’s Most Dangerous Roadway (1999)
Perhaps not the perfect open source laptop the purity patrol is looking for, but at $99 I really DGAF. Looks like a fine option for people who want a low-power self-contained machine (as opposed to an exposed circuit board Raspberry Pi, say).
While there's a grain of truth to this, to insist on this generalization is to twist Stallman's meaning to suit your own purposes. It's quite clear that Stallman is, here, speaking /quite specifically/ about corporations -- inveighing against them, in fact. I am sure that he would agree that governments can engage in similar behavior, but the target of his criticism here is corporations alone. Forcing governments into the conversation is a way of derailing specific criticism of corporations.
I find myself hoping that he's not going to say something on an upcoming Cooking Issues that is going to make me want to buy a Spinzall, because, like you, I can't really think of any kind of routine use I'd get out of it, and I need fewer not more gadgets in my life.
you should judge them on the kind of living standards they provide.
I suspect that if there are multiple river shipping companies but one monopoly lock operator, all of the economic surplus in the river transport industry will be captured by that monopoly operator.

Perhaps the solution is for the river shipping industry to form a co-op to build, own and operate the necessary infrastructure.
I used DO for a year without a problem, and then my IP was blacklisted (apparently a neighbor was spamming) and I couldn't do anything about it. Be warned, and frequently check if Google accounts receive mail frequently.
"I'm not able to speak to the statistical validity of the test, but as a software developer I find it more convincing if there's an explicit causal connection."

@Michael, biology is messy compared to machines. To judge a measure of certainty in the methodology and results, read the peer-reviewed papers submitted to scientists working in this and other fields ~ http://dunedinstudy.otago.ac.nz/publications
Zappa actually uses some of Kappa under the hood, but with many many more features. Learn more here: https://github.com/Miserlou/Zappa
It may be possible to automate using a scheduled AWS lambda function - though you would need to host a dynamic path under your cloudfront-hosted domain which triggers a lambda function as part of the renewal process.
If your property string is enclosed in a double quote, then a single quote in the payload is fine. (Otherwise, a lot of inline JS in onclick etc. attributes would break. JS allows both types of quotes on string literals for exactly this reason.)

Still, single quotes are somewhat asking for trouble.
Actually the sentence you copied is so wrong from the chemical/energetic point of view that it paints the rest of the article very unrealialable. Read the comment by stcredzero: https://news.ycombinator.com/item?id=13051651
I'm not sure how you could legitimately come to those conclusions based on on the publicly available information.

There's very little indicating the author is Russian, but considering that's legitimately how most eastern European and Russian hackers type it wouldn't be much of a stretch.

However I can't see how that leads to the conclusion that the author is trying to pretend to be Russian, as opposed to just being from Ukraine, Romania or Russia.

And unless I'm missing something, there's even less information about his OPSEC practices.
Good idea! The more people we get to buy into the cooperative the better it will be! If we get everybody to participate we can just call it "government".
I used Digital Ocean for a year. No problems, never sent spam. Then my mail started being spamfiltered, apparently because a neighbor was spamming. Seriously don't recommend using cloud hosts if you care about people receiving your email.
I would like to read a serious scientific case for the pros/cons of colonizing the sea floor so I can have it on standby, as a comparative baseline for these sorts of pieces.
Transcript / summary?
A vi-centric family tree of editors (2000)
Not as ridiculous as your tortured interpretation of the story. Given the GOP's stated hostility to consumer regulation and the fact of significantly lower agency budgets during a previous period when the GOP held both White House and both Houses of Congress, observing that operating budgets may shrink at this agency is entirely rational. See, I was able to construct an argument without even mentioning the President-elect, based solely on past behavior of the soon-to-be majority party.
OpenBSD on PC Engines APU2
The same way you pay for any "perpetual" project -- you fund an investment endowment and spend the proceeds.
AI may be a better option to save us at this point.
They are all broken down into nice tabs and subcategories, if you can't find something use the spacebar menu to search all commands.

A commandline is also available using the python console.
Ah, shit. I didn't see that. That almost completely moots my complaint.
I have no idea when this "law" was written or said, but I think this type of thinking--in 2016--is exactly the cause of what it's prophesizing.

Instead of thinking from "corporations vs. us", a better approach would be to think of humanity as a single entity.

I do understand that all this "open software" movement could have an impact because it was very polarizing and moved a lot of people. But in a world where open source is the norm, it should not be about fighting against corporations. The discussion should be on a higher level.

For example, you should think deeper about why it looks like: "While corporations dominate society and write the laws, each advance or change in technology is an opening for them to further restrict or mistreat its users".

Only when you look deeper into the corporation's motivations you'll be able to figure out a way to defeat this. Otherwise it just reads like a rant.
No it's not. I can't sue Microsoft for preventable, buffer overflows in Windows. The evaluations they target that government accepts dont even look at the source. There's no software liability or source-based evaluation requirements for mass-market software at the moment.

Matter of fact, NSA's new scheme only requires 90 day evaluation at EAL1 (certified insecure).
From the episode description:

> Brendan Eich, founder of Brave and creator of JavaScript, joined the show to talk about the history of the web, how it has been funded, and the backstory on the early browser wars and emerging monetization models. We also talked about why big problems are hard to solve for the Internet and the tradeoffs between centralization and distribution.
Anyone and everyone gets nervous when people talk about tolls on infrastructure bottlenecks. This isn't a car bridge. There is no alternative route, at any price. Those using the lock would have no option but to pay. Such a monopoly in private hands will never be popular.

Tolls on interstate infrastructure have also traditionally been looked down upon. Charging people to move themselves or goods across state lines, even where arguably constitutional, rubs Americans the wrong way. Easing interstate commerce is a large part of why the federal government exists.
Question I've been wondering about for a while: where does PCI fall into this? Do modern x86 PC systems still use in & out at all?
> If you're compiling Rust code that calls into a C library, how does it know what registers to use?

Ah, interesting, I figured that the generated object files would just store some metadata on that basically.
Forbidden numbers are indeed a thing https://en.m.wikipedia.org/wiki/Forbidden_number
I don't disagree, but my point is that it's still less power over media than those who actually own the media have.

If universities are really brainwashing people, then those who own the media can just not hire those brainwashed people. Power over hiring is the ultimate level of control over any organization, media companies included.

You can make the argument that the media needs an audience, and if the masses are brainwashed then they have to speak in that language. But if you're talking about non-objective-truths such as values, and those values are so widespread that media has to cater to them - that's not brainwashing, that's just popular culture.
I can live with the notion of nulls. But I think having all (non-primitive) function parameters be nullable is a huge mistake. It is just very rarely what the writer actually wants. And explicitly checking for null for all object parameters is a huge pain.

The right solution, to my mind, would be to have function parameters be non-nullable by default. Unfortunately it is too late in the history of Java to switch to that behavior now. Too much code would break. So I would settle for being able to declare individual function parameters non-nullable as a standard part of the language.

I can't believe it would be all that hard to implement.
Anyone know if this can run ChromeOS?
There's far more to environmentalism than climate change, however important climate change may be.
How Venezuela Imploded
Part 1, if you're interested, on cross-domain messaging: https://medium.com/@bluepnume/introducing-post-robot-smart-c...
i've been writing a lot of poetry throughout the last four years. it's the only way i can write. i get so bored with writing the "infrastructure" of a longer narrative.

it's easier to play with language and story while writing as little possible. only writing what comes to mind and letting the story fill out in the reader's head instead of on the page.

i really enjoy this poem by pushkin:

http://www.poetryloverspage.com/yevgeny/pushkin/angel.html
This is an absolutely terrific podcast. Two other great ones from the Changelog guys:

- Andrew Godwin on Django / Django Channels / Python - https://changelog.com/podcast/229

- Eli Bixby on Tensorflow / Deep Learning -https://changelog.com/podcast/219

Would love to hear other podcasts people enjoy.
That's the easy part. Now how would I make it into a brick wall?
Websites already can detect whether the client on the other side is Google's spider (either by checking for the well-known IP ranges, or by looking at the User-Agent). So they could supply a fast, cached version to Googlebots, and thus appear faster than they are.

I can see why Google would do this AMP thing. It's much easier to detect fast websites through positive rather than negative evidence.
If you're comfortable with command-line Linux, and have a basic understanding of DNS, setting this up from scratch is actually not all that hard. After researching the hell out of this a few weekends ago, the best guide I found on the subject is: https://workaround.org/ispmail/jessie

Sure, it's technically for Debian, but if you're comfortable with Linux it's easily adaptable to other distributions. In order to get Gmail to accept your email without it going to spam, you need SPF/DKIM and a SSL cert. Let's Encrypt works, and is a cinch to set up.
https://www.blenderguru.com/podcasts/podcast-interview-with-...

He followed up with a actual UX designer, who pretty much told him that his proposal was the wrong way to think about it (objectively, not subjectively). He admitted that his proposal at the blender conference was more of a discussion about the way of the future -- https://www.youtube.com/watch?v=6aIA2LaB2Iw

After that, he stopped pushing so hard on the UI/UX problems of blender. I believe he is still part of the UI committee, but isnt pushing it as hard in his podcasts as he realises he doesn't have the answers.
This is correct, except your step 4. It should say something like: 4a) Enable feature switch on 1% of requests, ensure that they're working correctly. 4b) go to 10%. 4c) start rolling it out across all requests.
San Francisco light rail system apparently hit by ransomware
So California propositions often earmark punativie taxes to some feel-good opposite thing, but I don't buy the moral imperative to do that. If we collectively approve some some expenditures and taxes, we should we care which goes to which?
https://news.ycombinator.com/item?id=13051688

https://news.ycombinator.com/item?id=13050262
True enough. And this is the real reason x86 won.