bump

hejohns · Jan 29, 2024 · 846a207 · 846a207
1 parent d711058
commit 846a207
Show file tree

Hide file tree

Showing 7 changed files with 20 additions and 27 deletions.
diff --git a/docs/2023/04/09/gsi-applications.html b/docs/2023/04/09/gsi-applications.html
@@ -83,8 +83,8 @@ <h2 id="engr-101-f23">ENGR 101 (F23)</h2>
 
 <iframe width="560" height="315" src="https://www.youtube.com/embed/Cd9Tq7s_BhQ" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" allowfullscreen=""></iframe>
 
-<style> .pdf-embed-wrap-01c854b9-5eab-49c0-a3d2-1c0b13f38ac3 { display: flex; flex-direction: column; width: 100%; height: 650px; } .pdf-embed-container-01c854b9-5eab-49c0-a3d2-1c0b13f38ac3 { height: 100%; } .pdf-link-01c854b9-5eab-49c0-a3d2-1c0b13f38ac3 { background-color: white; text-align: center; border-style: solid; } .pdf-embed-container-01c854b9-5eab-49c0-a3d2-1c0b13f38ac3 iframe { width: 100%; height: 100%; } </style>
-<div class="pdf-embed-wrap-01c854b9-5eab-49c0-a3d2-1c0b13f38ac3"> <div class="pdf-link-01c854b9-5eab-49c0-a3d2-1c0b13f38ac3"> <a href="/files/101-gsi-application.pdf" target="_blank">View PDF</a> </div> <div class="pdf-embed-container-01c854b9-5eab-49c0-a3d2-1c0b13f38ac3"> <iframe src="/files/101-gsi-application.pdf" frameborder="0" allowfullscreen=""></iframe> </div> </div>
+<style> .pdf-embed-wrap-339b1567-6b92-4b77-8ee9-e56086686402 { display: flex; flex-direction: column; width: 100%; height: 650px; } .pdf-embed-container-339b1567-6b92-4b77-8ee9-e56086686402 { height: 100%; } .pdf-link-339b1567-6b92-4b77-8ee9-e56086686402 { background-color: white; text-align: center; border-style: solid; } .pdf-embed-container-339b1567-6b92-4b77-8ee9-e56086686402 iframe { width: 100%; height: 100%; } </style>
+<div class="pdf-embed-wrap-339b1567-6b92-4b77-8ee9-e56086686402"> <div class="pdf-link-339b1567-6b92-4b77-8ee9-e56086686402"> <a href="/files/101-gsi-application.pdf" target="_blank">View PDF</a> </div> <div class="pdf-embed-container-339b1567-6b92-4b77-8ee9-e56086686402"> <iframe src="/files/101-gsi-application.pdf" frameborder="0" allowfullscreen=""></iframe> </div> </div>
 <h2 id="eecs-376-f23">EECS 376 (F23)</h2>
 <p><strong>outcome</strong>: rejected. No response.</p>
 <h3 id="too-long-version">too long version</h3>

diff --git a/docs/feed.xml b/docs/feed.xml
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.3.3">Jekyll</generator><link href="http://localhost:4000/feed.xml" rel="self" type="application/atom+xml" /><link href="http://localhost:4000/" rel="alternate" type="text/html" /><updated>2024-01-29T04:42:45-05:00</updated><id>http://localhost:4000/feed.xml</id><title type="html">hejohns’ jekyll site</title><subtitle>a pure waste of space</subtitle><author><name>Johnson He</name><email>(hejohns)α(umich)δ(edu)</email></author><entry><title type="html">Mellanox ConnectX-4 10gbe</title><link href="http://localhost:4000/2024/01/16/mellanox.html" rel="alternate" type="text/html" title="Mellanox ConnectX-4 10gbe" /><published>2024-01-16T00:00:00-05:00</published><updated>2024-01-17T00:16:12-05:00</updated><id>http://localhost:4000/2024/01/16/mellanox</id><content type="html" xml:base="http://localhost:4000/2024/01/16/mellanox.html"><![CDATA[<p>A short post for now:</p>
+<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.3.3">Jekyll</generator><link href="http://localhost:4000/feed.xml" rel="self" type="application/atom+xml" /><link href="http://localhost:4000/" rel="alternate" type="text/html" /><updated>2024-01-29T04:44:59-05:00</updated><id>http://localhost:4000/feed.xml</id><title type="html">hejohns’ jekyll site</title><subtitle>a pure waste of space</subtitle><author><name>Johnson He</name><email>(hejohns)α(umich)δ(edu)</email></author><entry><title type="html">Mellanox ConnectX-4 10gbe</title><link href="http://localhost:4000/2024/01/16/mellanox.html" rel="alternate" type="text/html" title="Mellanox ConnectX-4 10gbe" /><published>2024-01-16T00:00:00-05:00</published><updated>2024-01-17T00:16:12-05:00</updated><id>http://localhost:4000/2024/01/16/mellanox</id><content type="html" xml:base="http://localhost:4000/2024/01/16/mellanox.html"><![CDATA[<p>A short post for now:</p>
 
 <p>Got two Mellanox ConnectX-4 cards off ebay, and 10gtek dacs, and they all work!
 Or at least iperf says they work at 10gbps.</p>

