Media Summary: This is a recording of a talk presented at the San Francisco Types, Theorems, and Programming Languages meetup. Try Brilliant free for 30 days You'll also get 20% off an annual premium subscription Learn the basics of ... One of the projects JetBrains is working on is Upsource, an online

Generating Scala Code With The - Detailed Analysis & Overview

This is a recording of a talk presented at the San Francisco Types, Theorems, and Programming Languages meetup. Try Brilliant free for 30 days You'll also get 20% off an annual premium subscription Learn the basics of ... One of the projects JetBrains is working on is Upsource, an online Written form to keep for later: This video is for more advanced Want to learn more? Take the full course at This is a short video showing how you can set up a

Photo Gallery

Generating Scala code with the Curry-Howard correspondence: Type inhabitation at compile time
Generating Scala code with the Curry-Howard correspondence: Type inhabitation at compile time
Scala in 100 Seconds
A next generation tool for Scala code review
How to create your own String interpolator in Scala | Rock the JVM
Scala Tutorial: Scala code and the Scala interpreter
Scala Was an Experiment That Changed Programming - Martin Odersky | The Marco Show
Creating an Application in Scala - Scala for Beginners Tutorial
Andrei Kucharavy:  Safe Coding with LLMs - Verifiable Scala Silver Bullet [Scala Days 2025]
Setting up a Scala development environment using VSCode and Metals
Free Data Engineer - 01: Create a Spark RDD using Parallelize | Complete Explanation with Scala Code
Scripting on the JVM with Scala by Haoyi Li | Scalar 2026
View Detailed Profile
Generating Scala code with the Curry-Howard correspondence: Type inhabitation at compile time

Generating Scala code with the Curry-Howard correspondence: Type inhabitation at compile time

This is a recording of a talk presented at the San Francisco Types, Theorems, and Programming Languages meetup.

Generating Scala code with the Curry-Howard correspondence: Type inhabitation at compile time

Generating Scala code with the Curry-Howard correspondence: Type inhabitation at compile time

This is a recording of a talk presented at the San Francisco Types, Theorems, and Programming Languages meetup.

Scala in 100 Seconds

Scala in 100 Seconds

Try Brilliant free for 30 days https://brilliant.org/fireship You'll also get 20% off an annual premium subscription Learn the basics of ...

A next generation tool for Scala code review

A next generation tool for Scala code review

One of the projects JetBrains is working on is Upsource, an online

How to create your own String interpolator in Scala | Rock the JVM

How to create your own String interpolator in Scala | Rock the JVM

Written form to keep for later: https://rockthejvm.com/blog/208610/custom-interpolator This video is for more advanced

Scala Tutorial: Scala code and the Scala interpreter

Scala Tutorial: Scala code and the Scala interpreter

Want to learn more? Take the full course at https://learn.datacamp.com/courses/introduction-to-

Scala Was an Experiment That Changed Programming - Martin Odersky | The Marco Show

Scala Was an Experiment That Changed Programming - Martin Odersky | The Marco Show

Scala

Creating an Application in Scala - Scala for Beginners Tutorial

Creating an Application in Scala - Scala for Beginners Tutorial

Learn how to

Andrei Kucharavy:  Safe Coding with LLMs - Verifiable Scala Silver Bullet [Scala Days 2025]

Andrei Kucharavy: Safe Coding with LLMs - Verifiable Scala Silver Bullet [Scala Days 2025]

Code generation

Setting up a Scala development environment using VSCode and Metals

Setting up a Scala development environment using VSCode and Metals

This is a short video showing how you can set up a

Free Data Engineer - 01: Create a Spark RDD using Parallelize | Complete Explanation with Scala Code

Free Data Engineer - 01: Create a Spark RDD using Parallelize | Complete Explanation with Scala Code

Create

Scripting on the JVM with Scala by Haoyi Li | Scalar 2026

Scripting on the JVM with Scala by Haoyi Li | Scalar 2026

This talk will explore the use of

Real-Life Scala Capture Checking by Daniel Ciocîrlan | Scalar 2026

Real-Life Scala Capture Checking by Daniel Ciocîrlan | Scalar 2026

This will be a live