skysight-inc/HackerNews huggingface dataset:
> Most users would accept the trade off between crashed browser and infected/corrupted system.

Most users are using computing devices a means of getting stuff done. They don't want to spend any energy thinking about how their software works, they want their devices to be invisible, which they use to run their Apps uninterrupted. The trade-off is whether to let Apps continue running vs hard crashing and taking down all the work they've done and all the mental energy and focus invested up to that point. If their Apps frequently crash most users aren't thinking, well I'm super glad the hours I spent on this paper I'm working on is now lost, the phone calls to my loved ones or movie I'm watching are abruptly terminated because someone's policy on hard crashing when a bug is found has been triggered. Their preferences and purchasing power are going to go towards non user-hostile devices they perceive provide the best experience for using their preferred Apps without any need for pre-requisite knowledge of OS internals.

There's not a single computing device that frequently crashes as a result of security hardening that will be able to retain any meaningful marketshare. Users are never going tolerate anything that requires extraneous effort on their part into researching and manually applying what needs to be done to get their device running without crashing.
We're using Rancher and Terraform to achieve this. The operational overhead is massively reduced compared to just a few years ago.
open a hard drive folder, wait until it draws one icon at a time and get back to me
ErgoProxy - Management of dev services running on different ports made easy
I love the fact that the UI has professional switcher buttons but how is this different from OBS?
>>Also the regret he felt after killing the animal.

I feel like a lot of people would benefit from knowing the cost behind meat production. I eat meat, but growing up on a farm in the "old days" when you could still do this soft of thing, I have witnessed a pig being killed by literally stabbing it in the neck through the artery and waiting until it bleeds out, and then gutting it within minutes after death while the flesh is still warm. The whole process made you very aware of what goes into making a sausage or a porkchop and appreciate it a lot more, and nowadays I get upset about wasting food in general.
Though not perfect webmode is usable for multimode editing.
This is one of the examples of well thought of, well written and in general excellent observations on the status of things in our lives. Well done sir!

> I'm happy with git. You should be too.

This is the only part of your comment I don't agree with. Just because you (and me too) are happy with git, that doesn't mean we should be advising other people to be happy with them. Let everybody decide for themselves what they should be happy about and if by some chance their unhappiness produces something even better, we all win again.
> Sure, but that indicates a need for competition, not net neutrality.

> If the market was sufficiently competitive, then Comcast wouldn't be the gatekeeper.

> My solution is to increase competition, actually.

> Competition will spring up overnight.

You keep saying this, but I don't think you understand:

1) That businesses like this do not spring up overnight, even in the figurative sense.

2) The incumbent ISPs lobby to reduce competition (often getting laws on the books to make it illegal for municipalities to offer internet access), and are largely very successful at it.

3) Rural areas basically get fucked, because there won't be enough money in new competition.

4) In the meantime, we have nothing to protect customers. Let's say you're right, and we can somehow increase competition. No, it's not going to happen overnight. What's going to protect customers in the meantime, after current net neutrality regulation is rolled back? Nothing. Removing regulation that has been obsoleted by other measures is fine and the right thing to do, but there's nothing to replace it right now that will have the same effect.

> For example, the FCC could do what Canada does and require ISPs to sell Internet access at fixed wholesale rates to resellers.

So why is this kind of "anti-free-market" regulation ok, while net neutrality rules aren't? (Also, we tried this. Most smaller players that took advantage of it failed because, while the Comcasts of the US were required to _provide_ access, there wasn't really a way to require that they provide it easily, or provide good service and reliability with it. And I believe this ended up getting repealed due to... you guessed it, lobbying efforts from the incumbents.)

I'm just really getting tired of all this "increase competition" rhetoric coming from people who seem to think they live in a fantasy world where it's easy, or even possible, to get these sorts of things done, especially in the current political climate.
Doesn't it look like the very same playbook for every new Apple product?

Every single new product is behind the existing competition in so many ways (or going in such a different direction) at launch. Industry experts "don't understand" why.

But for a set of properties that are/become their distinctive anchors into people's mindset. So people can't really compare side-by-side: it looks/feels like a different thing.

