Alex

u/fzz@programming.dev
24 posts · 80 comments

Recent posts

Recent comments

It doesn't matter what kind of person he is if he created masterpieces such as Jim and Neverhood. I love what he did, not himself, and his personal life is not my business.

For me personally, settings UI isn't needed at all — I prefer configs, I can search (text or keys), use outline, comments, navigation & editing history, VCS features, etc...

All extensions should be built by hand currently, and unfortunately any LS must be wrapped in adapter-extension like it is in Zed — that's terrible thing and in Zed it is so just because vendor wants to control anything about what and how you use with the editor. I've worked on wrapper-less LS(P) & DAP support (like it is in Helix) for Gram, but currently I'm stuck and freeze it for some time. But you can try too!

on Pijul v0.15.0 released · c/vcs · 1 pts · 43d

as long as it’s not compatible with git, you cannot use it in most companies.

Personally I don't care about companies at all and continue using many years. Almost all my personal projects in pijul. Also I know four (4, as minimum) companies that have got rid of git in favor of pijul.

I hope pijul will never compatible with git in UI as well as math (e.g. patches-theory).

on Tactical Shooters? · c/linux_gaming · 3 pts · 351d

Worms. It is definitely tactical shooter, but also arcade tactical ballistic turn based strategy, and doesn’t requires account.

on Everything web based · c/programming · 4 pts · 1y

Personally I really don’t like it too. But I just don’t care because:

  • I have all needed software locally
  • I have all documentation locally
  • I’m going to Web only to get updates (by-hands of course, no autoupdates without verification!)
  • I’m old software engineer and how to automate it all without losing ctrl ;)

Oh, how long we've been waiting for this! ❤️‍🔥🎉 Great paper, but why default coq was chosen? That’s totally okay (and coq is still kinda default for interactive formal proving), but there is others production-ready strong modern instruments existing on Earth today. Just interesting why so.