(Sundara (Vishnu)) (Satish)
@svishnus.bsky.social
PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25
CS, Math, & Music @umich.edu ‘25
Reposted by (Sundara (Vishnu)) (Satish)
to know where you are going, you have to know where you have been:
pldb.kirancodes.me
Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
pldb.kirancodes.me
Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
September 30, 2026 at 12:46 AM
to know where you are going, you have to know where you have been:
pldb.kirancodes.me
Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
pldb.kirancodes.me
Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
Reposted by (Sundara (Vishnu)) (Satish)
synced projective codebase views (definitions outline and type/function canvas), being used to navigate between editable per-definition subeditors (at bottom)
September 7, 2026 at 10:55 PM
synced projective codebase views (definitions outline and type/function canvas), being used to navigate between editable per-definition subeditors (at bottom)
Reposted by (Sundara (Vishnu)) (Satish)
My dream is to become a forward-deployed mathematician.
September 8, 2026 at 8:43 PM
My dream is to become a forward-deployed mathematician.
prompt: new idea, POPL paper, no mistakes!!
March 17, 2026 at 11:59 AM
prompt: new idea, POPL paper, no mistakes!!
Reposted by (Sundara (Vishnu)) (Satish)
Thinking about replacing every instance of NaN in Hazel with 🫓
February 12, 2026 at 3:39 PM
Thinking about replacing every instance of NaN in Hazel with 🫓
Reposted by (Sundara (Vishnu)) (Satish)
my student Seong-Heon talking about one of our new projects at NYU!
(We’re at NJPLS today, come say hi)
(We’re at NJPLS today, come say hi)
December 5, 2025 at 4:36 PM
my student Seong-Heon talking about one of our new projects at NYU!
(We’re at NJPLS today, come say hi)
(We’re at NJPLS today, come say hi)
Reposted by (Sundara (Vishnu)) (Satish)
hazel development, september 2020 - september 2025
October 28, 2025 at 3:45 AM
hazel development, september 2020 - september 2025
Reposted by (Sundara (Vishnu)) (Satish)
one day, my apartment will look like this
October 18, 2025 at 1:31 AM
one day, my apartment will look like this
Reposted by (Sundara (Vishnu)) (Satish)
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
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
October 16, 2025 at 12:12 AM
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
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
Reposted by (Sundara (Vishnu)) (Satish)
A wild paren has appeared! #icfpsplash25
October 14, 2025 at 1:29 AM
A wild paren has appeared! #icfpsplash25
Who called it abstract algebra and not discreet math 🤫
July 29, 2025 at 8:16 PM
Who called it abstract algebra and not discreet math 🤫
Reposted by (Sundara (Vishnu)) (Satish)
Day 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
June 26, 2025 at 5:51 PM
Day 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
Reposted by (Sundara (Vishnu)) (Satish)
June 20, 2025 at 1:00 PM
Reposted by (Sundara (Vishnu)) (Satish)
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...
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...
ML Family Workshop 2025 - Higher-order, Typed, Inferred, Strict: ML Family Workshop 2025 - ICFP/SPLASH 2025
ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, Flix, MaPLe, and many othe...
conf.researchr.org
June 20, 2025 at 1:15 PM
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...
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...
Reposted by (Sundara (Vishnu)) (Satish)
When the
the pointer is sus
the pointer is sus
lol it was a null pointer
June 15, 2025 at 11:59 AM
When the
the pointer is sus
the pointer is sus
Reposted by (Sundara (Vishnu)) (Satish)
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.
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.
June 13, 2025 at 2:14 PM
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.
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.
Reposted by (Sundara (Vishnu)) (Satish)
These are not merely amateur functors. These are pro functors.
April 15, 2025 at 6:56 PM
These are not merely amateur functors. These are pro functors.
Reposted by (Sundara (Vishnu)) (Satish)
vibecoding referenced in graduate PL class. ✔️
April 14, 2025 at 6:06 PM
vibecoding referenced in graduate PL class. ✔️
Reposted by (Sundara (Vishnu)) (Satish)
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...
cse.engin.umich.edu/stories/cyru...
Cyrus Omar receives 1938E Award
He has been recognized for innovative teaching, mentorship, and dedication to undergraduate research.
cse.engin.umich.edu
March 3, 2025 at 6:28 PM
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...
cse.engin.umich.edu/stories/cyru...