deploy: 3e25c43

j2kun · Sep 18, 2024 · 8138ce4 · 8138ce4
1 parent b9516c6
commit 8138ce4
Show file tree

Hide file tree

Showing 109 changed files with 856 additions and 433 deletions.
diff --git a/blog/2023/06/13/hello-world/index.html b/blog/2023/06/13/hello-world/index.html
diff --git a/blog/2023/06/30/heir-meeting-2023-06-30/index.html b/blog/2023/06/30/heir-meeting-2023-06-30/index.html
diff --git a/blog/2023/07/18/heir-meeting-2023-07-18/index.html b/blog/2023/07/18/heir-meeting-2023-07-18/index.html
diff --git a/blog/2023/08/02/heir-meeting-2023-08-01/index.html b/blog/2023/08/02/heir-meeting-2023-08-01/index.html
diff --git a/blog/2023/08/16/heir-meeting-2023-08-15/index.html b/blog/2023/08/16/heir-meeting-2023-08-15/index.html
diff --git a/blog/2023/09/05/heir-meeting-2023-08-29/index.html b/blog/2023/09/05/heir-meeting-2023-08-29/index.html
diff --git a/blog/2023/09/13/heir-meeting-2023-09-12/index.html b/blog/2023/09/13/heir-meeting-2023-09-12/index.html
diff --git a/blog/2023/09/27/heir-meeting-2023-09-26/index.html b/blog/2023/09/27/heir-meeting-2023-09-26/index.html
diff --git a/blog/2023/10/25/heir-meeting-2023-10-24/index.html b/blog/2023/10/25/heir-meeting-2023-10-24/index.html
diff --git a/blog/2023/11/07/heir-meeting-2023-11-07/index.html b/blog/2023/11/07/heir-meeting-2023-11-07/index.html
diff --git a/blog/2023/11/28/heir-meeting-2023-11-28/index.html b/blog/2023/11/28/heir-meeting-2023-11-28/index.html
diff --git a/blog/2023/12/12/heir-meeting-2023-12-12/index.html b/blog/2023/12/12/heir-meeting-2023-12-12/index.html
diff --git a/blog/2024/01/11/heir-meeting-2024-01-11/index.html b/blog/2024/01/11/heir-meeting-2024-01-11/index.html
diff --git a/blog/2024/01/25/heir-meeting-2024-01-25/index.html b/blog/2024/01/25/heir-meeting-2024-01-25/index.html
diff --git a/blog/2024/02/08/heir-meeting-2024-02-08/index.html b/blog/2024/02/08/heir-meeting-2024-02-08/index.html
diff --git a/blog/2024/02/22/heir-meeting-2024-02-22/index.html b/blog/2024/02/22/heir-meeting-2024-02-22/index.html
diff --git a/blog/2024/03/07/heir-meeting-2024-03-07/index.html b/blog/2024/03/07/heir-meeting-2024-03-07/index.html
diff --git a/blog/2024/04/04/heir-meeting-2024-04-04/index.html b/blog/2024/04/04/heir-meeting-2024-04-04/index.html
diff --git a/blog/2024/04/18/heir-meeting-2024-04-18/index.html b/blog/2024/04/18/heir-meeting-2024-04-18/index.html
diff --git a/blog/2024/05/02/heir-meeting-2024-05-02/index.html b/blog/2024/05/02/heir-meeting-2024-05-02/index.html
diff --git a/blog/2024/05/16/heir-meeting-2024-05-16/index.html b/blog/2024/05/16/heir-meeting-2024-05-16/index.html
diff --git a/blog/2024/05/30/heir-meeting-2024-05-30/index.html b/blog/2024/05/30/heir-meeting-2024-05-30/index.html
diff --git a/blog/2024/06/13/heir-meeting-2024-06-13/index.html b/blog/2024/06/13/heir-meeting-2024-06-13/index.html
diff --git a/blog/2024/06/27/heir-meeting-2024-06-27/index.html b/blog/2024/06/27/heir-meeting-2024-06-27/index.html
diff --git a/blog/2024/07/11/heir-meeting-2024-07-11/index.html b/blog/2024/07/11/heir-meeting-2024-07-11/index.html
diff --git a/blog/2024/07/18/heir-meeting-2024-07-18-mod_arith-dialect/index.html b/blog/2024/07/18/heir-meeting-2024-07-18-mod_arith-dialect/index.html
diff --git a/blog/2024/07/25/heir-meeting-2024-07-25/index.html b/blog/2024/07/25/heir-meeting-2024-07-25/index.html
diff --git a/blog/2024/08/08/heir-meeting-2024-08-08/index.html b/blog/2024/08/08/heir-meeting-2024-08-08/index.html
diff --git a/blog/2024/08/22/heir-meeting-2024-08-22/index.html b/blog/2024/08/22/heir-meeting-2024-08-22/index.html
diff --git a/blog/2024/09/05/heir-meeting-2024-09-05/index.html b/blog/2024/09/05/heir-meeting-2024-09-05/index.html
diff --git a/blog/_print/index.html b/blog/_print/index.html
diff --git a/blog/index.html b/blog/index.html
diff --git a/blog/index.xml b/blog/index.xml
@@ -1,4 +1,14 @@
-<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>HEIR – Blog</title><link>https://heir.dev/blog/</link><description>Recent content in Blog on HEIR</description><generator>Hugo -- gohugo.io</generator><language>en</language><atom:link href="https://heir.dev/blog/index.xml" rel="self" type="application/rss+xml"/><item><title>Blog: HEIR meeting 2024-08-08</title><link>https://heir.dev/blog/2024/08/08/heir-meeting-2024-08-08/</link><pubDate>Thu, 08 Aug 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/08/08/heir-meeting-2024-08-08/</guid><description>
+<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>HEIR – Blog</title><link>https://heir.dev/blog/</link><description>Recent content in Blog on HEIR</description><generator>Hugo -- gohugo.io</generator><language>en</language><atom:link href="https://heir.dev/blog/index.xml" rel="self" type="application/rss+xml"/><item><title>Blog: HEIR meeting 2024-09-05</title><link>https://heir.dev/blog/2024/09/05/heir-meeting-2024-09-05/</link><pubDate>Thu, 05 Sep 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/09/05/heir-meeting-2024-09-05/</guid><description>
+&lt;p>Here are the
+&lt;a href="https://docs.google.com/document/d/1tohVmC2pn_XDn3gjCFeo3K4Wfyf7VWu3oK1vimEsFD4/edit?usp=sharing">notes&lt;/a>
+and
+&lt;a href="https://drive.google.com/file/d/1XGheLF7kvJfwAMJJQ-XbDpa4Ld15kj4t/view?usp=sharing">video recording&lt;/a>
+from the HEIR meeting on 2024-09-05.&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-08-22</title><link>https://heir.dev/blog/2024/08/22/heir-meeting-2024-08-22/</link><pubDate>Thu, 22 Aug 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/08/22/heir-meeting-2024-08-22/</guid><description>
+&lt;p>Here are the
+&lt;a href="https://docs.google.com/document/d/1iEkzpO6lCVbShMcRenO3j3DptOEP-0bLu_9V4K7c39M/edit?usp=sharing">notes&lt;/a>
+and
+&lt;a href="https://drive.google.com/file/d/1wFrGF7lMiYZmqbr5WQO17HomfoFoOeaj/view?usp=sharing">video recording&lt;/a>
+from the HEIR meeting on 2024-08-22.&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-08-08</title><link>https://heir.dev/blog/2024/08/08/heir-meeting-2024-08-08/</link><pubDate>Thu, 08 Aug 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/08/08/heir-meeting-2024-08-08/</guid><description>
 &lt;p>Here are the
 &lt;a href="https://docs.google.com/document/d/1FLSiaPlX38GNHqqqi_Mz3gMuVSlS4sUcwBWqpt6Fkew/edit?usp=sharing">notes&lt;/a>
 and
