Convert mp4 to gif
19 June, 2020guidetoolsbrewgif
Converting mp4 to gif on can be done with ffmpeg . On a Mac it can be done from command line with the following script: Now you can convert…
Posts about tools
3 Posts
Quick http benchmarking with curl
15 November, 2018guidetoolsbashperformance
From time to time, I'd like to see how the performance gain/loss was after a code change. Say I've updated locahost:8000/search and I'd like…
Fresh Macbook and a set of neat tools
03 April, 2015toolsMacsoftware
See also 2020 version I recently bought a Macbook Pro Retina (Late 2014) with 128 GB of storage. I thought that if I needed 256 GB, I could…