
Jon Pretty
@propensive
Scala 3 developer
ID: 170718652
https://invariant.blog/ 25-07-2010 15:35:15
17,17K Tweet
7,7K Followers
1,1K Following







I will be speaking at Lambda Days this year! :) I will show how functional Scala with Cyfra can be used to develop GPU programs such as ray tracers and ray marchers - we will develop one live. Ambitious plan now is to clean up, expand and release Cyfra. lambdadays.org/lambdadays2025…


Here Eric Torreborre makes a compelling case for ditching brittle infra-as-code tools in favor of real programming languages. Bonus: he highlights how Unison | @unison-lang.org on bsky's content-addressed, purely functional design could revolutionize the space. 🚀 Check it out: etorreborre.blog/we-can-do-much…


Jon Pretty Book Principled Metaprogramming in Scala 3: eventbrite.com/e/workshop-pri…


LAST CHANCE! Early Bird Tickets for our Paid Workshops end this week 👀 Principled Metaprogramming in Scala 3 with Jon Pretty Get tickets here: eventbrite.com/e/workshop-pri… Complete APL: Real-world Apps, Real Small Code with Aaron W. Hsu Get tickets here: eventbrite.com/e/workshop-com…

This unicorn won't be sharing his notes, so you better book your seat if you haven't already 👀 APL workshop: buff.ly/tovxi32 Scala 3 workshop: buff.ly/0yXbIvE Instructors: Aaron W. Hsu Jon Pretty




Eric Torreborre introduces Jon Pretty for his talk: Typesafe & Total; Elegant & Expressive; Compositional & Correct: Exceptions are back 🔥 buff.ly/2pBc6Ci

Jakub Zalas [2/2] Switched to Chiaroscuro from Jon Pretty's Soundness platform. github.com/propensive/sou… The results speak for themselves - clean, readable output that scales beautifully even with massive data structures. (PS: Initially explored Difflicious, and this macro story from this
![@baldram@functional.cafe 🔸️ Marcin Szałomski (@baldram) on Twitter photo <a href="/jakub_zalas/">Jakub Zalas</a> [2/2] Switched to Chiaroscuro from <a href="/propensive/">Jon Pretty</a>'s Soundness platform. github.com/propensive/sou…
The results speak for themselves - clean, readable output that scales beautifully even with massive data structures.
(PS: Initially explored Difflicious, and this macro story from this <a href="/jakub_zalas/">Jakub Zalas</a> [2/2] Switched to Chiaroscuro from <a href="/propensive/">Jon Pretty</a>'s Soundness platform. github.com/propensive/sou…
The results speak for themselves - clean, readable output that scales beautifully even with massive data structures.
(PS: Initially explored Difflicious, and this macro story from this](https://pbs.twimg.com/media/GuZrFfrXwAA4S5-.png)