@@ -8,23 +18,12 @@ from the HEIR meeting on 2024-08-08.&lt;/p></description></item><item><title>Blo
 &lt;a href="https://docs.google.com/document/d/1tIrxc4V5OlAeqx_Z1rl_kuMmkd-HUAKEv90q3i-5QSU/edit?usp=sharing">notes&lt;/a>
 and
 &lt;a href="https://drive.google.com/file/d/1_1CbRJeNr5NqcwEMXnfkxOqy9u5wJPyq/view?usp=sharing">video recording&lt;/a>
-from the HEIR meeting on 2024-07-25.&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-07-18 (mod_arith dialect)</title><link>https://heir.dev/blog/2024/07/18/heir-meeting-2024-07-18-mod_arith-dialect/</link><pubDate>Thu, 18 Jul 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/07/18/heir-meeting-2024-07-18-mod_arith-dialect/</guid><description>
-&lt;p>Here are the
-&lt;a href="https://docs.google.com/document/d/1o2-I03DJtNJQDupSHn8LtOXLmxsd3WO1fjvqLbT-SIc/edit?usp=sharing">notes&lt;/a>
-and
-&lt;a href="https://drive.google.com/file/d/1bCMuuKnBVf6HP7R2SiZgo1C1vsG6FzF2/view?usp=sharing">video recording&lt;/a>
-from the HEIR meeting on 2024-07-18. This special discussion was focused on the
-modular arithmetic dialect.&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-07-11</title><link>https://heir.dev/blog/2024/07/11/heir-meeting-2024-07-11/</link><pubDate>Thu, 11 Jul 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/07/11/heir-meeting-2024-07-11/</guid><description>
+from the HEIR meeting on 2024-07-25.&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-07-11</title><link>https://heir.dev/blog/2024/07/11/heir-meeting-2024-07-11/</link><pubDate>Thu, 11 Jul 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/07/11/heir-meeting-2024-07-11/</guid><description>
 &lt;p>Here are the
 &lt;a href="https://docs.google.com/document/d/1kP1kFKV6qrLVPv4CnIhmqO-7nMDFkCpvhzwIppJEDfU/edit?usp=sharing">notes&lt;/a>
 and
 &lt;a href="https://drive.google.com/file/d/1-f5ZJ5h28FIgk_-LisNsYa77iuWPIAjU/view?usp=sharing">video recording&lt;/a>
