JeanStack: “Runway PL” and Fast Fashion

I have a newsletter!! And I finally figured out what to write in it!!

Subscribe TODAY for your weekly dose of "runway programming languages" and fast fashion. JeanStack is probably the only place on the entire internet that will tell you about dependent types and Uniqlo collabs at the same time.

Read more about this newsletter in my first post.

About Jean

👋 I’m Jean Yang (@jeanqasaur), founder and CEO of Akita Software, a developer tools company helping people get visibility into their software through their APIs.

I was previously an Assistant Professor of Computer Science at Carnegie Mellon University doing research in programming language design and formal methods. Before that, I got my PhD at MIT.

I’ve spent most of my adult life doing research in programming languages. In 2010, my collaborator Chris Hawblitzel and I won the Best Paper Award at the Programming Language Design and Implementation Conference (PLDI) for our work on Verve, an operating system automatically verified for type safety. I’m one of the authors of the first paper on F*, an F#-like language with refinement types that is now popular in verification circles. The MIT Technology Review named me one of the Top 35 Innovators Under 35 in 2016 for my work on the Jeeves language.

In addition to programming languages, I am obsessed with pop culture and the democratization of everything. You may know me from Haskell Ryan Gosling and Zoom Bachelorette.

If you like this newsletter, you may also be interested in my People of Programming Languages interview project. I did this as the Publicity Chair for the Principles of Programming Languages (POPL) conference in 2018. This has since inspired the People of PLDI and People of Systems & Architecture interview projects.

Stay up-to-date

If you subscribe, every new edition of the newsletter goes directly to your inbox.