Viewing profile — thdhhghgbhy

I love this.

Does the fixed window layout really work with emacs though? In the past when trying this type of setup, I'd end up in the treemacs side panel showing a code buffer instead of the f…

lazygit is too slow at patching big files. If performance ever improves I'll come back from fugitive.

Is there something this nice for JS, with the decorators like that?

Doesn't this mean you are not regionally isolated from us-east-1?

Thank you, nice.

Thanks. You've put some work into this.

>You could have incorporated some snark Why even say this?

Thanks for the response. I would like to use fzf with rg to search file contents with a previewer open. However when I first open fzf I don't wish to pass any argument to rg, until…

For searching file contents, is there a way to start rg with no search string?

I found Neogit quite buggy. Not even in the same league as Magit.

Love Magit, it is a work of art. I moved to vim a few years back and miss magit dearly. The most feature complete Neovim magit clone is buggy.

That's convenient, will probably take him through to retirement.

First answer: "you're prompting it wrong." I've heard that a few times now about demented autocomplete.

How is the steel for the wind turbines made? They are end of life after 5 years I thought.

He's abandoned it now though.

That's the DOM API, it's not part of the language! They had reasons for querySelectorAll not returning an array.

I always thought JS map filter reduce felt quite nice, especially playing around with data in the REPL. Java maps with all the conversions back and forth to streams are clumsy.

>delimited continuations? Yes, sorry typed this up on the run.

Well the delimited continuation primops are there in ghc for anyone to use. But even with the proliferation of effects libraries in Haskell, I haven't heard a whisper of any of the…

It's powerful, but is anyone actually using it other than in hobby projects that is, in any language?

"just let people decide for themselves” is not new, the idea goes way back to John Stuart Mill at least. The "marketplace of ideas".

So if this project was completed in Lean 3, for sake of example, how compatible would it be with Lean 4 today?

A big concern is how future proof this Lean code is, and they are going to produce a lot of it.

No big corporate will ever use this, they'd be too worried about the compiler being compromised in some way. Llrt will never go primetime either, so we're stuck with the full Node …