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

Libghostty is coming

mitchellh.com

Post reply on HN
Print view View original

191–200 of 275 posts

Re: Libghostty is coming

#191

Post by WD-42 »

ksec wrote: post #138
kortex wrote: post #45

Earlier quoted context omitted.

Hashimoto is an absolute wizard, but what I find most compelling about him is his absolutely uncanny ability to segment and abstract systems and interfaces in a way for maximum composability and minimal entanglement. He's like the walking embodiment of Rich Hickey's Simple Made Easy philosophy. It's like he designs software systems in such a way that they have no choice but to operate correctly and predictably. Also…

I only wish after 1.3 he could hand over Ghostty to others for maintenance and move to improve other things. The software world really needs people like him to drive things forward .

How is this not driving things forward? It's the best terminal emulator I've ever used.

Re: Libghostty is coming

#192

Post by WD-42 »

alostpuppy wrote: post #76
kortex wrote: post #45

Earlier quoted context omitted.

Hashimoto is an absolute wizard, but what I find most compelling about him is his absolutely uncanny ability to segment and abstract systems and interfaces in a way for maximum composability and minimal entanglement. He's like the walking embodiment of Rich Hickey's Simple Made Easy philosophy. It's like he designs software systems in such a way that they have no choice but to operate correctly and predictably. Also…

I love ghostty. The only thing that is missing is a find feature which is such an odd omissions for an incredible piece of software.

In the latest version Shift + ctrl + alt + j copies the entire screen and opens it in what I assume is $EDITOR (maybe this can be configured). Or just shift + ctrl + j to copy the screen to temp file and pate the path. Either way, it then just becomes configuring it to use a pager by default, or `shift+ctrl+j` and then | less. This is similar to how kitty does search, by essentially outsourcing it to an external pager. I was put off by it at first, but it's very much in the UNIX philosophy.

Re: Libghostty is coming

#193

Post by rorytbyrne »

ec109685 wrote: post #166
godelski wrote: post #147

Earlier quoted context omitted.

Maybe I'm misunderstanding your request but do you not pipe outputs into a pager? (Less, more, batcat, etc) I feel like I'm probably not understanding the context though.

Sometimes you just have a command write output.

In that case are scroll bars even helpful for determining position?

My terminal history is normally huge, and the log output would be some unknown percentage of the total scrollable history.

Re: Libghostty is coming

#194

Post by karimf »

internetter wrote: post #183
giancarlostoro wrote: post #83

Earlier quoted context omitted.

Basically MariaDB. He (original creator of MySQL) sold MySQL for a Billion dollars (iirc) forked it, created MariaDB and kept at it. It's been what 15 years now?

Wrong person. You're thinking of Michael “Monty” Widenius, not Mitchell Hashimoto

I think op is telling a similar story, not necessarily the same person.

Re: Libghostty is coming

#195

Post by the_real_cher »

threecheese wrote: post #159
the_real_cher wrote: post #84

How is he such an absolute chad of a developer? He has side projects that would make careers for most of us.

I thought ‘chad’ was a pejorative; is Chad good again? :)

I though it just means an exceptional alpha male type. I didn't know it was ever pejorative.

Re: Libghostty is coming

#196

Post by the_real_cher »

Imustaskforhelp wrote: post #89
the_real_cher wrote: post #84

How is he such an absolute chad of a developer? He has side projects that would make careers for most of us.

Mitchell and bellard and to somewhat degree fwsgonzo (you might not know him but I absolutely like his work on libriscv, the game he's working and the kvm sandbox which he's working on too) are my definitions of literal coding chads. People should really measure coding proficiency as being 10% of these guys or some fraction instead of whatever metric they are using now (slightly kidding ofc) They are the 10x develope…

Ive worked with 10x people before. All these people you mention and Torvalds too seem to be 100x developers.

Re: Libghostty is coming

#197

Post by hamandcheese »

jdub wrote: post #173
godelski wrote: post #153

Earlier quoted context omitted.

Try a pager instead. Batcat is more feature rich but there's always the good old less (and more) command. Both work great with grep. I do things like the following multiple times a day $ cat foo.log | less $ cat foo.log | $PAGER $ cat foo.log | grep 09-23-2025 | less Side note / pro tip: on a new line in the terminal press control-x control-e. If you're in zsh you need to edit your config but this will work out of th…

You can leave the cat at home. less foo.log grep 09-25-2025 foo.log | less

https://mrmr.io/cat

Re: Libghostty is coming

#198

Post by godelski »

ec109685 wrote: post #166
godelski wrote: post #147

Earlier quoted context omitted.

Maybe I'm misunderstanding your request but do you not pipe outputs into a pager? (Less, more, batcat, etc) I feel like I'm probably not understanding the context though.

Sometimes you just have a command write output.

I'm still not quite sure what you mean. You can still {|,>} output from a program, so less and grep still help.

Or do you mean when you inevitably forget? Well then yeah you're at the mercy of your terminal but as others mentioned ghostty has a hack to help as well as some other terminals. But this should also help reinforce why you should pipe more often and write to files (or tee). It sucks but not making the same mistakes in the future and learning better habits will help you write better code and use better practices.

But that's the age old problem of "you can't analyze the data you didn't record" and that's a footgun you'll experience in every programming language, every experiment, and across many parts of life. Better to record and throw it away than not record and regret it.

Re: Libghostty is coming

#199

Post by vincentkriek »

WD-42 wrote: post #191
ksec wrote: post #138

Earlier quoted context omitted.

I only wish after 1.3 he could hand over Ghostty to others for maintenance and move to improve other things. The software world really needs people like him to drive things forward .

How is this not driving things forward? It's the best terminal emulator I've ever used.

The person you replied to agreed, but the maintenance could be done by other people while Hashimoto could continue to improve other technologies.

Re: Libghostty is coming

#200

Post by asimovDev »

jdub wrote: post #173
godelski wrote: post #153

Earlier quoted context omitted.

Try a pager instead. Batcat is more feature rich but there's always the good old less (and more) command. Both work great with grep. I do things like the following multiple times a day $ cat foo.log | less $ cat foo.log | $PAGER $ cat foo.log | grep 09-23-2025 | less Side note / pro tip: on a new line in the terminal press control-x control-e. If you're in zsh you need to edit your config but this will work out of th…

You can leave the cat at home. less foo.log grep 09-25-2025 foo.log | less

but he will feel lonely if he doesn't participate :(
Post reply on HN