sabree λ ☕ → 🥓 → 👨🏿💻
@heavypackets.bsky.social
PL + Constructive Security @agoric ♥️ Formal Methods, Privacy, DX, Rust 🦀, Lean, F* 🏳🌈 {⊥/⊥}
Reposted by sabree λ ☕ → 🥓 → 👨🏿💻
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...
For more info: pldi25.sigplan.org/track/pldi-2...
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 ...
forms.gle
November 22, 2024 at 11:37 PM
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...
For more info: pldi25.sigplan.org/track/pldi-2...
Reposted by sabree λ ☕ → 🥓 → 👨🏿💻
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...
November 12, 2023 at 11:25 AM
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.
Lots to share soon. Always learning.
November 12, 2023 at 8:19 PM
It's quiet in here! Making an effort forward to engage here and on X.
Lots to share soon. Always learning.
Lots to share soon. Always learning.