22nd April 2020
TIL
Close terminal window on Ctrl+D for macOS
— I always forget how to set this up. It's hidden in Preferences -> Profiles -> Basic -> Shell:
Recent articles
- Some thoughts on the Navier–Stokes Millennium Prize Problem - 8th September 2026
- The Pelican comparison grid for Astra is pretty interesting - 4th September 2026
- OpenAI's rogue agents were caught communicating via public wikis - 4th September 2026