Rachit Nigam
notypes.bsky.social
incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/). building new languages and compilers to make hardware design fast, fun, and correct
👤 Joined on 11 August 2023
971
Followers
180
Following
113
Total Posts
📜 Kullanıcı Geçmişi
- 11 Ağu 2023, 17:15
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@notypes.bsky.social - 11 Ağu 2023, 17:18
✏️ Kullanıcı adı değişti:
@notypes.bsky.social→@rachit.pl - 13 Kas 2023, 02:18
🔄 Profil bilgileri güncellendi
- 19 Kas 2024, 16:52
✏️ Kullanıcı adı değişti:
@rachit.pl→@notypes.bsky.social
❤️ Beğendiği Gönderiler
Because I have poor self control, I made a thing to avoid looking at those increasingly terrible ACM Digital Library pages. Introducing Analog Library: https://al.radbox.org
Show Post
My first day at Penn, the Schuylkill flooded 16ft because of Hurricane Ida, and classes were cancelled. I'm starting my new job on Monday, and so of course New York is expecting the largest blizzard in over a decade
Show Post
This week at the EGRAPHS Seminar, Marton Hajdu from the Vampire team will present his work on equality reasoning in the Vampire tool. Join us! Thursday 2/19, 9AM PT on Zoom Recordings on youtube after egraphs.org/meeting/2026...
Show PostSuccessfully defended my dissertation today. Now Dr. Joe!
Show Post
New post on "Proofs and Intuitions": Verifying Distributed Protocols in Veil. We take a tour of Veil, a Lean-based verification framework that combines TLA+-style model checking with formal proofs and enables AI-powered invariant inference. proofsandintuitions.net/2026/02/09/d...
Show Post