Neural networks and machine learning foundations
Лучший начальный цикл видео по основам работы нейросетевого анализа данных и машинного обучения из всех что я смотрел, очень доступно обясняющий все базовые принципы.
https://www.youtube.com/watch?v=aircAruvnKk
https://www.youtube.com/watch?v=IHZwWFHWa-w
https://www.youtube.com/watch?v=Ilg3gGewQ5U
https://www.youtube.com/watch?v=tIeHLnjs5U8
#ML #DL
Лучший начальный цикл видео по основам работы нейросетевого анализа данных и машинного обучения из всех что я смотрел, очень доступно обясняющий все базовые принципы.
https://www.youtube.com/watch?v=aircAruvnKk
https://www.youtube.com/watch?v=IHZwWFHWa-w
https://www.youtube.com/watch?v=Ilg3gGewQ5U
https://www.youtube.com/watch?v=tIeHLnjs5U8
#ML #DL
YouTube
But what is a neural network? | Deep learning chapter 1
What are the neurons, why are there layers, and what is the math underlying it?
Help fund future projects: https://www.patreon.com/3blue1brown
Written/interactive form of this series: https://www.3blue1brown.com/topics/neural-networks
Additional funding…
Help fund future projects: https://www.patreon.com/3blue1brown
Written/interactive form of this series: https://www.3blue1brown.com/topics/neural-networks
Additional funding…
Technologique
Memory management & concurrency model in Kotlin/Native Видео с докладом Николая Иготти про многопоточность и управление памятью в Kotlin/Native. https://www.youtube.com/watch?v=nw6YTfEyfO0&index=20&list=PLQ176FUIyIUbVvFMqDc2jhxS-t562uytr Многое лучше, чем…
Memory & thread safety + cross-platform development foundations in Kotlin project
Весьма интересна идея с инвариантом иммутабельности данных для безопасности памяти и потоков в Kotlin/Native.
Вместо инвариантов обеспечивающих модель владений и заимствований, как в Rust, сейчас в процессе разработки и доработки компилятора до его внедрения в промышленную разработку применяется инвариант
Это касается операций со ссылочными типами (reference types) в памяти кучи.
Остаётся вопрос об оптимизации работы с памятью и контроле безопасности операций со стэковой памятью, стэковыми value типами (off-heap data types/structures), что пока сказывается на производительности операций с памятью и производительности кода порождаемого компилятором Kotlin/Native.
https://kotlinlang.org/docs/reference/native/immutability.html
https://github.com/JetBrains/kotlin-native/blob/master/IMMUTABILITY.md
https://kotlinlang.org/docs/reference/native/concurrency.html#object-transfer-and-freezing
https://github.com/JetBrains/kotlin-native/blob/master/CONCURRENCY.md#object-transfer-and-freezing
https://github.com/JetBrains/kotlin-native/blob/master/CONCURRENCY.md#object-subgraph-detachment
https://kotlinlang.org/docs/reference/native/concurrency.html#object-subgraph-detachment
Думаю это очень простая, но при этом очень сильная инновация Kotlin способная произвести локальную революцию в подходе к системной разработке, а именно к безопасной многопоточности и иммутабельности данных, при этом само по себе решение намного более простое, нежели чем в Rust, и действительно способно снять с программиста нагрузку по анализу многих низкоуровневых моментов работы программы - указателей, владений, иммутабельности данных и времени жизни объектов в памяти - и сконцентрироваться на самой логике приложения, при этом сохраняя достаточную эффективность разрабатываемых приложений по памяти и времени исполнения.
Другая мощная инновация - MPP, multi-platform projects, возможность писать проекты на Kotllin разделяя кодовую базу и выделяя из неё общую логику приложений и общий для всех платформ код, и далее выполнять сборку проекта для целевой платформы используя общую логику плюс платформенно-зависимый код (компоненты интерфейса, ввод-вывод, например разные реализации async IO event loop в ОС, interoperability с внешними платформенными библиотеками, и т.д.).
https://kotlinlang.org/docs/reference/multiplatform.html
https://github.com/JetBrains/kotlin-native/blob/master/MULTIPLATFORM.md
#Kotlin
Весьма интересна идея с инвариантом иммутабельности данных для безопасности памяти и потоков в Kotlin/Native.
Вместо инвариантов обеспечивающих модель владений и заимствований, как в Rust, сейчас в процессе разработки и доработки компилятора до его внедрения в промышленную разработку применяется инвариант
mutable XOR shared (mutable XOR global, локальные данные потока исполнения (thread local storage) мутабельны только из этого потока и доступны другим потокам только для чтения, общие разделяемые данные иммутабельны) — данные правила применяются для передачи владений объектами (owned указателей) в памяти и заморозки/иммутабельности объектов в объектном графе (субграфах объектных зависимостей для потоков при их форке и детачинге субграфа объектов для отдельных потоков) в памяти кучи.Это касается операций со ссылочными типами (reference types) в памяти кучи.
Остаётся вопрос об оптимизации работы с памятью и контроле безопасности операций со стэковой памятью, стэковыми value типами (off-heap data types/structures), что пока сказывается на производительности операций с памятью и производительности кода порождаемого компилятором Kotlin/Native.
https://kotlinlang.org/docs/reference/native/immutability.html
https://github.com/JetBrains/kotlin-native/blob/master/IMMUTABILITY.md
https://kotlinlang.org/docs/reference/native/concurrency.html#object-transfer-and-freezing
https://github.com/JetBrains/kotlin-native/blob/master/CONCURRENCY.md#object-transfer-and-freezing
https://github.com/JetBrains/kotlin-native/blob/master/CONCURRENCY.md#object-subgraph-detachment
https://kotlinlang.org/docs/reference/native/concurrency.html#object-subgraph-detachment
Думаю это очень простая, но при этом очень сильная инновация Kotlin способная произвести локальную революцию в подходе к системной разработке, а именно к безопасной многопоточности и иммутабельности данных, при этом само по себе решение намного более простое, нежели чем в Rust, и действительно способно снять с программиста нагрузку по анализу многих низкоуровневых моментов работы программы - указателей, владений, иммутабельности данных и времени жизни объектов в памяти - и сконцентрироваться на самой логике приложения, при этом сохраняя достаточную эффективность разрабатываемых приложений по памяти и времени исполнения.
Другая мощная инновация - MPP, multi-platform projects, возможность писать проекты на Kotllin разделяя кодовую базу и выделяя из неё общую логику приложений и общий для всех платформ код, и далее выполнять сборку проекта для целевой платформы используя общую логику плюс платформенно-зависимый код (компоненты интерфейса, ввод-вывод, например разные реализации async IO event loop в ОС, interoperability с внешними платформенными библиотеками, и т.д.).
https://kotlinlang.org/docs/reference/multiplatform.html
https://github.com/JetBrains/kotlin-native/blob/master/MULTIPLATFORM.md
#Kotlin
Technologique
Memory management & concurrency model in Kotlin/Native Видео с докладом Николая Иготти про многопоточность и управление памятью в Kotlin/Native. https://www.youtube.com/watch?v=nw6YTfEyfO0&index=20&list=PLQ176FUIyIUbVvFMqDc2jhxS-t562uytr Многое лучше, чем…
YouTube
2018 EuroLLVM Developers’ Meeting: N. Igotti “Developing Kotlin/Native infrastructure with LLVM ...”
http://llvm.org/devmtg/2018-04/
—
Developing Kotlin/Native infrastructure with LLVM/Clang, travel notes. - Nikolay Igotti, JetBrains
Slides: http://llvm.org/devmtg/2018-04/slides/Igotti-Developing%20Kotlin.pdf
—
In September of 2016 JetBrains started development…
—
Developing Kotlin/Native infrastructure with LLVM/Clang, travel notes. - Nikolay Igotti, JetBrains
Slides: http://llvm.org/devmtg/2018-04/slides/Igotti-Developing%20Kotlin.pdf
—
In September of 2016 JetBrains started development…
Technologique
The searching for truth is brings us around in a Möbius strip, with a wonderful contradiction of interpretations. Система типов языка Rust - его главное преимущество и его главный недостаток. Модель безопасности и гарантий, которую предлагает компилятор…
В целом применение инвариантов иммутабельности либо capability-based security модель инвариантов (как в Pony) для контроля операций с указателями и памятью на уровне системы типов языка - это намного более простые идеи (и при этом достаточно эффективные), они весьма оправданы, как с точки зрения разработки компилятора и системы типов, так и с точки зрения разработчика следующего этим моделям и взаимодействующим с ними.
В Rust например применяемая модель с borrow&ownership checker'а для обеспечения безопасности операций с памятью и потоками, вкупе со scope-based и NLL lifetime'ами для эффективного управления памятью без GC, получилась более интегральной и взаимозависимой и от того весьма сложной, как в разработке компилятора и системы типов языка, так и для разработчика программ на Rust, которому часто приходится менять логику программ в угоду модели либо использовать unsafe возможности отказываясь от обеспечения безопасности, потому что модель не способна покрыть все возможные варианты программных конструкций языка и их взаимодействий, все варианты разрабатываемой логики приложений и все use-case'ы языка.
В Rust borrow&ownership checker завязан на lifetime'ы объектов программы в памяти.
Не так давно Нико Матсакис разработал non-lexical lifetimes (NLL) модель, улучшающую гибкость проверки времени жизни объектов и не завязанную так жёстко на лексические области видимости (scopes) потока исполнения программы.
Но даже NLL не полностью упраздняет все проблемы по отслеживанию времени жизни объектов программы, например self-referential структур данных.
https://github.com/rust-lang/rfcs/blob/master/text/2094-nll.md#appendix-what-this-proposal-will-not-fix
https://github.com/nikomatsakis/nll-rfc/blob/master/0000-nonlexical-lifetimes.md#appendix-what-this-proposal-will-not-fix
https://github.com/nikomatsakis/nll
https://github.com/nikomatsakis/borrowck
#Rust
В Rust например применяемая модель с borrow&ownership checker'а для обеспечения безопасности операций с памятью и потоками, вкупе со scope-based и NLL lifetime'ами для эффективного управления памятью без GC, получилась более интегральной и взаимозависимой и от того весьма сложной, как в разработке компилятора и системы типов языка, так и для разработчика программ на Rust, которому часто приходится менять логику программ в угоду модели либо использовать unsafe возможности отказываясь от обеспечения безопасности, потому что модель не способна покрыть все возможные варианты программных конструкций языка и их взаимодействий, все варианты разрабатываемой логики приложений и все use-case'ы языка.
В Rust borrow&ownership checker завязан на lifetime'ы объектов программы в памяти.
Не так давно Нико Матсакис разработал non-lexical lifetimes (NLL) модель, улучшающую гибкость проверки времени жизни объектов и не завязанную так жёстко на лексические области видимости (scopes) потока исполнения программы.
Но даже NLL не полностью упраздняет все проблемы по отслеживанию времени жизни объектов программы, например self-referential структур данных.
https://github.com/rust-lang/rfcs/blob/master/text/2094-nll.md#appendix-what-this-proposal-will-not-fix
https://github.com/nikomatsakis/nll-rfc/blob/master/0000-nonlexical-lifetimes.md#appendix-what-this-proposal-will-not-fix
https://github.com/nikomatsakis/nll
https://github.com/nikomatsakis/borrowck
#Rust
GitHub
rfcs/text/2094-nll.md at master · rust-lang/rfcs
RFCs for changes to Rust. Contribute to rust-lang/rfcs development by creating an account on GitHub.
Technologique
Memory & thread safety + cross-platform development foundations in Kotlin project Весьма интересна идея с инвариантом иммутабельности данных для безопасности памяти и потоков в Kotlin/Native. Вместо инвариантов обеспечивающих модель владений и заимствований…
О принципах дизайна языков программирования, проблемах и решениях при разработке трансляторов и исполнительных сред для языка Kotlin - на данную тему есть несколько очень классных, просто шикарных лекций Андрея Бреслава, как в плане спектра освещённых тем и внутренних механизмов Kotlin, так и особенно в свете поддержки мультиплатформенной разработки и компиляторов для каждой целевой платформы в отдельности.
https://www.youtube.com/watch?v=QOIn8Uh3lkE
#Kotlin
https://www.youtube.com/watch?v=QOIn8Uh3lkE
#Kotlin
YouTube
Лекция 1 | Kotlin: практика разработки | Андрей Бреслав | Лекториум
Лекция 1 | Курс: Kotlin: практика разработки современного языка программирования | Лектор: Андрей Бреслав | Организатор: CSClub
Смотрите это видео на Лекториуме: https://www.lektorium.tv/Zgp
Другие лекции курса «Kotlin: практика разработки современного…
Смотрите это видео на Лекториуме: https://www.lektorium.tv/Zgp
Другие лекции курса «Kotlin: практика разработки современного…
Technologique
О принципах дизайна языков программирования, проблемах и решениях при разработке трансляторов и исполнительных сред для языка Kotlin - на данную тему есть несколько очень классных, просто шикарных лекций Андрея Бреслава, как в плане спектра освещённых тем…
YouTube
Лекция 2 | Kotlin: практика разработки | Андрей Бреслав | Лекториум
Лекция 1 | Курс: Kotlin: практика разработки современного языка программирования | Лектор: Андрей Бреслав | Организатор: CSClub
Смотрите это видео на Лекториуме: https://www.lektorium.tv/ZgG
Другие лекции курса «Kotlin: практика разработки современного…
Смотрите это видео на Лекториуме: https://www.lektorium.tv/ZgG
Другие лекции курса «Kotlin: практика разработки современного…
Technologique
https://www.youtube.com/watch?v=XFmZq8RxAiw
YouTube
Андрей Бреслав — Будущее Kotlin: Стратегия и тактика
Подробнее о Java-конференциях:
— весной — JPoint: https://jrg.su/gTrwHx
— осенью — Joker: https://jrg.su/h7yvG4
— —
. . . . Успешные проекты имеют тенденцию расти, и Котлин — не исключение. Мы поддерживаем новые платформы (JavaScript, Native) и новые парадигмы…
— весной — JPoint: https://jrg.su/gTrwHx
— осенью — Joker: https://jrg.su/h7yvG4
— —
. . . . Успешные проекты имеют тенденцию расти, и Котлин — не исключение. Мы поддерживаем новые платформы (JavaScript, Native) и новые парадигмы…
JPM Coin и начало глобальной корпорации.
https://www.cnbc.com/2019/02/13/jp-morgan-is-rolling-out-the-first-us-bank-backed-cryptocurrency-to-transform-payments--.html
JPM Coin - своя авторская разработка JPMorgan Chase на базе технологии блок-чейн (а принципы технологии блок-чейн универсальны).
Как и например AMQP, разработанный в лондонском JPMorgan Chase, ставший ныне корпоративным стандартом в качестве протокола обмена сообщениями и используемый во многих реализациях ESB в SOA архитектурах, и поддерживаемый множеством брокеров очередей сообщений и фреймворков для создания ESB шин. Но это уже другая история.
Суть в ином.
Важен прецедент и выбор момента (momentum) для вывода технологии на рынок.
Если коротко - это глобальная корпоратократия берёт верх и управление массами на себя, замещая государство (а роль государства в процессах глобализации нивелирована уже до крайности).
Гендиректор JPM Джейми Даймон не так давно (более года назад) заявил что биткойн "is a fraud/scam" (nobody knows how it was spelled actually), предсказав его падение (совпадение?).
https://www.cnbc.com/2017/09/12/jpmorgan-ceo-jamie-dimon-raises-flag-on-trading-revenue-sees-20-percent-fall-for-the-third-quarter.html
Смысл его посыла, что биткойн не имеет ценности и доверия, и стоит столько, сколько затрачивают энергии на поддержание его работы. Весьма справедливое замечание.
Теперь, спустя чуть более года, когда биткойн обрушили (угадайте кто!? брокеры WS? ОК, но кто за ними?), они запускают свой койн, который имеет ценность, потому что их койн конвертируем в доллар, потому что JPM крупнейший банк, и у них теперь есть собственная валюта!
И если раньше мы пользовались валютами стран, то теперь нас заставят мягкой слой и мы будем использовать валюты банков и корпораций, которые участвуют в реальной, не виртуальной, экономике многих стран и могут конвертировать свою реальную ценность, реальные деньги в виртуальные ценности.
https://www.zerohedge.com/news/2019-02-14/jp-morgan-becomes-first-bank-launch-its-own-cryptocurrency
https://madhousenews.com/2019/02/one-year-after-dimon-slammed-bitcoin-as-a-fraud-jpm-launches-own-cryptocurrency/
Пользоваться этим или нет - даже не нам решать, за нас уже всё решено. (наслаждаемся Пепси, радуемся жизни!)
И это last resort - если до этого фиатные деньги отвязали от золотовалютного стандарта, то теперь корпоративные деньги будут отвязанны от государственных (которые на самом деле тоже частные - ФРС), а фиатные деньги государств постепенно перейдут в виртуальные деньги, в активы корпораций. Такие дыры в экономике стран с лавинными утечками финансов немногим государствам дадут выжить - либо присоединяешься к глобальной корпорации, либо превращаешься в квазигосударство, колонию.
Самый худший киберпанк в реальности!
Сквозь призму этих соображений проглядывает реальная миссия биткойна - это лишь окно Овертона, преамбула для продвижения более глобальных идей.
Биткойн это тупик и был задуман как таймер обратного отчёта (с ограниченной эмиссией и повышением сложности вычислений, что в определённый момент биткойн станет невозможно использовать и зарабатывать на нём), как лакмус, который покажет банкам, когда выводить на рынок свои монопольные разработки.
Почему окно Овертона - на рынке уже масса криптовалют и предложений ICO.
И именно в этом всё дело - это уже считается нормой и никто даже не задумается глубоко и выпуск каким-либо банком (даже самым крупным) своего койна теперь это норма.
Мы теряем бдительность и нам спокойно насаждают идеи, которые раньше считались крамольными.
Представьте, что Google/Apple/Microsoft/Amazon/Facebook выпустят свой койн/ICO, мимо рынков ценных бумаг, и его например можно будет купить не только за фиатные деньги, но например обменять на него JPM Coin.
Именно это и есть процесс глобализации, когда значение государств ниже чем надгосударственных институтов и корпораций.
Мечта любого крупного банкира - выпуск валюты для масс и управления ими.
В общем, история со стратегией E-Coin банка E-Corp, показанная в сериале Mr.Robot, происходит наяву, прямо на наших глазах. Watch out!
https://www.cnbc.com/2019/02/13/jp-morgan-is-rolling-out-the-first-us-bank-backed-cryptocurrency-to-transform-payments--.html
JPM Coin - своя авторская разработка JPMorgan Chase на базе технологии блок-чейн (а принципы технологии блок-чейн универсальны).
Как и например AMQP, разработанный в лондонском JPMorgan Chase, ставший ныне корпоративным стандартом в качестве протокола обмена сообщениями и используемый во многих реализациях ESB в SOA архитектурах, и поддерживаемый множеством брокеров очередей сообщений и фреймворков для создания ESB шин. Но это уже другая история.
Суть в ином.
Важен прецедент и выбор момента (momentum) для вывода технологии на рынок.
Если коротко - это глобальная корпоратократия берёт верх и управление массами на себя, замещая государство (а роль государства в процессах глобализации нивелирована уже до крайности).
Гендиректор JPM Джейми Даймон не так давно (более года назад) заявил что биткойн "is a fraud/scam" (nobody knows how it was spelled actually), предсказав его падение (совпадение?).
https://www.cnbc.com/2017/09/12/jpmorgan-ceo-jamie-dimon-raises-flag-on-trading-revenue-sees-20-percent-fall-for-the-third-quarter.html
Смысл его посыла, что биткойн не имеет ценности и доверия, и стоит столько, сколько затрачивают энергии на поддержание его работы. Весьма справедливое замечание.
Теперь, спустя чуть более года, когда биткойн обрушили (угадайте кто!? брокеры WS? ОК, но кто за ними?), они запускают свой койн, который имеет ценность, потому что их койн конвертируем в доллар, потому что JPM крупнейший банк, и у них теперь есть собственная валюта!
И если раньше мы пользовались валютами стран, то теперь нас заставят мягкой слой и мы будем использовать валюты банков и корпораций, которые участвуют в реальной, не виртуальной, экономике многих стран и могут конвертировать свою реальную ценность, реальные деньги в виртуальные ценности.
https://www.zerohedge.com/news/2019-02-14/jp-morgan-becomes-first-bank-launch-its-own-cryptocurrency
https://madhousenews.com/2019/02/one-year-after-dimon-slammed-bitcoin-as-a-fraud-jpm-launches-own-cryptocurrency/
Пользоваться этим или нет - даже не нам решать, за нас уже всё решено. (наслаждаемся Пепси, радуемся жизни!)
И это last resort - если до этого фиатные деньги отвязали от золотовалютного стандарта, то теперь корпоративные деньги будут отвязанны от государственных (которые на самом деле тоже частные - ФРС), а фиатные деньги государств постепенно перейдут в виртуальные деньги, в активы корпораций. Такие дыры в экономике стран с лавинными утечками финансов немногим государствам дадут выжить - либо присоединяешься к глобальной корпорации, либо превращаешься в квазигосударство, колонию.
Самый худший киберпанк в реальности!
Сквозь призму этих соображений проглядывает реальная миссия биткойна - это лишь окно Овертона, преамбула для продвижения более глобальных идей.
Биткойн это тупик и был задуман как таймер обратного отчёта (с ограниченной эмиссией и повышением сложности вычислений, что в определённый момент биткойн станет невозможно использовать и зарабатывать на нём), как лакмус, который покажет банкам, когда выводить на рынок свои монопольные разработки.
Почему окно Овертона - на рынке уже масса криптовалют и предложений ICO.
И именно в этом всё дело - это уже считается нормой и никто даже не задумается глубоко и выпуск каким-либо банком (даже самым крупным) своего койна теперь это норма.
Мы теряем бдительность и нам спокойно насаждают идеи, которые раньше считались крамольными.
Представьте, что Google/Apple/Microsoft/Amazon/Facebook выпустят свой койн/ICO, мимо рынков ценных бумаг, и его например можно будет купить не только за фиатные деньги, но например обменять на него JPM Coin.
Именно это и есть процесс глобализации, когда значение государств ниже чем надгосударственных институтов и корпораций.
Мечта любого крупного банкира - выпуск валюты для масс и управления ими.
В общем, история со стратегией E-Coin банка E-Corp, показанная в сериале Mr.Robot, происходит наяву, прямо на наших глазах. Watch out!
CNBC
JP Morgan is rolling out the first US bank-backed cryptocurrency to transform payments business
Engineers at the lender have created the "JPM Coin," a digital token that will be used to instantly settle transactions in its wholesale payments business.
Monads & functors in Rust
https://varkor.github.io/blog/2019/03/28/idiomatic-monads-in-rust.html
https://twitter.com/withoutboats/status/1027702531361857536
Rust по своему дизайну идиоматически (eager/strict evaluation, нет динамизма типов в run-time, кроме
И хорошо что Rust идиоматически по своему дизайну абстракций имеет такую прививку, чтобы в итоге (благодаря сообществу) не превратиться в Haskell или очередную химеру.
Пусть лучше Haskell и Rust сохранят свою уникальность, без взаимных мутаций.
Симбиоз тут вряд ли возможен и вообще полезен.
Абстракции высших порядков будут в любом случае неизбежно вызывать динамизм типов в run-time и накладные расходы - их специализация невозможна, ввиду неразрешимости вывода HKT типов (по Хиндли-Милнеру), а значит без возможности специализации и мономорфизации типов в compile-time в run-time будет происходить их динамическая диспетчеризация, которая будет иметь свою стоимость.
Лучшее что придумали для решения вывода HKT типов - это контроль тотальности и termination/escape анализ, как в Idris, для исключения случаев вечного блуждания по графу зависимых типов при попытке их вывода.
В общем, есть низкоуровневые языки, с более плоскими абстракциями нулевой стоимости (zero-cost), есть высокоуровневые языки с поддержкой высших абстракций, более дорогих в run-time - это неизменная догма.
В Rust есть тайп-классы/типажи/трейты и GAT (generic associated types/traits), аналогичную функциональность обеспечивают шаблоны и препроцессор в C++.
Но высшие абстракции должны быть динамическими!
Python и Lisp (SBCL, Steel Bank Common Lisp) с SICP это лучшее что удалось для себя испробовать.
Idris также пошёл по пути динамизма абстракций - для высших абстракций другого пути нет и статический контроль для них уже мало применим!
Blodwen (https://github.com/edwinb/Blodwen), компилятор Idris 2.0, именно для повышения гибкости абстракций умеет порождать в бэкэнде код Scheme и Racket в качестве целевой платформы исполнения кода.
https://varkor.github.io/blog/2019/03/28/idiomatic-monads-in-rust.html
https://twitter.com/withoutboats/status/1027702531361857536
Rust по своему дизайну идиоматически (eager/strict evaluation, нет динамизма типов в run-time, кроме
dyn trait, который также специализируется) не поддерживает HKT (monads & functors) и полиморфизм высших порядков для типов в полной мере (вернее в Rust вывод типов для таких абстракций является неразрешимым ввиду специализации типов для их приведения к zero-cost абстракциям в compile-time и далее их исполнения в run-time), только GAT, обобщённые ассоциативные типы/типажи (generic associated types/traits), на базе которых описана ограниченная реализация монад и функторов в статье, но реализация абстракций поверх монад и функторов уже не является возможной, теряется эргономика использования таких абстракций.И хорошо что Rust идиоматически по своему дизайну абстракций имеет такую прививку, чтобы в итоге (благодаря сообществу) не превратиться в Haskell или очередную химеру.
Пусть лучше Haskell и Rust сохранят свою уникальность, без взаимных мутаций.
Симбиоз тут вряд ли возможен и вообще полезен.
Абстракции высших порядков будут в любом случае неизбежно вызывать динамизм типов в run-time и накладные расходы - их специализация невозможна, ввиду неразрешимости вывода HKT типов (по Хиндли-Милнеру), а значит без возможности специализации и мономорфизации типов в compile-time в run-time будет происходить их динамическая диспетчеризация, которая будет иметь свою стоимость.
Лучшее что придумали для решения вывода HKT типов - это контроль тотальности и termination/escape анализ, как в Idris, для исключения случаев вечного блуждания по графу зависимых типов при попытке их вывода.
В общем, есть низкоуровневые языки, с более плоскими абстракциями нулевой стоимости (zero-cost), есть высокоуровневые языки с поддержкой высших абстракций, более дорогих в run-time - это неизменная догма.
В Rust есть тайп-классы/типажи/трейты и GAT (generic associated types/traits), аналогичную функциональность обеспечивают шаблоны и препроцессор в C++.
Но высшие абстракции должны быть динамическими!
Python и Lisp (SBCL, Steel Bank Common Lisp) с SICP это лучшее что удалось для себя испробовать.
Idris также пошёл по пути динамизма абстракций - для высших абстракций другого пути нет и статический контроль для них уже мало применим!
Blodwen (https://github.com/edwinb/Blodwen), компилятор Idris 2.0, именно для повышения гибкости абстракций умеет порождать в бэкэнде код Scheme и Racket в качестве целевой платформы исполнения кода.
varkor’s blog
Idiomatic monads in Rust
A pragmatic new design for high-level abstractions Monads (and, more generally, constructs known as “higher kinded types”) are a tool for high-level abstraction in programming languages1. Historically, there has been a lot of debate inside (and outside) the…
#Rust уже четвётрый год подряд самый любимый язык разработчиков по данным свежего исследования Developer Сommunity Survey от StackOverflow на 2019 год
https://insights.stackoverflow.com/survey/2019#most-loved-dreaded-and-wanted
Результаты исследования предыдущих лет:
https://t.me/technologique/1272
https://t.me/technologique/893
https://t.me/technologique/186
https://insights.stackoverflow.com/survey/2019#most-loved-dreaded-and-wanted
Результаты исследования предыдущих лет:
https://t.me/technologique/1272
https://t.me/technologique/893
https://t.me/technologique/186
Слёрм-4 — интенсив по Kubernetes в Москве
Через месяц с 27 по 29 мая 2019 года в Москве пройдет Слёрм-4: трехдневный интенсивный курс по Kubernetes. Курс будет проходить как онлайн так и офлайн (живое участие) в Москве.
Чтобы освежить в памяти сопутствующие DevOps навыки либо быстро подтянуть знания до необходимого уровня, на курсе Слёрм Джуниор (с 20 мая) будут даны онлайн-курсы по Docker и Ansible, как базовые необходимые знания в дополнение к работе с Kubernetes в ходе курса Слёрм-4.
На самом курсе Слёрм-4 Вы сможете освоить технологии контейнерной оркестрации и кластеризации с помощью Kubernetes (K8s), DevOps практики по созданию своего кластера в облаке Selectel с поставкой и развёртыванием учебного приложения на данном кластере. Материалов Слёрма достаточно для эксплуатации кластера.
Курс будет полезен DevOps инженерам и разработчикам, желающим разобраться в текущих технологиях поставки и развёртывания серверных приложений в кластерных облачных инфраструктурах.
DevOps инженеры научатся разворачивать, настраивать и траблшутить кластер, а разработчики поймут возможности инфраструктуры, в которой работают их приложения и смогут изначально адаптировать проект под Kubernetes.
Все подробности, требования к участнику, программу занятий, контакты, форму регистрации – можно найти на официальном сайте
Через месяц с 27 по 29 мая 2019 года в Москве пройдет Слёрм-4: трехдневный интенсивный курс по Kubernetes. Курс будет проходить как онлайн так и офлайн (живое участие) в Москве.
Чтобы освежить в памяти сопутствующие DevOps навыки либо быстро подтянуть знания до необходимого уровня, на курсе Слёрм Джуниор (с 20 мая) будут даны онлайн-курсы по Docker и Ansible, как базовые необходимые знания в дополнение к работе с Kubernetes в ходе курса Слёрм-4.
На самом курсе Слёрм-4 Вы сможете освоить технологии контейнерной оркестрации и кластеризации с помощью Kubernetes (K8s), DevOps практики по созданию своего кластера в облаке Selectel с поставкой и развёртыванием учебного приложения на данном кластере. Материалов Слёрма достаточно для эксплуатации кластера.
Курс будет полезен DevOps инженерам и разработчикам, желающим разобраться в текущих технологиях поставки и развёртывания серверных приложений в кластерных облачных инфраструктурах.
DevOps инженеры научатся разворачивать, настраивать и траблшутить кластер, а разработчики поймут возможности инфраструктуры, в которой работают их приложения и смогут изначально адаптировать проект под Kubernetes.
Все подробности, требования к участнику, программу занятий, контакты, форму регистрации – можно найти на официальном сайте
В SkillFactory начался набор на онлайн-курс "Веб-разработка полного цикла на Python"
Получить подробную программу обучения, узнать больше информации и записаться на курс можно по следующей ссылке:
👉 https://clc.to/25jq_g
Курс стартует 27 мая.
Формат обучения - онлайн курс.
Длительность обучения - 9 месяцев.
На курсе Вы освоите и постигнете все необходимые на практике навыки для полного цикла (full-stack) веб-разработки - использование Python и веб-фреймворка Django для создания серверных приложений, использование баз данных и SQL для серверных приложений, использование JavaScript/ECMAScript для создания клиентской части приложений, HTML+CSS вёрстка, использование GNU/Linux и Docker для поставки и развёртывания серверных приложений в облачных инфраструктурах ASP провайдеров.
В ходе курса Вы выполните 3 сложных проекта, которые сможете добавить в своё проектное портфолио, что очень пригодится в дальнейшем трудоустройстве.
Обучение ведётся по очень хорошо структурированной и уже опробованной программе опытным преподавателем с многолетним стажем промышленной разработки на Python в различных проектах и компаниях, с постоянной помощью со стороны преподавателя и индивидуальным подходом, объяснение материала курса ведётся простым языком, без излишней информации и "воды", с упором на оттачивание практических навыков (20% теории и 80% практики), которые в дальнейшем будут востребованы и будут использоваться Вами в работе над проектами.
Цель курса - освоить специализацию веб-разработчика и применять полученные навыки в разработке проектов, в реальной работе в компаниях и на фриланс биржах.
Успейте записаться на курс до 22 мая со скидкой 20%!
Получить подробную программу обучения, узнать больше информации и записаться на курс можно по следующей ссылке:
👉 https://clc.to/25jq_g
Курс стартует 27 мая.
Формат обучения - онлайн курс.
Длительность обучения - 9 месяцев.
На курсе Вы освоите и постигнете все необходимые на практике навыки для полного цикла (full-stack) веб-разработки - использование Python и веб-фреймворка Django для создания серверных приложений, использование баз данных и SQL для серверных приложений, использование JavaScript/ECMAScript для создания клиентской части приложений, HTML+CSS вёрстка, использование GNU/Linux и Docker для поставки и развёртывания серверных приложений в облачных инфраструктурах ASP провайдеров.
В ходе курса Вы выполните 3 сложных проекта, которые сможете добавить в своё проектное портфолио, что очень пригодится в дальнейшем трудоустройстве.
Обучение ведётся по очень хорошо структурированной и уже опробованной программе опытным преподавателем с многолетним стажем промышленной разработки на Python в различных проектах и компаниях, с постоянной помощью со стороны преподавателя и индивидуальным подходом, объяснение материала курса ведётся простым языком, без излишней информации и "воды", с упором на оттачивание практических навыков (20% теории и 80% практики), которые в дальнейшем будут востребованы и будут использоваться Вами в работе над проектами.
Цель курса - освоить специализацию веб-разработчика и применять полученные навыки в разработке проектов, в реальной работе в компаниях и на фриланс биржах.
Успейте записаться на курс до 22 мая со скидкой 20%!
МегаСлёрм — интенсивный курс продвинутого уровня по технологиям кластеризации на базе Kubernetes в Москве для DevOps инженеров и разработчиков
В мае в Москве проходит Слёрм - трехдневные интенсивные курсы по Kubernetes.
Слёрм состоит из двух курсов: базового Слёрм-4, который будет проходить с 27 по 29 мая (@technologique/1362) и продвинутого МегаСлёрм, который пройдёт с 31 мая по 2 июня.
Курсы будут проходить как онлайн так и офлайн (живое участие) в Москве.
Места в зале на базовый курс закончились, но осталась возможность онлайн участия.
На продвинутый курс можно получить скидку 25% по промокоду
На самом курсе МегаСлёрм Вы сможете на более продвинутом уровне освоить многие тонкости технологий контейнерной оркестрации и кластеризации с помощью Kubernetes (K8s), опираясь на знания и навыки, полученные на базовом курсе или на своём личном опыте.
В ходе продвинутого курса будет также много практического применения DevOps практик из материалов курса, создание своего кластера в облаке Selectel с поставкой и развёртыванием приложений на данном кластере.
Курс будет полезен DevOps инженерам и разработчикам, желающим разобраться в тонкостях текущих технологий поставки и развёртывания серверных приложений, работающих в среде мультиконтейнерной оркестрации Kubernetes.
Также курс позволит лучше освоить полный цикл DevOps практик автоматизации процессов разработки, тестирования и сборки, поставки и развёртывания, запуска и обеспечения безопасности, эксплуатации и мониторинга серверных приложений в кластерных облачных инфраструктурах с помощью Kubernetes.
Примеры вопросов, которые будут освещены и будут разбираться на продвинутом курсе:
— можно ли запустить базу данных в k8s, нужно ли это делать, что мы выигрываем и проигрываем от такой архитектуры;
— какие подходы к деплою очевидно не подходят для k8s;
— какие угрозы безопасности несет k8s (например, разработчик легко может получить доступ администратора) и как их предотвратить;
— какие схемы автоматизации инфраструктуры допускает k8s и как научиться их находить и использовать.
Все подробности, требования к участнику, программу занятий, контакты, форму регистрации – можно найти на официальном сайте
В мае в Москве проходит Слёрм - трехдневные интенсивные курсы по Kubernetes.
Слёрм состоит из двух курсов: базового Слёрм-4, который будет проходить с 27 по 29 мая (@technologique/1362) и продвинутого МегаСлёрм, который пройдёт с 31 мая по 2 июня.
Курсы будут проходить как онлайн так и офлайн (живое участие) в Москве.
Места в зале на базовый курс закончились, но осталась возможность онлайн участия.
На продвинутый курс можно получить скидку 25% по промокоду
LASTWEEK.На самом курсе МегаСлёрм Вы сможете на более продвинутом уровне освоить многие тонкости технологий контейнерной оркестрации и кластеризации с помощью Kubernetes (K8s), опираясь на знания и навыки, полученные на базовом курсе или на своём личном опыте.
В ходе продвинутого курса будет также много практического применения DevOps практик из материалов курса, создание своего кластера в облаке Selectel с поставкой и развёртыванием приложений на данном кластере.
Курс будет полезен DevOps инженерам и разработчикам, желающим разобраться в тонкостях текущих технологий поставки и развёртывания серверных приложений, работающих в среде мультиконтейнерной оркестрации Kubernetes.
Также курс позволит лучше освоить полный цикл DevOps практик автоматизации процессов разработки, тестирования и сборки, поставки и развёртывания, запуска и обеспечения безопасности, эксплуатации и мониторинга серверных приложений в кластерных облачных инфраструктурах с помощью Kubernetes.
Примеры вопросов, которые будут освещены и будут разбираться на продвинутом курсе:
— можно ли запустить базу данных в k8s, нужно ли это делать, что мы выигрываем и проигрываем от такой архитектуры;
— какие подходы к деплою очевидно не подходят для k8s;
— какие угрозы безопасности несет k8s (например, разработчик легко может получить доступ администратора) и как их предотвратить;
— какие схемы автоматизации инфраструктуры допускает k8s и как научиться их находить и использовать.
Все подробности, требования к участнику, программу занятий, контакты, форму регистрации – можно найти на официальном сайте
Всем привет!
Публикации в ближайшее время будут, они в подготовке, например по языку Rust.
Поэтому ситуация с балансом между постами канала и рекламными постами постепенно выровняется.
Материалов и времени на их подготовку сейчас не так много, но планируется выпускать по две публикации и по одному рекламному посту или анонсу мероприятий в неделю.
Реклама будет исключительно образовательного характера, полезная для людей, кто хочет освоить, развить и углубить навыки в IT профессиях или переквалифицироваться.
Реклама нужна для поддержки развития канала и оплаты сопутствующих расходов.
Ваши просмотры постов и подписка помогают каналу в продолжении своей миссии и деятельности - за три с лишним года существования канала у нас было много высококлассных публикаций и лонгридов, несвойственных формату Telegram и я надеюсь, что это удастся продолжить.
В будущем планируется изменить процесс подготовки, редактирования, вёрстки и релиза публикаций, перенести всё на блог платформу и сделать более открытым (CC license, git репозиторий, статическая вёрстка, на базе Hugo или Cobalt.rs), с автоматическим pipelining'ом публикаций в Medium и Yandex.Zen - работа в этом направлении постепенно идёт.
Спасибо всем за поддержку и благодарю за понимание!
Публикации в ближайшее время будут, они в подготовке, например по языку Rust.
Поэтому ситуация с балансом между постами канала и рекламными постами постепенно выровняется.
Материалов и времени на их подготовку сейчас не так много, но планируется выпускать по две публикации и по одному рекламному посту или анонсу мероприятий в неделю.
Реклама будет исключительно образовательного характера, полезная для людей, кто хочет освоить, развить и углубить навыки в IT профессиях или переквалифицироваться.
Реклама нужна для поддержки развития канала и оплаты сопутствующих расходов.
Ваши просмотры постов и подписка помогают каналу в продолжении своей миссии и деятельности - за три с лишним года существования канала у нас было много высококлассных публикаций и лонгридов, несвойственных формату Telegram и я надеюсь, что это удастся продолжить.
В будущем планируется изменить процесс подготовки, редактирования, вёрстки и релиза публикаций, перенести всё на блог платформу и сделать более открытым (CC license, git репозиторий, статическая вёрстка, на базе Hugo или Cobalt.rs), с автоматическим pipelining'ом публикаций в Medium и Yandex.Zen - работа в этом направлении постепенно идёт.
Спасибо всем за поддержку и благодарю за понимание!
Elixir & Rust - perfect match
https://blog.discordapp.com/using-rust-to-scale-elixir-for-11-million-concurrent-users-c6f19fc029d3
По GitHub аккаунту Discord давно известно, что компания активно применяет Rust в своих разработках.
Но до сих пор эти разработки не были в core network services бэкэнда приложения.
https://github.com/discordapp?q=&type=&language=rust
Но самое интересное в статье - research подход, методы computer science и нагрузочного тестирования для оценки эффективности применяемых методов, описание процесса и пройденных итераций, как в Discord шли по этому пути и искали методы оптимизации основной структуры данных, хранящей информацию об онлайн пользователях и чат команатах, как удалось масштабировать по нагрузке BEAMVM и оптимизировать структуру данных для системы хранения и чтения/записи горячих данных о чат комнатах (guilds) и их пользователях (информационный ростер-релей), благодаря переписыванию структуры данных (SortedSet) на Rust и применению модуля, содержащего реализацию этой структуры данных и операций с ней, как низкоуровневых функций, инитегрированных в BEAMVM (Erlang NIF) с помощью проекта Rustler (https://github.com/hansihe/Rustler) для приложений бэкэнда контроллера соединений (core network services) на Elixir.
https://github.com/discordapp/sorted_set_nif
#Rust
Публикации по данной теме:
Оптимизация критических участков проектов на Python с помощью Rust на примере опыта проекта Sentry:
https://t.me/technologique/1123
https://t.me/technologique/1153
Нативные бинарные модули на Rust для проектов на Node.js:
https://t.me/technologique/1162
https://blog.discordapp.com/using-rust-to-scale-elixir-for-11-million-concurrent-users-c6f19fc029d3
По GitHub аккаунту Discord давно известно, что компания активно применяет Rust в своих разработках.
Но до сих пор эти разработки не были в core network services бэкэнда приложения.
https://github.com/discordapp?q=&type=&language=rust
Но самое интересное в статье - research подход, методы computer science и нагрузочного тестирования для оценки эффективности применяемых методов, описание процесса и пройденных итераций, как в Discord шли по этому пути и искали методы оптимизации основной структуры данных, хранящей информацию об онлайн пользователях и чат команатах, как удалось масштабировать по нагрузке BEAMVM и оптимизировать структуру данных для системы хранения и чтения/записи горячих данных о чат комнатах (guilds) и их пользователях (информационный ростер-релей), благодаря переписыванию структуры данных (SortedSet) на Rust и применению модуля, содержащего реализацию этой структуры данных и операций с ней, как низкоуровневых функций, инитегрированных в BEAMVM (Erlang NIF) с помощью проекта Rustler (https://github.com/hansihe/Rustler) для приложений бэкэнда контроллера соединений (core network services) на Elixir.
https://github.com/discordapp/sorted_set_nif
#Rust
Публикации по данной теме:
Оптимизация критических участков проектов на Python с помощью Rust на примере опыта проекта Sentry:
https://t.me/technologique/1123
https://t.me/technologique/1153
Нативные бинарные модули на Rust для проектов на Node.js:
https://t.me/technologique/1162
Medium
Using Rust to Scale Elixir for 11 Million Concurrent Users
Must. Go. Faster.
AMD at Computex 2019
AMD на международной выставке электроники Computex 2019 представили новое третье поколение процессоров Ryzen и серверных процессоров EPYC на базе микроархитектуры Zen 2, а также новое поколение дискретных ускорителей графики GPU Radeon, на базе микроархитектуры Navi.
CPU и GPU выполнены по 7 нм техпроцессу TSMC.
https://youtu.be/_96stDCb-mk
https://youtu.be/jy0Q75xCwDU
На данный момент только AMD выпускают десктопные 8-и и 12-и ядерные процессоры (выход 16-и ядерных Zen 2 AMD пока придерживают), выполненные по техпроцессу 7 нм TSMC и только в процессорах AMD есть встроенные ускорители графики с поддержкой 4K@60Hz по HDMI 2.1 (и DP 1.4, естественно) и поддержкой мультимониторных конфигураций с высоким разрешением и частотой обновления кадров.
Ситуация повторяется как и 12 лет назад.
По соотношению цены, мощности, качества (не забываем про недавние и вновь обнаруженные уязвимости архитектуры Intel и конвейера с упреждающим исполением и параллелизмом на уровне инструкций) и универсальности (сегментация рынка - разные сокеты и RAM память) - AMD вновь лучшие с процессорами Ryzen (и серверными EPYC), с микроархитектурами Zen, Zen+ и Zen 2. Скоро, в будущем году, на подходе микроархитектура Zen 3, которая будет выполнена также по 7 нм техпроцессу и при этом на том же сокете AM4 (но следует пока подождать унификации чипсетов X570 и поддержки процессоров в BIOS для поколений Zen 2 и Zen 3).
AMD сейчас лидирует и на десктоп и на ультрамобильном рынке со своими CPU и APU, с ускорителями графики RADEON APU от ATI, и ещё долго будут, не говоря уже об игровом рынке и рынке игровых консолей.
Intel делает больший упор на серверный и корпоративный сегмент рынка с процессорами Xeon Cascade Lake, где их позиции также слабеют - AMD уверенно увеличивает свою долю рынка с процессорами EPYC.
Но не нужно забывать, что у Intel есть также свои козыри - покупка исследовательской компании Soft Machines и участие Джима Келлера (перешедшего из AMD и Apple в Intel) в разработках новых архитектур дадут свои плоды, но, судя по крайнему отчёту Intel перед инвесторами и показанному не очень оптимистичному по срокам roadmap'у на мероприятии - не в ближайшей перспективе.
Предыдущие публикации и развитие темы современных микропроцессоров и микроархитектур от AMD и Intel:
#28
#88
#785
#1102
#1242
#1289
AMD на международной выставке электроники Computex 2019 представили новое третье поколение процессоров Ryzen и серверных процессоров EPYC на базе микроархитектуры Zen 2, а также новое поколение дискретных ускорителей графики GPU Radeon, на базе микроархитектуры Navi.
CPU и GPU выполнены по 7 нм техпроцессу TSMC.
https://youtu.be/_96stDCb-mk
https://youtu.be/jy0Q75xCwDU
На данный момент только AMD выпускают десктопные 8-и и 12-и ядерные процессоры (выход 16-и ядерных Zen 2 AMD пока придерживают), выполненные по техпроцессу 7 нм TSMC и только в процессорах AMD есть встроенные ускорители графики с поддержкой 4K@60Hz по HDMI 2.1 (и DP 1.4, естественно) и поддержкой мультимониторных конфигураций с высоким разрешением и частотой обновления кадров.
Ситуация повторяется как и 12 лет назад.
По соотношению цены, мощности, качества (не забываем про недавние и вновь обнаруженные уязвимости архитектуры Intel и конвейера с упреждающим исполением и параллелизмом на уровне инструкций) и универсальности (сегментация рынка - разные сокеты и RAM память) - AMD вновь лучшие с процессорами Ryzen (и серверными EPYC), с микроархитектурами Zen, Zen+ и Zen 2. Скоро, в будущем году, на подходе микроархитектура Zen 3, которая будет выполнена также по 7 нм техпроцессу и при этом на том же сокете AM4 (но следует пока подождать унификации чипсетов X570 и поддержки процессоров в BIOS для поколений Zen 2 и Zen 3).
AMD сейчас лидирует и на десктоп и на ультрамобильном рынке со своими CPU и APU, с ускорителями графики RADEON APU от ATI, и ещё долго будут, не говоря уже об игровом рынке и рынке игровых консолей.
Intel делает больший упор на серверный и корпоративный сегмент рынка с процессорами Xeon Cascade Lake, где их позиции также слабеют - AMD уверенно увеличивает свою долю рынка с процессорами EPYC.
Но не нужно забывать, что у Intel есть также свои козыри - покупка исследовательской компании Soft Machines и участие Джима Келлера (перешедшего из AMD и Apple в Intel) в разработках новых архитектур дадут свои плоды, но, судя по крайнему отчёту Intel перед инвесторами и показанному не очень оптимистичному по срокам roadmap'у на мероприятии - не в ближайшей перспективе.
Предыдущие публикации и развитие темы современных микропроцессоров и микроархитектур от AMD и Intel:
#28
#88
#785
#1102
#1242
#1289
YouTube
AMD CEO Lisa Su’s COMPUTEX 2019 Keynote
Watch AMD President and CEO Dr. Lisa Su's keynote at Computex 2019 in Taipei, speaking to the next generation of high-performance computing.
Discover more: https://www.amd.com/computex
***
Subscribe: http://bit.ly/Subscribe_to_AMD
Like us on Facebook:…
Discover more: https://www.amd.com/computex
***
Subscribe: http://bit.ly/Subscribe_to_AMD
Like us on Facebook:…
Technologique
AMD at Computex 2019 AMD на международной выставке электроники Computex 2019 представили новое третье поколение процессоров Ryzen и серверных процессоров EPYC на базе микроархитектуры Zen 2, а также новое поколение дискретных ускорителей графики GPU Radeon…
Есть также вещь, которую лично я ждал очень давно - увеличение доли рынка AMD в сегменте топовых мобильных и ультрамобильных компьютеров, и особенно выпуск бизнес решений на базе CPU/APU от AMD.
Например недавний анонс выпуска этим летом линейки бизнес лэптопов ThinkPad серии X и T - X395/T495/T495s, пока на базе AMD Zen+ Ryzen Pro APU.
https://youtu.be/J3SUBxcKjyA
#ThinkPad
Например недавний анонс выпуска этим летом линейки бизнес лэптопов ThinkPad серии X и T - X395/T495/T495s, пока на базе AMD Zen+ Ryzen Pro APU.
https://youtu.be/J3SUBxcKjyA
#ThinkPad
YouTube
Finally, good Ryzen laptops: High-end ThinkPads go AMD
Gordon explains why AMD processors coming to Lenovo's popular ThinkPad line is a big deal, and why businesses might finally be ok jumping to it.
Read the full article at PCWorld.com: https://www.pcworld.com/article/3393439/lenovo-puts-amd-ryzen-chips-in…
Read the full article at PCWorld.com: https://www.pcworld.com/article/3393439/lenovo-puts-amd-ryzen-chips-in…
Technologique
AMD at Computex 2019 AMD на международной выставке электроники Computex 2019 представили новое третье поколение процессоров Ryzen и серверных процессоров EPYC на базе микроархитектуры Zen 2, а также новое поколение дискретных ускорителей графики GPU Radeon…
Intel at Computex 2019
Полная запись трансляции:
https://youtu.be/E7owNQ7KjiY
Основная выжимка (Keynote):
https://youtu.be/u4G_41DSfQQ
Чипмэйкеры завладели всем вниманием к международной выставке Computex.
Intel представили новое поколение процессоров Ice Lake, выполненных по технологическим нормам 10 нм техпроцесса и новое значительно переработанное поколение встроенных в процессор ускорителей графики, с поддержкой подключения нескольких дисплеев, высоких разрешений (5K и 8K), Display Port 1.4a и HDMI 2.0 (4K@60Hz).
Тем не менее пока пиковые частоты новых процессоров в boost режиме ускорения при повышении частот ядер несколько ниже предыдущего 14 нм поколения Coffee Lake и 10 нм Canon Lake.
Над ужесточением технологических норм Intel бились последние пять лет, с 2014-2015 года, и нужно отметить, что несмотря на длительное ожидание добились очень высоких результатов - хоть производительность и увеличилась не столь ощутимо, однако энергопотребление чипов удалось понизить значительно, что было критически важно для выхода нового поколения процессоров и их применения в сегменте ультрамобильных компьютеров и серверном корпоративном секторе рынка.
Также важно отметить, что нормы 10 нм техпроцесса, а именно линейные размеры FinFET транзисторов в новой микроархитектуре Intel соответствуют таковым в 7 нм техпроцессе TSMC, по которому изготавливается микроархитектура Zen 2 от AMD.
Таким образом плотность размещения и количество транзисторов на единицу площади для литографических техпроцессов 10 нм от Intel и 7 нм TSMC практически одинаковы - прогресс в литографии и литографическом оборудовании от ASML для производства чипов идёт постепенно и все производители двигаются вровень, а цифры это лишь маркетинг.
Доступную информанию о реальных линеных размерах транзисторов, нормах техпроцессов и их сравнение можно посмотреть в WikiChip:
https://en.wikichip.org/wiki/10_nm_lithography_process
https://en.wikichip.org/wiki/7_nm_lithography_process
#Intel
Полная запись трансляции:
https://youtu.be/E7owNQ7KjiY
Основная выжимка (Keynote):
https://youtu.be/u4G_41DSfQQ
Чипмэйкеры завладели всем вниманием к международной выставке Computex.
Intel представили новое поколение процессоров Ice Lake, выполненных по технологическим нормам 10 нм техпроцесса и новое значительно переработанное поколение встроенных в процессор ускорителей графики, с поддержкой подключения нескольких дисплеев, высоких разрешений (5K и 8K), Display Port 1.4a и HDMI 2.0 (4K@60Hz).
Тем не менее пока пиковые частоты новых процессоров в boost режиме ускорения при повышении частот ядер несколько ниже предыдущего 14 нм поколения Coffee Lake и 10 нм Canon Lake.
Над ужесточением технологических норм Intel бились последние пять лет, с 2014-2015 года, и нужно отметить, что несмотря на длительное ожидание добились очень высоких результатов - хоть производительность и увеличилась не столь ощутимо, однако энергопотребление чипов удалось понизить значительно, что было критически важно для выхода нового поколения процессоров и их применения в сегменте ультрамобильных компьютеров и серверном корпоративном секторе рынка.
Также важно отметить, что нормы 10 нм техпроцесса, а именно линейные размеры FinFET транзисторов в новой микроархитектуре Intel соответствуют таковым в 7 нм техпроцессе TSMC, по которому изготавливается микроархитектура Zen 2 от AMD.
Таким образом плотность размещения и количество транзисторов на единицу площади для литографических техпроцессов 10 нм от Intel и 7 нм TSMC практически одинаковы - прогресс в литографии и литографическом оборудовании от ASML для производства чипов идёт постепенно и все производители двигаются вровень, а цифры это лишь маркетинг.
Доступную информанию о реальных линеных размерах транзисторов, нормах техпроцессов и их сравнение можно посмотреть в WikiChip:
https://en.wikichip.org/wiki/10_nm_lithography_process
https://en.wikichip.org/wiki/7_nm_lithography_process
#Intel
YouTube
Intel’s Gregory Bryant Offers Industry Opening Keynote at COMPUTEX 2019 | Intel
Intel’s Gregory Bryant, senior vice president and general manager of the Client Computing Group, presented the COMPUTEX 2019 Industry Opening Keynote, “Powering Every Person’s Greatest Contribution, Together,” on Tuesday, May 28, 2019, in Taipei, Taiwan.…