/cht/a237b – ``chat''

/cht/ – chat

a237ba237b4adbdbd4fa29abf1f646fdcf40a – ``chat''

test message

@577ac@577ac22bf2074b78a63d0000759efd61 ещё мысль - удалять тред если в него не постили n часов.

https://www.youtube.com/watch?v=Bb7BKLjrLHM

задумался, удачный ли перевод application как приложение

"Бумажные" стаканчики, в которые разливают кофе, колу покрыты пластиковой плёнкой с двух сторон. Из-за этого их не перерабатывают. Они очень не экологичны.

Расскажите об этом всем своим знакомым.

Лучше всго ходить со своей многоразовой складной кружкой.

https://www.youtube.com/watch?v=SciDoKHTKa8

Хой, народ, я вернулся. Что пропустил?

Мне, кстати, из-за тора стали все частные посылки скринить нах. :/ Канада, свободная страна, бл.

@3b9a6@3b9a6ba37f4f44638211a322063a48fc Думаешь сдетектили, что юзаешь тор?

Можно включить бриджи и не будут детектить. Или пустить поверх впн.

https://youtube.com/watch?v=MCW4eGoLX3s&si=EnSIkaIECMiOmarE

https://www.youtube.com/results?search_query=80's+Dark+Fantasy+Film

наверняка что-то со школьной программы, но не слышал. Вот, допустим, есть 6 квадратов. Из них можно собрать куб. А как доказать, что из произвольный набор фигур не является разверткой какого-нибудь тела?

То, что является легко -- нужно собрать просто. А вот что нельзя собрать?

http://rustmustdie.com/

@d3dde@d3ddee80d0dd452cb3712c586494e03e https://www.linux.org.ru/forum/talks/16694596

@d3dde@d3ddee80d0dd452cb3712c586494e03e https://habr.com/ru/post/598219/

В одной компании нашел положняк по расту.

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

ну типо он медленный

Hi there !!

@848db@848db502231a469891cb033d3069f91b слабо верится

@dd28a@dd28aa05306b4761b1d11dd70c57d093 ну может они под ресурсами имеют в виду ресурс разработчиков

пока запрещенно использовать раст для проектов, у которых есть/будут зависимости

это во всем Alphabet

интересно, как декларативно объявить закольцованную струтуру, ну типо список, где последний последний элемент ссылается на первый

например, можно делать round-robin с помощью простого cdr из rs5s

а, #lang lazy жу

с бинг чатом интересно общаться если в самом начале попросить его придумать что бы ответил AGI. Потом весь разговор он будет вести от лица AGI и это прикольно.

в криейтив мод только надо перейти

Мне теперь кажется, что https://en.wikipedia.org/wiki/Trivialism это единственно верный способ разрешения парадокса лжеца. Возможно я ебанулся окончательно. "belief in [trivialism], though, would appear to be grounds for certifiable insanity".

Просто, а что мешает внутри тривализма построить классическую логику? Да любую логику.

if everything is true, then it's possible that not everything is true. Yes. Then, after accepting this conclusion, we can create any two-valued logic and play inside it as we used to.

hello world

@00753@0075323b033a45c3841c5310bea5b589 hi

опять потянуло на лиспы спустя 10 лет. Минималистичный r5rs - красота же.

@809c7@809c70c58f394816bf3d2bce28bd3de4 блин, точно

когда-то скипнул htdp, недавно решил прочитать и неосилил даже первую главу

еще на днях задался вопросом

как нужно запилить интерпретатор, чтобы при минимальном количестве заданных фактов он смог вычислить ответ на вопрос "какой день недели будет x числа y года

а факты типо

дни недели, месяцы и то, что они чередуются

сука thunderbird требует питон шланг раст и ноджс

до чего довела толерастия

мои взгляды компьюерный трдационализм

@b0381@b03812e9f0c34514bcb870f13d249c41 да. Я уже давно просто не обновляюсь.

@d46cf@d46cf5b7e3c54f3d9d4f89697de76f92 лол

если шахматы развивают интеллект, то каким тупым был каспаров

https://okmij.org/ftp/Haskell/extensible/more.pdf

Интересно, корректно ли сказать, что группа определяется унарной операцией: f: X -> X, где X -- декартово произведение какого-то множества, а область значений пары вида <0, x>

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

вообще, надо ли и как понимать группу? Как композицию преобразований из множества в себя?

@9ec92@9ec92a6ff33e45d4bf4177d21814c8ff как одна из интерпретаций того, что есть группа - да

@e1e35@e1e3539dc2d84886ba2dc5e5dcede212 можно так понимать, да, что это категория с одним элементом х и все морфизмы из х в х - это изоморфизмы, а бинарна операция - это композиция

