iiinova — where your digital self keeps evolving

Reposted by (Sundara (Vishnu)) (Satish)

Kiran @kirancodes.me · 30/09/2026

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.

94311

Reposted by (Sundara (Vishnu)) (Satish)

andrew blinn @disconcision.com · 07/09/2026

synced projective codebase views (definitions outline and type/function canvas), being used to navigate between editable per-definition subeditors (at bottom)

1214

Reposted by (Sundara (Vishnu)) (Satish)

Vincent Carchidi @vcarchidi.bsky.social · 08/09/2026

My dream is to become a forward-deployed mathematician.

3313

(Sundara (Vishnu)) (Satish) @svishnus.bsky.social · 17/03/2026

In light of the TYPES forum discussion on AI-generated PL papers, reviewers please forward your best finds to #SLOPL and #WHOOPSLA. Acceptance rate: 100% 🤑

000

(Sundara (Vishnu)) (Satish) @svishnus.bsky.social · 17/03/2026

prompt: new idea, POPL paper, no mistakes!!

001

Reposted by (Sundara (Vishnu)) (Satish)

Alexander Bandukwala @bandukwala.me · 12/02/2026

Thinking about replacing every instance of NaN in Hazel with 🫓

1112

Reposted by (Sundara (Vishnu)) (Satish)

Sam Westrick @shwestrick.bsky.social · 05/12/2025

my student Seong-Heon talking about one of our new projects at NYU! (We’re at NJPLS today, come say hi)

1102

Reposted by (Sundara (Vishnu)) (Satish)

andrew blinn @disconcision.com · 28/10/2025

hazel development, september 2020 - september 2025

1325

Reposted by (Sundara (Vishnu)) (Satish)

Sam Westrick @shwestrick.bsky.social · 18/10/2025

one day, my apartment will look like this

1212

Reposted by (Sundara (Vishnu)) (Satish)

Sam Westrick @shwestrick.bsky.social · 16/10/2025

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

141

Reposted by (Sundara (Vishnu)) (Satish)

ICFP Conference @icfp-conference.bsky.social · 14/10/2025

A wild paren has appeared! #icfpsplash25

001

(Sundara (Vishnu)) (Satish) @svishnus.bsky.social · 29/07/2025

Who called it abstract algebra and not discreet math 🤫

000

Reposted by (Sundara (Vishnu)) (Satish)

Ty Overby @tyoverby.com · 26/06/2025

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

1151

(Sundara (Vishnu)) (Satish) @svishnus.bsky.social · 23/06/2025

Kicking off #OPLSS25 with some good ol’ Logical Foundations

011

Reposted by (Sundara (Vishnu)) (Satish)

University of Michigan @umich.edu · 20/06/2025

Summer State of Mind ☀️ #SummerSolstice

042

Reposted by (Sundara (Vishnu)) (Satish)

Sam Westrick @shwestrick.bsky.social · 20/06/2025

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...

conf.researchr.org

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...

122

Reposted by (Sundara (Vishnu)) (Satish)

The C Programming Language @c-official.bsky.social · 15/06/2025

When the the pointer is sus

612114

(Sundara (Vishnu)) (Satish) @svishnus.bsky.social · 14/06/2025

Loving the comprehensions feature from the new #OxCaml update. Can't wait for it to be available upstream soon™️

110

Reposted by (Sundara (Vishnu)) (Satish)

Yaron Minsky @yminsky.bsky.social · 13/06/2025

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.

510840

Reposted by (Sundara (Vishnu)) (Satish)

Alexander Bandukwala @bandukwala.me · 15/04/2025

These are not merely amateur functors. These are pro functors.

031

Reposted by (Sundara (Vishnu)) (Satish)

Alexander Bandukwala @bandukwala.me · 14/04/2025

vibecoding referenced in graduate PL class. ✔️

021

Reposted by (Sundara (Vishnu)) (Satish)

Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 03/03/2025

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

Cyrus Omar receives 1938E Award

He has been recognized for innovative teaching, mentorship, and dedication to undergraduate research.

10658

Reposted by (Sundara (Vishnu)) (Satish)

Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 25/01/2025

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...

youtube.com

[POPL'25] Kick the Can - WITS (25th Jan)

YouTube video by ACM SIGPLAN

1134

Reposted by (Sundara (Vishnu)) (Satish)

Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 23/01/2025

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.

youtube.com

[POPL'25] Peek A Boo - POPL I (23rd Jan)

YouTube video by ACM SIGPLAN

22310

Reposted by (Sundara (Vishnu)) (Satish)

Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 22/11/2024

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.

0133