deploy: 34982e6

j2kun · Sep 25, 2024 · 64b835b · 64b835b
1 parent 8138ce4
commit 64b835b
Show file tree

Hide file tree

Showing 111 changed files with 552 additions and 432 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/2024/09/19/heir-meeting-2024-09-19/index.html b/blog/2024/09/19/heir-meeting-2024-09-19/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
@@ -18,12 +18,23 @@ 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-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-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>
 &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-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-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>
 &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
@@ -43,7 +54,12 @@ from the HEIR meeting on 2024-05-16.&lt;/p></description></item><item><title>Blo
 &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/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>
+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;p>Here are the
+&lt;a href="https://docs.google.com/document/d/1BJjfYI2yjR3YEg_ugjDuS-trAkYMlKbU7jpH_M1GF3Q/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;p>Here are the
 &lt;a href="https://docs.google.com/document/d/121_0mzqYIWYMc7rcW2Et5qS-ux4ut3b-kno1dI9sQq8/edit?usp=sharing">notes&lt;/a>
 and
@@ -55,12 +71,7 @@ and
 &lt;a href="https://drive.google.com/file/d/1oVJG-fM72nNLiR1eXkzdeaqdDOEpTfK0/view?usp=sharing">video recording&lt;/a>
 from the HEIR meeting on 2024-03-07.&lt;/p>
 &lt;p>Note: there will be no HEIR meeting on 2024-03-21 due to the FHE.org, HACS, and
-RWC conferences. Hope to see you all there!&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-02-22</title><link>https://heir.dev/blog/2024/02/22/heir-meeting-2024-02-22/</link><pubDate>Thu, 22 Feb 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/02/22/heir-meeting-2024-02-22/</guid><description>
-&lt;p>Here are the
-&lt;a href="https://docs.google.com/document/d/1ktK2Y2-OnadvsIIa94HRch_oHCaQ0D6gbT3CElKmGak/edit?usp=sharing">notes&lt;/a>
-and
-&lt;a href="https://drive.google.com/file/d/1RDONadr54-7uX5ko5dmUX3s1l7QHeHbM/view?usp=sharing">video recording&lt;/a>
-from the HEIR meeting on 2024-02-22.&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-02-08</title><link>https://heir.dev/blog/2024/02/08/heir-meeting-2024-02-08/</link><pubDate>Thu, 08 Feb 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/02/08/heir-meeting-2024-02-08/</guid><description>
+RWC conferences. Hope to see you all there!&lt;/p></description></item><item><title>Blog: HEIR meeting 2024-02-08</title><link>https://heir.dev/blog/2024/02/08/heir-meeting-2024-02-08/</link><pubDate>Thu, 08 Feb 2024 00:00:00 +0000</pubDate><guid>https://heir.dev/blog/2024/02/08/heir-meeting-2024-02-08/</guid><description>
 &lt;p>Here are the
 &lt;a href="https://docs.google.com/document/d/1w0Cc3YfbSNO4PYVdGjb8KpE5rql8zgoDG2X0Yseon_4/edit?usp=sharing">notes&lt;/a>
 and
@@ -119,21 +130,12 @@ from the HEIR meeting on 2023-09-12.&lt;/p></description></item><item><title>Blo
 &lt;p>Here are the
 &lt;a href="https://docs.google.com/document/d/1Lax8Inby5Mg8BZLkcV_5hUiWH-roL22rtszfc0PBGmE/edit?usp=sharing">notes&lt;/a>
 from the HEIR meeting on 2023-08-29. There was an issue with the recording, so
