skysight-inc/HackerNews huggingface dataset:
This project influences a ton of people, and if we have a lot of contributors going somewhere else, we'll lose progress we could have gotten otherwise. Linux is bigger than he is now, progress on it helps millions of people directly or indirectly.

Think of it more like a company instead of a house. The founder doesn't have free reign to do whatever he wants to his employees. Everyone deserves to be treated respectfully, regardless of the situation.
A /48 for Every Site and for Every Site a /48
I have been bullied, but ended it quickly, because that's how I roll. I can take massive amounts of verbal assault (former Marine) and physical difficulties, but I do draw the line at actual bullying for the sake of bullying. I don't equate calling someone a "fucking moron" or similar, bullying. YMMV. Being former military has given me some pretty thick skin.
I both agree with you, and disagree. Using your analogy... you've got 20,000 guests over at your house, and a bunch of them are telling you that you're being an asshole. You like the party you're having, and want to keep the party going. Do you listen to them and consider that there might be some validity to what they're saying? Or kick them out?

There's nothing saying that he must listen to them, but it's pragmatically probably a good idea.
Nguyen v. I.N.S. stated that citizens are entitled “to the absolute right to enter its borders....” Some more info and references to cases here: https://fas.org/sgp/crs/misc/home.pdf
As soon as spam started hitting USENET there really was no way to shut it down. The entire system was held together by "netiqette" and when that died off during the Eternal September, it was only a matter of time before it collapsed.
I'd take issue with that number, since the inertia of authenticated user count, or unique HTTP session count, or even raw network request traffic isn't profoundly relevant at this point.

In fact, it hasn't been for a while.

Authentic user identification ceased to matter, when two things happened. 1. facebook opened its doors to non-collegiate email address account creation (a throttle that actually regulated real names and authentic identity). 2. major news outlets started pushing facebook as part of "The Blogosphere" which offered a fundamental signal to TV land, that viewers could find the next AOL on facebook.

After that, user head count became smoke and mirrors, and a lie. Sure, you can gain an understanding of how many people know who Mario and Luigi are, by how many Nintendo consoles are sold, but that's not what matters, when your making movies, holding conventions, and you've got business agreements cemented with global news outlets, for perpetual free publicity, for as long as news gets pushed through channels like CNN and Fox News. There's enough brainwashing power in that, such that people feel safe to dump casual banter and get sloppy with conversations inside facebook, revealing locations and insight to give a glimpse of a cut of social activity for the safe-for-work crowd.

