В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Язык программирования Julia / Julia programming language

297 membersпожаловаться на группу
2019 September 10

KH

Katie Hyatt in Язык программирования Julia / Julia programming language
Стефан сказал нам "всем привет".
источник
20:09пожаловаться#1

KT

Kirill Tsaregorodtsev in Язык программирования Julia / Julia programming language
sticker.webp
(49.68 Кб)
источник
20:14пожаловаться#2

GI

Gleb Ivashkevich in Язык программирования Julia / Julia programming language
Katie Hyatt
Стефан сказал нам "всем привет".
а? где? я пропустил)
источник
20:14пожаловаться#3

KH

Katie Hyatt in Язык программирования Julia / Julia programming language
Slack DM :)
источник
20:17пожаловаться#4

AK

Andrey Konovalov in Язык программирования Julia / Julia programming language
@phTraveller
Сорри, не вырубил звук :(
источник
20:20пожаловаться#5

GI

Gleb Ivashkevich in Язык программирования Julia / Julia programming language
норм)
источник
20:21пожаловаться#6

GC

Great Cheese Wall in Язык программирования Julia / Julia programming language
Katie Hyatt
Стефан сказал нам "всем привет".
карпински о_о ?
источник
20:25пожаловаться#7

KH

Katie Hyatt in Язык программирования Julia / Julia programming language
Да)
источник
20:25пожаловаться#8

GC

Great Cheese Wall in Язык программирования Julia / Julia programming language
круто
источник
20:25пожаловаться#9

GI

Gleb Ivashkevich in Язык программирования Julia / Julia programming language
всем спасибо за участие) спикерам - @ulysses4ever и @ailevenchuk - и всем гостям. со звуком были странности, но к следующему разу мы это поправим)
источник
22:06пожаловаться#10

KH

Katie Hyatt in Язык программирования Julia / Julia programming language
Спасибо за трансляцию :)
источник
22:09пожаловаться#11

GI

Gleb Ivashkevich in Язык программирования Julia / Julia programming language
👌
источник
22:12пожаловаться#12

GI

Gleb Ivashkevich in Язык программирования Julia / Julia programming language
коллеги, если есть какие-то предложения/пожелания/замечания - велкам. изнутри не оч видно)
источник
22:13пожаловаться#13

AP

Artem Pelenitsyn in Язык программирования Julia / Julia programming language
слайды:
http://staff.mmcs.sfedu.ru/~ulysses/Talks/2019-moscow-julia-meetup/
на первой странице есть ссылка на диаграммы, которые я открывал в первой половине…
источник
22:17пожаловаться#14

AL

Anatoly Levenchuk in Язык программирования Julia / Julia programming language
Мои слайды: https://yadi.sk/i/yBeUJJj1iuiJXQ
Yandex.Disk
julia_future_sep19.pptx
View and download from Yandex.Disk
источник
22:40пожаловаться#15

KT

Kirill Tsaregorodtsev in Язык программирования Julia / Julia programming language
А это правда, что типы образуют какую-то решетку, и фактически мы в ней ищем какие то инфимумы
источник
23:18пожаловаться#16

KT

Kirill Tsaregorodtsev in Язык программирования Julia / Julia programming language
Когда пытаемся найти самый специфичный метод
источник
23:18пожаловаться#17
2019 September 11

AP

Artem Pelenitsyn in Язык программирования Julia / Julia programming language
Kirill Tsaregorodtsev
А это правда, что типы образуют какую-то решетку, и фактически мы в ней ищем какие то инфимумы
да, конечно. Проблема в том, как конструктивно описать эту решётку. Например, в решётке должна выполняться транзитивность, но мы не уверены, как доказать транзитивность ни в наших правилах, ни что она выполняется в Джулии. Вот пример бага с транзитивностью, который мы заметили во время работы.
https://github.com/JuliaLang/julia/issues/24166
GitHub
Subtyping is not reflexive and not transitive with triangular rule · Issue #24166 · JuliaLang/julia
In julia 0.6.0 subtyping is not reflexive for some examples. julia> (Tuple{T, T} where Int<:T<:Int) <: (Tuple{T, T} where Int<:T<:Int) false julia> ...
источник
00:31пожаловаться#18

AP

Artem Pelenitsyn in Язык программирования Julia / Julia programming language
кроме того, джулия это максимум полу-решётка, так как нет полноценных типов-пересечений — только объединения. Вот проблема, когда мы думали, что для непротиворечивого подтипирования нужны полноценные типы-пересечения, но Джефф придумал как выкрутиться: он ввёл функцию, которая вычисляет пересеченеи двух типов для простых случаев, и оказалось, что этого (вроде бы :)) достаточно:
https://github.com/JuliaLang/julia/issues/26131
GitHub
subtyping bug in rule for var <: T · Issue #26131 · JuliaLang/julia
Found by @julbinb: julia> Vector{Vector{Number}} <: Vector{Union{Vector{Number}, Vector{S}}} where S<:Integer true The cause is in the function var_lt. A comment there claims t...
источник
00:34пожаловаться#19

AP

Artem Pelenitsyn in Язык программирования Julia / Julia programming language
(там в комментах пересечение называется meet — это как раз теоретико-решёточное имя пересечения)
источник
00:35пожаловаться#20