Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

We lost 54k GitHub stars

httpie.io

Post reply on HN
Print view View original

441–450 of 697 posts

Re: We lost 54k GitHub stars

#441

Post by hnlmorg »

14u2c wrote: post #393
lalopalota wrote: post #303

Earlier quoted context omitted.

Right, just more work. More tests. More edge cases. More time.

Well, they put in the time to test a massive cascading delete operation. Surly a flag would have offered far less possibility of catastrophic outcomes and therefore would been significantly easier to confidently develop and test.

Cascade delete is a less risky operation from a security stand point. There are so many edge cases where potentially sensitive information could get leaked with regards to subscribed private repos if not handled correctly. In fact I have personally filed a bug bounty with GitHub after discovering just such a bug.

I’m not saying there isn’t a better way Github could handle this situation. Just that I do sympathise with the decision to cascade delete.

Re: We lost 54k GitHub stars

#442

Post by mjyut »

johnwheeler wrote: post #192

rm -rf / gives no such warnings, and maybe it should, or maybe people should be _very_ careful when typing rm -rf in front of anything.

> GNU rm normally declines to operate on any directory that resolves to /. https://www.gnu.org/software/coreutils/manual/html_node/Trea...

Re: We lost 54k GitHub stars

#443

Post by dajonker »

forty wrote: post #60

What can you purchase with GitHub stars? More seriously, why do they matter? Is it a prestige thing only or are there practical consequences to losing the stars?

From personal experience and from reading the other comments, some people see open source as a popularity contest and more stars will get you more users (which in turn gets you more stars).

Choosing one library over another just because it has more stars is bad decision making.

Consider choosing a command line tool for making http requests. If you consider GitHub stars: - curl has 24.7k stars - httpie has 4.3k stars as of writing this - wget only has a mirror on GitHub with 264 stars

Does this mean wget is a bad tool? Does it mean httpie used to be vastly superior to curl with over 2x the amount of stars? I don't think you can really say anything meaningful about these projects based on the amount of stars, especially relatively to each other. Except for how many people clicked on the star button.

Re: We lost 54k GitHub stars

#444

Post by realusername »

berkes wrote: post #437
vaishnavsm wrote: post #70

I really like this post. While the author clearly feels bad about the fact that they've lost his community and that GitHub didn't restore it (which is honestly what any of us would've felt under similar circumstances), they're also focusing towards the future and using their personal experience as a parable all of us can learn from. Lesson 1 on UI design I think is really important. I often think scary popup boxes ar…

Github is built with MVC. On rails no less. Where problems like soft delete are hard, or even impossible to solve (in scale). Yet there are many architectures beside MVC. Many of them decades old. Proven. Established. Yet unknown to devs who picked up a rails book on day 1 and never looked back (I've been guilty of that for years). This particular problem is a textbook candidate for Command Pattern. The problem of un…

I don't see why you are thinking it's hard with rails, you just create a default scope in your model "not_deleted", and that's done.

It will apply to all queries unless you specifically call " unscoped"

Re: We lost 54k GitHub stars

#445

Post by input_sh »

rhtgrg wrote: post #128
cmeacham98 wrote: post #111

Earlier quoted context omitted.

I specifically dislike the "Lessons" section, as it throws all the blame on github and doesn't mention the seemingly obvious advice: "make sure you're not on autopilot when taking potentially dangerous actions, on github or any website". Yes, GitHub probably should show the stars in the warning UI, and hopefully that will prevent some of these mistakes. But GitHub makes it pretty hard to make this mistake already - t…

> I specifically dislike the "Lessons" section, as it throws all the blame on github and doesn't mention the seemingly obvious advice: "make sure you're not on autopilot when taking potentially dangerous actions, on github or any website". I don't know. Github employees themselves have made this mistake as outlined in the post, and they were easily able to recover from it, which probably lowered the priority on chang…

I found GitHub's Senior Director of DevRel on Twitter saying this:

> Sadly we can't easily do that without triggering lots of issue. We tried with a couple of projects in the past and found it caused a bunch of bad things to happen.

https://twitter.com/martinwoodward/status/149333028949351629...

Re: We lost 54k GitHub stars

#446

Post by [deleted] »

jdmichal wrote: post #114
vaishnavsm wrote: post #70

I really like this post. While the author clearly feels bad about the fact that they've lost his community and that GitHub didn't restore it (which is honestly what any of us would've felt under similar circumstances), they're also focusing towards the future and using their personal experience as a parable all of us can learn from. Lesson 1 on UI design I think is really important. I often think scary popup boxes ar…

I ran into this in pgAdmin recently. When right-clicking on a server, the options to disconnect the server and remove the server are right next to each other. Clicking disconnect presents you with the following dialog box: "Are you sure you want to disconnect the server? No / Yes" Click remove presents you with the following dialog box: "Are you sure you want to remove the server? No / Yes" Good luck! I mean, it's no…

[deleted]

Re: We lost 54k GitHub stars

#447

Post by jonenst »

I would have had more sympathy for the author if they explained why they care so much about github stars. It's just internet points after all. At the very end, they say "What started as a side project has recently become a company" so if it's all about business, maybe they could have made that more prominent. EDIT: sorry, not meant to be harsh. Hopefully you get what you want and thank you for writing open source software

Re: We lost 54k GitHub stars

#448

Post by JetAlone »

alecbz wrote: post #318
calcifer wrote: post #150

Earlier quoted context omitted.

> albeit the action of an emotionless machine with a programming bug rather than a malicious human Yes, if you remove a major part of the definition (intent) then it can fit whatever you want it to fit. Like Gino D'Acampo most famously said [1], if my grandmother had wheels, she would have been a bike . [1] https://www.youtube.com/watch?v=A-RfHC91Ewc

I think it’s a fair use of the term. I’d maybe feel differently if there was a better term to use for “non-intentional gaslighting”, but afaik there isn’t really.

How about we coin a term today, "LEDlighting"? (Pronounced Led-Lighting).

"When a digital platform's state is altered in an opaque way without input on the user's behalf that directly commanded it to, and as a result causes them to question reality in the form of either their memory, the actual state of the system itself, or whether or not the system was intentionally made to do it by an unseen human."

Shadowbans, whether you think they're a good form of moderation or not, would be an example of LEDlighting.

In a game if the chat system stops working but the rest of the game works and everyone thinks they have been muted for some unknown infraction of the rules by an overreaching moderator, that's also LEDlighting.

Re: We lost 54k GitHub stars

#450

Post by lixtra »

jonenst wrote: post #447

I would have had more sympathy for the author if they explained why they care so much about github stars. It's just internet points after all. At the very end, they say "What started as a side project has recently become a company" so if it's all about business, maybe they could have made that more prominent. EDIT: sorry, not meant to be harsh. Hopefully you get what you want and thank you for writing open source sof…

There are also notifications and more. It’s about loosing the community enabled by the social features of github.
Post reply on HN