And that's what Facebook is up to by now. It's just forum software, to replace old school bulletin boards, and offer impromptu mix of craigslist style performance art and classifieds, that maybe grandma might see.
I see. Well, one thing that may help is that 95% of chessboards (at least at the clubs I've visited) use the same piece set: https://www.amazon.com/WE-Games-Complete-Tournament-Chess/dp...

Also, a 10% error rate wouldn't be a big deal as long as it was easy to correct the position within a few seconds.
+1 Internet offended point to you.
> he often made personal insults

Was it often?

I was never an ardent follower of his -- I primarily work in another field -- so I certainly haven't read or listened to all he's said. I did catch those handful of instances where he rocked the boat, but I don't recall the personal insults. Obviously that isn't to say it never occurred, but I'm wondering if he personally insulted people as often as you state.
Vogtle, the only nuclear power plant currently under construction in the US, is privately funded. The only info I see about government involvement is the guarantee of about $8B of construction loans, with a total cost of around $25B paid for by a few regional power companies.

https://en.wikipedia.org/wiki/Vogtle_Electric_Generating_Pla...
Why Are Associate Professors Some of the Unhappiest People in Academe?
Those types of tyrannical governments already have people operating in black markets. Crypto doesn't really change that it just makes the bad government's job harder which the vast majority of the world would agree is a good thing. The people of Sudan, Syria, Turkey, and the Phillipines among others are grateful that cryptocurrencies give them an option of having freedom.
I think both for sum and max a better invariant should include the uncalculated part.

Sum(0..X)=Sum(0..i)+sum(i+1..X) with the moving i. So it is true at first because the unsummed part is empty and the missing part is the goal.
Then we take away an i from the solution to-go pile and put it on the done pile and when the loop has done X the to-do pile is enpty and per invariant the done pile equals the goal.

Including the goal in the invariant sometimes gives you nicer properties. The equivalence relation often also implies an algorithm.

For max I would say the equivalence is: Max(0..X)=Max(Max(0..I),max(I+1..X))
This of course only easier if the max of empty is negative infinity.
Then you can move the i from 0 to X.
From Wikimopedia: "The Archive is a member of the International Internet Preservation Consortium and was officially designated as a library by the state of California in 2007."

Related newspaper article: http://old.post-gazette.com/pg/07175/796164-96.stm
Yes — but as you can very clearly see from the chart, only women’s earning drop significantly after a child. Men’s do not.
I noticed this in the job description - "Three weeks of mandatory paid vacation. Overworking not allowed!". Great idea, I have old colleagues who wouldn't take holidays and had up to 3 months in holidays accrued.
For context: in another part of the interview he lamented the fact that every opinion he shares becomes a news headline
And what fraction of aviation emissions are short haul? My hunch is not much. Factor of 50x in energy density really matters in the air.
The Biggest Saudi Oil Field Is Fading Faster Than Anyone Guessed
What are your system specifications? And how many files does your project typically consist of?
Insults are technically irrelevant but aggressive tone one proven way to manage open and popular projects (it's not the only one).

The problem with successful open source projects like Linux is not lack of good people, it's too many people wanting to contribute and push their ideas. Increasing the emotional stakes for committing, commenting or contributing helps. If your heart starts pounding before you press send, and you decide to read and think it again, the quality of communication and contributions increases.

Insulting someone is not as bad as politely not engaging. "Than you for participating." There is very popular and extremely PC open source project where the leadership politely avoids conflict. You try to push new ideas, corrections and features and the leaders never explains what is wrong with them or where they stand on things. People waste years before they realize that there is invincible barrier and passive-aggressive culture.

ps. I think SJW's have their place when the insults become gender based and diverge from the technical aspects. Linus-type leadership can evoke copycat behaviour that is not called for.
> Silencing people we don’t like will make it easier for others to silence the people we do.

Well-stated, though in his particular case I think Ian might've done himself a favor by publishing a piece by one of the accusers and their experience alongside the piece by Ghomeshi. I'm conflicted because I understand his point but I also understand the problem with giving someone in Ghomeshi's position a platform, which is that some will interpret it as a show of support for that person or even endorsement.
There is ample evidence that in the absence of substantial GPL contributions (Linux kernel, KHTML, GCC, etc) there would be a much reduced substantive body of influential free code available.

Apple in 1998 definitely weighed their options between writing their own proprietary browser engine vs forking a GPL one. To this day almost all free software hardware device support is exclusively due to how second class proprietary drivers play in the Linux driver ecosystem. Before the prevalence of GCC compilers were one of the deepest and most tightly protected proprietary secrets of corporations.

And none of that would have happened with permissive licenses because it required compulsory source disclosure to force businesses to contribute back. The alternative is what we see Sony do with their Playstation OSes - they built the PS3 and PS4 OS off FreeBSD, but neither contribute code back to said projects, provide any sponsorship or support (dozens of companies do, but the one making grotesque profits by exploiting user freedom isn't), and use an open source product to cripple fully functional computers with unmodifiable proprietary operating systems.

We would absolutely be in the PS4 world in regards to almost all software if the free software movement didn't push its dogma in the 90s.
There’s got to be another word that doesn’t make the user come across like someone who seems deeply proud and smug about the fact that they perceive themselves to be on the moral high ground about a particular issue, while simultaneously “tsk tsk”ing and shaming the person for something that, 9/10 times isn’t as dramatically as big a deal as the person using that word implies.

In some instances sure it’s fitting, but here? Give me a break!
Eurobarometer 2018: Do I identify with the EU flag?
Non-violent communication is verbose, inefficient, and annoying to both read and write. If I deserved to be told to fuck off then someone should tell me to fuck off in the simplest and most direct way available. Maybe you should become more offensive, have you ever considered that?
I think there's a bit of a disconnect when it comes to "harmful" speech, and "illegal".

The US government isn't going to decide what is "harmful" at least not for long as a legal challenge would quickly do away with any such rules.

In the end the platforms have to decide for themselves and police themselves unless they want to be 4chan or whatever the next "post anything" kinda place is now a days. Right or wrong they're the only folks who can do it.
The article describes the concept of a loop invariant and gives examples for a few algorithms, but unless I am missing something, it is not giving you any way to computationally verify those invariants?

(I guess I am a bit surprised by the short length of this article because when I write code, I tend to think of it in those terms already, so I expected it to go further; but I guess not everyone has been exposed to that idea or taught to program like that in the first place so I realize that that's my own bias).

What should I check out if I want to be able to formally check invariants for e.g. my Python or Swift code?
Cornell:

http://www.cs.cornell.edu/courses/cs2110/2017sp/online/loops...

https://www.cs.cornell.edu/courses/cs1110/2018sp/materials/l...

CMU:

https://www.cs.cmu.edu/~15122/handouts/01-contracts.pdf

http://www.cs.cmu.edu/%7Efp/courses/15122-s11/recitations/re...

(former CMU prof)

https://www.youtube.com/watch?v=lNITrPhl2_A
> I mean don't get me wrong. Google Search and Maps are two inventions that are so insanely useful, they may standalone be responsible for decades of faster progress

I'm wondering if I'm the only one finding Google Search lacking lately. Increasingly, its search results are seriously out of date and linking to dead and/or ad-heavy sites. I've come to use DDG and, recently, Startpage.com more than Google Search.
Is that an american or global perspective? Specifically the natural gas part. Not all countries have the same resources available.
Alcohol-induced brain damage continues after alcohol is stopped
It's a given that all of our renewable infrastructure will have to be bootstrapped via our current system of non-renewable sources. So the fact that more efficient housing may do so too is not disqualifying.
The insanity is that tons of houses have central air conditioning systems installed without a thought, and those are just heat pumps that can only be run one direction, for cooling.

The problem is that heat pump based heaters and cooling devices are still produced, marketed, and priced for the green and well off crowd, not the general public.

In the general public has no concept that the same technology they use for cooling could be used to heat their homes.

So far the manufacturers of heat pumps seem content with their well-off niche, and don't seem interested in scaling production so that the technology is available to regular folks.

Perhaps the margins on heat pumps aren't as good and they don't want to cannibalize their existing businesses selling natural gas powered heating systems, which they probably manufacture for a song (recall how Carrier ended up moving their home furnace production to Mexico anyway despite the political show that was made of them supposedly staying in Indiana)

In other parts of the world many split heat pump systems are much cheaper.
I'm not sure I agree with that website, especially given that it is written by a company that only sells lithium batteries. Lead acid batteries, just like lithiums, can be configured many different ways. Where two batteries have the same physical dimensions, the lithium can be discharged more quickly. But at the same price point the much larger lead battery can pump out the same energy just as fast. "Discharge period" is a matter for vehicles, a use case where you want to maximize available power/weight. But on a grid it is reasonable to run batteries that never fully discharge, that never go below say 50% of their total capacity.

For me, the biggest selling point for lead acid remains that the technology is beyond IP issues. I am suspicious of any statement by manufacturers that tout proprietary tech over older publicly-available solutions.
Yes, but there is an implied preference by companies to have more focus on work and less on private life, which is why it's also an implied penalty for the inverse (= having kids as a woman).

And the unfairness here is that only women are physically capable of putting children on the earth, so the penalty is applied to only women, even though both men and women are parents.
Success comes with its own punishments. The consequences of prestige and power is that you have to guard your words more carefully, because more people are paying attention.
What line of work are you in that makes this such a issue for you when you travel?
Since the title wasn't clear what the core change is:

>The outdoor gear maker won’t create the products for just anyone through its corporate sales program. Recently, Patagonia has shifted its focus to “mission-driven companies that prioritize the planet,” the company said in a statement late Tuesday.
Well, I'm sorry if it seems to you like this, but there were plenty of features I didn't like in the past as well. :D I just felt that recently things took a turn for the worse. Language design doesn't get easier with time - quite the contrary, because your options constantly shrink.

If that's your only take away I guess I've failed to communicate my points.
Cibercriminales+brasileños+aprovechan+la+vieja+escuela
Yeah, it used to be way more often > a decade ago. Most of the famous rants people know of are from more recently, and are fairly insulting.

I don't store old mailing lists, but the thing I generally point to is his statements towards the security community and, back then, specifically PaX team. I've stumbled on tons of personal attacks from him, either escalating an already negative conversation, or starting it himself.

I also challenge the "usually right". To my knowledge, Linus is quite often wrong. And that's fine, really, everyone is wrong a lot of the time. But hero worship, or feeling the need to excuse his behavior even somewhat due to a false sense that it's helping things, is not a good idea.
The thing is with linux is the the party is going to keep on going regardless. He should just ignore them, because what are they going to do ? leave ? fork ? Then go ahead fork.
This appears to just be a dupe of https://news.ycombinator.com/item?id=19558512
WinIt | Software Engineer | Flatiron, NYC | ONSITE | Full-time | Visa Available | $75k-$115k & Equity | Healthcare & Benefits | https://angel.co/winit-app/jobs/68416-software-engineer
About Us: WinIt is the industry leader helping drivers fight their parking & traffic tickets. Our long term goal is to become a one-stop solution to assist drivers with their automotive related challenges. This includes helping drivers finding the best price on auto insurance, leasing & financing options, mechanics etc. We've bootstrapped the company and have dismissed over $10 million worth of fines.

Our team: We are a small development team with members who take on multiple roles across the stack. We strive to always be improving our process and code bases, to use the correct tools for the tasks at hand, and to help grow our collective skills.

Your Role: We’re looking for a full-stack engineer driven to solve challenging problems with a clean and maintainable approach. You will write modular, high-quality code while actively contributing to peer code reviews. You are an intelligent, passionate, and innovative developer that can formulate new ideas and execute them within an existing development environment. Ideally, you enjoy a hands on approach in determining how you and the team can develop technology to meet the company’s business needs.

Skills: We’re seeking developers with full stack skills and experience. Our primary web application is written in Angular, however, we consider ourselves to be a React team. We’re developing new projects in React, and are actively transitioning our web app to React as well. We use Node.js on the backend, with MongoDB as the datastore for our primary products. We appreciate developers with an array of backend skills, but experience using Node in a backend environment is a must. Mobile experience is a plus, but we are not hiring strictly mobile devs at this time. Our applications are native Android and iOS applications, written in Java and Swift/ObjC respectively.

Experience: Ideally you have previous startup experience, writing production level code, or experience deploying your own projects to a userbase.
paypal and visa censor legal things all the time, such as pornography. Or if you express the "wrong" opinions, such as what happened to subscribestar when it was deplatformed by payment providers.
> “We found this disrespectful,” he said in an interview Monday night. It didn’t help that often the “influencers” had fewer than 2,000 Instagram followers. “How can you help me if you are no one?” he asked.

Burn!
If most people told their boss exactly what they thought, they'd get a much worse punishment than a few measly hours of interrogation... At least this guy can go cry in his Mercedes Benz afterwards. It may not be fair but it's not a problem that deserves news coverage IMO. I bet that much worse things have happened today which deserve more attention.
Back in (I think) 2014/5 I worked on http://docs.the-startup-stack.com/.

My goal was to create a toolchain that is battle-tested production-ready and pluggable to help companies deliver code faster and worry less about operations.

I started it in my spare time and worked on it for about 3-4 months.

I still believe there is a HUGE need for this and that many companies are solving the same problem over and over again. It's super expensive to build.

The challenge is catching companies at the right time. It needs to be as easy to start as it is with Heroku and a Rails application BUT you should be able to grow and scale up with batteries includes (unlike AWS).

Another challenge is the fragmentation of development tools/frameworks/configurations and cycles.

Very interesting space.
> Of course, I'd also suggest that whoever was the genius who thought it
was a good idea to read things ONE F-CKING BYTE AT A TIME with system
calls for each byte should be retroactively aborted. Who the f-ck does
idiotic things like that? How did they noty die as babies, considering
that they were likely too stupid to find a tit to suck on?
[replaced asterisks with - for formatting]

Is not being abusive towards technical incompetence. Its being abusive towards a person who made a mistake. You can be as forceful and as clear about technical problems without being abusive. A simple "this patch should never have been accepted, and if the approver continues to accept bad changes like this I'll need to re-evaluate their position as a maintainer" gets the same, or perhaps an even more forceful message about the technical issues across, without any personal attacks.

Technical incompetence need not be tolerated. But suggesting someone be retroactively aborted shouldn't be either.
> building database backed web applications where nils are simply unavoidable without some extreme over engineering or awkward idioms

Say what?

Adding a 'NOT NULL' to your database fields is a no-brainer.
Keep that straw-man away from the fire lest he burn.

You are intentionally misinterpreting the GP's comment or at least seem to be from my interpretation. Nobody is annoyed that they can't sprinkle legitimate criticism with personal attacks. That was never considered normal or ok though it may have been tolerated in some contexts. People are annoyed that any direct criticism can be construed as a personal attack.
it will probably make money, but this is the same as sp500 et al being public list of components. they know that showing their "secret" will influence the irrational market to folow suit, hence showing sp500 components will make more people buy into those and make sp500 even more profitable.

this can be an attempt at the same for the new generation. if your algo is making money and it can benefit from a mass adoption of the same strategy (or more likely they have a secret tweaked one that takes that more into account) why wouldn't they offer it in the open?
Turbine engines in theory can run on almost any flammable liquid. However in practice they would need substantial re-engineering. Also ethanol is less energy-dense than kerosene/jet fuel.
Well Facebook was built on the failures of MySpace which in turn was built on the failures of Friendster, and so on. People who wanted their own space were always making their own space, and the rest would go to whichever social network was the most relevant at the time.
The End of Extended Validation Certificates