AG
да, вот только хотел написать что пресловутый co-dfns вроде как утверждает что он селф-хостинг и собирается на гпу
Size: a a a
2021 June 12
DF
Собирается? Атас!
DF
Как понять?
D
Фичи медленнее остальных компиляторов реализуются
DF
А я думал речь про код компиьятора может
DP
https://news.ycombinator.com/item?id=13797797 "Explaining my 750 line compiler+runtime designed to GPU self-host APL"
B
Так, я без просмотра выше: это панда?
B
Да, это панда.
B
противоречивые
[
иронично
B
Ждём, когда он захочет скомпилировать операционку, написанную на JS под GPU, компилятором, который написан на JS под GPU. И зависимыми типами.
B
И чтобы эта операционка была веб-приложением
B
Веб-приложением чего? Это не очень важно, зато выживание.
[
и чтоб всё это поднималось на новом компьютере за пару кликов, весило 500 килобайт и могло работать на любой хрени, которая умеет в glsl?
B
Главное, что зависимые типы у нас будут реализоваться через статистический инференс огромного числа проверок свойств, но это будет запускаться именно за пару кликов
Когда-нибудь
Когда-нибудь
[
желательно чтоб между началом компиляции интерпретации и стартом кода проходило менее секунды?
B
Всё так
DP
(записал)
SD
так а если серьезно, для малограмотных, почему на гпу нельзя компилировать?
DP
потому что там дорогой if(считает обе ветви), 400мгц ядра, очень дорогие atomic, значительная часть компиляции не параллелится вообще, нет jmp, goto, дорогой доступ к общей памяти на чтение, очень дорогой доступ к общей памяти на запись
т.е. можно, просто скорее всего это будет медленнее. и скорее всего существенно медленнее
т.е. можно, просто скорее всего это будет медленнее. и скорее всего существенно медленнее