Corsome

> Treesitter is baked in for syntax, eglot is baked in for language servers (intellisense),

Sadly the two of them don't seem to mix well together (eg rust-mode works well with eglot but rust-ts-mode makes eglot ask for LSP server binary and then still does not connect).

Looks like it's early toothing problems but it's not that straightforward (at least yet).

> This is actually not so strange– you can think of many structures as functions. For example, you can think of a number 3 as a function. When you multiply it by things, it makes them three times bigger.

I don't see how 3 can be a function from this example. "3*" (partially applied multiplication by 3) looks more like it.

Matrices and vectors as functions? Yeah, if the argument is within bounds. That makes it just an indexing operation.

(I guess one can view 3 as a one element vector but that sounds like a degenerate case)

Or maybe I'm missing something...?

It looks really great!

Is it just me or the output PDF has quite a bit of broken pages (eg after Working with Types section)?

Well said.

> The next thing for me is to "decloud" - meaning remove any and all online services that are not mission critical.

For me there are multiple parallel "side quests" and decloud is definitely one of them (I strive to minimize cloud and select solutions that can be self hosted and that are E2EE. Then I pay for hosting anyway but I always have an option of rolling my own. Example: etesync for calendars and contacts).

Other side quests: instead of Gnome use Sway, this requires manually picking wifi/Bluetooth connection managers (iwctl and bluetoothctl work well) and other tooling.

Yet another: convert my entire family to use Linux. Sadly this is harder since schools teach Windows but Gnome looks very similar to what they use.

These are just some examples. The good thing is that all of these are small steps that can be taken in any order to improve the situation in small increments.

Ctrl+alt+f2 (Or any other F) will give you additional login terminal.

Personally I think there are multiple forces acting on Windows at the same time. Some of them push it to a good direction (cases you mentioned) some of them less so.

We live in a times that are good for developers: we not only have free access to powerful tools that other professionals need to pay big bucks but it goes even further: with open source we can co-shape these tools and in the extreme cases fork and create our own derivatives.

Why not take advantage of this and just avoid proprietary solutions as much as possible?

> how do you deal with absence of working task manager?

I see people offering nice advice here but I mostly do ps aux | grep thing and then kill (-9) it... or killall :)

> any random hang-up is a forced restart, no way to kill offending process as EVERYTHING just freezes up.

I had the everything freeze up experience initially on a Dell laptop and frankly don't know what was the cause. Maybe missing microcode updates or old firmware? Nowadays it almost never happens (I don't remember it happening over the months). I have an app crash (like Firefox) ~once a month but it's so rare I barely notice.

Phew. After being a Windows user for literally almost two decades I've happily migrated to Linux and couldn't be happier. Yep, it took some time to prepare but let's be frank, developers already use quite a lot of Linux/Unix tools already so why not cut the middleman and just work directly with what we need most?

Your books are indeed excellent!

I was wondering... what's your opinion on Geometric Algebra? (If you have one)

Ah, right. Indeed, the naming is super similar. Thanks for mentioning that PartsBox is not open source.

I think you're using a copycat app from Play Store. It's not a real app which is only available through F-Droid.

Will the compiler be open sourced?