Adam Warski

Last stop of the tour - then no more selfies - at least for some time ;) Of course: New York! We'll be covering what we talked about on the past stops: agent safety, typesystem features that AIs can leverage to (partially) verify your code, and other ways #Scala works with LLMs.

meetup.comFresh Insights Straight from Scala Days 2026, Mon, Oct 26, 2026, 6:00 PM | Meetup**Where is Scala heading next?** Scala Meetup New York: Fresh Insights Straight from Scala Days 2026 Join us in New York for a special Scala community meetup, proudly spon

Join us tomorrow in NYC, Monday, 26th of October! From 5pm for networking, 6pm for the talks! Meetup: www.meetup.com/ny-scala/eve... Luma: luma.com/zp23z8wi

It's been an honor to be invited to write the foreword for the 6th edition of "Programming in Scala" by Martin Odersky, Lex Spoon, Bill Venners, and Frank Sommers - updated to cover everything up to the latest Scala 3.9 LTS.

Why learn Scala? You'll come across Object-Oriented, Functional, Type-Level Programming, their interactions, and more; it covers a lot of ground using a single language. And do books still make sense in the AI age? You'll have to get a copy to find out more ;)

artima.comProgramming in Scala, Sixth Edition

Available here: www.artima.com/shop/program...

"AI SDLC platform" might sound enigmatic. So what exactly is Visdom? Visdom is everything around the coding agent that an enterprise needs, to successfully introduce agent-amended or agent-driven software development.

Which can be scaled independently for various projects and various approaches to AI adoption: either simply assisting humans in fixing bugs, running migrations or maintenance tasks, all the way to fully autonomous development and deployment.

visdom.virtuslab.comVisdom | AI-native software delivery platformComposable platform for operating AI-native software delivery. Independent components, embedded with your engineers, built for ownership.

Interested? Sing up for a demo (visdom.virtuslab.com). Or meet us in person - we're often travelling around US & Europe. Yesterday we've spent the whole day on a conference in San Francisco, next up: Chicago, New York, Austin. See you there - or online!

This is aided by Context Fabric - which gathers the organisational, cross-cutting data on the project, and serves it to the coding and review agents. Every component is managed through the Control Plane, which provides user management with RBAC as well as central project & repository setup.

There's a lot more than a coding agent (which is, of course, a crucial component!) to successfully implement an AI software delivery pipeline.

Starting from managing access to various models using the AI Gateway - controlling who has access to what, routing AI traffic. Through the Orchestrator, which spins up and manages short-lived containers, where the plan-code-review process actually happens.

All the way to AI Tracing, which captures all LLM interactions, stores them for auditing on a blockchain-like data structure and allows "chatting with history", to understand how, why and when certain changes where introduced.

All of @softwaremill.com's #Scala OSS projects are now migrated fully to the latest Scala LTS, 3.9.0: Tapir, sttp, Ox, sttp-ai, chimp, orca; each got a new minor release.

github.comGitHub - VirtusLab/cellar: CLI tool for coding agents and developers to query the public API of any Maven JVM dependency — get symbol signatures, list packages, search by name, and inspect dependency ...CLI tool for coding agents and developers to query the public API of any Maven JVM dependency — get symbol signatures, list packages, search by name, and inspect dependency trees. Powered by Coursi...

Sandcat (Docker + dev container sandbox config generator) now works seamlessly with Cellar (CLI tool for agents to query JVM dependencies) Try it out, leave a ⭐️ (or rather - two ;) ) github.com/VirtusLab/ce... github.com/VirtusLab/sa...

github.comGitHub - VirtusLab/tulip: Explains GitHub PRs in a human-friendly way, using LLMs.Explains GitHub PRs in a human-friendly way, using LLMs. - VirtusLab/tulip

New Tulip (explains PRs in a human-friendly way) release just landed - thanks to two new contributors! 1. support for GitLab 2. as an alternative to Claude, you can use Codex or Cursor Get all the details here: github.com/VirtusLab/tu...

Great to be back in San Francisco after 9 years :) (time flies fast ...). Today - a long walk, on Monday - join us to explore how to make AI agents safe - verifying at compile time that code is safe.

Krzysztof Romanowski will put this into a wider SDLC context. Capture checking will also make an appearance (a Safe #Scala ingredient), as well as other talks showcasing the strenght of Scala's strong type system.

2026.scalasummit.comScala Summit 2026 · October 19, 2026 — San FranciscoScala Summit 2026 — a one-day conference for the Scala programming language. Monday, October 19, 2026 in San Francisco. Registration is open.

Join for the whole day - or just drop by to chat and get a demo of what's possible in modern Scala. Register at: 2026.scalasummit.com

Great to be back in San Francisco after 9 years :) (time flies fast ...). Today - a long walk, on Monday - join us to explore how to make AI agents safe - verifying at compile time that code is safe.

