thdhhghgbhy

6 ms·

1. 1.▲
   by thdhhghgbhy 10mo ago

   I love this.
2. 2.▲
   by thdhhghgbhy 11mo ago

   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.
3. 3.▲
   by thdhhghgbhy 11mo ago

   lazygit is too slow at patching big files. If performance ever improves I'll come back from fugitive.
4. 4.▲
   by thdhhghgbhy 11mo ago

   Is there something this nice for JS, with the decorators like that?
5. 5.▲
   by thdhhghgbhy 1y ago

   Doesn't this mean you are not regionally isolated from us-east-1?
6. 6.▲
   by thdhhghgbhy 1y ago

   Thank you, nice.
7. 7.▲
   by thdhhghgbhy 1y ago

   Thanks. You've put some work into this.
8. 8.▲
   by thdhhghgbhy 1y ago

   >You could have incorporated some snark Why even say this?
9. 9.▲
   by thdhhghgbhy 1y ago

   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.
10. 10.▲
    by thdhhghgbhy 1y ago

    For searching file contents, is there a way to start rg with no search string?
11. 11.▲
    by thdhhghgbhy 1y ago

    I found Neogit quite buggy. Not even in the same league as Magit.
12. 12.▲
    by thdhhghgbhy 1y ago

    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.
13. 13.▲
    by thdhhghgbhy 1y ago

    That's convenient, will probably take him through to retirement.
14. 14.▲
    by thdhhghgbhy 1y ago

    First answer: "you're prompting it wrong." I've heard that a few times now about demented autocomplete.
15. 15.▲
    by thdhhghgbhy 1y ago

    How is the steel for the wind turbines made? They are end of life after 5 years I thought.
16. 16.▲
    by thdhhghgbhy 1y ago

    He's abandoned it now though.
17. 17.▲
    by thdhhghgbhy 1y ago

    That's the DOM API, it's not part of the language! They had reasons for querySelectorAll not returning an array.
18. 18.▲
    by thdhhghgbhy 1y ago

    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.
19. 19.▲
    by thdhhghgbhy 1y ago

    >delimited continuations? Yes, sorry typed this up on the run.
20. 20.▲
    by thdhhghgbhy 1y ago

    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. T
21. 21.▲
    by thdhhghgbhy 1y ago

    It's powerful, but is anyone actually using it other than in hobby projects that is, in any language?
22. 22.▲
    by thdhhghgbhy 1y ago

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

    So if this project was completed in Lean 3, for sake of example, how compatible would it be with Lean 4 today?
24. 24.▲
    by thdhhghgbhy 1y ago

    A big concern is how future proof this Lean code is, and they are going to produce a lot of it.
25. 25.▲
    by thdhhghgbhy 1y ago

    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.
26. 26.▲
    by thdhhghgbhy 1y ago

    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.
27. 27.▲
    by thdhhghgbhy 1y ago

    I'm all ears, please provide one potential way.
28. 28.▲
    by thdhhghgbhy 1y ago

    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.
29. 29.▲
    by thdhhghgbhy 1y ago

    >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.
30. 30.▲
    by thdhhghgbhy 1y ago

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