From 3b6db1d9377f3a2ef46f2fb6b9da5545dec20c21 Mon Sep 17 00:00:00 2001 From: Seth Tisue Date: Thu, 12 Dec 2024 14:56:23 -0800 Subject: [PATCH] add our Bluesky, and change Twitter->X --- _data/footer.yml | 8 +++++--- _overviews/contribute/index.md | 2 +- _overviews/scala-book/scala-features.md | 4 ++-- _overviews/scala3-book/scala-features.md | 4 ++-- _overviews/scala3-scaladoc/settings.md | 2 +- _overviews/tutorials/scala-on-android.md | 2 +- _ru/scala3/guides/scaladoc/settings.md | 2 +- _ru/scala3/talks.md | 20 +++++++++---------- _uk/scala3/talks.md | 20 +++++++++---------- .../overviews/scala3-book/scala-features.md | 2 +- resources/js/tweetMachine-update.js | 12 +++++------ scala3/talks.md | 20 +++++++++---------- 12 files changed, 50 insertions(+), 48 deletions(-) diff --git a/_data/footer.yml b/_data/footer.yml index 5e24e08b6..da38a4f11 100644 --- a/_data/footer.yml +++ b/_data/footer.yml @@ -57,9 +57,11 @@ - title: GitHub url: "https://github.com/scala/scala" - title: Mastodon - url: https://fosstodon.org/@scala_lang - - title: Twitter - url: "https://twitter.com/scala_lang" + url: "https://fosstodon.org/@scala_lang" + - title: Bluesky + url: "https://bsky.app/profile/scala-lang.bsky.social" + - title: X + url: "https://x.com/scala_lang" - title: Discord url: "https://discord.com/invite/scala" - title: LinkedIn diff --git a/_overviews/contribute/index.md b/_overviews/contribute/index.md index 73fdaaf47..329861a72 100644 --- a/_overviews/contribute/index.md +++ b/_overviews/contribute/index.md @@ -276,7 +276,7 @@ The above benefits are something good to achieve regardless of your level of exp be improved. For best results, spend a lot of time with the library to get a feel of what's important and what can improve. - **Lookout for announcements:** You may want to keep an eye on the Scala Center - [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 + [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 in the Google Summer of Code program where you are paid to work on open source Scala projects over the course of summer. {{backButton}} diff --git a/_overviews/scala-book/scala-features.md b/_overviews/scala-book/scala-features.md index 79aefdc35..5973f1ea1 100644 --- a/_overviews/scala-book/scala-features.md +++ b/_overviews/scala-book/scala-features.md @@ -13,11 +13,11 @@ new-version: /scala3/book/scala-features.html --- -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. +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. Here are a few more nuggets about Scala: -- 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. +- 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. - It’s a high-level language. - It’s statically typed. - It has a sophisticated type inference system. diff --git a/_overviews/scala3-book/scala-features.md b/_overviews/scala3-book/scala-features.md index c1427e8a6..c1d1ca834 100644 --- a/_overviews/scala3-book/scala-features.md +++ b/_overviews/scala3-book/scala-features.md @@ -292,7 +292,7 @@ Boxing and unboxing is completely transparent to the user. ### Supports FP/OOP fusion {% comment %} -NOTE: This text in the first line comes from this slide: https://twitter.com/alexelcu/status/996408359514525696 +NOTE: This text in the first line comes from this slide: https://x.com/alexelcu/status/996408359514525696 {% endcomment %} 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. - 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 - [Scalatra](https://scalatra.org) is a tiny, high-performance, async web framework, inspired by Sinatra -- [Finatra](https://twitter.github.io/finatra) is Scala services built on TwitterServer and Finagle +- [Finatra](https://twitter.github.io/finatra) is Scala services built for X - [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 - [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 diff --git a/_overviews/scala3-scaladoc/settings.md b/_overviews/scala3-scaladoc/settings.md index e5118ab43..3b58df7ba 100644 --- a/_overviews/scala3-scaladoc/settings.md +++ b/_overviews/scala3-scaladoc/settings.md @@ -87,7 +87,7 @@ A mapping is of the form `::[scaladoc3|scaladoc|javadoc]::`. You ca Links to social sites. For example: -`-social-links:github::https://github.com/scala/scala3,discord::https://discord.com/invite/scala,twitter::https://twitter.com/scala_lang` +`-social-links:github::https://github.com/scala/scala3,discord::https://discord.com/invite/scala,twitter::https://x.com/scala_lang` 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. diff --git a/_overviews/tutorials/scala-on-android.md b/_overviews/tutorials/scala-on-android.md index 49749aa85..370eb72b3 100644 --- a/_overviews/tutorials/scala-on-android.md +++ b/_overviews/tutorials/scala-on-android.md @@ -140,5 +140,5 @@ If you managed to build one of the example apps and want to code something more - 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. - Join us on the official Scala discord — we have a [#scala-android channel](https://discord.gg/UuDawpq7) there. - There is also an [#android channel](https://discord.gg/XHMt6Yq4) on the “Learning Scala” discord. -- Finally, if you have any questions, [you can always find me on Twitter](https://twitter.com/makingthematrix). +- Finally, if you have any questions, [you can always find me on X](https://x.com/makingthematrix). diff --git a/_ru/scala3/guides/scaladoc/settings.md b/_ru/scala3/guides/scaladoc/settings.md index 83dd45642..942e88342 100644 --- a/_ru/scala3/guides/scaladoc/settings.md +++ b/_ru/scala3/guides/scaladoc/settings.md @@ -101,7 +101,7 @@ Compile / doc / scalacOptions ++= Seq("-project", "my-project"), Ссылки на социальные сети. Например: -`-social-links:github::https://github.com/scala/scala3,discord::https://discord.com/invite/scala,twitter::https://twitter.com/scala_lang` +`-social-links:github::https://github.com/scala/scala3,discord::https://discord.com/invite/scala,twitter::https://x.com/scala_lang` Допустимые значения имеют вид: `[github|twitter|gitter|discord]::link`. Scaladoc также поддерживает `custom::link::white_icon_name::black_icon_name`. diff --git a/_ru/scala3/talks.md b/_ru/scala3/talks.md index 06467723c..25fce8280 100644 --- a/_ru/scala3/talks.md +++ b/_ru/scala3/talks.md @@ -16,13 +16,13 @@ versionSpecific: true Обсуждения Scala 3 ---------------- -- (ScalaDays 2019, Lausanne) [Тур по Scala 3](https://www.youtube.com/watch?v=_Rnrx2lo9cw) от [Martin Odersky](http://twitter.com/odersky) +- (ScalaDays 2019, Lausanne) [Тур по Scala 3](https://www.youtube.com/watch?v=_Rnrx2lo9cw) от [Martin Odersky](http://x.com/odersky) -- (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) +- (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) -- (JVMLS 2015) [Компиляторы — это базы данных](https://www.youtube.com/watch?v=WxyyJyB_Ssc) от [Martin Odersky](http://twitter.com/odersky) [\[слайды\]](http://www.slideshare.net/Odersky/compilers-are-databases) +- (JVMLS 2015) [Компиляторы — это базы данных](https://www.youtube.com/watch?v=WxyyJyB_Ssc) от [Martin Odersky](http://x.com/odersky) [\[слайды\]](http://www.slideshare.net/Odersky/compilers-are-databases) -- (Scala World 2015) [Dotty: изучение будущего Scala](https://www.youtube.com/watch?v=aftdOFuVU1o) от [Dmitry Petrashko](http://twitter.com/darkdimius) [\[слайды\]](https://d-d.me/scalaworld2015/#/). +- (Scala World 2015) [Dotty: изучение будущего Scala](https://www.youtube.com/watch?v=aftdOFuVU1o) от [Dmitry Petrashko](http://x.com/darkdimius) [\[слайды\]](https://d-d.me/scalaworld2015/#/). Дмитрий рассказывает о многих новых функциях, которые предлагает Dotty, таких как типы пересечения и объединения, улучшенная инициализация lazy val и многое другое. Дмитрий также рассказывает о внутреннем устройстве Dotty и, в частности, о высоком уровне контекстных абстракций Dotty. @@ -35,17 +35,17 @@ versionSpecific: true - (ScalaDays 2019, Lausanne) [Scala, ориентированная на будущее: промежуточное представление TASTY](https://www.youtube.com/watch?v=zQFjC3zLYwo) от [Guillaume Martres](http://guillaume.martres.me/). -- (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). +- (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). Это записанная встреча между EPFL и Waterloo, на которой мы представляем первые понятия внутри Dotty: деревья и символы. -- (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). +- (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). Это записанная встреча между EPFL и Waterloo, на которой мы рассказываем, как типы представлены внутри Dotty. -- (Jun 15, 2017) [Dotty Internals 3: Denotations](https://youtu.be/9iPA7zMRGKY) от [Martin Odersky](http://twitter.com/odersky) и [Dmitry Petrashko](http://twitter.com/darkdimius). +- (Jun 15, 2017) [Dotty Internals 3: Denotations](https://youtu.be/9iPA7zMRGKY) от [Martin Odersky](http://x.com/odersky) и [Dmitry Petrashko](http://x.com/darkdimius). Это записанная встреча между EPFL и Waterloo, где мы вводим обозначения в Dotty. -- (JVM Language Summit) [How do we make the Dotty compiler fast](https://www.youtube.com/watch?v=9xYoSwnSPz0) от [Dmitry Petrashko](http://twitter.com/darkdimius). - [Dmitry Petrashko](http://twitter.com/darkdimius) в общих чертах рассказывает о том, что было сделано для создания Dotty. +- (JVM Language Summit) [How do we make the Dotty compiler fast](https://www.youtube.com/watch?v=9xYoSwnSPz0) от [Dmitry Petrashko](http://x.com/darkdimius). + [Dmitry Petrashko](http://x.com/darkdimius) в общих чертах рассказывает о том, что было сделано для создания Dotty. - (Typelevel Summit Oslo, May 2016) [Dotty and types: the story so far](https://www.youtube.com/watch?v=YIQjfCKDR5A) от Guillaume Martres [\[слайды\]](http://guillaume.martres.me/talks/typelevel-summit-oslo/). @@ -53,7 +53,7 @@ versionSpecific: true таких как новый алгоритм вывода параметров типа, который может принимать решения о безопасности типов в большем количестве ситуаций, чем scalac. -- (flatMap(Oslo) 2016) [AutoSpecialization in Dotty](https://vimeo.com/165928176) от [Dmitry Petrashko](http://twitter.com/darkdimius) [\[слайды\]](https://d-d.me/talks/flatmap2016/#/). +- (flatMap(Oslo) 2016) [AutoSpecialization in Dotty](https://vimeo.com/165928176) от [Dmitry Petrashko](http://x.com/darkdimius) [\[слайды\]](https://d-d.me/talks/flatmap2016/#/). Dotty Linker анализирует вашу программу и ее зависимости, чтобы применить новую схему специализации. Он основан на нашем опыте Specialization, Miniboxing и проекта Valhalla и значительно уменьшает размер создаваемого байт-кода. И, что лучше всего, он всегда включен, выполняется за кулисами без аннотаций и приводит к ускорению более чем в 20 раз. diff --git a/_uk/scala3/talks.md b/_uk/scala3/talks.md index 9aa70a483..01087ab67 100644 --- a/_uk/scala3/talks.md +++ b/_uk/scala3/talks.md @@ -17,18 +17,18 @@ versionSpecific: true Talks on Scala 3 ---------------- - (ScalaDays 2019, Lausanne) [Тур по Scala 3](https://www.youtube.com/watch?v=_Rnrx2lo9cw) - від [Martin Odersky](http://twitter.com/odersky) + від [Martin Odersky](http://x.com/odersky) - (ScalaDays 2016, Berlin) [Попереду дорога Scala](https://www.youtube.com/watch?v=GHzWqJKFCk4) - від [Martin Odersky](http://twitter.com/odersky) + від [Martin Odersky](http://x.com/odersky) [\[слайди\]](http://www.slideshare.net/Odersky/scala-days-nyc-2016) - (JVMLS 2015) [Compilers are Databases](https://www.youtube.com/watch?v=WxyyJyB_Ssc) - від [Martin Odersky](http://twitter.com/odersky) + від [Martin Odersky](http://x.com/odersky) [\[слайди\]](http://www.slideshare.net/Odersky/compilers-are-databases) - (Scala World 2015) [Dotty: Досліджуємо майбутнє Scala](https://www.youtube.com/watch?v=aftdOFuVU1o) - від [Dmitry Petrashko](http://twitter.com/darkdimius) + від [Dmitry Petrashko](http://x.com/darkdimius) [\[слайди\]](https://d-d.me/scalaworld2015/#/). Розповідь Дмітрія охоплює багато нових функцій, які приносить Dotty, наприклад типи Intersection та Union, покращена ініціалізація lazy val тощо. Дмітрій також розповідає внутрішню архітектуру Dotty і, зокрема, високий рівень контекстуальних абстракцій Dotty. Ви @@ -43,20 +43,20 @@ Deep Dive with Scala 3 від [[Guillaume Martres](http://guillaume.martres.me/)](http://guillaume.martres.me/). - (Mar 21, 2017) [Dotty Internals 1: Trees та Symbols](https://www.youtube.com/watch?v=yYd-zuDd3S8) - від [Dmitry Petrashko](http://twitter.com/darkdimius) + від [Dmitry Petrashko](http://x.com/darkdimius) [\[meeting notes\]](https://dotty.epfl.ch/docs/internals/dotty-internals-1-notes.html). Це запис зустрічі EPFL та Waterloo, де були представлені перші нотатки про Dotty: Trees та Symbols. - (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). + від [Martin Odersky](http://x.com/odersky) та [Dmitry Petrashko](http://x.com/darkdimius). Це запис зустрічі EPFL та Waterloo, де були представлено як представлені типи всередині Dotty. - (Jun 15, 2017) [Dotty Internals 3: Denotations](https://youtu.be/9iPA7zMRGKY) - від [Martin Odersky](http://twitter.com/odersky) та [Dmitry Petrashko](http://twitter.com/darkdimius). + від [Martin Odersky](http://x.com/odersky) та [Dmitry Petrashko](http://x.com/darkdimius). Це запис зустрічі EPFL та Waterloo, де були представлена денотація в Dotty. - (JVM Language Summit) [Як зробити компілятор Dotty швидким](https://www.youtube.com/watch?v=9xYoSwnSPz0) - від [Dmitry Petrashko](http://twitter.com/darkdimius). + від [Dmitry Petrashko](http://x.com/darkdimius). Дмітрій дає високорівневий вступ до того, що було зроблено для створення Dotty . - (Typelevel Summit Oslo, May 2016) [Dotty та типи: поки що історія](https://www.youtube.com/watch?v=YIQjfCKDR5A) @@ -66,7 +66,7 @@ Deep Dive with Scala 3 який здатний робити висновки про безпеку типів для більшої кількості ситуацій ніж scalac. - (flatMap(Oslo) 2016) [AutoSpecialization в Dotty](https://vimeo.com/165928176) - від [Dmitry Petrashko](http://twitter.com/darkdimius) + від [Dmitry Petrashko](http://x.com/darkdimius) [\[слайди\]](https://d-d.me/talks/flatmap2016/#/). Компонувальник Dotty аналізує вашу програму та її залежності, щоб застосувати нову схему спеціалізації. Віна ґрунтується на нашому досвіді з Specialization, Miniboxing та Valhalla Project, @@ -84,7 +84,7 @@ Deep Dive with Scala 3 Гійом демонструє високорівневе представлення пайплайну компіляції в Dotty. - (ScalaDays 2015, Amsterdam) [Як зробити ваші програми на Scala меншими та швидшими за допомогою компонувальника Dotty](https://www.youtube.com/watch?v=xCeI1ArdXM4) - від [Dmitry Petrashko](http://twitter.com/darkdimius) + від [Dmitry Petrashko](http://x.com/darkdimius) [\[слайди\]](https://d-d.me/scaladays2015/#/). Дмитрій представляє алгоритм аналізу графу виклик у Dotty та переваги продуктивності, які ми можемо отримати з точки зору кількості методів, розміру байт-коду, розміру коду JVM і кількість об'єктів, виділених в кінці. diff --git a/_zh-cn/overviews/scala3-book/scala-features.md b/_zh-cn/overviews/scala3-book/scala-features.md index 946b8e819..9c8d02f08 100644 --- a/_zh-cn/overviews/scala3-book/scala-features.md +++ b/_zh-cn/overviews/scala3-book/scala-features.md @@ -281,7 +281,7 @@ Scala 是一门面向对象编程（OOP）语言。 ### 支持 FP 与 OOP 融合 {% comment %} -NOTE: This text in the first line comes from this slide: https://twitter.com/alexelcu/status/996408359514525696 +NOTE: This text in the first line comes from this slide: https://x.com/alexelcu/status/996408359514525696 {% endcomment %} Scala 的本质是函数式编程和面向对象编程的融合： diff --git a/resources/js/tweetMachine-update.js b/resources/js/tweetMachine-update.js index a7604d2ba..0addd1b95 100755 --- a/resources/js/tweetMachine-update.js +++ b/resources/js/tweetMachine-update.js @@ -133,11 +133,11 @@ }); // Usernames text = text.replace(/@[A-Za-z0-9_]+/g, function (u) { - return '' + u + ''; + return '' + u + ''; }); // Hashtags text = text.replace(/#[A-Za-z0-9_\-]+/g, function (u) { - return '' + u + ''; + return '' + u + ''; }); return text; }, @@ -160,7 +160,7 @@ // Set the user screen name var usernameLink = "" + "@" @@ -170,7 +170,7 @@ // Set the username: var userLink = "" + actualTweet.user.name @@ -178,7 +178,7 @@ tweetObj.find('.user').html("" + userLink); // Set the timestamp - var dateLink = "" + tweetMachine.relativeTime(actualTweet.created_at) @@ -411,4 +411,4 @@ } }); }; -})(jQuery); \ No newline at end of file +})(jQuery); diff --git a/scala3/talks.md b/scala3/talks.md index 19539ba13..0cdba8b2d 100644 --- a/scala3/talks.md +++ b/scala3/talks.md @@ -16,13 +16,13 @@ advantage of the new language features, or how to migrate from Scala 2. Talks on Scala 3 ---------------- -- (ScalaDays 2019, Lausanne) [A Tour of Scala 3](https://www.youtube.com/watch?v=_Rnrx2lo9cw) by [Martin Odersky](http://twitter.com/odersky) +- (ScalaDays 2019, Lausanne) [A Tour of Scala 3](https://www.youtube.com/watch?v=_Rnrx2lo9cw) by [Martin Odersky](http://x.com/odersky) -- (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) +- (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) -- (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) +- (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) -- (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/#/). +- (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/#/). 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. Dmitry also covers dotty internals and in particular the high-level of contextual abstractions of Dotty. You will get to become familiar with many core concepts such as `Denotations`, their evolution through (compilation) time, their @@ -34,17 +34,17 @@ Deep Dive with Scala 3 - (ScalaDays 2019, Lausanne) [Future-proofing Scala: the TASTY intermediate representation](https://www.youtube.com/watch?v=zQFjC3zLYwo) by [Guillaume Martres](http://guillaume.martres.me/). -- (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). +- (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). This is a recorded meeting between EPFL and Waterloo, where we introduce first notions inside Dotty: Trees and Symbols. -- (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). +- (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). This is a recorded meeting between EPFL and Waterloo, where we introduce how types are represented inside Dotty. -- (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). +- (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). This is a recorded meeting between EPFL and Waterloo, where we introduce denotations in Dotty. -- (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). - [Dmitry Petrashko](http://twitter.com/darkdimius) gives a high-level introduction on what was done to make Dotty . +- (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). + [Dmitry Petrashko](http://x.com/darkdimius) gives a high-level introduction on what was done to make Dotty . - (Typelevel Summit Oslo, May 2016) [Dotty and types: the story so far](https://www.youtube.com/watch?v=YIQjfCKDR5A) by @@ -52,7 +52,7 @@ Deep Dive with Scala 3 Guillaume focused on some practical improvements to the type system that Dotty makes, like the new type parameter inference algorithm that is able to reason about the type safety of more situations than scalac. -- (flatMap(Oslo) 2016) [AutoSpecialization in Dotty](https://vimeo.com/165928176) by [Dmitry Petrashko](http://twitter.com/darkdimius) [\[slides\]](https://d-d.me/talks/flatmap2016/#/). +- (flatMap(Oslo) 2016) [AutoSpecialization in Dotty](https://vimeo.com/165928176) by [Dmitry Petrashko](http://x.com/darkdimius) [\[slides\]](https://d-d.me/talks/flatmap2016/#/). The Dotty Linker analyses your program and its dependencies to apply a new specialization scheme. It builds on our experience from Specialization, Miniboxing and the Valhalla Project, and drastically reduces the size of the emitted bytecode. And, best of all, it's always enabled, happens behind the