@alphaconvert.bsky.social

CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.

@zanzi.bsky.social

I research programming languages and turn Category Theory into code

@agdubs.bsky.social

a mess like this is easily 5 to 10 years ahead of its time

@thisweekinrust.bsky.social

Cataloguing the Rust community's awesomeness. #rustlang

@servo.org

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications. https://servo.org https://github.com/servo/servo

@without.boats

@xl772.bsky.social

Math, cryptography, justice. No alt text = no engagement. Cis het white woman, québécoise, Canadian American, tired. Profile pic: raised fist; banner pic: masked white woman giving a talk entitled “Introduction to cryptography”

@plaidfinch.net

watch bird, zoom car, eat snack email me! [email protected] age123456789pqc3kgk33jrca6vqlf7pl8me3vqzjqj7jf60qdm9l42sm5ffva λ □ · ν ○ · □ ◇ Δ ○﹕□ ( □ ○ → ○ ) → □ ○

@daviddarais.bsky.social

Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com