blog.grace.moe

Source for the blog blog.grace.moe
git clone https://git.grace.moe/blog.grace.moe
Log | Files | Refs

c.smd (2163B)

      1 ---
      2 .title = "C POPL 2025 Student Research Competition",
      3 .date = @date("2025-01-14T16:38:36+08:00"),
      4 .author = "Grace Tan",
      5 .description = "What happened at POPL SRC",
      6 .layout = "post.shtml",
      7 .alternatives = [{
      8     .name = "raw",
      9     .layout = "post.raw.shtml",
     10     .output = "index.raw.html",
     11 }],
     12 .draft = true,
     13 ---
     14 
     15 # C POPL 2025 Student Research Competition
     16 
     17 I submitted an extended abstract to the POPL 2025 Student Research competition, which has been accepted into the poster presentation stage. See you at POPL 2025!
     18 
     19 [Download Extended Abstract]($link.siteAsset("docs/POPL-2025-SRC-Grace-Tan-Extended-Abstract.pdf"))
     20 
     21 ----
     22 
     23 **Update 2025-01-23**: I proceeded to Round 3 (Oral presentation) and gave my talk, here are my slides!
     24 
     25 [Link to Presentation Slides](https://docs.google.com/presentation/d/1IRLBLujk5qB1ekCzD-k7LSTpECGeYWXDenZrtXp1Lvc/view)
     26 
     27 ----
     28 
     29 **Update 2025-01-23**: I'm honoured to receive the Gold prize ($500) and advance to the ACM SRC Grand Finals! Thank you for our discussions during the poster session and for listening to my talk!
     30 
     31 ```
     32 code
     33 ```
     34 
     35 > quote
     36 >
     37 > another quote
     38 
     39 Contrary to popular belief, Lorem Ipsum is not simply random text. It has roots in a piece of classical Latin literature from 45 BC, making it over 2000 years old. Richard McClintock, a Latin professor at Hampden-Sydney College in Virginia, looked up one of the more obscure Latin words, consectetur, from a Lorem Ipsum passage, and going through the cites of the word in classical literature, discovered the undoubtable source. Lorem Ipsum comes from sections 1.10.32 and 1.10.33 of "de Finibus Bonorum et Malorum" (The Extremes of Good and Evil) by Cicero, written in 45 BC. This book is a treatise on the theory of ethics, very popular during the Renaissance. The first line of Lorem Ipsum, "Lorem ipsum dolor sit amet..", comes from a line in section 1.10.32.
     40 
     41 The standard chunk of Lorem Ipsum used since the 1500s is reproduced below for those interested. Sections 1.10.32 and 1.10.33 from "de Finibus Bonorum et Malorum" by Cicero are also reproduced in their exact original form, accompanied by English versions from the 1914 translation by H. Rackham.