Create 2025-03-05-fixpoints.md

Meowcolm024 · web-flow · commit 4e107c8daef2 · 2025-03-04T16:00:18.000+08:00
diff --git a/_posts/2025-03-05-fixpoints.md b/_posts/2025-03-05-fixpoints.md
@@ -0,0 +1,9 @@
+--- 
+layout:  post
+title:   Lazier Fixpoints
+authors: Yicong
+date:    2025-03-05 10:10:00 GMT+8
+venue:   CB308
+--- 
+
+In this talk, I will share the progress and challenges we enountered when developing a calulus with a "lazier" fixpoint and open evaluation.
