Add post for seminar on Contextual Local Function Inference

Author: cu1ch3n

_posts/2025-02-12-contextual-function-inference.md

@@ -0,0 +1,10 @@
+--- 
+layout:  post
+title:   Contextual Local Function Inference
+authors: Chen
+date:    2025-02-12 10:10:00 GMT+8
+venue:   CB313
+--- 
+
+
+In this talk, I will share ideas, progress, and challenges we encountered in extending contextual type inference with function inference. While we have explored various approaches, the project is still in its early stages, so I am eager to hear your insights and suggestions :)