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 file viewer that is supposed to be there.

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 I start typing. Something like Telescope live_grep.

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 them using the delimited continuation primitives in ghc. There was one very expwrimental extension to Bluefin from memory, but that's it.

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 runtime for a while.

I did, and xss and session sniffing listed on the OWASP web page, would be prevented by following OAuth flows. So that just leaves mitm, which as I said, is effectively breaking https.

I'm all ears, please provide one potential way.

Thanks. Tangentially TLA+ seems to be most useful for finding concurrency bugs. I'm yet to find a compelling example of it used for a fairly mundane, by that I mean composed of mainly sequential processes, systems architecture.

>But session hijacking is a known problem.

You're effectively talking about an attacker breaking https aren't you? Unless you can detail another way to get at a user's token. I'm curious to hear about it.

I was hoping for a TLA+ example, but it never got there.