stochastictrebuchet

  • 0 Posts
  • 108 Comments
Joined 2 years ago
cake
Cake day: June 12th, 2023

help-circle








  • I wouldn’t say they’re pushing it. They’re adding AI features that, like it or not, are proving to be handy additions to a developer’s toolkit. But it’s not their core USP, and you can ignore it if you don’t care about it. In terms of speed I’ve found only Helix to match it.

    Zed’s ‘live collaboration’ features, by contrast – yeah, no clue who the target user is there, since I grant everyone on my team to use whatever tools they feel most productive with.



  • Don’t just put things down; put them away. I have to remind myself each time, but it really helps to keep clutter off the table or desk.

    Another: when I sit down at my desk, I do a quick scan of everything and assess what I won’t need, or haven’t needed the past few days, and remove it. (Anything decorative is obviously exempt.) Again, I’m not perfect about it – there’s an old scribble pad with no blank pages that for some reason I can’t bring myself to throw out even though I haven’t opened it in over half a year.




  • Any time I read the Kitty docs I’m just in awe of everything its maker, Kovid Goyal, has built for it. Like, not just individual features but entire protocols, which other terminals then adopt.

    I just wish remote session persistence was more of a priority. Goyal dislikes tmux (to put it mildly) but doesn’t suggest an alternative to those who do their work on remote servers. If I’m already organizing my work in tmux over ssh, I might as well do the same locally as well – which unfortunately means missing out on some of Kitty’s best parts.





  • I’ve really been enjoying Vivaldi. It’s also Chromium-based. It’s easy to customize and it has really good tab management. You can group tabs into workspaces, open split panes, and – this one I really appreciate – you can stack tabs by domain. Added bonus is that the company behind it, Vivaldi Technologies, is Norwegian, which ticks the ‘shop European’ box for me.

    As for ad blocking, the shittiness of manifest v3 made me look at options outside the browser rather than rely on extensions. These days I pass all my traffic through adguard, which filters out ads from the request responses. All in all this has been a positive step, because now I can play around with any browser without ever seeing ads.