Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 04f8bf9

Browse files
adpi2adpi2
authoredDec 13, 2024··
Merge pull request #3129 from SethTisue/bluesky-and-x
add our Bluesky, and change Twitter->X
2 parents 8e641c6 + 3b6db1d commit 04f8bf9

File tree

12 files changed

+50
-48
lines changed

12 files changed

+50
-48
lines changed
 

‎_data/footer.yml

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -57,9 +57,11 @@
5757
- title: GitHub
5858
url: "https://github.com/scala/scala"
5959
- title: Mastodon
60-
url: https://fosstodon.org/@scala_lang
61-
- title: Twitter
62-
url: "https://twitter.com/scala_lang"
60+
url: "https://fosstodon.org/@scala_lang"
61+
- title: Bluesky
62+
url: "https://bsky.app/profile/scala-lang.bsky.social"
63+
- title: X
64+
url: "https://x.com/scala_lang"
6365
- title: Discord
6466
url: "https://discord.com/invite/scala"
6567
- title: LinkedIn

‎_overviews/contribute/index.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -276,7 +276,7 @@ The above benefits are something good to achieve regardless of your level of exp
276276
be improved. For best results, spend a lot of time with the library to get a feel of what's important
277277
and what can improve.
278278
- **Lookout for announcements:** You may want to keep an eye on the Scala Center
279-
[LinkedIn](https://www.linkedin.com/company/scala-center/) and [Twitter](https://twitter.com/scala_lang) to stay up-to-date with the possible contribution opportunities. For example, every year, the Scala Center participates
279+
[LinkedIn](https://www.linkedin.com/company/scala-center/) and [Bluesky](https://bsky.app/profile/scala-lang.bsky.social) or [X](https://x.com/scala_lang) to stay up-to-date with the possible contribution opportunities. For example, every year, the Scala Center participates
280280
in the Google Summer of Code program where you are paid to work on open source Scala projects over the course
281281
of summer.
282282
{{backButton}}

‎_overviews/scala-book/scala-features.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,11 +13,11 @@ new-version: /scala3/book/scala-features.html
1313
---
1414

1515

16-
The name *Scala* comes from the word *scalable*, and true to that name, it’s used to power the busiest websites in the world, including Twitter, Netflix, Tumblr, LinkedIn, Foursquare, and many more.
16+
The name *Scala* comes from the word *scalable*, and true to that name, it’s used to power the busiest websites in the world, including X, Netflix, Tumblr, LinkedIn, Foursquare, and many more.
1717

1818
Here are a few more nuggets about Scala:
1919

20-
- It’s a modern programming language created by [Martin Odersky](https://twitter.com/odersky?lang=en) (the father of `javac`), and influenced by Java, Ruby, Smalltalk, ML, Haskell, Erlang, and others.
20+
- It’s a modern programming language created by [Martin Odersky](https://x.com/odersky?lang=en) (the father of `javac`), and influenced by Java, Ruby, Smalltalk, ML, Haskell, Erlang, and others.
2121
- It’s a high-level language.
2222
- It’s statically typed.
2323
- It has a sophisticated type inference system.

‎_overviews/scala3-book/scala-features.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -292,7 +292,7 @@ Boxing and unboxing is completely transparent to the user.
292292
### Supports FP/OOP fusion
293293

294294
{% comment %}
295-
NOTE: This text in the first line comes from this slide: https://twitter.com/alexelcu/status/996408359514525696
295+
NOTE: This text in the first line comes from this slide: https://x.com/alexelcu/status/996408359514525696
296296
{% endcomment %}
297297

298298
The essence of Scala is the fusion of functional programming and object-oriented programming in a typed setting:
@@ -499,7 +499,7 @@ Some of the more notable libraries are listed below.
499499

500500
- The [Play Framework](https://www.playframework.com) followed the Ruby on Rails model to become a lightweight, stateless, developer-friendly, web-friendly architecture for highly-scalable applications
501501
- [Scalatra](https://scalatra.org) is a tiny, high-performance, async web framework, inspired by Sinatra
502-
- [Finatra](https://twitter.github.io/finatra) is Scala services built on TwitterServer and Finagle
502+
- [Finatra](https://twitter.github.io/finatra) is Scala services built for X
503503
- [Scala.js](https://www.scala-js.org) is a strongly-typed replacement for JavaScript that provides a safer way to build robust front-end web applications
504504
- [ScalaJs-React](https://github.com/japgolly/scalajs-react) lifts Facebook’s React library into Scala.js, and endeavours to make it as type-safe and Scala-friendly as possible
505505

‎_overviews/scala3-scaladoc/settings.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -87,7 +87,7 @@ A mapping is of the form `<regex>::[scaladoc3|scaladoc|javadoc]::<path>`. You ca
8787

8888
Links to social sites. For example:
8989

90-
`-social-links:github::https://github.com/scala/scala3,discord::https://discord.com/invite/scala,twitter::https://twitter.com/scala_lang`
90+
`-social-links:github::https://github.com/scala/scala3,discord::https://discord.com/invite/scala,twitter::https://x.com/scala_lang`
9191

9292
Valid values are of the form: `[github|twitter|gitter|discord]::link`. Scaladoc also supports `custom::link::white_icon_name::black_icon_name`. In this case icons must be present in `images/` directory.
9393

‎_overviews/tutorials/scala-on-android.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -140,5 +140,5 @@ If you managed to build one of the example apps and want to code something more
140140
- Download some other examples from [the “Scala on Android” repository on GitHub](https://github.com/makingthematrix/scalaonandroid). Contact me, if you write an example app of your own and want me to include it.
141141
- Join us on the official Scala discord — we have a [#scala-android channel](https://discord.gg/UuDawpq7) there.
142142
- There is also an [#android channel](https://discord.gg/XHMt6Yq4) on the “Learning Scala” discord.
143-
- Finally, if you have any questions, [you can always find me on Twitter](https://twitter.com/makingthematrix).
143+
- Finally, if you have any questions, [you can always find me on X](https://x.com/makingthematrix).
144144

‎_ru/scala3/guides/scaladoc/settings.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -101,7 +101,7 @@ Compile / doc / scalacOptions ++= Seq("-project", "my-project"),
101101

102102
Ссылки на социальные сети. Например:
103103

104-
`-social-links:github::https://github.com/scala/scala3,discord::https://discord.com/invite/scala,twitter::https://twitter.com/scala_lang`
104+
`-social-links:github::https://github.com/scala/scala3,discord::https://discord.com/invite/scala,twitter::https://x.com/scala_lang`
105105

106106
Допустимые значения имеют вид: `[github|twitter|gitter|discord]::link`.
107107
Scaladoc также поддерживает `custom::link::white_icon_name::black_icon_name`.

‎_ru/scala3/talks.md

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -16,13 +16,13 @@ versionSpecific: true
1616

1717
Обсуждения Scala 3
1818
----------------
19-
- (ScalaDays 2019, Lausanne) [Тур по Scala 3](https://www.youtube.com/watch?v=_Rnrx2lo9cw) от [Martin Odersky](http://twitter.com/odersky)
19+
- (ScalaDays 2019, Lausanne) [Тур по Scala 3](https://www.youtube.com/watch?v=_Rnrx2lo9cw) от [Martin Odersky](http://x.com/odersky)
2020

21-
- (ScalaDays 2016, Berlin) [Развитие Scala](https://www.youtube.com/watch?v=GHzWqJKFCk4) от [Martin Odersky](http://twitter.com/odersky) [\[слайды\]](http://www.slideshare.net/Odersky/scala-days-nyc-2016)
21+
- (ScalaDays 2016, Berlin) [Развитие Scala](https://www.youtube.com/watch?v=GHzWqJKFCk4) от [Martin Odersky](http://x.com/odersky) [\[слайды\]](http://www.slideshare.net/Odersky/scala-days-nyc-2016)
2222

23-
- (JVMLS 2015) [Компиляторы — это базы данных](https://www.youtube.com/watch?v=WxyyJyB_Ssc) от [Martin Odersky](http://twitter.com/odersky) [\[слайды\]](http://www.slideshare.net/Odersky/compilers-are-databases)
23+
- (JVMLS 2015) [Компиляторы — это базы данных](https://www.youtube.com/watch?v=WxyyJyB_Ssc) от [Martin Odersky](http://x.com/odersky) [\[слайды\]](http://www.slideshare.net/Odersky/compilers-are-databases)
2424

25-
- (Scala World 2015) [Dotty: изучение будущего Scala](https://www.youtube.com/watch?v=aftdOFuVU1o) от [Dmitry Petrashko](http://twitter.com/darkdimius) [\[слайды\]](https://d-d.me/scalaworld2015/#/).
25+
- (Scala World 2015) [Dotty: изучение будущего Scala](https://www.youtube.com/watch?v=aftdOFuVU1o) от [Dmitry Petrashko](http://x.com/darkdimius) [\[слайды\]](https://d-d.me/scalaworld2015/#/).
2626
Дмитрий рассказывает о многих новых функциях, которые предлагает Dotty, таких как типы пересечения и объединения,
2727
улучшенная инициализация lazy val и многое другое. Дмитрий также рассказывает о внутреннем устройстве Dotty
2828
и, в частности, о высоком уровне контекстных абстракций Dotty.
@@ -35,25 +35,25 @@ versionSpecific: true
3535

3636
- (ScalaDays 2019, Lausanne) [Scala, ориентированная на будущее: промежуточное представление TASTY](https://www.youtube.com/watch?v=zQFjC3zLYwo) от [Guillaume Martres](http://guillaume.martres.me/).
3737

38-
- (Mar 21, 2017) [Dotty Internals 1: Trees & Symbols](https://www.youtube.com/watch?v=yYd-zuDd3S8) от [Dmitry Petrashko](http://twitter.com/darkdimius) [\[заметки\]](https://dotty.epfl.ch/docs/internals/dotty-internals-1-notes.html).
38+
- (Mar 21, 2017) [Dotty Internals 1: Trees & Symbols](https://www.youtube.com/watch?v=yYd-zuDd3S8) от [Dmitry Petrashko](http://x.com/darkdimius) [\[заметки\]](https://dotty.epfl.ch/docs/internals/dotty-internals-1-notes.html).
3939
Это записанная встреча между EPFL и Waterloo, на которой мы представляем первые понятия внутри Dotty: деревья и символы.
4040

41-
- (Mar 21, 2017) [Dotty Internals 2: Types](https://www.youtube.com/watch?v=3gmLIYlGbKc) от [Martin Odersky](http://twitter.com/odersky) и [Dmitry Petrashko](http://twitter.com/darkdimius).
41+
- (Mar 21, 2017) [Dotty Internals 2: Types](https://www.youtube.com/watch?v=3gmLIYlGbKc) от [Martin Odersky](http://x.com/odersky) и [Dmitry Petrashko](http://x.com/darkdimius).
4242
Это записанная встреча между EPFL и Waterloo, на которой мы рассказываем, как типы представлены внутри Dotty.
4343

44-
- (Jun 15, 2017) [Dotty Internals 3: Denotations](https://youtu.be/9iPA7zMRGKY) от [Martin Odersky](http://twitter.com/odersky) и [Dmitry Petrashko](http://twitter.com/darkdimius).
44+
- (Jun 15, 2017) [Dotty Internals 3: Denotations](https://youtu.be/9iPA7zMRGKY) от [Martin Odersky](http://x.com/odersky) и [Dmitry Petrashko](http://x.com/darkdimius).
4545
Это записанная встреча между EPFL и Waterloo, где мы вводим обозначения в Dotty.
4646

47-
- (JVM Language Summit) [How do we make the Dotty compiler fast](https://www.youtube.com/watch?v=9xYoSwnSPz0) от [Dmitry Petrashko](http://twitter.com/darkdimius).
48-
[Dmitry Petrashko](http://twitter.com/darkdimius) в общих чертах рассказывает о том, что было сделано для создания Dotty.
47+
- (JVM Language Summit) [How do we make the Dotty compiler fast](https://www.youtube.com/watch?v=9xYoSwnSPz0) от [Dmitry Petrashko](http://x.com/darkdimius).
48+
[Dmitry Petrashko](http://x.com/darkdimius) в общих чертах рассказывает о том, что было сделано для создания Dotty.
4949

5050
- (Typelevel Summit Oslo, May 2016) [Dotty and types: the story so far](https://www.youtube.com/watch?v=YIQjfCKDR5A) от
5151
Guillaume Martres [\[слайды\]](http://guillaume.martres.me/talks/typelevel-summit-oslo/).
5252
Guillaume сосредоточился на некоторых практических улучшениях системы типов, реализованных в Dotty,
5353
таких как новый алгоритм вывода параметров типа,
5454
который может принимать решения о безопасности типов в большем количестве ситуаций, чем scalac.
5555

56-
- (flatMap(Oslo) 2016) [AutoSpecialization in Dotty](https://vimeo.com/165928176) от [Dmitry Petrashko](http://twitter.com/darkdimius) [\[слайды\]](https://d-d.me/talks/flatmap2016/#/).
56+
- (flatMap(Oslo) 2016) [AutoSpecialization in Dotty](https://vimeo.com/165928176) от [Dmitry Petrashko](http://x.com/darkdimius) [\[слайды\]](https://d-d.me/talks/flatmap2016/#/).
5757
Dotty Linker анализирует вашу программу и ее зависимости, чтобы применить новую схему специализации.
5858
Он основан на нашем опыте Specialization, Miniboxing и проекта Valhalla и значительно уменьшает размер создаваемого байт-кода.
5959
И, что лучше всего, он всегда включен, выполняется за кулисами без аннотаций и приводит к ускорению более чем в 20 раз.

‎_uk/scala3/talks.md

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -17,18 +17,18 @@ versionSpecific: true
1717
Talks on Scala 3
1818
----------------
1919
- (ScalaDays 2019, Lausanne) [Тур по Scala 3](https://www.youtube.com/watch?v=_Rnrx2lo9cw)
20-
від [Martin Odersky](http://twitter.com/odersky)
20+
від [Martin Odersky](http://x.com/odersky)
2121

2222
- (ScalaDays 2016, Berlin) [Попереду дорога Scala](https://www.youtube.com/watch?v=GHzWqJKFCk4)
23-
від [Martin Odersky](http://twitter.com/odersky)
23+
від [Martin Odersky](http://x.com/odersky)
2424
[\[слайди\]](http://www.slideshare.net/Odersky/scala-days-nyc-2016)
2525

2626
- (JVMLS 2015) [Compilers are Databases](https://www.youtube.com/watch?v=WxyyJyB_Ssc)
27-
від [Martin Odersky](http://twitter.com/odersky)
27+
від [Martin Odersky](http://x.com/odersky)
2828
[\[слайди\]](http://www.slideshare.net/Odersky/compilers-are-databases)
2929

3030
- (Scala World 2015) [Dotty: Досліджуємо майбутнє Scala](https://www.youtube.com/watch?v=aftdOFuVU1o)
31-
від [Dmitry Petrashko](http://twitter.com/darkdimius)
31+
від [Dmitry Petrashko](http://x.com/darkdimius)
3232
[\[слайди\]](https://d-d.me/scalaworld2015/#/).
3333
Розповідь Дмітрія охоплює багато нових функцій, які приносить Dotty, наприклад типи Intersection та Union, покращена ініціалізація lazy val тощо.
3434
Дмітрій також розповідає внутрішню архітектуру Dotty і, зокрема, високий рівень контекстуальних абстракцій Dotty. Ви
@@ -43,20 +43,20 @@ Deep Dive with Scala 3
4343
від [[Guillaume Martres](http://guillaume.martres.me/)](http://guillaume.martres.me/).
4444

4545
- (Mar 21, 2017) [Dotty Internals 1: Trees та Symbols](https://www.youtube.com/watch?v=yYd-zuDd3S8)
46-
від [Dmitry Petrashko](http://twitter.com/darkdimius)
46+
від [Dmitry Petrashko](http://x.com/darkdimius)
4747
[\[meeting notes\]](https://dotty.epfl.ch/docs/internals/dotty-internals-1-notes.html).
4848
Це запис зустрічі EPFL та Waterloo, де були представлені перші нотатки про Dotty: Trees та Symbols.
4949

5050
- (Mar 21, 2017) [Dotty Internals 2: Types](https://www.youtube.com/watch?v=3gmLIYlGbKc)
51-
від [Martin Odersky](http://twitter.com/odersky) та [Dmitry Petrashko](http://twitter.com/darkdimius).
51+
від [Martin Odersky](http://x.com/odersky) та [Dmitry Petrashko](http://x.com/darkdimius).
5252
Це запис зустрічі EPFL та Waterloo, де були представлено як представлені типи всередині Dotty.
5353

5454
- (Jun 15, 2017) [Dotty Internals 3: Denotations](https://youtu.be/9iPA7zMRGKY)
55-
від [Martin Odersky](http://twitter.com/odersky) та [Dmitry Petrashko](http://twitter.com/darkdimius).
55+
від [Martin Odersky](http://x.com/odersky) та [Dmitry Petrashko](http://x.com/darkdimius).
5656
Це запис зустрічі EPFL та Waterloo, де були представлена денотація в Dotty.
5757

5858
- (JVM Language Summit) [Як зробити компілятор Dotty швидким](https://www.youtube.com/watch?v=9xYoSwnSPz0)
59-
від [Dmitry Petrashko](http://twitter.com/darkdimius).
59+
від [Dmitry Petrashko](http://x.com/darkdimius).
6060
Дмітрій дає високорівневий вступ до того, що було зроблено для створення Dotty .
6161

6262
- (Typelevel Summit Oslo, May 2016) [Dotty та типи: поки що історія](https://www.youtube.com/watch?v=YIQjfCKDR5A)
@@ -66,7 +66,7 @@ Deep Dive with Scala 3
6666
який здатний робити висновки про безпеку типів для більшої кількості ситуацій ніж scalac.
6767

6868
- (flatMap(Oslo) 2016) [AutoSpecialization в Dotty](https://vimeo.com/165928176)
69-
від [Dmitry Petrashko](http://twitter.com/darkdimius)
69+
від [Dmitry Petrashko](http://x.com/darkdimius)
7070
[\[слайди\]](https://d-d.me/talks/flatmap2016/#/).
7171
Компонувальник Dotty аналізує вашу програму та її залежності, щоб застосувати нову схему спеціалізації.
7272
Віна ґрунтується на нашому досвіді з Specialization, Miniboxing та Valhalla Project,
@@ -84,7 +84,7 @@ Deep Dive with Scala 3
8484
Гійом демонструє високорівневе представлення пайплайну компіляції в Dotty.
8585

8686
- (ScalaDays 2015, Amsterdam) [Як зробити ваші програми на Scala меншими та швидшими за допомогою компонувальника Dotty](https://www.youtube.com/watch?v=xCeI1ArdXM4)
87-
від [Dmitry Petrashko](http://twitter.com/darkdimius)
87+
від [Dmitry Petrashko](http://x.com/darkdimius)
8888
[\[слайди\]](https://d-d.me/scaladays2015/#/).
8989
Дмитрій представляє алгоритм аналізу графу виклик у Dotty та переваги продуктивності, які ми можемо отримати з точки зору кількості методів,
9090
розміру байт-коду, розміру коду JVM і кількість об'єктів, виділених в кінці.

‎_zh-cn/overviews/scala3-book/scala-features.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -281,7 +281,7 @@ Scala 是一门面向对象编程（OOP）语言。
281281
### 支持 FP 与 OOP 融合
282282

283283
{% comment %}
284-
NOTE: This text in the first line comes from this slide: https://twitter.com/alexelcu/status/996408359514525696
284+
NOTE: This text in the first line comes from this slide: https://x.com/alexelcu/status/996408359514525696
285285
{% endcomment %}
286286

287287
Scala 的本质是函数式编程和面向对象编程的融合：

‎resources/js/tweetMachine-update.js

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -133,11 +133,11 @@
133133
});
134134
// Usernames
135135
text = text.replace(/@[A-Za-z0-9_]+/g, function (u) {
136-
return '<a href="https://twitter.com/#!/' + u.replace(/^@/, '') + '" target="_blank">' + u + '</a>';
136+
return '<a href="https://x.com/#!/' + u.replace(/^@/, '') + '" target="_blank">' + u + '</a>';
137137
});
138138
// Hashtags
139139
text = text.replace(/#[A-Za-z0-9_\-]+/g, function (u) {
140-
return '<a href="https://twitter.com/#!/search?q=' + u.replace(/^#/, '%23') + '" target="_blank">' + u + '</a>';
140+
return '<a href="https://x.com/#!/search?q=' + u.replace(/^#/, '%23') + '" target="_blank">' + u + '</a>';
141141
});
142142
return text;
143143
},
@@ -160,7 +160,7 @@
160160

161161
// Set the user screen name
162162
var usernameLink = "<a target=\"_blank\" href=\""
163-
+ "https://twitter.com/"
163+
+ "https://x.com/"
164164
+ actualTweet.user.screen_name
165165
+ "\">"
166166
+ "@"
@@ -170,15 +170,15 @@
170170

171171
// Set the username:
172172
var userLink = "<a target=\"_blank\" href=\""
173-
+ "https://twitter.com/"
173+
+ "https://x.com/"
174174
+ actualTweet.user.screen_name
175175
+ "\">"
176176
+ actualTweet.user.name
177177
+ "</a>";
178178
tweetObj.find('.user').html("" + userLink);
179179

180180
// Set the timestamp
181-
var dateLink = "<a target=\"_blank\" href=\"" + "https://twitter.com/"
181+
var dateLink = "<a target=\"_blank\" href=\"" + "https://x.com/"
182182
+ actualTweet.user.screen_name + "/status/"
183183
+ actualTweet.id_str + "\">"
184184
+ tweetMachine.relativeTime(actualTweet.created_at)
@@ -411,4 +411,4 @@
411411
}
412412
});
413413
};
414-
})(jQuery);
414+
})(jQuery);

‎scala3/talks.md

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -16,13 +16,13 @@ advantage of the new language features, or how to migrate from Scala 2.
1616

1717
Talks on Scala 3
1818
----------------
19-
- (ScalaDays 2019, Lausanne) [A Tour of Scala 3](https://www.youtube.com/watch?v=_Rnrx2lo9cw) by [Martin Odersky](http://twitter.com/odersky)
19+
- (ScalaDays 2019, Lausanne) [A Tour of Scala 3](https://www.youtube.com/watch?v=_Rnrx2lo9cw) by [Martin Odersky](http://x.com/odersky)
2020

21-
- (ScalaDays 2016, Berlin) [Scala's Road Ahead](https://www.youtube.com/watch?v=GHzWqJKFCk4) by [Martin Odersky](http://twitter.com/odersky) [\[slides\]](http://www.slideshare.net/Odersky/scala-days-nyc-2016)
21+
- (ScalaDays 2016, Berlin) [Scala's Road Ahead](https://www.youtube.com/watch?v=GHzWqJKFCk4) by [Martin Odersky](http://x.com/odersky) [\[slides\]](http://www.slideshare.net/Odersky/scala-days-nyc-2016)
2222

23-
- (JVMLS 2015) [Compilers are Databases](https://www.youtube.com/watch?v=WxyyJyB_Ssc) by [Martin Odersky](http://twitter.com/odersky) [\[slides\]](http://www.slideshare.net/Odersky/compilers-are-databases)
23+
- (JVMLS 2015) [Compilers are Databases](https://www.youtube.com/watch?v=WxyyJyB_Ssc) by [Martin Odersky](http://x.com/odersky) [\[slides\]](http://www.slideshare.net/Odersky/compilers-are-databases)
2424

25-
- (Scala World 2015) [Dotty: Exploring the future of Scala](https://www.youtube.com/watch?v=aftdOFuVU1o) by [Dmitry Petrashko](http://twitter.com/darkdimius) [\[slides\]](https://d-d.me/scalaworld2015/#/).
25+
- (Scala World 2015) [Dotty: Exploring the future of Scala](https://www.youtube.com/watch?v=aftdOFuVU1o) by [Dmitry Petrashko](http://x.com/darkdimius) [\[slides\]](https://d-d.me/scalaworld2015/#/).
2626
Dmitry covers many of the new features that Dotty brings on the table such as Intersection and Union types, improved lazy val initialization and more.
2727
Dmitry also covers dotty internals and in particular the high-level of contextual abstractions of Dotty. You will get to
2828
become familiar with many core concepts such as `Denotations`, their evolution through (compilation) time, their
@@ -34,25 +34,25 @@ Deep Dive with Scala 3
3434

3535
- (ScalaDays 2019, Lausanne) [Future-proofing Scala: the TASTY intermediate representation](https://www.youtube.com/watch?v=zQFjC3zLYwo) by [Guillaume Martres](http://guillaume.martres.me/).
3636

37-
- (Mar 21, 2017) [Dotty Internals 1: Trees & Symbols](https://www.youtube.com/watch?v=yYd-zuDd3S8) by [Dmitry Petrashko](http://twitter.com/darkdimius) [\[meeting notes\]](https://dotty.epfl.ch/docs/internals/dotty-internals-1-notes.html).
37+
- (Mar 21, 2017) [Dotty Internals 1: Trees & Symbols](https://www.youtube.com/watch?v=yYd-zuDd3S8) by [Dmitry Petrashko](http://x.com/darkdimius) [\[meeting notes\]](https://dotty.epfl.ch/docs/internals/dotty-internals-1-notes.html).
3838
This is a recorded meeting between EPFL and Waterloo, where we introduce first notions inside Dotty: Trees and Symbols.
3939

40-
- (Mar 21, 2017) [Dotty Internals 2: Types](https://www.youtube.com/watch?v=3gmLIYlGbKc) by [Martin Odersky](http://twitter.com/odersky) and [Dmitry Petrashko](http://twitter.com/darkdimius).
40+
- (Mar 21, 2017) [Dotty Internals 2: Types](https://www.youtube.com/watch?v=3gmLIYlGbKc) by [Martin Odersky](http://x.com/odersky) and [Dmitry Petrashko](http://x.com/darkdimius).
4141
This is a recorded meeting between EPFL and Waterloo, where we introduce how types are represented inside Dotty.
4242

43-
- (Jun 15, 2017) [Dotty Internals 3: Denotations](https://youtu.be/9iPA7zMRGKY) by [Martin Odersky](http://twitter.com/odersky) and [Dmitry Petrashko](http://twitter.com/darkdimius).
43+
- (Jun 15, 2017) [Dotty Internals 3: Denotations](https://youtu.be/9iPA7zMRGKY) by [Martin Odersky](http://x.com/odersky) and [Dmitry Petrashko](http://x.com/darkdimius).
4444
This is a recorded meeting between EPFL and Waterloo, where we introduce denotations in Dotty.
4545

46-
- (JVM Language Summit) [How do we make the Dotty compiler fast](https://www.youtube.com/watch?v=9xYoSwnSPz0) by [Dmitry Petrashko](http://twitter.com/darkdimius).
47-
[Dmitry Petrashko](http://twitter.com/darkdimius) gives a high-level introduction on what was done to make Dotty .
46+
- (JVM Language Summit) [How do we make the Dotty compiler fast](https://www.youtube.com/watch?v=9xYoSwnSPz0) by [Dmitry Petrashko](http://x.com/darkdimius).
47+
[Dmitry Petrashko](http://x.com/darkdimius) gives a high-level introduction on what was done to make Dotty .
4848

4949

5050
- (Typelevel Summit Oslo, May 2016) [Dotty and types: the story so far](https://www.youtube.com/watch?v=YIQjfCKDR5A) by
5151
Guillaume Martres [\[slides\]](http://guillaume.martres.me/talks/typelevel-summit-oslo/).
5252
Guillaume focused on some practical improvements to the type system that Dotty makes, like the new type parameter
5353
inference algorithm that is able to reason about the type safety of more situations than scalac.
5454

55-
- (flatMap(Oslo) 2016) [AutoSpecialization in Dotty](https://vimeo.com/165928176) by [Dmitry Petrashko](http://twitter.com/darkdimius) [\[slides\]](https://d-d.me/talks/flatmap2016/#/).
55+
- (flatMap(Oslo) 2016) [AutoSpecialization in Dotty](https://vimeo.com/165928176) by [Dmitry Petrashko](http://x.com/darkdimius) [\[slides\]](https://d-d.me/talks/flatmap2016/#/).
5656
The Dotty Linker analyses your program and its dependencies to
5757
apply a new specialization scheme. It builds on our experience from Specialization, Miniboxing and the Valhalla Project,
5858
and drastically reduces the size of the emitted bytecode. And, best of all, it's always enabled, happens behind the

0 commit comments

Comments
 (0)
Please sign in to comment.