Daily Shaarli

All links of one day in a single page.

December 20, 2020

Tools for screen capture and screen casting

Screen capture is useful to create short instruction videos and the like. GIF is the most common output format. But GIF is an awful format. Consider first creating a normal video first, then using something like gifski to encode to GIF without losing too much quality.

Similar lists by others

Estimate your Covid-19 risk, given location and activities
thumbnail

We estimate COVID risk in units of microCOVIDs, where 1 microCOVID = a one-in-a-million chance of getting COVID.

Compare with the concept of micromort.

Via FlowingData

Graphical User Interfaces were a mistake but you can still make things right

"Econometrics and Free Software" by Bruno Rodrigues.