@salarrahmanian.bsky.social

That's what Safe Scala does - and a couple of talks at the Scala Summit on Monday will explain the mechanisms. I'll be doing an introduction to working in Scala with AI in general, Łukasz Biały will dive deeper showcasing CappyClaw (yes, a safe descendant of the OpenClaw family);

Adam Warski reposted

Salar Rahmanian

🎤 Speaker spotlight: @warski.org, creator of Tapir, sttp and Ox. "Where Scala meets AI": Metals MCP, teaching AI to write better functional Scala & orchestrating agents with Orca, sttp-ai and chimp. 🗓️ Mon Oct 19 · SF · 3 days to go 🎟️ Ticket: 2026.scalasummit.com #Scala #BayAreaScala #SFScala

youtube.comDoes language choice even matter in the AI era? #ScalaDaysYouTube video by Scala Days Conferences

That was fast! @scaladays.org videos are already here. Both the panel discussion with Nada Amin, Martin Odersky, Arman Bilge, led by Krzysztof Romanowski, "Does language choice even matter in the AI era?": www.youtube.com/watch?v=tCsp...

youtube.comAdam Warski – Where Scala meets AI #ScalaDaysYouTube video by Scala Days Conferences

And the (short) version of "Where Scala meets AI": www.youtube.com/watch?v=4yVV... For a longer version, join the upcoming meetups in SF/Chicago/NY next week! :)

github.comGitHub - VirtusLab/scala-skill: Claude Code & Codex Scala Skills: generate direct-style applications with use-case driven guidesClaude Code & Codex Scala Skills: generate direct-style applications with use-case driven guides - VirtusLab/scala-skill

Models get improved (& trained on existing skills?), so we're improving our #Scala skill as well. It's now shorter, with some rules moved to on-demand chapters. Also: both the skill, and ALL of @softwaremill.com's OSS is updated to sbt 2.0 - thanks to Michał Pierściński! github.com/VirtusLab/sc...

What do agent security & the future of programming have in common? I’ve had the pleasure to visit #ScalaDays in Berlin and #FuncProgConf in Stockholm day-after-day. The central topics at both was the same: what's the future of programming?

Interested? The recordings are coming, but it’s much better to talk in person :) We’ll be in SF (19th), Chicago (22nd), NY (26th) in the coming days, with the talks and demos. It's always better to discuss agent security, and where we're heading with our craft in person! Links in the comments.

youtube.comMartin Odersky – Keynote: The End of Programming? #ScalaDaysYouTube video by Scala Days Conferences

Martin's keynote: www.youtube.com/watch?v=jlJy... Scala Summit, San Francisco, 19th October: 2026.scalasummit.com Scala Meetup, Chicago, 22nd October: www.meetup.com/chicagoscala... Scala Meetup, New York, 26th October: www.meetup.com/ny-scala/eve... See you there :)

Secondly, security security security … how to make sure that agents don't do what they're not supposed to do? We already know they can go rogue, even if out of incompetence - OpenClaw and unrestricted Claude/Codex have demonstrated this a number of times.

Sandboxes provide some protection, but they should only be the first layer. Another is what Łukasz Biały and Jakub Warchoł demoed - verifying agent actions at the level of the compiler, before anything is executed. Thanks to information-flow-tracking, this can be made both secure *and* useful!

