miniblog.

On-demand developer environments are a really powerful idea: https://github.com/features/codespaces I've seen projects attempt to ship a developer toolchain inside a Docker container, but this feels much more ergonomic.

34 environments, 24 compilers and 9 interpreters: the story of Eve, how it grew from Light Table, how they researched, built prototypes, and pitched the reinvention of programming to investors. Part 1: https://youtu.be/WT2CMS0MxJ0 Part 2: https://youtu.be/ThjFFDwOXok

GitHub enables you to do a ton via the browser, but AFAICS there's no way to rebase a pull request you've opened against someone's repo. This is really handy when upstream has fixed tests. I've used it in some $JOB environments and it saves a few precious clicks.