Then Apple builds from that while the competition tries to copy/adjust their course.
“Orders of magnitude” is probably out of line, and there’s always the case for “horses for courses” (or “tool for the job”, more broadly), but to say git is better than what appeared before (cvs, svn) could be interpreted as both true and useless. Pretty much any distributed source control management (DSCM) software is what modern development is using today, and better than the previous decades tools (cvs, svn). Git is but one example in the DSCM field. You mention it has a terrible UI, and I’m inclined to agree. The workflow might be described as terrible too, and maybe it’s a contributor to the UI. Git probably became what it is to a large extent because of the cult of personality of Linus, despite git itself. Sure it’s better than CVS, but in defence of GP post, it’s not unreasonable to push back because “good enough” (git) is standing in the way of “good” (fossil). That all said, cult or not, git has its network effect now, which is a powerful thing no matter what ones opinion of git is. I suspect we’re really probably remarkably in agreement wrt how fortunate we are in the code management field, and we should all be grateful, but that doesn’t preclude asking for more from our tools. We are privileged to be in a world where a fossil or mercurial, or bitkeeper user can “fall back” to git. We otherwise have an embarrassing amount of good choices for capable version control. Indeed, a good time to be alive.
Well, only that most devices never were tested over months in development kernel ... and it is not possible to do so, with all those million different devices around.
That is very unlikely. Crashing would happen 100% of the time though. Most people want that trade-off (meaning: If their browser would crash, they would switch to another one, even it was less secure).
I believe you. Have you considered the possibility that it wasn't your ears?
No, it's not about that.
Hooold it. Some of those things are not like the others.

--

I pity the engineers working on ventilation machines and the like. Medical devices are insanely hard to get right; that's neck and neck with aviation testing. I'm reminded of SQLite3's "aviation-grade" TH3 testsuite, which apparently has 100% code coverage. Let's be honest; Linux's monolithic design can't really attain that.

