Much more a tool than a puppet. Nobody is making that guy to sensible things, good or bad.
Investigation time 🎶
Well, looks like it is time for the FSF to do the main thing it is charity money is used for, suing companies that cross them.
obligatory WM simping
Personally would go for a WM. It won't break or have disappointing updates, ever. Also the program-ability and keybindings make my computer life much smoother.
I have xmonad right now, which works fine, and was an excuse to use Haskell, an impermanent but linguistically rich playground.
- Serious from-ground-up start
A slow changing do-it-yourself version would be dwm, because it is purely in C and probably the smallest codebase out there for WMs. But, it has to be significantly patched to not be buggy. Suckless devs have software that is good for system software education, due to their philosophy of code simplicity over interface simplicity. [It is a dumb philosophy to have in general for many engineers, I think. Interface minimalism is basic systems engineering/science now, and works. Computers/electronics are much more competent and advanced now than in the 1970s. This would never happen if we all did the suckless style.] But at least dwm will work about the same for decades to come.
- Learn by immersion
A dwm derivative like awesomewm would also be a good middle path, if you want something immediately working but also still easy to modify. Lua is also very easy to learn, and can be treated like an extra syntax layer for C.
I thought it was just realistic athletic legs, for a female fighter that uses a leg focused fighting style. 😂
Yep. I have seen that on multiple occasions.
It does make a beautiful graph though.
I am pretty curious about how to use automated reasoning systems to help discover new things, use and verify old ideas, and generally make my life easier.
Current events I try to keep up on
- Math Logic community (The Journal of Symbolic Logic)
- Statistics community (JASML, AoS)
- Algebra community (JoA, JoAG, JoPaAA, SIGSAM)
- Formal Methods community (CAV/TACAS)
Passing the learning curve up to current events
- Abstract Algebra (Dummit, Foote)
- Commutative Algebra (Eisenbud)
- Algebraic Geometry (Hartshorne)
- Mathematical Logic (Mendelson)
- Model Theory (Marker)