Update

daniellimws · daniellimws · commit 20ae91f76a1c · 2025-02-03T12:38:54.000+08:00
diff --git a/content/_index.md b/content/_index.md
@@ -43,9 +43,7 @@ sections:
           2. National Research Foundation, Singapore, and Cyber Security Agency of Singapore under its National Cybersecurity R&D Programme (Fuzz Testing \<NRF-NCR25-Fuzz-0001\>).
 
         ### Reading Groups
-        We currently run two reading groups on alternate weeks. We meet on Wednesday 1-2pm at COM3 MR21. You may contact [Daniel](mailto:dws.lim@nus.edu.sg) if you are interested to join.
-          1. [Advanced Automata Theory](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book)
-          2. Logic/Type Theory
+        We currently run an [Advanced Automata Theory](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book) reading group once every 2 weeks. We meet on Wednesday 1-2pm at COM3 MR21. You may contact [Daniel](mailto:dws.lim@nus.edu.sg) if you are interested to join.
 
   # - block: markdown
   #   content:
diff --git a/content/news/2024-06-26-alexey.md b/content/news/2024-06-26-alexey.md
@@ -3,4 +3,4 @@ date: 2024-06-26
 ---
 
 
-Alexey Paznikov joins us as a Research Fellow!
+**Alexey Paznikov** joins us as a Research Fellow!
diff --git a/content/news/2024-08-12-new-members.md b/content/news/2024-08-12-new-members.md
@@ -3,4 +3,4 @@ date: 2024-08-16
 ---
 
 
-PhD student Zihan Zhou, and undergraduate students Arsyad Kamili, Jed Koh Jin Keat, Ramanathan Kumarappan, Bryan Lim and David Zhu join us!
+PhD student **Zihan Zhou**, and undergraduate students **Arsyad Kamili**, **Jed Koh Jin Keat**, **Ramanathan Kumarappan**, **Bryan Lim** and **David Zhu** join us!
diff --git a/content/news/2024-11-19-papers.md b/content/news/2024-11-19-papers.md
@@ -3,4 +3,7 @@ date: 2024-11-19
 ---
 
 
-Papers accepted: [The Decision Problem for Regular First-Order Theories (POPL'25)](https://arxiv.org/pdf/2410.17185), [Selectively Uniform Concurrency Testing (ASPLOS'25)](https://abhikrc.com/pdf/asplos25.pdf)
+Papers accepted:
+
+1. [The Decision Problem for Regular First-Order Theories (POPL'25)](https://arxiv.org/pdf/2410.17185)
+2. [Selectively Uniform Concurrency Testing (ASPLOS'25)](https://abhikrc.com/pdf/asplos25.pdf)
diff --git a/content/news/2025-01-24-popl-src.md b/content/news/2025-01-24-popl-src.md
@@ -0,0 +1,8 @@
+---
+date: 2025-01-24
+---
+
+Achievements in the POPL'25 Student Research Competition:
+
+1. **Grace** won the Gold medal (graduate student category) for her work on Store Order Consistency Testing for C-like memory models, and complexity theoretic questions around it.
+2. **Jed** won the Gold medal (undergraduate student category) for his work on designing property testing algorithms for trace closures of regular languages.
diff --git a/themes/blox-bootstrap/assets/scss/wowchemy/layouts/_listing.scss b/themes/blox-bootstrap/assets/scss/wowchemy/layouts/_listing.scss
@@ -25,7 +25,12 @@
 }
 
 .news-list-item .news-content p {
-  margin-bottom: 0;
+  margin-bottom: 0.2rem;
+}
+
+.news-list-item .news-content :is(ul,ol,dl) {
+  margin-top: 0;
+  font-size: 0.95rem;
 }
 
 .pub-list-item {

Original file line number	Diff line number	Diff line change
`@@ -3,4 +3,4 @@ date: 2024-06-26`
`3`	`3`	`---`
`4`	`4`
`5`	`5`
`6`		`-Alexey Paznikov joins us as a Research Fellow!`
	`6`	`+Alexey Paznikov joins us as a Research Fellow!`
Original file line number	Diff line number	Diff line change
`@@ -3,4 +3,4 @@ date: 2024-08-16`
`3`	`3`	`---`
`4`	`4`
`5`	`5`
`6`		`-PhD student Zihan Zhou, and undergraduate students Arsyad Kamili, Jed Koh Jin Keat, Ramanathan Kumarappan, Bryan Lim and David Zhu join us!`
	`6`	`+PhD student Zihan Zhou, and undergraduate students Arsyad Kamili, Jed Koh Jin Keat, Ramanathan Kumarappan, Bryan Lim and David Zhu join us!`
Original file line number	Diff line number	Diff line change
`@@ -25,7 +25,12 @@`
`25`	`25`	`}`
`26`	`26`
`27`	`27`	`.news-list-item .news-content p {`
`28`		`- margin-bottom: 0;`
	`28`	`+ margin-bottom: 0.2rem;`
	`29`	`+}`
	`30`	`+`
	`31`	`+.news-list-item .news-content :is(ul,ol,dl) {`
	`32`	`+ margin-top: 0;`
	`33`	`+ font-size: 0.95rem;`
`29`	`34`	`}`
`30`	`35`
`31`	`36`	`.pub-list-item {`