Some examples (not sure they're the best ones, but just to illustrate):
1. Vim motions
2. Rust
3. Jujutsu (as an alternative to Git)
4. Formal methods in software engineering (Alloy, TLA+)
Some examples (not sure they're the best ones, but just to illustrate):
1. Vim motions
2. Rust
3. Jujutsu (as an alternative to Git)
4. Formal methods in software engineering (Alloy, TLA+)