And I agree with Martin Odersky (despite his keynote "End of programming", see link below) & Nada Amin that there *is* a future; programming languages are far from done. For one, if anything, the agents make it *easier* to work with advanced type systems (see Rust's surging popularity), not harder.

Short of developing full formal specifications, there's so many interesting properties that we can prove at compilation time - above memory safety, and efficiently - and that's what Scala actively explores.

orca.virtuslab.comOrca: deterministic, AI-driven development flows — Orca 0.1 documentation

To finish the week, a new Orca release: * we've got a proper docs site: orca.virtuslab.com * revised out-of-the-box flows: quick, single-epic, multi-epic, review, resolve-issue: github.com/VirtusLab/or... * new reviewer: single-source-of-truth

github.comGitHub - VirtusLab/orca: Deterministic, AI-driven development flows.Deterministic, AI-driven development flows. Contribute to VirtusLab/orca development by creating an account on GitHub.

* existing reviewers polished and enhanced, e.g. to verify if all changes are essential - not excess * updating models to latest Try it out - directly or via a skill - and leave us a 🌟! github.com/VirtusLab/orca

How about taking a look at Visdom - the software factory that builds on the 17 years of software delivery experience? We can visit your office with a live demo: San Francisco: 19th-20th October Chicago: 22nd-23rd October New York: 26th-27th October Interested? Just a message away!

Visdom's components run in tandem or stand alone. Pick what best amends your workflow: * Orchestrator, for defining and running development flows * AI Tracing, for analysing every interaction with agents that happens in your org

* AI Gateway, which defines policies, issues API keys, centralises model access control * Context Fabric, which gathers your organisational knowledge and exposes it to the agents More on Visdom: visdom.virtuslab.com

It's going to be an October with #Scala! Where are we heading with AI software development? What's the role of programming languages? How much can we express & verify through types - and can LLMs help with that? Scala has some interesting propositions addressing these problems!

scaladays.orgScala Days 20262026 The leading Scala conference is coming to Berlin CONFERENCE12-13 October 2026 WORKSHOPS14-15 October 2026 Register now! JavaScript ist in Ihrem Browser deaktiviert. Um unseren Ticketshop ohne Jav...

ScalaDays: scaladays.org FuncProgConf: funcprogconf.com Scala Summit in SF: luma.com/6ps55unb Chicago meetup: www.meetup.com/chicagoscala... NY meetup: www.meetup.com/ny-scala/eve...

October 26: #Scala meetup in New York! For those who couldn't attend the full Scala Days experience in Berlin, we're coming over bringing two talks: "Making the AI agents safe with Scala" by Łukasz Biały (the approach that won the best paper award at CAIS 2026) and "Where Scala meets AI" by myself.

Let's discuss the future of Scala in the age of AI, or more generally: the future of FP/statically typed programming in the age of AI. Plus, if you'd be curious about any insights from the main conference, we'll be more than happy to share!

The first-ever-in-Poland Malayan Tapir was born in the Płock ZOO. He's called Visdom (as in visdom.virtuslab.com), and you can discuss both AI-native SDLC & Scala self-documenting HTTP APIs with him. VirtusLab is a proud sponsor! Pay a visit if you're in the neighbourhood:)

What might be a better way to interface with TypeSafe AI's #Jev than through a type-safe API? And what language might be better suited for the task than #Scala? That's why sttp-ai now has a fully type-safe Jev integration module: github.com/softwaremill... Enjoy :)

github.comGitHub - VirtusLab/sandcat: A Docker & dev container setup for securely running AI agents in `--dangerous` mode. All container traffic is routed through a transparent mitmproxy, enforcing network acce...A Docker & dev container setup for securely running AI agents in `--dangerous` mode. All container traffic is routed through a transparent mitmproxy, enforcing network access rules and injectin...

Our AI development stack tailored towards JVM development (#Java, #Scala) is shaping up nicely! * starting with security: Sandcat provides Docker-based sandboxing with devcontainer support github.com/VirtusLab/sa...

* using Scala? Coding agents generate use more Scala features & leverage benefits of FP when given the right instructions github.com/VirtusLab/sc... * you've got an agent-generated PR to review? Tulip explains the changes step-by-step, mixing code with prose & diagrams: github.com/VirtusLab/tu...

And if you'd like to get all of that in one package, ready for the enterprise, accelerating adoption of AI in teams, we've got Visdom: our AI-Native SDLC platform visdom.virtuslab.com

* Cellar allows querying the public API of any Maven dependency - much better than unpacking jars! github.com/VirtusLab/ce... * Orca allows you to write down your development process as deterministic code, and make the agents follow it: github.com/VirtusLab/orca

github.comGitHub - VirtusLab/orca: Deterministic, AI-driven development flows.Deterministic, AI-driven development flows. Contribute to VirtusLab/orca development by creating an account on GitHub.

Orca (deterministic, AI-driven development flows): updated with the latest Claude / OpenAI models. Plus: define a project-specific reviewer, committed in .orca, which is automatically included in the review loop. github.com/VirtusLab/orca

Some improvements to Tulip-generated PR explanations: * the test/docs sections are folded by default * the side menu covers subsections and is foldable * the explanations are encouraged to use more types of diagrams - module dependencies, data flow, class hierarchy - not only sequence diagrams

github.comGitHub - VirtusLab/tulip: Explains GitHub PRs in a human-friendly way, using LLMs.Explains GitHub PRs in a human-friendly way, using LLMs. - VirtusLab/tulip

github.com/VirtusLab/tu... Leave us a ⭐️!

Adam Warski reposted

Scala Space

@scalaspace.bsky.social

16 Sept

We've got a new home! Check out VSS: VirtusLab Scala Stack! Direct-style, AI-first, type-safe, human & agent-friendly. vss.virtuslab.com

vss.virtuslab.comVirtusLab Scala Stack (VSS)Direct-style Scala: type-safe code that is easy to comprehend and generate.