I would never use Linux for a medical device. I say this as someone who just happens to only be running Linux on every machine in the house right now (and I have for years, it's just how things have worked out, it's not at all novel or whatever, my point is that I'm totally comfortable with it). I'd use L4 or something instead. In a pinch I'd use a commercial kernel with tons of testing. Maybe I'd even use Minix; I'm quite sure a lot of people in industry are seriously looking at it now Intel have pretty much unofficially greenlit it as a good kernel (lmao).

--

Voting machines, on the other hand; I'd totally use Linux for that, because the security/usage model is worlds apart. Here, I WOULD ABSOLUTELY LIKE FOR THE TINIEST GLITCH TO CRASH THE MACHINE, because that glitch could be malware trying to get in.

The user experience of a voting machine is such that you walk up to it, identify yourself, and push a button. Worst case scenario in this situation is that you do some involved process to ID yourself and then the unit locks up, so you have to redo the ID effort on another unit. That is, for all use cases, not going to be a problem.

(I think that's the first time I've used all caps in years!)

--

Telecom systems... those are also a totally different world. See also: Erlang. In this situation you would likely want a vulnerability to literally sound a klaxon on a wall, but have the system still keep going.

I'm reminded here of an incident where a country's national 3G system was compromised (not the US, somewhere else) by hackers and the firmware of the backend systems was hot-patched (think replacing running binary code - the OS allowed it, it was REALLY hard to even notice this was happening) to exfiltrate SMS messages and cause calls to certain numbers to generate a shadow call (which ignored mic input) to an attacker-controlled number as well.

Telecoms is a classic case of massive scale; nowadays a single telecom switch might be routing thousands of calls through at a time. Yeah you don't want even a single machine to go down. But you DO want VERY thorough debugging, auditing and metrics.

(Which apparently don't exist.)

--

As for a Heartbleed-esque catastrophe, apparently one is going to be announced for Intel ME at the upcoming Blackhat(?) conference in December. I can't wait to hear about it myself.
> - Be really decentralized. To share code between a team without the need of a central repository to hold the shared code.

It is. You don't really need to keep GitHub or Gitlab account, you know.

> - Be safe by default. I mean, to make sure that a PR done by someone is not a PR done by just a guy that took the same email as me.

Nothing does that, not just in the VCS world.

> - Better support of large (>100mb) binary files.

It already supports files larger than a hundred millibits.
We face this also. Out of scope of this blog post but suffice to say, you're right, it's hard.
> It goes along with the Trump political theme of anti-globalization.

I've never managed to connect anti-globalization with no net neutrality.

Please explain how you made that connection.
Did you think using git-annex or git-lfs ?
P.S.

This quote explains the crucial aesthetics component of formal systems:

We do not attach any character of uniqueness or absolute truth to any particular system of logic. The entities of formal logic are abstractions, invented because of their use in describing and systematizing facts of experience or observation, and their properties, determined in rough outline by this intended use, depend for their exact character on the arbitrary choice of the inventor... [T]here exist, undoubtedly, more than one formal system whose use as a logic is feasible, and of these systems one may be more pleasing or more convenient than another, but it cannot be said that one is right and the other wrong.

The quote is from a 1932 paper called A Set of Postulates for the Foundation of Logic, in which Alonzo Church first introduced the formal system that would become his lambda calculus.

"Pleasing or convenient" is aesthetics, and the thing Church tried to make pleasing or convenient when he later turned his (inconsistent) logic into a universal computation calculus was how people in the 1920s and '30s thought of computation in the context of mathematics. In more modern, computer science terms, that thing was sequential, batch computation, namely something that takes a value and produces a value. I think that most programs written today are not sequential; if not concurrent or distributed, they are at least interactive, and while they may contain a great number of sequential computation bits, those bits are not the tricky, subtle or complex things about them, and therefore form the part of least concern (even if they form the majority of lines of code).

On the other hand, in the '70s and '80s, more modern formal systems were invented that incorporate cleanly, elegantly and simply all (or, most importantly, the trick) parts of computation into a mathematical framework. Part of the reason why so much emphasis is placed on lambda calculi by contemporary logicians (AKA programming language theorists) is precisely that this calculus is so well studied because it so old. But programmers aren't logicians, and so they do not require the oldest and best understood formal system, designed to optimize concerns that they may not share.

It's true that many paradigms can be embedded as DSLs in functional languages, but that's not helpful. That a language achieves its goals doesn't mean its host is equally appropriate.
If these are the best examples you can find, it really helps to prove the point that some people will be willing to do anything to justify voting for a Republican over a Democrat. You obviously don't understand the bills you've referenced.

Regarding decriminalizing child prostitution, the bill removes penalties for the children. Anyone purchasing or attempting to purchase sex from them still face criminal charges. Many places have done the same, but also decriminalize adults who offer sex for money. This is because a very large percentage of people who engage in prostitution are forced or otherwise coerced into it. Decriminalizing their side allows them to more easily seek help while still forbidding paying people for sex.

"Felonious sexual activity" as you refer to the bill to reduce not informing people that you are HIV+ before having sex from a felony to a misdemeanor is certainly controversial, and arguments for and against the change have merit. On the one hand, there are a few people who do it maliciously, but on the other hand, there are people who are inordinately targeted for prosecution under this law (mainly prostitutes). There's also the question as to whether these types of laws continue the stigma around HIV, and what that does to people living with the disease.

So when I analyze your argument, it's extremely weak to claim that people will agree to horrible things to avoid voting for a Republican.
Ajit is literally an agent of the industry that is changing the rules to profit said industry and when it is done he will quit and move back to the private sector.
Helm is one of those apps that just fades into the background, so you soon forget that you are using it - everything just works smooth.
>de facto standard mobile payment

Is called cash :) It's accepted everywhere.

>official store membership and coupon apps

Should all be burned anyway. Plastic cards and bits of paper worked fine for decades, you don't suddenly need to run arbitrary code on my pocket supercomputer.

>banking apps

Safer to use the website. My bank authenticates you by having you enter your PIN into a card reader - although they have created a mobile app, the security is strictly inferior as phones do not come with card readers (and the passcode is different from your PIN, making you more likely to write it down).

The basic pattern is, it's either important enough to be worth being a stickler over, or trivial enough to ditch entirely. Personally, I find "not being on F-Droid" as a very strong signal that I should not want to use an app in the first place. It steers me away from malicious code and proprietary lockin. And I never, ever see an ad on my phone!
Not controlling your private keys is inherently unsafe. I have several copies of my (encrypted) paper wallet that I distributed among friends and family.

If anything that's much safer.
Show HN: Create a beautiful timeline for your product updates and roadmap
As someone who does as much as I can around the home myself, this attitude baffles me. I consider my tools and knowledge a financial investment: most are used at least monthly, some weekly. I'd never be able to afford living in my home if I paid a contractor to come out every time my toilet leaked. Likewise, my car ownership costs would increase substantially if I paid a mechanic $100 to change the oil or $1000 to service the brakes.

Also, most light everyday home maintenance work like laying tile, building a fence, framing a wall, installing plumbing, etc. is not rocket science. You don't have to be Bob Vila or go to trade school for years to learn how to do it.
This goes for humans too, succesfull oppressors dehumanize first, then massmurder.
UK Airports Are Using Passengers Phones to Cut Wait Time
I often think there's a subset of people that have scripts to search Hacker News for 'gender' or 'sex' just so they can get involved with a "I identify as a rare breed of pineapple" and "muh gender" type of comment.

The only thing that's funny is that on a thread about lab rats reacting differently to male or female lab workers, people feel the need to start a holy war about topics as pointless as this one.
> "It's all just bits" except sometimes it's 100 megabytes of video a second and sometimes it's a 100kb HN post and delivering those things satisfactorily does not take the same levels of resources.

Don't strawman. "It's all just bits" is talking about the resources needed per bit.
Well Google and YouTube have definitely removed sites and videos on the right/far-right for supposed terms of service violations so there are definitely things they won't let you say on their services that are legal.

For example, the racist and far-right site Daily Stormer was removed from Google, and videos which discuss political issues such as immigration are often privatised/removed by Youtube or at the very least, demonetised.

From personal experience these removals do seem to effect those on the ideological right more, but I'm not sure I could provide any good data to back that claim up. Although after firing James Damore for ideological disagreements it does seems fairly hard to question whether or not Google might have some internal ideological bias, it's just whether or not that bias is affecting their algorithms.

I think Google are quite smart about this though. I don't think demonetisation is a huge issue on it's own, I tend to agree that it's in Google finical interest to demonetise certain content. But what worries me is that Google and YouTube might be promoting content that fits a certain narrative. Google searches and Youtube's trending section do seem to promote content that falls into a specific ideological category.

http://aibrt.org/downloads/EPSTEIN_&_ROBERTSON_2017-A_Method...

Perhaps this is all completely unintentional, but it does seem to be happening. And with world leaders such as Angela Merkel requesting Zuckerberg do something about ideological wrong-think on Facebook it does seem to suggest there is at least some political pressure being pushed onto companies like Google and Facebook from the outside, regards of the internal politics of the company.

https://www.cnbc.com/2015/09/27/angela-merkel-caught-on-hot-...

I think we'd be naive to believe it doesn't happen at all, but it's how consciously these ideological decisions are made and how much influence governments have over these companies that concerns me.
"Linux is used in so many critical systems"

It is? I learned that in those areas you use different, much simpler and therefore more stable operating systems.
Sugar industry withheld research effects of sucrose 50 years ago, study claims
Open Milestone can help you share your product frequent updates, milestones, new features and more with your users. It can help you create your product roadmap and let your customers vote what they want. It is helpful for product managers to decide what features are most desirable and what to build next. Open Milestone offers a built-in email notifications system to get your users more engaged with your product and to keep them up-to-date about requested features. Your customers can opt-in to receive notifications whenever you share a new update.

Your feedback is welcome.
There are other means. People wrote letters in the past. Called you on the phone. Sent SMS. Sent email. Communicated on forums. Used chat programs and video conferencing.

Facebook has no monopoly on social networking, fortunately.

Heck, HN is a social site and I see no ads.

Server costs are super low. The only problem is search engines ran by advertisers having major sway.
While Google etc. are investing quite a bit into networking, that is boot strictly necessary even for sites of this magnitude. Nor very expensive, which is why they are profiting a lot.
Oh no! That site is such a fun magnificent time suck. I lost the link, guess it's time to take another dive back in.
I am all ears to see you evidence that this is just Kool Aid. As iOS developer I at least see all the API changes them make to make tracking users (or rather, phones) more and more difficult.
You don't even get to access the true MAC from your phone.
Because Emacs could do that before Atom's devs were even born.
... so honestly, at this point, we basically have another Uber thing every 2nd week.

I do not get why there is no legal action taken against Uber or even steps to shut it down.

So much of the stuff violate basic laws how to run a business, apart from the humongous flaws in Ubers ethics and damaging effects on society.
Useless for anyone who listens to music through Spotify, though, which is still the majority of the streaming market.
This European Airport Has Cut Wait Times by Half!
iPhone != brand new latest model of iPhone
That is not a question of net neutrality, every contry have blocked websites, for some reason or another.
With no NN, you need to make deals with every ISP for your online services. It is only cost effective to do such deals in your main markets. Thus we Balkanize the Internet.
Are you hearing yourself? Half of Republican Congress and their "southern" legacy? Firstly, none of that happened in any current living people's lifetime like with the example with the Nacaraguan sandistas. and secondly, saying that half of the Republicans congressmen are from the south sounds like hyperbole to me.

And about purity and electability, I thought someone like Mitt Romney was pretty pure but see where that got him.
As a British person, one of my favourites lately is:

https://www.reddit.com/r/CasualUK/

With all the doom and gloom in the UK at the moment, it's nice to go somewhere on Reddit and talk about what supermarket has the best meal deal, dodgy crisp flavours, and excellent examples of queuing.
I bought at $4 with the knowledge that it could hit $50k a coin in a relatively short period. But I sold most of it anyway. In my mind the odds of bitcoin being banned go up every day. People on HN underestimate how much we rely on the financial system to enforce regulations. Governments are not going to just give that up. It’s lasted longer than I though it would, and it might last forever if there is a way to get regulators involved, but 7 years ago I estimated that at 5% odds.
Ask HN: Is Gravatar still a thing?
At STOMT we used Gravatar for new users for a while. A lot of people were surprised how we got their image even though we communicated it properly. When we talk to developers they are now wondering why we do not use Gravatar anymore.

Do you use it for your projects?
Finance trumps patients at every level – UK healthcare needs an inquiry
> It wasn't long ago that even seemingly knowledgeable people were urging people to get out of Poloniex because they were about to be the next Gox. Nothing yet, in fact they've gotten better likely because the exodus of many traders eased the support and scaling burden.

I have no idea what the truth is there, but this sounds a lot like "people said Y2K would be a big deal and spent millions fixing code and then nothing happened!"