Sign in

odersky.bsky.social

@odersky.bsky.social
319 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 12
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 7
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 5
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 8
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 3
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 6
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 120
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 42
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 24
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 14
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 29
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 14
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 31