sabree λ ☕ → 🥓 → 👨🏿‍💻 (@heavypackets) 's Twitter Profile
sabree λ ☕ → 🥓 → 👨🏿‍💻

@heavypackets

♥️ PL, Formal Methods, Privacy, DX, Rust 🦀, Lean, F* 🏳‍🌈 {⊥/⊥}

ID: 234897509

linkhttps://keybase.io/heavypackets calendar_today06-01-2011 21:08:21

7,7K Tweet

1,1K Followers

1,1K Following