Hi, I'm Manuel! Welcome to my personal website.
Reflections on my digital decluttering.
Switching buffers (Take 2)
A custom function to switch buffers.
Move around in the buffer with
Quick, per-project buffer handling with
Make your company behave
company-mode to display candidates on demand.
Playing hide-and-seek with my REPLs
Hide REPL side windows without losing CIDER connections.