Skip to content

Commit

Permalink
chore: add pldi 24 acceptence
Browse files Browse the repository at this point in the history
  • Loading branch information
wodeni committed Feb 28, 2024
1 parent 133efa1 commit c89d764
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions src/News.tsx
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,15 @@ interface News {
}

const news: News[] = [
{
time: new Date("2024-02-28"),
msg: (
<>
Paper accepted at PLDI 2024:{" "}
<i>Syntactic Code Search with Sequence-to-Tree Matching</i>!
</>
),
},
{
time: new Date("2024-01-02"),
msg: "New year, new round of rewriting this site. Used Tailwind this time and we have dark mode now!",
Expand Down

0 comments on commit c89d764

Please sign in to comment.