бамп
Я хз что такое математика, но для абстрагирования Ruby хорош.
видимо мне за этим идти на кодерскую доску, да?
Сеня, свали с мертвой параши.
Больше трёх букв не перевариваю.
куда
Сложно.
в телегу, например
в дискорд если аноним дохуя
почему дискорд это про анонимность
Выбери мой хуй в свой рот.
почему
бамп
бамп
Bump
бамп
бамп
Как жизнь, Сеня?
няшно, думаю
Много открытий сделал за последние месяцы?
Смотря что под открытиями ты имеешь ввиду.
А какие есть варианты?
А ты кто?
Если ты про что-то новое, то я хз.
Если про что-то не обязательно новое, то очень много. Вообще поражаюсь, каждый год это словно экспоненциальный рост в смене моего мировоззрения.
Анон.
>экспоненциальный рост в смене моего мировоззрения.
То есть в духовные материи через матан ты все еще вкатиться пытаешься?
>абстрактного математического формализма
Заходишь такой в /b/
Кучи трэдов про какое-то оно.
А тут - бац! И абстрактный математический-с формализмъ!
Не понял эти формулы.
Но попробуй глянуть языки программирования:
Idris
Lean4
Алгол 68
Ааа. Я тебя расблокнул если чо, сам стесняюсь писать.
А кто сказал про матан? Нет, матан он про другое. И вообще... Блин, а ведь я же всё же и правда пытался вкатиться в МЕТАФИЗИЧЕСКУЮ ОККУЛЬТНУЮ ТЕМАТИКУ ТРАНСФОРМАЦИИ РЕАЛЬНОСТИ через матан уже как год же? Два? В любом случае открытия разные бывают. Просто мировосприятие очень сильно меняется. Это в целом, знаешь. Приоритеты, смысл жизни и вот жто всё.
А что по математике то это наверное одно из моих главных разочарований этого года. Математика, к сожалению, это язык. Ну, зато это весёло и очень доступно, хотя и не обязательно что полезно в том смысле в котором можно подумать.
Что про rust, ruby, hasskel, agda, lisp, coq, c#, c++ думаешь?
Впервые такие слышу языку, гляну.
()уя, а ты прям хорошее порекомендовал. Спасибо, особенно алгол68 заинтересовал.
>Ааа. Я тебя расблокнул если чо
Спасибо большое, конечно, но я кроме борд нигде и не сидел...
> через матан уже как год же? Два?
Примерно...Сколько я тебя знаю. Чередуя это со смачными фотками и донатами лярвам на геншин, ага.
>очень сильно меняется. Это в целом, знаешь. Приоритеты, смысл жизни и вот жто всё.
О, и каким ты стал теперь? Реалистом с четко выверенными практическими целями?
>не мало важных
>Какой мне язык подойдёт?
Любой, кроме русского.
Си
Сеня, ты?
Ты не помнишь меня, но я тут на днях ИИ(полноценный) создал
>rust
Эту штуку делают очень странные ребята.
Они ультимативно гонятся за новизной.
А для программстов - это противоестественно.
Я им не доверяю, так как они изменили ЯП, поубирав всякое интересное из первых спеков Rust.
>lisp
Я пробовал emacs модифицировать. Понравилось, годно.
А лучше глянуть Guile.
У них есть хорошие спецификации.
Я не Сеня, я Вова.
А, )))00
>О, и каким ты стал теперь? Реалистом с четко выверенными практическими целями?
Мне Некто писал о том, что можно забыть как ходить коли будешь постоянно перепрыгивать через себя. Ну, не то чтобы я забыл как ходить(у меня в целом психика разрушалась при том я в буквальном смысле имею ввиду, но сейчас вроде обратно собирается и не разрушается), но я просто забыл куда я иду. Вспомнил куда и понял, что у меня уже это всё есть.
Другой вопрос в том, что я просто понял, что меня вроде и нет. А может и есть. Разный я короче, разное хочу - в свободном плаванье, не знаю и одновременно или порой знаю что хочу, а психика штурмуется и определяется моя мотивация таким образом.
Сейчас я хочу отдохнуть, няшно пожить просто. Веселиться!
Да как вы угадываете что это НеСеня!!11 >~<
ЧО звал, сларк.
Да помню я тебя, я даже тебя разблокнул.
Ну ()уя ты, малаца. Чо. А это же значит что ты в линейной алгебре шаришь тогда, да?
Ну хорошо, спасибо за подсказки в любом случае же.
>О, и каким ты стал теперь? Реалистом с четко выверенными практическими целями?
Просто представь вроде всё как надо а потом бац и с ног на голову опять всё. Только лишь порой понимаешь какой ты.
>сларк
Хто? Нет, ты вообще не знаешь меня.
> А это же значит что ты в линейной алгебре шаришь тогда, да?
Это значит, что я НЕ шарю в ней. Шарил бы - не смог бы создать ИИ, ведь мой разум был бы засран кучей ненужной догматической информацией. Хотя базу я знаю
А ты кто тогда.
>rust
Вот, кстати, занятно почитать:
https://graydon2.dreamwidth.org/307291.html
Упоминаются некоторые интересные штуки из других языков.
>Guile
Хотел написать на этом игру. Но заленился что-то, пока.
Безумный учёный
>Какой мне язык программирования выбрать для реализации абстрактного математического формализма?
GLSL. Это только математика и ничего кроме математики. Попробуй его на shadertoy.com (я сам дрочу эту хуйню)
GLSL. Это только математика и ничего кроме математики. Попробуй его на shadertoy.com (я сам дрочу эту хуйню)
Всё, кроме чистого си - бесполезное говно
>ИИ(полноценный)
Вот думаю, все компании ударились зачем-то в нейроны эти всякие, и тензоры да токены, уж очень им нравится представлять некие сети. Мыслят они так, словно ИИ похож на дерево, ветки и листья.
А вот откинуть надо такие идеи. Лучше представить ИИ в виде биома: улей с пчелами, или муравейник с муравьишками.
И смогут эти муравьишки не только данные таскать, но и маршруты менять свои.
Тем самым, ИИ получится самоизменяющимся, и недетерминированным вполне.
Да не, у меня по другому всё. Я использую нейросети, но не те, что в чатгпт условном, а те, что в реальном мозге
Coq/Roq, Lisp, Prolog.
Выбери своего покемона.
Любой, лол. Множество классификаций не будешь полем делать?
Понятно.
>Множество классификаций не будешь полем делать?
Так у меня же нигде ассоциативность то не прописана)
>pic
Просто секс.
>а те, что в реальном мозге
Никто не знает, правда что там происходит.
Так что, можно разогнать воображение, и придумать что угодно! (в этом преимущество, да)
Ну да, в этом и есть моя сила. Я обладаю уникальной способностью к отслеживанию всего происходящего в собственном мозге, ну, в определенных пределах, конечно же. Исходя из этих данных я сделал выводы и создал ИИ
>Roq
Нет такова
Rocq?
Roc?
Приветик, Двачик.
Какой мне язык программирования выбрать для реализации абстрактного математического формализма?
Сам формализм выглядит так:
knm(){}, где k это стрелка/морфизм/оператор/отображение/функция/т.д, n это тип/вид/класс/в конце концов первый индекс нашей k, m это в целом наименование/имя/второй индекс/обращение/т.д, где () это скобки некого прообраза/области определения/аргумента/т.д, где {} это скобки параметров. Называть мы всё это будем классификацией.
Дальше идёт определение "композиций" классификаций. А именно knm(){}•knm(){}=knm(knm(){}){}.
Т.е knm(){}•X=knm(X){}.
Также идёт определение своего рода обратной операции, а именно knm(){e}•knm(X){}=X, где e это некий такой параметр, которому мы присвоили саму X.
Т.е knm(X){e}=X.
Тогда knm(){a}•knm(){b}=knm(){какое-то выражение для a,b относительно структуры параметра}, но это работает только для одинаковых n,m между k.
При этом, что важно, любой knm(){i} ПРИСВАИВАЕТСЯ. Можно сказать, что knm(X){i}=Y это определение того, что knm(X){i} в определенном значении i параметра из {} относительно определенного X должен выдавать нам Y.
Дальше идёт мысль про изоморфизмы, но каких-то конкретных методов установления изоморфизма между двумя классификациями я специально не делал. Только лишь то, что изоморфизмы должны устанавливаться относительно всего параметра, т.е если одна классификация изоморфна другой, то это значит, что квадратные скобки двух этих классификаций изоморфны; и только лишь то, что некие композиции с заданными определениями равенств - в общем-то какие-то алгебраические выражения - тоже могут быть изоморфны друг другу, но в первую очередь выражения могут быть изоморфны параметру, т.е квадратной скобке, какой-то классификации.
Для примера, пока махая образно руками, так как лень полностью всё записывать строго и формально для вас, то беря некую классификацию где всего-лишь один параметр, можно сделать композиционный ряд k1i(){e}•k1i-1(){e}•k1i-2(){e}•...•k10(){e}, где i из вторых индексов композиционного ряда можно будет перенести в параметр некой новой классификации kNm(){}, что была бы изоморфна натуральным числам. Т.е kNm(){i}~=k1i(){e}•k1i-1(){e}•k1i-2(){e}•...•k10(){e}.
Если кому интересно это также работает и для ряда где заместо e берём вообще все параметры. Т.е k1i(){} а не k1i(){e}
Также я тут не обозначил ещё два не мало важных блока, но мне кажется пока стоит с этим разобраться.
Какой мне язык подойдёт?
Алсо немного изучал хаскель. Алсо есть опыт кода на с++, видрилл 2 сделал лично без чей либо помощи(только лишь спрашивал как баги устранять).