Welcome!
This is a place for errata broadly related to personal and professional interests.
Check out some specific pages like quotes and map of active tropical cyclones.
If it can be destroyed by the truth, it deserves to be destroyed by the truth. ⇨
“Always take sides. Neutrality helps the oppressor, never the victim. Silence encourages the tormentor never the tormented." ⇨
“I am so tired of waiting. Aren't you, for the world to become good and beautiful and kind? Let us take a knife and cut the world in two-- and see what worms are eating at the rind." ⇨
Recent Posts
14 Apr 2022
Another Example Visualization of LarvaMap Output
Found another old animation sample that was uploaded to YouTube. Again, Python’s visvis library used to render LarvaMap model output.
10 Apr 2022
Example 3D Visualization of Lagrangian Particle Behavior
Found an old animation while cleaning up my computer. Python’s visvis library used to render LarvaMap model output.
Sample model output animation
24 Mar 2022
Bad Hacks to Find Linux Drive Device from UUID
On linux, you can’t count on the devices listed under /dev/sd* or /dev/xvd*, to have the same names or order. With the UUID (which is how /etc/fstab usually specifies how to mount the root system device), the /dev device name can be determined using the blkid command and some hacky bash.
# For a system that uses /dev/sda, etc. use 0:8 string slice for blkid
MYDEVICE=$(blkid | grep ${MYUUID}) ; echo ${MYDEVICE:0:8} # /dev/sdc
However, you might need to do something like start a Docker container with your main system device connected using docker run --device=..., and so the following also works in this specific case looking for the device mounted at the local machine’s /.