skysight-inc/HackerNews huggingface dataset:
There is quite a bit of work on parallelising SAT solving, as it's one of the most important algorithmic problems, both in theory and in practise, but (as far as I'm aware) the top sequential algorithms still beat parallel solvers. The most successful approach at this point seems to be Cube-and-Conquer [1], but I don't think this is considered a good approach in itself. There is a huge amount of scope for new ideas. I doubt that anything naive will work, as SAT solving is a rather competitive research field.

The annual SAT competition http://www.satcompetition.org has a track for parallel solving.

See [2, 3, 4] for an overview of the field.

[1] M. J. H. Heule, O. Kullmann, S. Wieringa, A. Biere, Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads.

[2] S. Hölldobler, N. Manthey, V. H. Nguyen, J. Stecklina, P. Steinke, A Short Overview on Modern Parallel SAT-Solvers.

[3] S. Wieringa, K. Heljanko, Asynchronous Multi-Core Incremental SAT Solving.

[4] Y. Hamadi, C. M. Wintersteiger, Seven Challenges in Parallel SAT Solving.
I only have seen one guy asking Siri a question to this day. Everybody in the room was frowning to that, he never repeated it.

Killing Cortana is one of the first steps of everybody I know who switched to Win10.

Haven't seen an Amazon Echos yet, not even in flats which homeowners use a massive amount of home automation gadgets.

- East German
UP+Doesn't+Need+An+Adopted+Son:+Priyanka+Slams+PM+Modi,+Priyanka+Gandhi
Index 1.6B Keys with Automata and Rust (2015)
I find the title quite clear (was it changed?). It reads "Jupyter/IPython" at the moment which made me correctly assume that this would be something to use with IPython in Jupyter.
I, however, am afraid of scarcity in resources for that innovation. Moonshot projects don't make business sense, so when beancounters notice, they happily axe them. And VCs are also focusing on short-term returns, hence the proliferation of bullshit one-trick-pony startups that don't create anything of much value. Moonshots are way underinvested, IMO.
By your definition, Linux is also insecure since it depends on closed source BIOS and closed source device firmwares, as well as closed source hardware.

Security is a process not a if/else choice, and Android is more secure than Windows because it is open source and you can replace Google parts. Good luck doing that on Windows.
If a site is doing something that's illegal in one jurisdiction and protected in another, then what?

(e.g. sharing Falun Gong material, or for a more controversial example Wikileaks)
Which is why you turn the knob back down when you stop being bursty.

But yes, it's pricy. It may not be the best fit for some. Hopefully by the time you're taking 160k writes per second you have a solid business model. I mean, Twitter peaked at around 8000 tweets per second. What are you doing that requires 160k, and do you really need to be storing it?
That is, it looks like GitHub will ignore it's own code of conduct in order to punish "bad" people.

This is a common theme among proponents of codes of conduct.

See also Twitter's ban on many people, including Milo Yiannopoulos. He was banned for "violating the rules". But I've looked, and no one anywhere can point out which exact tweet violated which particular rule. Even more extreme, no one can point out where he said any of things he's accused of saying.

So... Twitter blocked him for "abuse", when there is zero evidence of such abuse.

I'll say this:

The more extreme the code of conduct, the more likely it will be broken by the people enforcing it.
99.6 percent of new smartphones run Android or iOS
git commit --amend just cleanup all the mess. also, better to change the pushed one
All of the following three share something in common:
1) Microsoft Azure DocumentDB
2) Google Cloud Spanner
3) Amazon Web Services DynamoDB

Total cloud-vendor lock-in. It's clear why the clouds want users investing in these difficult-to-migrate-from solutions...
No need. Just keep installing the regular updates to your OS.

These minor releases are just new installer images so that new users don't immediately have to download a huge chunk of data.
It's been a little while since I last wrote any AppleScript but while I didn't find it completely horrendous to write, it was certainly harder to write than most scripting languages because there is a lot to remember about how a script can and can't be structured.
> I disagree. Software is meant to be meritocratic - all that should matter is the quality of your commits, if you're a contributor.

