iiinova — where your digital self keeps evolving

Reposted by Adrian Sampson

Alex Goldman @agoldman.bsky.social · 23/07/2026

Y'all seriously couldn't come up with a better name than "finger lakes?" That sounds disgusting. Grow up.

Reposted by Adrian Sampson

Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 21/03/2026

☕️ LATTE, our little workshop on hardware design languages/compilers/etc., has 24 (!) rad-looking position papers this year. It’s on Monday, and you can attend on Zoom or in Pittsburgh: capra.cs.cornell.edu/latte26

capra.cs.cornell.edu

LATTE ’26

114

Adrian Sampson @samps.phd · 11/12/2025

☕️ For the sixth time (!), we’re running our little ASPLOS workshop on hardware design languages/compilers/etc. Papers are just two pages! So easy! Please submit! #latte26 capra.cs.cornell.edu/latte26/

capra.cs.cornell.edu

LATTE ’26

040

Reposted by Adrian Sampson

Griffin @griffinberlste.in · 09/10/2025

I'm bad at self-promo but I am currently on the job market looking for industry gigs. If your team needs a compiler engineer, language developer, rust programmer, or language tools person, drop me a line! All my details are on my personal site.

045

Reposted by Adrian Sampson

Rachit Nigam @notypes.bsky.social · 01/07/2025

At PLDI this year, I received the SIGPLAN John C. Reynolds Distinguished Dissertation award and at ISCA, I received an honorable mention for the SIGARCH / TCCA Outstanding dissertation award! Truly honored to receive recognition from both the communities! Really excited for what comes next!

2332

Reposted by Adrian Sampson

SIGPLAN @sigplan.bsky.social · 02/06/2025

We’ve started a podcast! @awsto.bsky.social and @samps.phd host “Current Continuation,” a little interview series with PL researchers. The first two episodes are with @ranjitjhala.bsky.social and @satnam6502.bsky.social. sigplan.org/cc/

sigplan.org

Current Continuation

22311

Reposted by Adrian Sampson

Aws Albarghouthi @awsto.bsky.social · 29/05/2025

In this episode of current continuation, Adrian (@samps.phd) and I talk to the incredible Dr. Satnam Singh (@satnam6502.bsky.social) from Groq. A far-ranging conversation—from SAT to Haskell to chip design to HDLs to Scotch to castles to HR :) www.youtube.com/watch?v=_g5f...

youtube.com

E2: Satnam Singh (Groq)

YouTube video by current continuation

0218

Reposted by Adrian Sampson

Aws Albarghouthi @awsto.bsky.social · 21/05/2025

As part of SIGPLAN blog, @samps.phd (Cornell) and I started an interview series where we talk to luminaries in the field of Programming Languages. Our first one is a super fun conversation with Ranjit Jhala (UCSD). 1h26m of goodness. www.youtube.com/watch?v=goUZ...

youtube.com

E1: Ranjit Jhala (UCSD)

YouTube video by current continuation

1249

Reposted by Adrian Sampson

SIGPLAN @sigplan.bsky.social · 19/05/2025

Defunding the NSF will have disastrous downstream effects on the tech industry. It’s time for people in industry to ACT. In this cross-post from the SIGARCH blog, Prof. Vijay Janapa Reddi outlines some steps you can take now. blog.sigplan.org/2025/05/19/t...

blog.sigplan.org

The Academic Pipeline Stall: Why Industry Must Stand for Academia

This post was cross-published from the SIGARCH blog. The Research Pipeline is Stalling The U.S. National Science Foundation (NSF) froze all outgoing funding, including new awards and scheduled…

023

Reposted by Adrian Sampson

Kate Starbird @katestarbird.bsky.social · 04/05/2025

Thinking about devastating cuts to NSF: US gov-funded science has been the engine upon which most of the tech wealth was generated. But the oligarchs (currently hoarding much of that $) think it’s their own brilliance & not the accident of standing close to the scientific engine that made them rich.

11361811663

Reposted by Adrian Sampson

Anil Madhavapeddy @anil.recoil.org · 13/04/2025

Yay for the first unikernel paper getting the ASPLOS most influential paper award, and some reflections on it anil.recoil.org/notes/uniker...

anil.recoil.org

Unikernels wins the ASPLOS most influential paper award

23910

Adrian Sampson @samps.phd · 21/03/2025

☕️ Our little workshop about accelerator design languages & tools is next weekend, on March 30! We have 15 cool talks lined up, and the 2-page papers are out now: capra.cs.cornell.edu/latte25/ Make your travel plans to Rotterdam! Or pre-register for the Zoom option: cornell.zoom.us/meeting/regi...

capra.cs.cornell.edu

LATTE ’25

072

Reposted by Adrian Sampson

Dr. David Miller 🏳️‍🌈 @davidimiller.bsky.social · 12/03/2025

🧪 The NSF director is lying to you. Let’s fact check 7 claims from yesterday’s letter to the community, while pointing out 3 critical omissions. 🧵

Long letter from NSF Director Sethuraman Panchanathan, available here: https://nsf-gov-resources.nsf.gov/files/Letter-to-the-Community.pdf

11486315

Reposted by Adrian Sampson

Katie Mack @astrokatie.com · 31/01/2025

It would be fantastic if major federal institutions would acknowledge that the executive branch cannot legally unilaterally cancel or redistribute congressionally appropriated funding on ideological grounds and thus they have no legal obligation to comply with such directives

abcnews.go.com

Trump funding freeze a blatant violation of Constitution, federal law: Legal experts

The Constitution, federal law and court decisions make it clear: President Donald Trump's order to pause federal funding is against the law, legal experts tell ABC News.

849374859873

Reposted by Adrian Sampson

Ólafur Waage @olafurw.com · 31/01/2025

Programming languages: "We are just a way to operate computers in a way that makes sense to humans." Programming languages [takes a big joint hit]: "What if there were 5 kinds of nothingness?"

2663386

Reposted by Adrian Sampson

Brendel @brendelbored.bsky.social · 14/08/2023

Eric Adams is amazing because when he won every media person was leaping over each to go “this is the normal sane leadership that the political left doesn’t understand normal sane Americans crave” and then every day since that Eric Adams has been like “Leprechauns are real and I’m going to cook one”

117160243624

Adrian Sampson @samps.phd · 09/01/2025

☕️ We’re running LATTE again: our ASPLOS workshop about languages/compilers/tools/whatever for hardware design. Submissions are just little 2-pagers, due on January 31. Plenty of time to throw something together! capra.cs.cornell.edu/latte25/

capra.cs.cornell.edu

LATTE ’25

02310

Reposted by Adrian Sampson

Rachit Nigam @notypes.bsky.social · 27/12/2024

After 6 wonderful years with @samps.phd at Cornell, I have finally defended my PhD, written a 250-page document, and submitted that one NSF survey form Thank you to everyone who was a part of the journey and I am excited for the next chapter!

Rachit standing in front of a screen that says "Explicit reasoning about time enables the design of modular and efficient abstractions for hardware design."

2613

Adrian Sampson @samps.phd · 26/11/2024

the current C++ kerfuffle is so delightfully popcorn-worthy because, like Star Wars or Drake/Kendrick, there is absolutely zero subtlety about who is right and who is wrong

040

Adrian Sampson @samps.phd · 25/11/2024

👋🦋 Consider following @sigplan.bsky.social, if you want. We've got cool blog posts like this: bsky.app/profile/sigp...

042