-there is no video recording this week.&lt;/p></description></item><item><title>Blog: HEIR meeting 2023-08-01</title><link>https://heir.dev/blog/2023/08/02/heir-meeting-2023-08-01/</link><pubDate>Wed, 02 Aug 2023 15:46:42 -0700</pubDate><guid>https://heir.dev/blog/2023/08/02/heir-meeting-2023-08-01/</guid><description>
-&lt;p>The fourth HEIR meeting was 2023-08-01
-(&lt;a href="https://docs.google.com/document/d/1gid-MARMUStb3dB9jsXEV_CnPDpf_9cyPXy9uXtZk08/edit?usp=sharing">notes&lt;/a>
-and
-&lt;a href="https://drive.google.com/file/d/1U6HDdKJo3-UHibFPgNrDakU8EpCt5xHZ/view?usp=sharing">video recording&lt;/a>).&lt;/p>
-&lt;p>We&amp;rsquo;re also starting on the Poly and Secret dialects in
-&lt;a href="https://github.com/google/heir/pull/74">#74 (poly)&lt;/a> and
-&lt;a href="https://github.com/google/heir/pull/78">#78 (secret)&lt;/a>, so please join in the
-fun!&lt;/p></description></item><item><title>Blog: HEIR meeting 2023-07-18</title><link>https://heir.dev/blog/2023/07/18/heir-meeting-2023-07-18/</link><pubDate>Tue, 18 Jul 2023 10:43:16 -0700</pubDate><guid>https://heir.dev/blog/2023/07/18/heir-meeting-2023-07-18/</guid><description>
-&lt;p>The third HEIR meeting was 2023-07-18
-(&lt;a href="https://docs.google.com/document/d/1DXdyUCmevqY8RJI3kM8oO5nWDEITFIVBPIbucONOB-k/edit?usp=sharing">notes&lt;/a>).&lt;/p>
-&lt;p>We decided to schedule future meetings every two weeks, with alternating focus
-on MLIR and Hardware. See the &lt;a href="https://heir.dev/community/">meeting calendar&lt;/a> to
-join.
-(&lt;a href="https://calendar.google.com/calendar/u/0/embed?src=c85ecb3cda4bfb7daa3da95d5aeb19672930501b49d17896e65fa3f963f17a80@group.calendar.google.com&amp;amp;ctz=America/Los_Angeles">direct link to the calendar&lt;/a>)&lt;/p></description></item><item><title>Blog: HEIR meeting 2023-06-30</title><link>https://heir.dev/blog/2023/06/30/heir-meeting-2023-06-30/</link><pubDate>Fri, 30 Jun 2023 12:42:22 -0700</pubDate><guid>https://heir.dev/blog/2023/06/30/heir-meeting-2023-06-30/</guid><description>
+there is no video recording this week.&lt;/p></description></item><item><title>Blog: HEIR meeting 2023-08-15</title><link>https://heir.dev/blog/2023/08/16/heir-meeting-2023-08-15/</link><pubDate>Wed, 16 Aug 2023 16:15:47 +0000</pubDate><guid>https://heir.dev/blog/2023/08/16/heir-meeting-2023-08-15/</guid><description>
+&lt;p>Here are the
+&lt;a href="https://docs.google.com/document/d/1vZsKJH4wCAZCtyh3o9nNMLRFwlWQiVdvUMvwJnA4cIc/edit?usp=sharing">notes&lt;/a>
+and
+&lt;a href="https://drive.google.com/file/d/1DDNepYCSqgi-JlBLBzHrsL5CjjiwqcA_/view?usp=sharing">video recording&lt;/a>
+from the HEIR meeting on 2023-08-15.&lt;/p></description></item><item><title>Blog: HEIR meeting 2023-06-30</title><link>https://heir.dev/blog/2023/06/30/heir-meeting-2023-06-30/</link><pubDate>Fri, 30 Jun 2023 12:42:22 -0700</pubDate><guid>https://heir.dev/blog/2023/06/30/heir-meeting-2023-06-30/</guid><description>
 &lt;p>The second HEIR meeting was 2023-05-30
 (&lt;a href="https://docs.google.com/document/d/1wxaEtpEDdO2yv5YKmFTc8FVlqHxm49gHzEdcnBFBKWs/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/blog/page/4/index.html b/blog/page/4/index.html
diff --git a/categories/index.html b/categories/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