Hey. I was banned from types.pl for having interviewed at the NSA 13 years ago, when I was 20 years old. I'm grateful for a new home on mathstodon.

I am very unhappy with anyone who is going after the types.pl moderators personally for this and not just respectfully discussing the situation, and I'm personally extremely sorry if my Tweet inspired any of those actions. If I see this at all I will be escalating to SIGPLAN CARES.

In a recent post I mentioned working with the department of defense as faculty. I mean that in two capacities: (1) receiving DARPA grants for verification work, and (2) organizing a workshop through the department of defense on the security risks of generative AI for code. I am always public about this with students, and I always ask students before funding them on DARPA grants, making it clear I will source funding elsewhere if the student strongly opposes defense funding.

This is the kind of thing I wanted to discuss after seeing Oppenheimer; I'm a bit bummed that instead I got banned for a post about something that happened 13 years ago, when I was not in the PL community at all, and basically lived under a rock with respect to everything except math, Dance Dance Revolution, and competitive running.

I also recognize that server admins can make and enforce their own rules. I still wish I could have just received notice to port my account so that I could have kept my followers.

Anyways, hi, please help me rebuild my friend network here.