Safe Scala: an introduction
Let's take a short overview of how Safe Scala works and how it provides tools for restricting the actions an AI agent can perform.
Adam Warski (@adamwarski)
|
Event Sourcing with PureLogic
Using PureLogic, we can model event-sourced domain logic in direct style while ensuring that state changes and emitted events always stay in sync. Pierre Ricadat (@ghostdogpr) |
|
Homogeneous Tuples in Scala 3
How to prove at compile time that a Scala 3 tuple contains only elements of a single type, using match types, opaque types, and clause interleaving. Bartłomiej Kozak |
|
Introduction to Scala 3's Capture Checking and Separation Checking
One of the trickiest parts of writing large-scale software is dealing with mutable data. For instance, data might be mutated in unexpected places, or resources might be used at the wrong timing. … Rikito Taniguchi (@tanishiking25) |
|
Golem 1.5 features - Part 5: Scala support
We love Scala and always wanted to have it among the supported languages for Golem. As Golem runs WASM components this had some difficulties; there are ongoing projects trying to make Scala compiled to WASM, but none of them were production-ready yet a few months ago - and as far as I know, they still are not. So we took a different route - as we already put a lot of effort in our JS support, we decided to support Scala through Scala.js. Daniel Vigovszky (@dvigovszky) |
|
Scala’s Growth Model — Building Inward, Starving Outward
Scala’s community energy concentrates on language internals and libraries that only Scala developers can appreciate - work that is genuinely excellent but does not, at least directly, bring new people in. Voytek Pituła (@Krever01) |
|
Last mile towards sbt 2
This post covers work done under the Sovereign Tech Fund investment umbrella: sbt 2 Stable Release and Maintenance. The work is coordinated by the Scala Center. Eugene Yokota (@eed3si9n) |