diff --git a/docs/notes/1-25.html b/docs/notes/1-25.html
@@ -18,7 +18,7 @@
 <meta name="twitter:card" content="summary" />
 <meta property="twitter:title" content="599 (1-25)" />
 <script type="application/ld+json">
-{"@context":"https://schema.org","@type":"BlogPosting","author":{"@type":"Person","name":"Johnson He"},"dateModified":"2024-01-28T15:47:27-05:00","datePublished":"2024-01-26T00:00:00-05:00","description":"a pure waste of space","headline":"599 (1-25)","mainEntityOfPage":{"@type":"WebPage","@id":"http://localhost:4000/notes/1-25.html"},"url":"http://localhost:4000/notes/1-25.html"}</script>
+{"@context":"https://schema.org","@type":"BlogPosting","author":{"@type":"Person","name":"Johnson He"},"dateModified":"2024-01-29T04:43:13-05:00","datePublished":"2024-01-26T00:00:00-05:00","description":"a pure waste of space","headline":"599 (1-25)","mainEntityOfPage":{"@type":"WebPage","@id":"http://localhost:4000/notes/1-25.html"},"url":"http://localhost:4000/notes/1-25.html"}</script>
 <!-- End Jekyll SEO tag -->
 <link rel="stylesheet" href="/assets/css/style.css"><link type="application/atom+xml" rel="alternate" href="http://localhost:4000/feed.xml" title="hejohns&apos; jekyll site" />  <!-- see: -->
   <!-- https://codewrites.me/jekyll/katex/blog/2020/08/26/use-katex-gh-pages/ -->
@@ -55,7 +55,7 @@
 <main class="page-content" aria-label="Content">
       <div class="wrapper">
           <h3>
-            page version: January 28, 2024
+            page version: January 29, 2024
           </h3>
         <article class="post h-entry" itemscope itemtype="http://schema.org/BlogPosting">
 
@@ -87,29 +87,21 @@ <h2 id="sterlings-chapter-2-update">Sterling’s Chapter 2 (update)</h2>
 <ul>
   <li>At this point, it seems I need to understand some of the sheaf theoretic ideas
     <ul>
-      <li>Certainly I don’t intend to <em>actually</em> learn sheaf theory right now, but I need a mental picture of what Kripke-Joyal semantics actually is, and what the notion of “sheaf logic” refers to
-&lt;!–</li>
-      <li>Some concepts which seem related to learn the “101” of:
-        <ul>
-          <li><a href="https://en.wikipedia.org/wiki/Sheaf_(mathematics)">Sheafs</a>
-            <ul>
-              <li>The definition seems… natural enough but I don’t understand the motivation on that page</li>
-              <li>I’m hoping Kripke-Joyal semantics as motivation itself will be enough for me, so I’ll punt on other examples</li>
-            </ul>
-          </li>
-          <li>The canonical example of the <a href="https://en.wikipedia.org/wiki/Fiber_bundle#M%C3%B6bius_strip">cylinder v. Möbius strip fiber bundles</a></li>
-          <li><a href="https://en.wikipedia.org/wiki/Boolean-valued_model">Boolean valued models</a>
-            <ul>
-              <li>There’re many books that go much further into this, but let’s table that
-–&gt;</li>
-            </ul>
-          </li>
-        </ul>
-      </li>
+      <li>Certainly I don’t intend to <em>actually</em> learn sheaf theory right now, but I need a mental picture of what Kripke-Joyal semantics actually is, and what the notion of “sheaf logic” refers to</li>
     </ul>
   </li>
 </ul>
 
