Looking for new hobbies! Do you have any favs? what are they? why do you like them?

Studying lesser-used formal languages for programming. While most modern languages exhibit cross pollination from many formal languages, some are less used/not central to the design. Two particular favorites are communicating sequential processes and constraint logic programming

BDFL of Quilibrium, Eng @ Farcaster, ex-Coinbase, always opinionated, never hydrated

/quilibrium

See also: https://en.m.wikipedia.org/wiki/Janus_(concurrent_constraint_programming_language)