@svishnus.bsky.social
PhD student in Parallel PL & Systems @nyucourant.bsky.social CS, Math, & Music @umich.edu ‘25
hazel development, september 2020 - september 2025
28.10.2025 03:45 — 👍 34 🔁 6 💬 1 📌 0
one day, my apartment will look like this
18.10.2025 01:31 — 👍 22 🔁 2 💬 1 📌 0
Only at #icfpsplash25 😎
16.10.2025 05:31 — 👍 1 🔁 1 💬 0 📌 0
the ML Family Workshop begins in just a few hours! Come find us in Peony NE at 10:30, right next to the dining hall
We have a great program with 9 talks!
If you are curious about compilers, type systems, module systems, formal proofs, and typed domain modeling, then this is the place for you
A wild paren has appeared! #icfpsplash25
14.10.2025 01:28 — 👍 0 🔁 1 💬 0 📌 0Who called it abstract algebra and not discreet math 🤫
29.07.2025 20:16 — 👍 0 🔁 0 💬 0 📌 0
OPLSS students in formation reading "λ x"
Achievement Unlocked - #OPLSS25 ✅
10.07.2025 19:31 — 👍 2 🔁 0 💬 0 📌 0
Hazel lore
26.06.2025 23:11 — 👍 2 🔁 0 💬 0 📌 0Day 4 of the Oregon Programming Languages Summer School. Morale is running low. 20h of lectures and we haven't seen a programming language yet. Many fear that we won't find one before the rations run out. If we don't make it back, tell my cat I love her
26.06.2025 17:51 — 👍 15 🔁 1 💬 1 📌 0
Kicking off #OPLSS25 with some good ol’ Logical Foundations
23.06.2025 16:35 — 👍 1 🔁 1 💬 0 📌 0Summer State of Mind ☀️
#SummerSolstice
We've extended the deadline for the ML Family Workshop -- please help spread the word!
New deadline: July 3
If you (or someone you know) is planning to attend ICFP/SPLASH, we encourage you to consider submitting!
conf.researchr.org/home/icfp-sp...
When the
the pointer is sus
calculating primes using OxCaml comprehensions
🐍🐫 magic
14.06.2025 00:51 — 👍 0 🔁 0 💬 0 📌 0Loving the comprehensions feature from the new #OxCaml update. Can't wait for it to be available upstream soon™️
14.06.2025 00:51 — 👍 1 🔁 0 💬 1 📌 0
I'm pleased to announce OxCaml!
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
These are not merely amateur functors. These are pro functors.
15.04.2025 18:56 — 👍 4 🔁 1 💬 0 📌 0vibecoding referenced in graduate PL class. ✔️
14.04.2025 18:06 — 👍 3 🔁 1 💬 0 📌 0Conditional breakpoints almost let you write a unit test from the debugger
31.03.2025 15:37 — 👍 1 🔁 0 💬 1 📌 0Congratulations 🥳🎉
05.03.2025 14:30 — 👍 1 🔁 0 💬 0 📌 0
I'm honored to receive the 1938E Award, which honors "outstanding young faculty members who demonstrate excellence in teaching, mentoring, and contributing to the educational growth of the College". Working with budding PL nerds is a highlight of my job!
cse.engin.umich.edu/stories/cyru...
LeGrove: www.3blue1bron.com/share/cb1d21...
30.01.2025 15:47 — 👍 3 🔁 0 💬 0 📌 0
My student Thomas Porter will be presenting our collaborative, in-progress work on "Incremental Bidirectional Typing with Order Maintenance" at the WITS workshop at POPL today at 3pm MT!
Stream / recording will be here, check it out:
www.youtube.com/live/HT8nLo6...
#POPL ’d till we DROPL’d 🫡
25.01.2025 14:13 — 👍 11 🔁 0 💬 0 📌 0![[POPL'25] Peek A Boo - POPL I (23rd Jan)](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:7hx6hivnz6dyjqnqrmcd7q72/bafkreibamkvnu2po745wv7uti5ph7hfatxhmyntw6eifpzvvblcn3phyz4@jpeg)
I'll be presenting our #POPL paper "Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus" at 11:20am CT / 1:20pm ET!
The paper presents a foundational IR for collaborative coding where every edit action *commutes*. Grove resolves pernicious problems with code relocation conflicts.
I'll be at the Midwest PL Summit in Chicago today -- if you're around, say hi!
My undergraduate student, Vishnu Satish, will be giving a talk on our work on CRDTs for syntax trees this afternoon!
Happy to give demos of anything FP Lab is up to.