How do you come to the idea that software is meant to be meritocratic? Many people start an OSS software project so that the code implements the founder's vision. So for example I committed some (objectively; in this case "objectively" can objectively be justified [pun intended]) high-quality patches to some OSS project (which project is of no concern here). They were refused because they diverted from the vision that the founder and maintainer of this OSS project has for it.
True, but not the same as "privacy laws don't apply to the state".
Software is just ones and zeroes. The only thing it's "meant" to do is execute on a computer.

If you mean "collaborative open source software projects", the idea of "meritocracy" is an explicitly political idea; it's not innate. Open Source is also an explicitly political idea.

Competing political ideas in software development include 'not invented here syndrome' which is based on the tribal affiliation of the contributor.

If I don't share the political principles of open source (e.g. copying closed code in contravention of the license), I'm going to have a hard time contributing to an open source project. If I don't share the political ideas of a commercial closed-source project (e.g. copying open code in contravention of the license) then I'm going to have a hard time contributing to a closed commercial project.

And I wasn't making an assertion about using libraries published by the Daily Mail so much as posing a question. I can't fully quantify the effect of any action I make, everything is interrelated. I'm perfectly happy to admit that it was a matter of personal pride that I didn't want to be associated with the Daily Mail in any way because I don't like what they stand for. Identity politics. I'm only human. I wouldn't (I hope) force anyone else not to use the Daily Mail library. And I wouldn't try to force someone out of a software project because they had different politics.

Maybe that broadens out to the original topic: the reason some people don't seem to like CoCs (and I'm undecided) is because they can be used to enforce tribalism. We've seen examples of people being attacked in software projects because they have contrary political views to some other people. One of the arguments here seems to be whether or not that is driven by tribal instinct, and whether CoCs provide a vector for that.
You don't have to get popular for this. All kinds of people can be the victim of targeted harassment campaigns. Such as indie game developers.
Soundtrack Your Brand, a ‘Spotify for B2B’ Nabs $22M for Expansion
I respect the information you have provided, but there is no reason in my mind that I should need to pay a couple hundred dollars for an address, or registration for a business etc

the reason for this is that I am a non-Serbian citizen living in Serbia right now, where most people have monthly expenses of $300!! :)
> Interesting. Does it happen often in practice?

Not really, but it does happen occasionally in work places, because if it happens often enough it is basically the equivalent of bullying(called mobbing at work).

> The US doesn't have such laws. Whether you consider the US civilised, is another matter. :) Do you want to exclude contributors from uncivilised countries?

It's because I consider US a civilized(and a very litigious) country that I'm sincerely surprised that its laws don't cover such things.

> The goal of a CoC is to have a set of rules that the community agrees upon and to foster a certain culture. E.g. no personal attacks, constructive criticism only, be civil in your interaction with others on the project. The consequences of violating the CoC can be to ban the violator from the project.

So basically what I described as "shunned" from the community.

But previously you said:

> Which jurisdiction? How will you find out about my identity? How will you enforce any potential judgment if I'm in Somalia? How much time and money will it cost you to a) get a conviction, and b) try to enforce it?

So we agree that CoCs can't serve as substitutes for laws?

The HN guidelines are a perfect example because the first half has practical use which is how to submit an article and the 2nd half which is indeed useless.

Let's be honest here. What you're looking for is a magic wand that say "if you could please don't be an asshole, that'd be grand thanks" and people would be happily ever after. Right?

Well there's no solution for that and CoCs can only serve as to infuriate people who aren't assholes.