+<!--
+    - Some concepts which seem related to learn the "101" of:
+        - [Sheafs](https://en.wikipedia.org/wiki/Sheaf_(mathematics))
+            - The definition seems… natural enough but I don't understand the motivation on that page
+            - I'm hoping Kripke-Joyal semantics as motivation itself will be enough for me, so I'll punt on other examples
+        - The canonical example of the [cylinder v. Möbius strip fiber bundles](https://en.wikipedia.org/wiki/Fiber_bundle#M%C3%B6bius_strip)
+        - [Boolean valued models](https://en.wikipedia.org/wiki/Boolean-valued_model)
+            - There're many books that go much further into this, but let's table that
+-->
+
 <h2 id="misc">Misc</h2>
 <ul>
   <li>The logic seminar this semester will be a learning seminar on first-order categorical logic, with a rough goal of describing completeness due to Makkai(?)

diff --git a/docs/reviews.html b/docs/reviews.html
@@ -69,8 +69,8 @@ <h1 class="post-title">reviews</h1>
 
 <p>Shoutout to kaobook.</p>
 
-<style> .pdf-embed-wrap-7ee400ad-a3b2-478c-ad4d-438bdce90e8f { display: flex; flex-direction: column; width: 100%; height: 650px; } .pdf-embed-container-7ee400ad-a3b2-478c-ad4d-438bdce90e8f { height: 100%; } .pdf-link-7ee400ad-a3b2-478c-ad4d-438bdce90e8f { background-color: white; text-align: center; border-style: solid; } .pdf-embed-container-7ee400ad-a3b2-478c-ad4d-438bdce90e8f iframe { width: 100%; height: 100%; } </style>
-<div class="pdf-embed-wrap-7ee400ad-a3b2-478c-ad4d-438bdce90e8f"> <div class="pdf-link-7ee400ad-a3b2-478c-ad4d-438bdce90e8f"> <a href="/files/sample.pdf" target="_blank">View PDF</a> </div> <div class="pdf-embed-container-7ee400ad-a3b2-478c-ad4d-438bdce90e8f"> <iframe src="/files/sample.pdf" frameborder="0" allowfullscreen=""></iframe> </div> </div>
+<style> .pdf-embed-wrap-403ec159-7831-4e8a-b608-d814df9492ae { display: flex; flex-direction: column; width: 100%; height: 650px; } .pdf-embed-container-403ec159-7831-4e8a-b608-d814df9492ae { height: 100%; } .pdf-link-403ec159-7831-4e8a-b608-d814df9492ae { background-color: white; text-align: center; border-style: solid; } .pdf-embed-container-403ec159-7831-4e8a-b608-d814df9492ae iframe { width: 100%; height: 100%; } </style>
+<div class="pdf-embed-wrap-403ec159-7831-4e8a-b608-d814df9492ae"> <div class="pdf-link-403ec159-7831-4e8a-b608-d814df9492ae"> <a href="/files/sample.pdf" target="_blank">View PDF</a> </div> <div class="pdf-embed-container-403ec159-7831-4e8a-b608-d814df9492ae"> <iframe src="/files/sample.pdf" frameborder="0" allowfullscreen=""></iframe> </div> </div>
 
   </div>
 

diff --git a/docs/sitemap.xml b/docs/sitemap.xml
@@ -98,7 +98,7 @@
 </url>
 <url>
 <loc>http://localhost:4000/notes/1-25.html</loc>
-<lastmod>2024-01-28T15:47:27-05:00</lastmod>
+<lastmod>2024-01-29T04:43:13-05:00</lastmod>
 </url>
 <url>
 <loc>http://localhost:4000/</loc>

diff --git a/notes/.1-25.md.swp b/notes/.1-25.md.swp
diff --git a/notes/1-25.md b/notes/1-25.md
@@ -15,6 +15,7 @@ which at first glance seems a little more approachable for me.
 
 - At this point, it seems I need to understand some of the sheaf theoretic ideas 
     - Certainly I don't intend to *actually* learn sheaf theory right now, but I need a mental picture of what Kripke-Joyal semantics actually is, and what the notion of "sheaf logic" refers to
+
 <!--
     - Some concepts which seem related to learn the "101" of:
         - [Sheafs](https://en.wikipedia.org/wiki/Sheaf_(mathematics))