Scala 3 developer

Joined July 2010
536 Photos and videos
Pinned Tweet
11 Sep 2025
I am very happy to announce that will be speaking at Scala.io in Paris on 17 October! This will be my first conference talk since 2019, and I'm going to try to make it the best ever! I will introduce soundness.dev to the world: a tour de force of all the wonderful things you can do with Scala 3. I will show you an exciting, optimistic and realistic future for Scala. I will show you how to build CLI and web applications with code that's as easier to read than Python or JavaScript, but just as safe as Haskell. Thank you to the conference team for giving me this opportunity. Scala.io has a special place in my heart: it's always been a delightful, independent and friendly event, and I'm excited to be coming back to Paris! If you want to see the pinnacle of coding elegance, then please come along!

29
36
306
27,058
Jon Pretty retweeted
#Scala folks, in Italy 🇮🇹 we're approaching the Republic Day, and a new #YAES version is here to celebrate! 🎉 The focus was on testing YAES applications, so we introduced some utilities to deal with effects in tests (mainly for @scalatest). Check it out! github.com/rcardin/yaes/rele… cc @ScalaTimes cc @petr_zapletal
2
5
600
Jon Pretty retweeted
Very happy that our work on securing agents with tracked capabilities got best paper award at #cais2026! caisconf.org/program/2026/pa…

24
71
4,425
Jon Pretty retweeted
Following up on recent posts about Kyo... Here is a great talk by Jonathan Winandy, aka @ahoy_jon, from @scalarconf 2026. Really recommend checking this out if you don't know how special Kyo is! youtu.be/SOHbEo7UH28
11
41
1,743
Jon Pretty retweeted
Is it possible to develop complex GPU pipelines in Scala? 🧠 Spoiler alert, it is! A very well made presentation on Cyfra from @scalarconf 2026. Worth watching even if you know nothing about GPU computations (like me 😀). Btw, it almost matches C llama performance! 👇
1
5
30
1,369
Jon Pretty retweeted
Scala Native v0.5.12 is now available, bringing significant stability updates and bleeding edge concurrency features to the ecosystem. 🚀
2
9
45
2,532
Jon Pretty retweeted
This is a heavy story about a brilliant Scala developer who put his life into his work. 💔 After many health and personal problems, he open-sourced his project for everyone. Let's help him find a new job or support his work! 🙏 #scala gist.github.com/japgolly/538…
1
30
61
3,688
Jon Pretty retweeted
How can we ensure critical safety properties of AI agents? Like, no API keys leaked, no prompt injection, no data loss? It's a hard question which will require fundamentally rethinking the way we build modular software. We have an answer in our paper "Tracking Capabilities for Safer Agents" arxiv.org/abs/2603.00991, which I will present at the CAIS conference caisconf.org/ next week.
1
33
113
27,288
Jon Pretty retweeted
alright folks, I've got a whole month of unconstrained creative time 🙌🏽 brace for a tectonic shift in Scala and AI 🌋💥
1
7
55
1,602
Kyo 1.0.0-RC2 is out so why not - refactoring my whole project to use it. Let's see how it goes in the wild ✌️ PS: Will need to introduce workflows4s-kyo :) @Krever01 should be easy with recently added effect polymorphism I guess :) github.com/getkyo/kyo/releas…
2
8
26
1,259
Jon Pretty retweeted
A couple of months ago, I had the pleasure of giving a talk at @scalarconf. Now the video 📽️ is available! The talk was about how #Scala, #Kotlin, and #Java use continuations to implement their light version of threads 🧵 Enjoy! youtube.com/watch?v=2TA-6Ypl…
3
10
1,127
Jon Pretty retweeted
👁️ Watch 👃 the talk 👁️ youtube.com/watch?v=GqmsQeSz…

5
5
91
8,976
Jon Pretty retweeted
Videos from @scalarconf are online! 🎉 Let's start with the presentation from @odersky. It's about applying the new capabilities to AI agents 👇 youtu.be/t460XVJA944
1
11
41
2,218
Jon Pretty retweeted
ExoBench MCP server is live in preview. Paste a slow SQL query into your AI tool. It rewrites the query, creates indexes, and iterates until performance improves using data from a REAL Postgres. Preview access is open now. Request an invite at exobench.ai
1
6
18
646
Jon Pretty retweeted
New version of #YAES is here, and this time it's huge! 🚀 We have a new integration with #Scala Jsoniter, a new testing library with primitives for testing the `Raise[E]` effect, a bunch of other stuff... and a new version of the `Reader[R]` effect based on opaque types 👻 With the new Reader, you can implement DI 🫛 with implicit resolution in your direct-style Scala applications. Here are the release notes: github.com/rcardin/yaes/rele… Don't forget to check out also the example application that uses YAES from the ground up (WIP 😜): github.com/rcardin/functiona… cc @petr_zapletal cc @ScalaTimes
5
14
919
Jon Pretty retweeted
A go-to article if you want to start with Scala macros. It covers everything from top learning resources and compiler profiling to building better print utilities and shows exactly how to attach a JVM debugger to the compiler's process. Bookmark it 👇 halotukozak.github.io/posts/…
10
33
995
Jon Pretty retweeted
Here's a little GitHub TUI for managing PRs. bunx @kitlangton/ghui github.com/kitlangton/ghui
I'm afraid I have TUI psychosis
47
36
759
187,449
Just tried Ox for Scala by @softwaremill. Direct-style code as readable as Python, but unlike Python, your method signature is the contract: type-safe, explicit, no surprises. No more deciphering flatMap chains. Turns out FP doesn't have to be complicated: Scala just needed direct-style. When the contract lives in the signature — not in a comment like in Python — AI coding agents get it right — not eventually, but by design.
5
9
50
5,324