Sign in

odersky.bsky.social

@odersky.bsky.social
316 followers 125 following 5 posts
PostsRepliesMedia
odersky.bsky.social @odersky.bsky.social · 27/07/2026
New blog post that describes the ideas behind our award-winning paper on securing AI agents: martinodersky.substack.com/p/tracked-ca...
martinodersky.substack.com
Tracked Capabilities for Safer Agents
This post describes the ideas behind our paper “Securing Agents with Tracked Capabilities”
0123
odersky.bsky.social @odersky.bsky.social · 26/03/2026
Just gave my talk "How Can We Trust Our Agents" at #scalar. Slides: www.slideshare.net/slideshow/ho...
slideshare.net
Client Challenge
072
odersky.bsky.social @odersky.bsky.social · 18/09/2025
New Scala Projects course by RockTheJVM: rockthejvm.com/courses/scal.... This looks like a great next step after learning Scala basics!
rockthejvm.com
051
Reposted by @odersky.bsky.social
Jamie Thompson @bishabosha.bsky.social · 31/05/2025
I had fun contributing the new SimpleTable class to the ScalaSql query library. It lets you drop the `T[_]` from table definitions, and it's based on named tuples and structural types in Scala 3.7. Have a read.
bishabosha.github.io
Making ScalaSql boring again (with interesting new internals) | bishabosha
Explaining the motivation for the new SimpleTable feature for the ScalaSql library.
083
Reposted by @odersky.bsky.social
The Scala Programming Language @scala-lang.org · 30/05/2025
Hurry up! Get your @scaladays.org Early Bird ticket today, prices go up from May 30th. And make sure to check out the program 🗓️ register.event-works.com/lausanne/Sca...
023
Reposted by @odersky.bsky.social
The Scala Programming Language @scala-lang.org · 30/05/2025
Ready, steady, go! Scala Days 2025 program is here 😍 Functional Programming and the Real World 🏁 4 tracks 🗣️ 50+ speakers ♾ Infinite fun scala-lang.org/blog/2025/05...
036
Reposted by @odersky.bsky.social
Alexis King @lexi-lambda.bsky.social · 29/05/2025
I have published my first new blog post in four years lexi-lambda.github.io/blog/2025/05...
lexi-lambda.github.io
A break from programming languages
2012022
Reposted by @odersky.bsky.social
The Scala Programming Language @scala-lang.org · 08/05/2025
Scala 3.7.0 has been released! 🎉 ✅ [stable] SIP-58: Named Tuples ✅ [stable] SIP-52: Binary APIs 👀 [preview] SIP-62: For comprehension improvements 🧪 [experimental] SIP-61: Unroll 🧪 [experimental] SIP-68: Reference-able Package Objects More at scala-lang.org/news/3.7.0/
04215
Reposted by @odersky.bsky.social
The Scala Programming Language @scala-lang.org · 22/04/2025
"Scala devs deserve the same productivity support as the rest of the JVM world. By joining the Scala Center Advisory Board, we’ll help identify pain points and bring better tools to the community." —Hans Dockter, Gradle CEO scala-lang.org/blog/gradle-...
scala-lang.org
Gradle, Inc. Joins Scala Center Advisory Board to Improve Scala Developer Experience
0245
Reposted by @odersky.bsky.social
scala-js.org @scala-js.org · 21/04/2025
#Scala.js 1.19.0 is released! It contains significant performance improvements for the WebAssembly backend (it is now often faster than JS), native support for JS async/await, and a way to leverage Wasm's JavaScript Promise Integration (JSPI). Read more at www.scala-js.org/news/2025/04...
scala-js.org
Announcing Scala.js 1.19.0
Harness the Scala and JavaScript ecosystems to develop robust apps for browsers, serverless, and Node.js.
1148
Reposted by @odersky.bsky.social
noelwelsh.bsky.social @noelwelsh.bsky.social · 28/03/2025
Just added slides for my talk "Tagless Final for Humans" to my page of talks: noelwelsh.com/landing/talks/ I gave this talk today at @scalar-conf.com. The core is a new encoding for tagless final in Scala, which makes much better use of Scala's features than the standard encoding.
noelwelsh.com
Noel Welsh: Talks
12911
odersky.bsky.social @odersky.bsky.social · 28/03/2025
Slides from my talk at Scalar conference. Video will follow at some point. www.slideshare.net/slideshow/ev...
slideshare.net
Evolving Scala, Scalar conference, Warsaw, March 2025
Evolving Scala, Scalar conference, Warsaw, March 2025 - Download as a PDF or view online for free
0144
odersky.bsky.social @odersky.bsky.social · 24/03/2025
New blog post from Haoyi Li and myself: www.scala-lang.org/blog/2025/03... Looking forward to discuss this on reddit www.reddit.com/r/scala and at the upcoming Scalar conference www.scalar-conf.com.
scala-lang.org
Evolving Scala
03113