I guess when you have some time to spare on a Sunday evening, you can just push a bunch of commits using the wrong user <email> values (probably updated by SourceTree that I just relaunched for the first time two days ago), right? In this case, this was very helpful. For fancier version, see How to change the commit author for one specific commit?

Visualising intersecting sets of twitter followers. #dataviz

Domain-specific languages are the ultimate abstractions. — Paul Hudak (1998)

hub is “an extension to command-line git that helps you do everyday GitHub tasks without ever leaving the terminal.” I have a working copy, of course, but I don’t use it often – StackOverflow to the rescue. Maybe it’s time to take a closer look…

🎥 The Bourne Identity.

📖 Iegor Gran, L’Écologie en bas de chez moi (P.O.L., 2011)

Always nice to read Zachary Tellman’s code on impure functional data structures, even if Java is not my business.

If you are looking to convert your Python notebook to a slide deck (and you like JS-based slideshow, of course), RISE looks like a good option. There’s also a PDF backend. #python

Looks like I just spend my full working day using VS code for Python coding again. It’s perfectly fine for building website (small codebase) or playing interactive script (< 200 LOC). Now, are there any better ways to integrate Jupyter notebooks than this? #python

🎥 Wolverine.