dev tools
an archive of posts in this category
| Feb 18, 2024 | Some personal favorites from newly-implemented Ruff rules |
|---|---|
| Aug 17, 2022 | Nvim-Tmux: Tools for Tmux scripting and configuration |
| Apr 10, 2022 | Customizing the IPython interface |
an archive of posts in this category
| Feb 18, 2024 | Some personal favorites from newly-implemented Ruff rules |
|---|---|
| Aug 17, 2022 | Nvim-Tmux: Tools for Tmux scripting and configuration |
| Apr 10, 2022 | Customizing the IPython interface |