<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/"><channel><title>Ramonov</title><link>https://www.ramonov.com/</link><description>Recent content on Ramonov</description><generator>Hugo</generator><language>en-us</language><lastBuildDate>Tue, 14 Apr 2026 17:15:51 -0600</lastBuildDate><atom:link href="https://www.ramonov.com/index.xml" rel="self" type="application/rss+xml"/><item><title>Notes</title><link>https://www.ramonov.com/posts/notes/</link><pubDate>Tue, 14 Apr 2026 17:15:51 -0600</pubDate><guid>https://www.ramonov.com/posts/notes/</guid><description>&lt;h1 id="running-list-of-ideas-and-notes"&gt;Running list of ideas and notes&lt;/h1&gt;
&lt;h2 id="fullstack-categorical-semantics"&gt;Fullstack categorical semantics&lt;/h2&gt;
&lt;p&gt;db / api / frontend&lt;/p&gt;
&lt;p&gt;what are the morphisms?&lt;/p&gt;
&lt;p&gt;let&amp;rsquo;s say you store user uploaded notes&lt;/p&gt;
&lt;p&gt;instead of modeling domains model it as categories&lt;/p&gt;
&lt;p&gt;functor somewhere&lt;/p&gt;
&lt;p&gt;predicate isDeleted - same on&lt;/p&gt;
&lt;p&gt;records are infinite tuples with finite non-zeros - keys are elements of a free monoid&lt;/p&gt;
&lt;p&gt;projections remove fields&lt;/p&gt;
&lt;p&gt;what are the types&lt;/p&gt;
&lt;p&gt;what is the ambient category&lt;/p&gt;
&lt;h2 id="quantization"&gt;Quantization&lt;/h2&gt;
&lt;p&gt;take a (feedforward) network&lt;/p&gt;</description></item></channel></rss>