Explore >> Select a destination


You are here

johnbender.us
| | cronokirby.com
3.0 parsecs away

Travel
| | - Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/
| | www.jeremykun.com
6.3 parsecs away

Travel
| | A lot of people who like functional programming often give the reason that the functional style is simply more elegant than the imperative style. When compelled or inspired to explain (as I did in my old post, How I Learned to Love Functional Programming), they often point to the three "higher-order" functions map, fold, and filter, as providing a unifying framework for writing and reasoning about programs. But how unifying are they, really?
| | thehousecarpenter.wordpress.com
3.0 parsecs away

Travel
| | A natural transformation is an operation on a category, or more precisely a family of operations, one for each object in the category, which is preserved by morphisms in the category. Each operation in the family is associated with a specific object $latex A$ in the category, which it is said to be on. The...
| | corrode.dev
23.3 parsecs away

Travel
| Interest in Rust has surged in recent years, with tech leaders such as Microsoft, Google, and Amazon coming forward to share their experiences of leveraging Rust for critical systems. Much of the dialogue about Rust, however, is still drive...