Just shun them as you would do with or without a CoC.
Gartner's article:
http://www.gartner.com/newsroom/id/3609817
Here's one option, which has been seen as viable solution for long term storage.
https://en.wikipedia.org/wiki/Onkalo_spent_nuclear_fuel_repo...
How to Format SD Card as Internal Storage? – SuratNow
Why can't we have small cities where in the center we have libraries, medical facilities and schools. Next let's build parks and recreational areas. Around that we should have residential area. Next zone retail, and another one industrial . This, or a similar setup would change how cities work. Kids could walk to school, libraries and parks. Adults could walk/bike to stores and to work. Medical facilities would be close to most of the population. The whole area from retail to the center of the town could be car free, with just few areas for transportation, but even that could be moved underground.
Didn't mention Meyer, I think she tried some good things, I also don't think she tried hard enough on a few other things. But I digress, it's all armchair analysis at this point.

I'm referring to the leadership as a whole, before and including Meyer.
The bbc provides no newspaper service. It is entirely on television and radio and online. Probably a sensible move if you ask me
For me they are all useless.

Portuguese is usually not supported, and if it is, usually is the Brazilian variant, and I don't feel like playing accents just for making myself understood.

Also I have a multi-cultural life, so something like sending an email to someone usually requires at very least two languages, which those devices don't support.
> While Facebook is very successful, there's little vision in it now, compared to earlier. Most of the connected world is already on Facebook (if it's not blocked in their country). And while VR is nice, it's unlikely that it could attract a billion users anytime soon (esp because of cost).

Facebook could always give away VR headsets for free (disguised similar to the Free Basics program). Facebook has already run out of space to put ads on the Facebook platform, and so it has started trials on Messenger (in a couple of countries). One way to put ads everywhere is to install large screens (like in Sci-Fi movies or like those in Times Square). Another way is to give a small screen to people that's always in front of them and put ads there based on what the person is looking at, the location, time of day and other factors - that's what VR, or rather AR, will be about whenever Facebook gets serious about it (in relation to Wall Street and earnings). Google Glass probably had the same long term intent in mind when it was developed.
Global asset tracking with Spot’it, GPS-free geolocation service
macOS spelling checker strikes again?
You can run the Sofware Updater any time you want, including setting it to run automatically.

https://www.ubuntu.com/download/desktop/upgrade
Thanks for the clarification. I agree with you within the scope of the definition you're working with.
Do you have any reputable source for this allegation?
Thank you very much, I completely agree. The arguments that people should either pay up for WHOIS protection or use a publishing platform is like choosing between being extorted by the crips or the bloods!
This is incorrect as you can see from f.e. the Privacy Barometer[1]. The PvdD (Party for the Animals, how unfortunate their name may be) has always been very pro-privacy & civilian rights and if you'd read their party statements you'd know it is not "just a side issue" for that party.

Of the parties that can be checked because they've had a seat in the government it is one of the best parties to vote on if privacy, surveillance etc. are important for you. It remains to be seen if the Pirate Party will do better if it ever ends up with seats in the government.

</ad>

[1] https://www.privacybarometer.nl/pagina/50/Actuele_stand_van_...
Counter-point: someone said "shagged out" once in a British TV show and it was a _huge deal_. And there's a pretty strong limit on how many f-bombs and other swear words you can drop in a show that goes out before a certain time in the evening (known as "the watershed").

I'm very amused reading comments here saying that censoring and being afraid of swears is American thing and not a thing you see in Europe. It's certainly something you see a LOT in the UK.
Or even better, have a distributed canary across multiple jurisdictions.
I appreciate your response! I responded to another poster above. sure the prices arent exorbitant, but it feels like being offered a choice on how youd like to be extorted
Or, for a more cross-distro approach, `lsb_release -a`, although it requires the `lsb-release` package installed.
> These are power struggles by people who are all above the law but not necessarily above one another.

This is an interesting thought. Thanks. Good post.
But here's the thing, you don't actually buy a domain name; in other words it's not property. Also, your registering a domain name is contingent on agreeing to the registrar's conditions, and some of those conditions are required to be there by the registrars agreement with ICANN. So you are entering into a contract.

