Month: October 2018

Convert a MySQL dump to SQLite3

Sometimes it’s great when you find a tiny tool that does one thing and one thing pretty good. Currently I’m doing a fair bit of back-end development in Django. I usually run with a small sqlite3 database locally instead of

A keyboard centric view in the browser

I’m striving to use the trackpad/mouse as little as possible. The reason is that it will take me longer to reach for the mouse when typing or browsing a website and it’s specific type of movement that can strain your