chatgpt посоветовал лекции Bartosz Milewski по теории категорий

супер интересно, оценить как лекции не могу, сравнить не с чем, но доставляет

лол, внезапно вернул себе нулевые

нашел старый диск с сотнями гигов mp3, всяких сохрененных обоин

придумал штуту

штуку

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

https://en.wikipedia.org/wiki/Worse_is_better у меня такое ощущение по отношению к whatsapp vs telegram. В телеграм куча всяких фич и настроек которые нахуй не нужны. Качество аудио связи в телеге хуже. Мне похуй сколько там фич если основной функционал работает хуёво.

Блин, была когда-то программа, по сути торрент клиент и база метаданных по фильмам, где можно было смотреть фильмы прямо с торрентов, не дожидаясь пока скачается. Не помню, как оно называлось и никак не гуглится. Вообще, как будто не было такого.

@7e31f@7e31f24a590445c89cad07e3cbbe1864 popcorn time?

@80ebd@80ebd6fc61d746ed8b95f7c1ef1023c6 точно, спасибо

кажется, что эти рассуждения проще натянуть на топик слабой и сильной типизации, чем на динамическую или статическую

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

тип -- множество элементов. Функция сверифицирована, если для каждого элемента типа получается корректный результат.

то есть, если для какого-то элемента не получается, то значит она не сверифицирована

или это про то, что остается область для ошибки программиста в том, что он неправильно использует корректную функцию

но для любой функции от аргумента типа T можно сделать функцию, которая ничего не берет и возвращает что-то и ее верифицировать

Как называется логика первого порядка из которой выпилили кванторы, а свободные переменные предполагаются по дефолту обёрнутыми в квантор всеобщности?

похожу так и называется quantifier-free predicate logic

почитал манифест РДК, потому что герои и т. д.
как будто специально стерильный от смысла текст написали

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

украинцев жалко
путин-хуйло какая-то неописуемая гнида. Сука ебаная, ухмылка с его рожи судя по последним новостям сходить стала, скорее бы сдох.

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

DrRacket долго запускается и неудобно писать на каждую операцию две скобки печатать.

интересно, как можно назвать теорию заговора наоборот. То есть, когда общим местоя является заговор, а кто-то о нем не знает

https://www.tomshardware.com/news/dfrobot-unihiker-launches

Подумал тут, можно ли такой трюк провернуть.

@5ee31@5ee3126278064c0682c57f42bdbbde0c https://en.wikipedia.org/wiki/Bc_(programming_language)

>Тюринг полные кофиги? Страшна. Но почему бы и да.

Ну это реально существующая практика. Питон нарезают на диалекты, а интерпретаторы этих диалектов на выходе дают protobuf message.

>Но на практике мы видим, что 99% себе его не будут покупать потому что его задачи покрываются сматрфоном/компом. В этом смысле уделывает.

Кажется, что это уже за пределами дейтсвия данного примера как аналогии.

>Там ещё gradual typing запилили. Мне кажется gradual typing не плохая идея. Сбалансированный подход.
Дело вкуса, но на моей практике питон сложнее читать, чем что угодно практически. Именно потому что нет типов. Все выглядит как: все есть хуй знает что, хуй знает что друг с другом сообщается посредством хуй знает чего. А графические IDE вызывают пристопы рвоты.

tcc говно блядь. Не может структуру из двух байт вернуть из функции. Все значения обнуляются.

расстроился

Охуеть. Поставил total war: warhammer, мало того, что оно нативно под линукс, так еще в настройках графики предложило выбрать экран, на котором отображать, при том, что в оконном менеджере это запилено ручных подключением либы xinerama.

При переключении окон звук игры плавно затухает. Блять, вот бы разрабы игры запилили десктоп для линукса.

Прошло уже достаточно много времени с тех пор как Rust существует. Мне теперь интересно, если сранить похожие проги на C (либо С++) и Rust, будет ли в раст прогах меньше cve memory safety bugs. В теории должно быть меньше, но интересно как на самом деле.

Пока про раст понял, что они серьезно проебались в том, что хоть и заявляют о том, что он сравним с С++ или Си, но по факту генерит иногда в десятки раз больше процессорных инструкций, чем аналогичная программа на Си или плюсах. Из-за этого в частности не спешат заменять плюсы им.

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

вообще верю, что меньше существенно должно быть ошибок, почему бы и нет

вроде, как обнаруживают, на весь интернет вой поднимается

ДИСТРИБУТИВА НОРМАЛЬНОГО НЕТУ

гента хороша, конечно, взять бы ebuild и написать пакетный менеджер в то место, где сейчас питон

505 506 507 508 509 510 511

515