If you buy a car and park it directly in front of a fire hydrant and forget about it, then the government will seize your car until such time as you pay your fine, the towing fee and storage fee. If you register a domain in contravention to the agreed contract then ICANN will seize your domain until such time as you correct it (including the time it takes to confirm that you have complied). It really isn't that strange.
Or even a better question : can you plug Live to Cubase? Audio on linux is not just playing catch up, the whole jackd system, allowing to take output from any program supporting jack (most programs for musicians) and use it as an input for an other one is unparalleled, afaik.
Flying no frills or legacy airlines make the difference
Whatsapp is from whatsapp inc, founded by two former yahoo emplyees, then facebook bought for 19 billions dollar. Very different from "being from facebook".

You can probably trust whatsapp end to end encryption as much as you can trust facebook to protect your privacy [1][2].

[1]: https://www.ghacks.net/2017/01/13/whatsapp-security-make-thi...
[2]: http://www.ibtimes.co.uk/israeli-firm-allegedly-selling-spy-...
I agree with you that Ubuntu had a really positive impact on Linux adoption by providing a polished operating system.

That being said I think they somewhat deserve the bad opinion the Linux community has about them: Canonical decided to play solo on several critical subject instead of cooperating with others, in particular I'm thinking about upstart (a competitor for systemd) and Mir a competitor of wayland).

Their marketing is also pain point, because they brand everything as Ubuntu and don't refer to Linux at all in many of their statements (for instance, you cannot find a single occurance of the word «Linux» on their landing page[1]).

[1] https://www.ubuntu.com/
Huh, that was quick!
> People who like deep thought or long deep conversations with few people under not much time pressure (if you've already commuted 20min to talk to someone for 1h, you're gonna listed to them for that 1h most, likely not go adhd on them after first 15min...)

The range of people you can get to within 20min in a dispersed population is tiny. The idea of making it harder to talk to interesting people so that you value it more when you do seems clearly fallacious - while it's true that familiarity breeds contempt, surely if you value having interesting conversations you'd want to make them cheaper and more frequent.

> "social homogeneity" (all people in a spatial region having the same cultural background) is really underrated - it really helps you focus when you have deep intellectual/technical work to do when you don't have to always be on alert for "what makes everyone different" or "what joke/metaphor could happen to offend anyone different enough from you"... Interaction with "special people" who actually want to be recognized as such robs you of waaaay too much brainpower that could be invested in other things.

I do think there's a cultural issue of letting tolerance shade into special treatment. But I think forcing everyone to conform is worse - most people have some unusal aspects, and having to constantly hide those is far more oppressive and much more of a barrier to doing deep work.
I was also confused similarly, more so with the headline that sounded as if this was a malicious move meant to hide the intent to monitor private messages (not that I would put it past Facebook not to do such horrific things).
>>With web apps there are issues such as vendor lock-in of your data

You can use self-hosted web apps or a vendor that allows export of data. You can use a vendor that allows loading/saving data locally.

>>Security issues because your data is now on the internet instead of on a local PC.

The same is true for most local apps. How do you know they are not leaking your data?

>>Vendor updating to a new non functional version of their web app while you liked the old one.

True for local apps as well

>>You are just trading one set of limitations for another and also removing your ability to address issues by yourself.

There are always limitations, but web apps have less, which is why they are winning.
Amazing how it works, isn't it?

no Linux distribution is popular

All Linux users: "everyone should be on Linux! Linux is amazing! Yay Linux!"

ubuntu becomes very popular

All Linux users: "everyone should be on Linux! Ehhh... but maybe not that Linux..."
I don't have a problem with it. The only reason you are getting negative comments is that there will be a few HN members biting their nails.
This is a thread about a Free / Open Source operating system announcement. Why Cubase, Live and Max are even mentioned here?

The problem for me is not superior VS inferior or impressive VS unimpressive software but free software VS closed software.
This is a bit different, and it's possible your registrar is not yet using the latest RAA (Registrar Accreditation Agreement). Specifically, the email you're talking about is the once-a-year verification email that all compliant registrars must send. The OP was dealing with a new rule which is part of the RAA 2013, which adds the requirement for verifying emails within 15 days of any registrant change that impacts either the name or the email address of the registrant.

