The Typelevel Foundation was determined to be a 501(c)(3) public charity!
This is a testament to the intellectual merit and educational value of our community's contributions to functional programming. Congratulations!
typelevel.org/blog/charity...
saying that it has proven a function by putting escape hatch annotations
what worked instead was multi-stage LLM that patches baseline Scala code with type system "for example ADTs, refined types, traits, sealed traits"
when I hear about formal verification, I keep thinking about 'Safe Coding with LLMs: Verifiable Scala Silver Bullet?' talk at Scala Days
his group and others report that with formal verification LLMs gaslight you \
youtu.be/XFj5fpx9ta4?...
bsky.app/profile/scal...
The data from your Meta Ray Bans is used to train Meta's AI, which most people don't understand means that humans are looking at the most intimate details of their lives. www.svd.se/a/K8nrV4/met...
The results of the 2025 State of Rust Survey are now available! ๐
blog.rust-lang.org/2026/03/02/2...
๐ ๏ธ sbt 2 is nearing stable release - letโs migrate the plugin ecosystem together!
The newย sbt2-compat plugin was developed by the Scala Centerย to simplify cross-building sbt plugins for sbt 1 and sbt 2.
Learn more on how to migrate:
released sbt 1.12.5, featuring
- updated sbtn, which can relay errors when sbt server fails to start
- backport of sbt runner script fixes
eed3si9n.com/sbt-1.12.5 #Scala
> Their perspective was recently documented in the sbt 1.12.3 release notes โSmรธrrebrรธd - the end of Scala 2.13-3.x sandwichโ.
lol
> Scala 3 consuming Scala 2.13 artifacts will remain supported for the foreseeable future.
๐
Just out now: @mirandaheath.websiteโs post about maintainer burnout, summarizing her newly published study on the topicโฆ 1/2
spread this at work as well since not everyone checks social media for programming content
If you're interested in Scala 2 and Scala 3 compatibility, what TASTy is, and how it fits into the whole story, take a look at this blog post by Wojciech Mazur.
scala-lang.org/blog/state-...
โ released sbt 1.12.4, featuring
- an `sbt` runner script bug fix
- a `scalaOrganization` bug fix
eed3si9n.com/sbt-1.12.4 #Scala
Alpha School, an "AI-powered" private school that costs as much as $65k a year, is generating faulty lesson plans and stealing content from textbooks for training data www.404media.co/students-are...
็ฅๅคงๅฎถๆฐๅนด่ฟๆญฅ, ๆญๅๅ่ดข, ไธๅธ้ฃ้กบ, ่บซไฝๅฅๅบท ๐งง
a prosperous and healthy Lunar New Year, to those celebrating!
- client-side console (forking Scala REPL from native sbtn client)
- `rootProject` macro
- experimental dependency lock
- experimental Ivyless publishing
- and a long list of contributed bug fixes
eed3si9n.com/sbt-2.0.0-RC9 (2/n)
๐ฉโ๐ฌ sbt 2.0.0-RC9 is released! sbt 2.0 is a new version of sbt, based on Scala 3 constructs and Bazel-compatible cache system
RC9 is a big change, featuring
- JDK 17 + Scala 3.8.1 in metabuild
- Maven BOM (Bill of Materials) usage support
eed3si9n.com/sbt-2.0.0-RC9 #Scala (1/n)
๐ released sbt 1.12.3, featuring the end of Scala 2.13-3.x bilateral interoperability (aka Scala 2.13-3.x sandwich)
while it's popular to discuss the topography of hot dogs and tacos, an oft overlooked sandwich is Wawa hoagie, which is cut only on one-side
eed3si9n.com/sbt-1.12.3 #Scala
truly a rockstar building Apache Spark in the open. congrats all around!
The best way to start a Monday morning might be to get some @scalar-conf.com tickets - just over a month away!
Make new friends, meet old friends, find out how #Scala might fit into the #AI ecosystem with trustworthy agents - an opening talk by Martin Odersky, and much more!
๐ Join us at the Wrocลaw Scala User Group Meetup (#17) on Feb 24 in Wrocลaw!
๐ Where: Hard Rock Cafe Wrocลaw, ul. Rynek 25
๐
When: Tuesday, Feb 24 โข 6:00 PM โ 8:00 PM CET
๐ RSVP here: www.meetup.com/wroclaw-sca...
See you there! ๐
#Scala #Meetup #Wroclaw #TechCommunity #SoftwareEngineering
wrote 'sbt 1.12.1 and unmoored scala-reflect / scala-compiler issue'
contributors.scala-lang.org/t/sbt-1-12-1... #scala
released sbt 1.12.2, featuring
- improvement of forking interactive programs
- sbtn with the above change, which should improves client-side run
eed3si9n.com/sbt-1.12.2 #Scala
Postmortem on Scala 3.8.0: www.scala-lang.org/blog/post-m.... We are also working on a 3.8.2 release which will include a fix for scala/scala3#24673, which can cause some for comprehensions to behave incorrectly at runtime.
'sbt 2 production-ready roadmap'
contributors.scala-lang.org/t/sbt-2-prod...
By the way I am taking lead on the Scala standard library project and am open here for suggestions on what we should be working on - the sky is the limit! Or find the contributors forum post.
as such, I will not be receiving any of it while I have a day job, and will be directing the fund to onboard new maintainer(s), who will help the migration effort, such as plugin porting and bug fixes
happy to announce that along with Scala library, compiler, sbt 2.0 project has been awarded Sovereign Tech Fund (German gov grant), recognized as a critical digital infrastructure, or an xkcd open source picture
scala-lang.org/blog/2026/01... #Scala
The Sovereign Tech Fund Invests in Scala:
๐ security audits
๐ง sbt 2.0
๐ core library maintenance
๐ช and long-term resilience for critical digital infrastructure
Check out the announcement: www.scala-lang.org/b...
๐ Huge thanks to @sovereign.tech
released sbt 1.12.1, featuring the fix for scala-reflect not found problem on Scala 3.8.1
eed3si9n.com/sbt-1.12.1 #Scala
wrote a blog post - 'sbt and the miners of the wild west'
eed3si9n.com/sbt-and-the-... #Scala
