Jon Pretty

A Statement I am a Scala developer and speaker who was cancelled three years ago. Yesterday I attended the High Court in London to hear an apology from several prominent members of the Scala community for making untrue claims about me on 27 April 2021. I sued them for libel, and…

As a pet project I’m working on mobile app for freelancers where you can track your contacts/customers, schedule follow up remainders, take notes, use checklists for specific customer etc. Do you think anyone would need it? What would you add there if so?

[2/2] Switched to Chiaroscuro from @propensive'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…

@etorreborre introduces @propensive for his talk: Typesafe & Total; Elegant & Expressive; Compositional & Correct: Exceptions are back 🔥 buff.ly/2pBc6Ci

perfIO 0.2 is finally out! The work on the main new feature, output filters, took me far too long, and required several redesigns. Filters exchange blocks with the underlying BufferedOutput (instead of copying) and support sync, async and parallel implementations.

Just blogged, 'Waving a Fond Farewell to LambdaConf'. After 10 years, the 2025 edition of LambdaConf will be the iconic brand's last public event. 😢 There's still time to grab a ticket and join me in this celebration of programming at the frontier! 👇 ziverge.com/post/waving-a-…

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: @arcfide @propensive

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

If you are in Warsaw on April 24, join the meetup: meetup.com/aws-user-group…. I will explain how the Serverless Framework can help you to build and deploy your application using AWS Lambda, DynamoDB, and S3. #AWS #meetup Special invite for my dear friends: @hmemcpy @propensive 🧸

It's ideal to write functions to only accept the narrowest type required for their function, preventing implicit scope creep and complexity in testing. In many scenarios, this becomes quite daunting, requiring many parameters or a new data type to store the only fields necessary.…

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

On the way to make #scala a realtime procedural graphics editor :) 3D and animations are coming! #gpu #generativeart

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

If you want to play with some cool tech and help Kyo become a viable alternative to build high-performance backend systems in Scala Native, we have a new bounty to integrate with #Aeron in #Scala Native! 👇🏽

I will be speaking at @LambdaDays 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…

Sat evening - playing around with Kyo - the Scala 3 library for algebraic effects. Must say the Pending type `<` is simply a work of art. One monad rules it all - literally opens up the possibility of having unbounded algebraic effects that can be safely composed within the…

Fun fact: Kyo uses intersection and higher-kinded types with variance to track effects and it's something most languages can't even express! 😱 Haskell can't directly encode the unordered pending effect set, TypeScript/Kotlin/Rust lack proper HKT, and only PureScript comes close…

Still experimental, but while this might seem as a very small #Scala feature, it's going to make pattern matching so much easier and useful - and hence more widespread. Pattern matching + immutable data is one of *the* most useful traits of FP!

I wanted to avoid drama but I think I want to share my perspective on this one. I've been using Scala 3 for a few years now, and the experience has been quite surprising. Everything just works across language versions and major improvements are rarely intrusive. And that's with a…

Scala doesn't need tooling. This got solved few times over. Scala doesn't need stability. This got solved with Scala 3. It's not perfect but we have a decent balance between stability and innovation. What scala needs is good press. When was the last time Scala was advertised…

#Kyo 0.15.0 is out and it's yet another packed release! ✨ 🔄 new Monix integration 🚀 multithreaded Scala Native 🔒 STM effect w/ fine-grained locking + TMap ⚡️ Async.gather for parallel execution w/ results collection 🛠️ stream improvements, simplified Batch, and more…