<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Blog on My New Hugo Site</title>
    <link>https://drcicero.github.io/posts/</link>
    <description>Recent content in Blog on My New Hugo Site</description>
    <generator>Hugo -- gohugo.io</generator>
    <language>en-us</language>
    <lastBuildDate>Tue, 09 Aug 2022 00:00:00 +0000</lastBuildDate>
    <atom:link href="https://drcicero.github.io/posts/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>generalized function composition for readable pointfree functions</title>
      <link>https://drcicero.github.io/posts/2022-08-09/</link>
      <pubDate>Tue, 09 Aug 2022 00:00:00 +0000</pubDate>
      <guid>https://drcicero.github.io/posts/2022-08-09/</guid>
      <description>let o be the function composition function, and . the corresponding infix binary operator, i.e.:&#xA;o g f := g . f := \x. g (f x) let f^n be the n-th repitition of the function f, i.e.:&#xA;f^0 := id f^(Sn) := f . f^n let f_n be the n-th shift of the function f, i.e.:&#xA;f_0 := id f_(S n) := o^n f observe&#xA;repeating composition increases bracket width o^0 = id = \a b c d e f g.</description>
    </item>
    <item>
      <title>iconic math -- james algebra</title>
      <link>https://drcicero.github.io/posts/2021-07-04/</link>
      <pubDate>Sun, 04 Jul 2021 00:00:00 +0000</pubDate>
      <guid>https://drcicero.github.io/posts/2021-07-04/</guid>
      <description>iconic math is something weird and beautiful.&#xA;in this post we look at what i think is called the arithmetic interpretation of james algebra [Iconic Arithmetic I, Iconic Arithmetic III], a particular interpretation of a particular form of iconic math.&#xA;an expression of james algebra is formed by well-bracketed strings with three kinds of brackets &amp;ndash; angle, round and square ()[]&amp;lt;&amp;gt;. further, we may use letters to represent variables a, b, c, &amp;hellip;, e.</description>
    </item>
  </channel>
</rss>