(Edited to fix typo for RAA)
I think that the most charitable answer is that Ubuntu changed it's basic premise, and some people don't like the newer approach.

Back when Ubuntu started, it was explicitly a variation of Debian with a GNOME desktop, plus some custom parts to make a "Linux for Human Beings", such as an easy-to-use installation process. Mark Shuttleworth had been a Debian developer, Canonical hired it's technical people from Debian contributors, and everybody was sensitive to the need for Ubuntu to work with the upstream projects (and vice versa).

Linux is a complicated system of components, and desktops are far more complex than servers, so it's essential for developers with different employers to cooperate to get things done. Important decisions require developers from multiple organizations to reach a consensus. It can be a slow and frustrating process, and it's easy for awkward people to cause a lot of hassle for everyone else.

In practice, Canonical always struggled to work well with others, and eventually they switched to developing their own convergence stack (to span desktops, smart TVs and mobile) that happens to use Linux components but shares increasing less common ground with the rest of the community: using their own graphics systems, desktop environment, and their own software packaging systems. In other words, Ubuntu has been morphing from community-friendly Debian variant to an Android-style single-vendor system.

Google can do this with Android and not take the same level of flak because Android has always been a commercial product that happens to have FOSS components, and they seem to cooperate reasonably well with the rest of the community in areas of shared interest.

(All IMO).
I actually run that every morning. So good to know :)
> I would not be surprised if others in their respective fields take a similar approach in other cult of personality topics (Uber, Elon, Apple, etc.).

I no longer read the comments for things relating to medical testing, my professional field, and I try my best to avoid medicine generally.

It to me feels like many commenters are somewhat clueless on the topic, and many others have strongly held opinions that lack foundation. It's a frustrating environment to comment within: it takes a lot of energy to write a thoughtful comment that can fill in missing domain knowledge for an earnest reader, and subsequently demoralizing to have a popular frequent poster on this website to dismiss my comment with snark because they consider themselves to be informed in this area. My comments became gray. I deleted the password to my account when that happened and rarely post since, the frustration is not worthwhile.
Hasn't that already happened a couple times ? (except they not pretended to a temporary glitch and fixed it, they just went and said this is not a security flaw, this is a feature!).
If you want to look at good SAT
solvers, look ... CryptoMiniSat.

Any personal relationship with CryptoMiniSat? ;)
Then do it with Pure Data!
I've always assumed my Facebook Messenger (and other private messages) were being monitored or otherwise datamined.

Corporate surveillance, with the intention of advertising to me no doubt, or selling what they can learn about me to advertisers.

I also assume any text messaging over Facebook Messenger can be used against me in a court of law. I don't imagine it's encrypted whatsoever.
Is PHP finally a viable alternative for writing large web applications?
Also as a European, I disagree with your statement that CoC are pointless. I didn't see the point at first, but I've come to see some advantages.

The purpose of a CoC is to empower the weak. This sounds cheesy, but it is true.

Yes, most of the time a CoC is not needed. Usually the community is friendly, and people help one another.

But what if something bad happens? What if a member of the community is treated poorly? Without a CoC, there's most probably nothing they can do. The welcoming majority might not realise that there's a tiny part of the community that doesn't work so well.

With a CoC, there's usually a clear point of contact; and people know who they talk to when there's trouble.

CoC are not about witch hunts. On the contrary! If someone tries to throw dirt on someone, the CoC could be used just as well to try to deescalate the situation.
I saw an Amazon Echo on a colleagues desktop, still packed up. It felt a bit weird.
It is very well possible that this is a conspiration theory by people who fear democracy.
My mom got her first smartphone, an iPhone 7 Plus last christmas.

She is using Siri a lot.

That and taking videos/pictures of everything :)
You just described London.