не согласен с гиперболизмом

Тогда почему мы не пишем на ассемблере а стараемся делегировать низкоуровневые вещи?

абсолютно несравнимые типы абстрагирования

слушаю

вспомнил https://github.com/lamdu/lamdu

Я просто не строю предположений просто из лучших побуждений, я уже неоднократно видел к чему это всё приводит и имею все основания полагать, что данная попытка ничем не отличается от длинного ряда предыдущих

https://flowhub.io/ide/

Трёхмерное программирование нод, музыкальное сигнальное программирование — везде раз за разом получается один и тот же хаотический пиздец.

Безумие — это точное повторение одного и того же, раз за разом, в надежде на изменение

Это не работает в лоб, никак

я же почему-то думаю, что любой способ построить что-то на основе чего-то тупиковый возьмем множество натуральных чисел. Попробуем найти в нем способ кодировать пары чисел. Мы можем это сделать, но всегда будем ограничены, это будут костыли. Но добавляем просто декартово произведение и получем пары в двухмерном пространстве. Мы для каждого элемента множества взяли еще такое же множество. Что же тогда "добавление изменения коду"? На каждую единицу кода (а что под этим понимать? Терм? код? символ?) иметь формальную систему. Я пока не могу понять, что должно получиться. То есть мы берем некий терм формальной системы, а там еще одна внутри этого терма. Некое программирование высшего порядка. Если мы берем двухмерное визуальное программирование и делаем из него трехмерное - мы ведь получаем то же самое

https://flowhub.io/ide/

во, кстати, мб визуальное программирование будет удобно через тачскрины делать

Я просто не строю предположений просто из лучших побуждений, я уже неоднократно видел к чему это всё приводит и имею все основания полагать, что данная попытка ничем не отличается от длинного ряда предыдущих

и не спорю

Ну раз есть гомотопическая теория типов как изоморфизм, то можно сделать так что реально в пространстве гомотопий кодить, а не только на типах

я же почему-то думаю, что любой способ построить что-то на основе чего-то тупиковый возьмем множество натуральных чисел. Попробуем найти в нем способ кодировать пары чисел. Мы можем это сделать, но всегда будем ограничены, это будут костыли. Но добавляем просто декартово произведение и получем пары в двухмерном пространстве. Мы для каждого элемента множества взяли еще такое же множество. Что же тогда "добавление изменения коду"? На каждую единицу кода (а что под этим понимать? Терм? код? символ?) иметь формальную систему. Я пока не могу понять, что должно получиться. То есть мы берем некий терм формальной системы, а там еще одна внутри этого терма. Некое программирование высшего порядка. Если мы берем двухмерное визуальное программирование и делаем из него трехмерное - мы ведь получаем то же самое

рамблинг

рамблинг

намекаешь на бессвязный текст? Возможно, но это пивасик все

Ну раз есть гомотопическая теория типов как изоморфизм, то можно сделать так что реально в пространстве гомотопий кодить, а не только на типах

Все подобные идеи строятся в первую очередь на тезисах, довольно существенным образом меняющим суть происходящего, только после этого появляется возможность выйти из рамок. "Предположим, что через одну точку могут проходить более одной параллельной прямой" То есть, без какого-либо ключевого нововведения, позволяющим представить цель с иной точки зрения, результат будет предсказуемым

вот я могу представить систему где все айтемы раста в своих блоках и можно переключаться по ним удобно через иде

"Удобно" — это следствие, ты не можешь его заложить изначально ?

"Удобно" — это следствие, ты не можешь его заложить изначально ?

можешь его исключить, должно быть очевидно что мой поинт не меняется

Никто не спорит что это возможно, просто вопрос в том будет ли это удобно — требует экспериментальной проверки)

Регулярно при практической имплеменации сталкиваешься с тем, о чем думал что это не возможно, не существенно или не думал вообще. Одна из причин почему UI делать довольно сложно, особенно какие-нибудь революционные концепции — у него совершенно иные свойства, не похожие на обычный привычный программистам код

я и не хочу юи

Терминал к вашим услугам)

Хотя не, там тоже ui

lower your wit

lower you wut?

вести диалог невозможно иначе

7 776

еееее

пацаны

хелз сильно вырос

это из-за пидорбота

так и задумывалось

>48%

так

хелз вырос ровно на несколько минут

он 60+ был

7 776

а это ок?

наверное пока не писали ничего

а это ок?

а что это?

хз

это из-за пидорбота

Из-за спам-бота

Кмк

не похоже на рекламу

Хз)

мм, кажется код гиас помог мне понять за что я так не люблю mecha аниме

ну

за долгие паузы

за плот девайсы

они всюду

и не требуют никаких усилий, да и сами меки почти никогда не несут тяжести для сюжета

но есть и хорошие контрпримеры типа евангелиона, еще ожидаю хорошего от dārin in za furankisu

за долгие паузы

Звучит как тост ?

но есть и хорошие контрпримеры типа евангелиона, еще ожидаю хорошего от dārin in za furankisu

лол

/pidoreg@SublimeBot

OK! Ты теперь участвуешь в игре "Пидор Дня"

/pidoreg@SublimeBot

OK! Ты теперь участвуешь в игре "Пидор Дня"

ох

/pidoreg@SublimeBot

OK! Ты теперь участвуешь в игре "Пидор Дня"

а еще во втором сезоне в 9999 раз больше фансервиса

OK! Ты теперь участвуешь в игре "Пидор Дня"

?

/pidor@SublimeBot

### RUNNING 'TYPIDOR.SH'...

Интересно...

Я в опасности, системы повреждены!

Кажется, пидор дня - @kelin2025

Уууууу

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

/pidorstats@SublimeBot

Топ-10 пидоров за текущий год: 1. tetris0k — 1 раз(а) 2. kelin2025 — 1 раз(а) Всего участников — 17

/pidorstats@SublimeBot

надо всех кто пришел в чат

заставлять проходить регу

проверка на бота

типа

Лолл

/pidoreg@SublimeBot

OK! Ты теперь участвуешь в игре "Пидор Дня"

пол года назад вообще тишина была

В конце года была первая котлин-конфа в сан-фране, и похоже хорошо зашло

Да на них обычно не обращают внимания

Вот гугл сказал мол го котлин. И тогда многие такие ого - есть такой язык

Здорово, правда?))

Это же субпатчами решается, говнокод и на JS можно написать. А в PD можно цветами дифференцировать и в субпатчи класть. Что про vvvv думаешь?

Вот гугл сказал мол го котлин. И тогда многие такие ого - есть такой язык

Ну да, а сейчас вторая волна

Ну и язык матереет

А, почитал дальше, вы там в принципе обсудили

Но vvvv не обсуждали, а он как раз довольно активно используется и даже в корпорациях — для всяких визуализаций и необычных инсталляций. И там кроме стримов есть спреды — шо ваши монады.

Ну то есть там есть как бы асинхронный список/грид.

https://vvvv.org/documentation/spreads

Сама тулза запускается только на винде, а для веба есть какая-то очень кривая обёртка без редактирования патчей. Но виндовая приложуха стабильно работает. В общем такая вот эволюция PD/Max. Странная, но интересная.

А ноды с редактором кода внутри это кажется для RaspPi есть редактор, который даёт нодный интерфейс к JS, и выстраиваешь схему как данные с портов приходят и обрабатываются.

Всё молчу.

/pidoreg@SublimeBot

OK! Ты теперь участвуешь в игре "Пидор Дня"