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

GitHub dropped Pygments

greghendershott.com

Post reply on HN
Print view View original

81–90 of 133 posts

Re: GitHub dropped Pygments

#81

Post by digi_owl »

isomorphic wrote: post #59
agumonkey wrote: post #56

Earlier quoted context omitted.

Should there be a limit on the size of any organ, to avoid this bit bus factor ? Like hierarchies starting to be needed after a group reaches 150 people.

Well, the current Internet pendulum has swung to nearly the polar opposite of federated services, much to the dismay of my inner software-libre graybeard. Even a duopoly (!) would be preferable to a single vendor.

I seem to recall that IEEE or some such have a rule about there being 2 independent implementations of a spec before they consider it complete.

Re: GitHub dropped Pygments

#82

Post by Macha »

digi_owl wrote: post #81
isomorphic wrote: post #59

Earlier quoted context omitted.

Well, the current Internet pendulum has swung to nearly the polar opposite of federated services, much to the dismay of my inner software-libre graybeard. Even a duopoly (!) would be preferable to a single vendor.

I seem to recall that IEEE or some such have a rule about there being 2 independent implementations of a spec before they consider it complete.

W3C at least has this.

Re: GitHub dropped Pygments

#83

Post by skrebbel »

walterbell wrote: post #33
skrebbel wrote: post #31

Earlier quoted context omitted.

People are downvoting you because you're bikeshedding like a madman. The post I'm replying to will soon be downvoted too, because you're whining about getting downvoted.

Thanks for the explanation, and the new word.

Here to help :-)

Re: GitHub dropped Pygments

#84

Post by Demiurge »

isomorphic wrote: post #43
Demiurge wrote: post #15

Earlier quoted context omitted.

I don't think it's paranoia. I think it factually is a single point of failure, which is a bad thing(tm). And GMail is a single point of failure for my (and my companies) e-mail, and that bothers me too, despite the fact that I'm not doing anything about it :)

Google is a giant single point of failure. Others would rush to fill the vacuum, but it'd be a brutal few months (years) while we all relied upon Bing. Is there any GitHub-esque outfit waiting in the wings that provides free OSS hosting?

I really like bitbucket. They don't have as many features, but free private repos, unlimited academic repos, means I'm not actually a GitHub user, except for the OSS projects that insist on GitHub.

Re: GitHub dropped Pygments

#85

Post by JetSpiegel »

walterbell wrote: post #16
__david__ wrote: post #12

Earlier quoted context omitted.

It's not like they broke git, or some actual important interface. They stopped syntax highlighting on non mainstream languages until new lexers can be written. What on earth would you as a customer have done if they had said, "syntax highlighting in the browser for is going to go away in a week"? Are you going to migrate away from github? Or shrug and say, "bummer"? Github did the most efficient thing: break it and l…

> It's not like they broke git, or some actual important interface Does the vendor or the customer decide what's important to the customer?

GitHub is free, the repo owners are not the customer.

Re: GitHub dropped Pygments

#86

Post by Demiurge »

shurcooL wrote: post #48
isomorphic wrote: post #8

This sort of thing feeds my paranoia about GitHub being a giant single point of failure in the open-source world. I know the argument: Someone, somewhere has a copy of each repo checked out, so we (the nebulous "we") could reconstruct everything from the diaspora of ".git" directories. It just bothers me to think how dependent OSS has become upon GitHub.

> GitHub being a giant single point of failure What is our definition of a "point"? If you have an external hard-drive backup of your laptop, that's 2 points of failure, right? If someone else has 10 external hard-drives that they keep in different places, that's 10 points, yes? But what stops you from calling all those hard-drives "a giant single point of failure"? If all of them are destroyed, the data is lost. I j…

In this case my definition of a point is a single remote to github.com/ in all the OSS projects .git/config

A single issue tracker with hundreds of issues for all these projects. A single database of commiter permissions. Etc.

Re: GitHub dropped Pygments

#88

Post by josephlord »

pjc50 wrote: post #67
volent wrote: post #60

Earlier quoted context omitted.

If Google goes down, go with duckduckgo instead of bing please :)

They're an anonymising frontend to bing with a number of extra search utilities.

That is an incorrect massive oversimplification from what I understand:

https://duck.co/help/results/sources

Re: GitHub dropped Pygments

#89

Post by lmm »

Macha wrote: post #82
digi_owl wrote: post #81

Earlier quoted context omitted.

I seem to recall that IEEE or some such have a rule about there being 2 independent implementations of a spec before they consider it complete.

W3C at least has this.

How did CSS 2 with its zero implementations ever happen then?

Re: GitHub dropped Pygments

#90

Post by lmm »

JetSpiegel wrote: post #85
walterbell wrote: post #16

Earlier quoted context omitted.

> It's not like they broke git, or some actual important interface Does the vendor or the customer decide what's important to the customer?

GitHub is free, the repo owners are not the customer.

Many of us are paying GitHub for private repos.
Post reply on HN