[
Size: a a a
2021 June 13
K
zerg screeching
AG
вообще у данви была разборная статья
http://www.brics.dk/RS/03/33/ Danvy, [2003] "A Rational Deconstruction of Landin's SECD Machine"
и леруа на слайдах приводил разбор
https://xavierleroy.org/mpri/2-4/machines.pdf
http://www.brics.dk/RS/03/33/ Danvy, [2003] "A Rational Deconstruction of Landin's SECD Machine"
и леруа на слайдах приводил разбор
https://xavierleroy.org/mpri/2-4/machines.pdf
2021 June 14
AT
Kolmogorov is so famous it's https://bertrandmeyer.com/2011/09/24/fun-with-bayes/ 😂
Cʕ
An esoteric visual language that takes image files as input based on a multi-tape Turing machine, designed for compatibility with C.
The "parser" is based on computer vision and the backend produces C code. 🧐
https://github.com/TartanLlama/vizh
The "parser" is based on computer vision and the backend produces C code. 🧐
https://github.com/TartanLlama/vizh
DP
Кстати. На тему гпу, картинок, компиляторов - язык который реально 2д - типа брейнфака, скорее всего хорошо паралелится, если каждый гейт считается одновременно и в этом 2д поле инфа движется со скоростью 1 клетку за фрейм
я так понимаю язык выше на самом деле 1д, как и почти все языки, и просто показан в виде картинки
я так понимаю язык выше на самом деле 1д, как и почти все языки, и просто показан в виде картинки
K
Программировать-то на этой эзотерике-то как?
[
а не надо программировать, надо любоваться, как параллелится всё
DP
автоматизировать )
или тут только компиляторы для человеко-читаемых языков?
я предположил что автоматически генерируемый код тут еще укладывается в тематику
или тут только компиляторы для человеко-читаемых языков?
я предположил что автоматически генерируемый код тут еще укладывается в тематику
[
> автоматизировать )
т.е. использовать в качестве байткода?
т.е. использовать в качестве байткода?
[
у меня есть подозрения, что футарк так и сделали
[
но это не точно
[
ну, не в прямом смысле на бреинфаке, но оптимизировали промежуточные представления в угоду большей параллелизации
2021 June 15
M
Интересный кстати кейс
M
Все не выйдет конечно, но распаралелить. Я смотрел виде когда то давно, был чувак который написал такую базу данных, до него и после никто вроде не делал такого
M
Ну или мейлу не сунули это в презентацию
M
Закон Амдала
AT
https://github.com/antonmks/Alenka
Вот эту, что ли? 😄
Сейчас все кому не лень оффлоадят тяжёлые запросы на GPU, включая, конечно же, SQL базы, не говоря уже про колоночные.
Вот эту, что ли? 😄
Сейчас все кому не лень оффлоадят тяжёлые запросы на GPU, включая, конечно же, SQL базы, не говоря уже про колоночные.
