Vitaly Dolgov
10 following
LightNews LightNews
Lean Focused Research Organization
Lean Focused Research Organization
@lean-lang.org
Lambda Days
Lambda Days
@lambdadays.bsky.social
Scala Days
Scala Days
@scaladays.org
Maciej Gorywoda
Maciej Gorywoda
@makingthematrix.github.io
Paul Chiusano
Paul Chiusano
@pchiusano.bsky.social
Unison
Unison
@unison-lang.org
Scala.IO
Scala.IO
@scalaio.bsky.social
Rock the JVM
Rock the JVM
@rockthejvm.com
The Scala Programming Language
The Scala Programming Language
@scala-lang.org
OCaml
OCaml
@ocaml.org