1. 與你有關的三個關鍵字:人權、自由 (as in freedom, as in free hugs, as in free beers, and as in free from bugs)、形式科學
2. 怎麼知道 g0v 的:忘記了,大概已經知道很久了吧,畢竟糖鳳實在是太酷了!
3. 平常從事的職業或熟悉的領域、專長:數學、理論計算機科學
4. 有興趣的議題:formal-computational methods and tools in human rights advocacy
5. 怎麼聯絡:knight.of.lambda.calculus@gmail.com
https://t.me/sayako_8964
6. 想說的話或想做的事:出生在中共國現居紐約(有在Stony Brook, NY附近的手足歡迎來找窩玩~),異議數學工作者,性少數(跨性別非二元),熱愛形式科學(
math.AG, math.LO, cs.FL, cs.PL),
https://github.com/analytic-bias/ ,希望以自己的專長改變世界至少一點;形式科學必為人權,罷工罷課罷免獨裁國賊習近平(以及,希望有一天,零時政府可以開到北京去開到莫斯科去,開到世界各地去...唉)!(edit: 喔再加一句,好想去中研院數學所做代數幾何嗚嗚嗚,可是還沒拿到美國護照去不了...
Telegram
Hypatia du Bois-Marie HackTheCCP 中共下台 形式科學為人權
Hack the Chinese Communist Party, for its removal. 中共下台. Formal sciences for our human rights. 形式科學為人權. 🛜:key::waving_black_flag::flag-tw::flag-ua::rainbow-flag::transgender_flag::handshake::fist::fireworks:
Hypatia du Bois-Marie #RemoveCCP #中共下台 #FormalSciencesForHumanRight #形式科學為人權
mathematician, researcher in the formal sciences, human rights advocate, sinitic dissident/activist, 🛜:key::waving_black_flag::flag-tw::flag-ua::rainbow-flag::transgender_flag::handshake::fist::fireworks:, 被迫害的少數弱勢群體我們在黑傘下聯合