PLDI 2025 Artifact Evaluation Committee Self Nomination This form allows any member of the community to nominate *yourself* to be part of the Artifact Evaluation Committee for PLDI 2025. While we cannot select all qualified candidates, we will do our best ...

Attention🚨 We are looking for motivated students and researchers to be members of the PLDI 2025 Artifact Evaluation Committee. This year, we are accepting self-nominations (the form is here: forms.gle/2TPmixasDmqM...). Deadline: Dec 23rd, 2024.

For more info: pldi25.sigplan.org/track/pldi-2...

Participated in a hackathon on zero-knowledge cryptography. We worked on a Merkle tree proof in Lurk, a Lisp ZK DSL (lurk-lang.org). It’s not complete, as the tooling was in a challenging pre-documentation alpha stage. Fun learning experience. devfolio.co/projects/mer...

It's quiet in here! Making an effort forward to engage here and on X.

Lots to share soon. Always learning.