joshjb17

Interesting, wasn’t aware of gj. I’ve always worked in code bases where a 120 or less character width is imposed, removing the possibility of line wrapping. TIL, mapping j to gj sounds like a good move.

Two big reasons for continuing to use monospaced fonts in programming:

1) Support for vim navigation, where hjkl move you one character in a direction on an evenly spaced grid. Remove that uniform spacing and up ceases to be “up”

2) Legibility for formatted comments and ASCII art (could argue these should be avoided but I’ve seen some magical ASCII art in code)

////////////////

// My Comment //

////////////////

Probabilistic Robotics. Great overview of fusion and perception techniques for robots with various sensor types, reads like a world class lecture series instead of being a dry textbook.

The answer to your problem is Nix:

https://nixos.org/nix/