-from the HEIR meeting on 2024-07-11.&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-06-27</title><link>https://heir.dev/blog/2024/06/27/heir-meeting-2024-06-27/</link><pubDate>Thu, 27 Jun 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/06/27/heir-meeting-2024-06-27/</guid><description>
-&lt;p>Here are the
-&lt;a href="https://docs.google.com/document/d/1lc4U2JzHapu99_sigOAYwpjNnfd9_QGrX1HAQ0hle_o/edit?usp=sharing">notes&lt;/a>
-and
-&lt;a href="https://drive.google.com/file/d/1-wMytGj3AHi55sA2jb81AsHOU8EcIq6d/view?usp=sharing">video recording&lt;/a>
-from the HEIR meeting on 2024-06-27.&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-06-13</title><link>https://heir.dev/blog/2024/06/13/heir-meeting-2024-06-13/</link><pubDate>Thu, 13 Jun 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/06/13/heir-meeting-2024-06-13/</guid><description>
+from the HEIR meeting on 2024-07-11.&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-06-13</title><link>https://heir.dev/blog/2024/06/13/heir-meeting-2024-06-13/</link><pubDate>Thu, 13 Jun 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/06/13/heir-meeting-2024-06-13/</guid><description>
 &lt;p>Here are the
 &lt;a href="https://docs.google.com/document/d/1rkPxOdbJY5J6qhsciZ0rfdj5_9PG_Ng-6USBUvLrEeU/edit?usp=sharing">notes&lt;/a>
 and
@@ -34,17 +33,17 @@ from the HEIR meeting on 2024-06-13.&lt;/p></description></item><item><title>Blo
 &lt;a href="https://docs.google.com/document/d/1mvigwMRTeVQvdpm2hwiewfU8jcJT94ArQBNvngvgkTc/edit?usp=sharing">notes&lt;/a>
 and
 &lt;a href="https://drive.google.com/file/d/1CTIyd7HRiNV857VO2EonquWZZlBhysLM/view?usp=sharing">video recording&lt;/a>
-from the HEIR meeting on 2024-05-30.&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-05-02</title><link>https://heir.dev/blog/2024/05/02/heir-meeting-2024-05-02/</link><pubDate>Thu, 02 May 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/05/02/heir-meeting-2024-05-02/</guid><description>
+from the HEIR meeting on 2024-05-30.&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-05-16</title><link>https://heir.dev/blog/2024/05/16/heir-meeting-2024-05-16/</link><pubDate>Thu, 16 May 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/05/16/heir-meeting-2024-05-16/</guid><description>
 &lt;p>Here are the
-&lt;a href="https://docs.google.com/document/d/1uEDeIN0iTUmmtlacZg0c2j7VbAHO3A9e0_8mnunUv10/edit?usp=sharing">notes&lt;/a>
+&lt;a href="https://docs.google.com/document/d/15MwanXaBap6qNzYj7g1m6zRcqK363O-3iCCcNcGY1Ds/edit?usp=sharing">notes&lt;/a>
 and
-&lt;a href="https://drive.google.com/file/d/1u1q74rUKdXFi08tAKFRKjI-bojuorQK8/view?usp=drivesdk">video recording&lt;/a>
-from the HEIR meeting on 2024-05-02.&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-04-18</title><link>https://heir.dev/blog/2024/04/18/heir-meeting-2024-04-18/</link><pubDate>Thu, 18 Apr 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/04/18/heir-meeting-2024-04-18/</guid><description>
+&lt;a href="https://drive.google.com/file/d/1gOf_Tb8k9UNx7i0OvjjikkYUG3HrPjoS/view?usp=sharing">video recording&lt;/a>
+from the HEIR meeting on 2024-05-16.&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-05-02</title><link>https://heir.dev/blog/2024/05/02/heir-meeting-2024-05-02/</link><pubDate>Thu, 02 May 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/05/02/heir-meeting-2024-05-02/</guid><description>
 &lt;p>Here are the
