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

Ghostty is leaving GitHub

mitchellh.com

Post reply on HN
Print view View original

161–170 of 1001 posts

Re: Ghostty is leaving GitHub

#161

Post by CamperBob2 »

latexr wrote: post #55
WadeGrimridge wrote: post #30

Mitchell on what he'd do if he was in charge of GitHub: https://x.com/mitchellh/status/2036866220449030168

https://xcancel.com/mitchellh/status/2036866220449030168

The big idea is all agentic interactions should critically rely on GitHub APIs. Code review should be agentic but the labs should be building that into GH (not bolted in through GHA like today, real first class platform primitives). GH should absolutely launch an agent chat primitive, agent mailboxes are obviously good. Etc. GH should be a platform and not an agent itself.

Why do I want that running on somebody else's computer? It's bad enough that most developers already rely on Anthropic or OpenAI. What value does a remote working repo add?

Re: Ghostty is leaving GitHub

#162

Post by weiliddat »

nomel wrote: post #125
weiliddat wrote: post #77

Earlier quoted context omitted.

I think it's more people are checked out (and AI is one part of it yes), made worse by orgs who don't know how to lead/manage/change effectively. FWIW, some people used to (or still do) say similar things that software is significantly worse because people use "unserious" languages like PHP, Ruby, Python, JavaScript. It brought about so much cool shit that I don't think it's worth saying we should've stuck with only…

I don't know if it's just because I was young and bright eyed, but it seems like the "passionate nerd" is somewhat absent in modern tech orgs. Seems like, starting around 6 years ago, none of the new hires seem to give a fuck about anything anymore. That's definitely great for work life balance, and I don't think any less of them for that, but passion seems to be gone. I would be doing what I do for work if I was emp…

I'm still optimistic. I think the number hasn't gone down, just the ratio. Software still offers a relatively well paid and comfortable career, so you naturally get people who just want to do a good job and that's it. Nothing wrong with that.

Used to be nerds hanging out on IRC, distributing Slackware, hacking trialware, modding games, etc. that had the passion and problem solving determination to do software work, which used to be harder due to lack of access to information.

OTOH what a great time for a budding engineer. I'm in my mid 30s, and no longer have the same stamina and passion as in my teenage/20s, but in the last 5 years I've learnt so many things I could not have done so back in the day. I learnt and experimented way more around random topics like compilers, OS, electronics, databases because of ease of access to information, AI (:shrug:), even though I have way less free time.

Re: Ghostty is leaving GitHub

#163

Post by nimbius »

>It’s not a fun place for me to be anymore. I want to be there but it doesn't want me to be there. I want to get work done and it doesn't want me to get work done. I want to ship software and it doesn't want me to ship software.

Has anyone else shared this sentiment? If so Redmond needs to lean in hard.

this is an absolute killing blow for Microsoft if it gains real traction. You made developers your cornerstone eight years ago for nearly 8 billion dollars. you spent another 2bn on minecraft to clinch the deal with young developers and the code camp kids.

Youve lost the OS, and the server realm. Lose the developers, and youre on your way to becoming the Xerox of the 21st century.

Re: Ghostty is leaving GitHub

#164

Post by marcyb5st »

frevib wrote: post #105
DrammBA wrote: post #34

Earlier quoted context omitted.

I can feel the frustation, nothing dramatic about expressing it This quote from the post resonated with me: > I want to get work done and it doesn't want me to get work done. I want to ship software and it doesn't want me to ship software. The sentiment is shared, and github is not the only service making me feel like that, it feels like everything on the web is more flimsy and low quality nowadays. Constant outages,…

Enshittification has become the winning strategy for companies. If you don’t enshittify you will lose.

Fully agree. We really should punish companies that blatantly push this kind of mercenarism. I mean, every VP and CxO join a company, he/she takes super short-sighted decisions that push some random metric a bit up, and then they leave with a huge performance bonus not caring if everything is worse. They won't be around to cope with the fallout as they are already in another company doing the same.

I am not again performance bonuses, but they should be attach to better metrics. Eg the number of happy users is still up in 3 years time. Or something like this.

Re: Ghostty is leaving GitHub

#165

Post by aykutseker »

about to launch my first open source project in days. reading this with a knot. github used to be a default; now it's a decision. and watching mitchellh agonize publicly is the honest preview every new maintainer gets from now on.

Re: Ghostty is leaving GitHub

#166

Post by jauntywundrkind »

estimator7292 wrote: post #78
atonse wrote: post #22

During one of the x threads where Mitchell was (legitimately) complaining about Github, there were a couple replies suggesting that GitHub should hire him to be their CEO. And I remember seeing that and thinking "huh... not at all a bad idea." There is a specific kind of leader that can turn such ships around, and they are strong in their convictions, and aren't just "managers", but visionaries coupled with strong ex…

I'm still holding out hope for distributed and federated git forges. The only compelling reason for everyone to centralize on GitHub is collaboration on issues/PRs without everyone allowing signups on their self-hosted forges. That could be achieved without hosting every line of code everyone's ever written in the same crumbling infrastructure. It'll probably never happen. But it'd be really nice if it did.

Jeremie (of XMPP) has a neat project, v-it, which uses atproto (Bluesky) to let people socialize their changes to projects. https://v-it.org/

It's a bit short of actual PRs, but in some ways, especially with agents, the lo-fi approach has some advantages.

Re: Ghostty is leaving GitHub

#167

Post by palata »

MarsIronPI wrote: post #71
atonse wrote: post #22

During one of the x threads where Mitchell was (legitimately) complaining about Github, there were a couple replies suggesting that GitHub should hire him to be their CEO. And I remember seeing that and thinking "huh... not at all a bad idea." There is a specific kind of leader that can turn such ships around, and they are strong in their convictions, and aren't just "managers", but visionaries coupled with strong ex…

> I think a new GitHub will emerge and when it's just right, will grow like wildfire (like OpenClaw, or even GitHub itself did during the SVN and SourceForge era). And many are already trying to be that new GitHub. Really? I can only think of two: Codeberg and Sourceforge. Which are both great, but that's not what I'd call "many".

Sourceforge???

Re: Ghostty is leaving GitHub

#168

Post by [deleted] »

mitchellh wrote: post #26

I know this is ridiculously dramatic, but its the truth: I actually cried writing this blog post (tears hit my keyboard, I'm embarrassed to say). Nobody should cry over a SaaS, of all things. But GitHub has meant so much more to me than that (all laid out in the post). I have an unhealthy relationship with it. Its given me so much and I'm so thankful for it. But, it's not what it used to be. I don't know. We've been…

[deleted]
Post reply on HN