Katie reorganized some of our stuff and I cannot handle how cute the dog shelf is.

My friend got an offer rescinded for an assistant professorship when they negotiated. Holy shit. If anybody has advice or suggestions for them, I’d love to pass those suggestions along. I don’t know how to support them, the situation is so beyond fucked.

🌸

Really breaking the immersion here…

Does anybody have an ethics in computer science / ethics in technology course? What department teaches it? What requirements does it fulfill?

Our Coda paper "Certifying Zero-Knowledge Circuits with Refinement Types" got accepted by IEEE S&P ! (Top 1 security venue) We used Coda to formally verify crucial circuits PSE @ Ethereum (account moved), Sismo, iden3 and many others. Congrats to all our students MisakaCenter and

Goldbach’s Conjecture Proven Any% in 4:03 (WR!) youtu.be/sv97pXplxf0

Copper’s wedding outfit arrived!

For people in Vancouver, consider attending the counter-protest tomorrow at 12 at the Vancouver Art Gallery. facebook.com/events/1048659…