-&lt;a href="https://docs.google.com/document/d/1BJjfYI2yjR3YEg_ugjDuS-trAkYMlKbU7jpH_M1GF3Q/edit?usp=sharing">notes&lt;/a>
+&lt;a href="https://docs.google.com/document/d/1uEDeIN0iTUmmtlacZg0c2j7VbAHO3A9e0_8mnunUv10/edit?usp=sharing">notes&lt;/a>
 and
-&lt;a href="https://drive.google.com/file/d/1WSsUp9CmjDmEVtGMYk2QXIpZCEetf_Ot/view?usp=sharing">video recording&lt;/a>
-from the HEIR meeting on 2024-04-18.&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-04-04</title><link>https://heir.dev/blog/2024/04/04/heir-meeting-2024-04-04/</link><pubDate>Thu, 04 Apr 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/04/04/heir-meeting-2024-04-04/</guid><description>
+&lt;a href="https://drive.google.com/file/d/1u1q74rUKdXFi08tAKFRKjI-bojuorQK8/view?usp=drivesdk">video recording&lt;/a>
+from the HEIR meeting on 2024-05-02.&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-04-04</title><link>https://heir.dev/blog/2024/04/04/heir-meeting-2024-04-04/</link><pubDate>Thu, 04 Apr 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/04/04/heir-meeting-2024-04-04/</guid><description>
 &lt;p>Here are the
 &lt;a href="https://docs.google.com/document/d/121_0mzqYIWYMc7rcW2Et5qS-ux4ut3b-kno1dI9sQq8/edit?usp=sharing">notes&lt;/a>
 and
@@ -94,7 +93,16 @@ from the HEIR meeting on 2023-11-28.&lt;/p></description></item><item><title>Blo
 &lt;a href="https://docs.google.com/document/d/1nOlAhul4DwZU8UQPpTF1i3OldSY9EmwaWG3EPSZIhHs/edit?usp=sharing">notes&lt;/a>
 and
 &lt;a href="https://drive.google.com/file/d/1I7aIipm54CCcDcLyRYXI_gARfT1z93cN/view?usp=sharing">video recording&lt;/a>
-from the HEIR meeting on 2023-11-07.&lt;/p></description></item><item><title>Blog: HEIR meeting 2023-09-26</title><link>https://heir.dev/blog/2023/09/27/heir-meeting-2023-09-26/</link><pubDate>Wed, 27 Sep 2023 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2023/09/27/heir-meeting-2023-09-26/</guid><description>
+from the HEIR meeting on 2023-11-07.&lt;/p></description></item><item><title>Blog: HEIR meeting 2023-10-24</title><link>https://heir.dev/blog/2023/10/25/heir-meeting-2023-10-24/</link><pubDate>Wed, 25 Oct 2023 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2023/10/25/heir-meeting-2023-10-24/</guid><description>
+&lt;p>Here are the
+&lt;a href="https://docs.google.com/document/d/1MYjjkytck0fxySbrh49hxBJgNM78NXSD0ZwzAgEPOUw/edit?usp=sharing">notes&lt;/a>
+and
+&lt;a href="https://drive.google.com/file/d/1zrSCQJXta40KbBiCjcIWOP3gd1tuc3MU/view?usp=sharing">video recording&lt;/a>
+from the HEIR meeting on 2023-10-24.&lt;/p>
+&lt;p>Also of note: our talk at FHE.org was last Thursday
+(&lt;a href="https://www.youtube.com/watch?v=kqDFdKUTNA4">recording&lt;/a>), and the similar talk
+at the LLVM developers meeting talk was the previous Wednesday, though the video
+has not yet been posted for that.&lt;/p></description></item><item><title>Blog: HEIR meeting 2023-09-26</title><link>https://heir.dev/blog/2023/09/27/heir-meeting-2023-09-26/</link><pubDate>Wed, 27 Sep 2023 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2023/09/27/heir-meeting-2023-09-26/</guid><description>
 &lt;p>Here are the
 &lt;a href="https://docs.google.com/document/d/1pkG8eaSUddAySJWjQHIFqe0hyYkO0wH9X0JtnR6wlWo/edit?usp=sharing">notes&lt;/a>
 and

diff --git a/blog/page/2/index.html b/blog/page/2/index.html
diff --git a/blog/page/3/index.html b/blog/page/3/index.html
diff --git a/categories/index.html b/categories/index.html
diff --git a/community/_print/index.html b/community/_print/index.html
diff --git a/community/index.html b/community/index.html
diff --git a/docs/_print/index.html b/docs/_print/index.html
diff --git a/docs/contributing/index.html b/docs/contributing/index.html
diff --git a/docs/design/index.html b/docs/design/index.html
diff --git a/docs/design/secret/index.html b/docs/design/secret/index.html
diff --git a/docs/design/simd/index.html b/docs/design/simd/index.html
diff --git a/docs/development/index.html b/docs/development/index.html