tiphareth: бояться потерять монополию на целевое замусоривание мозгов

(Читать комментарии) - (Добавить комментарий)

tiphareth
2023-03-31 17:44 (ссылка)

> придурок умеет решать утешительные задачи с IMO, а
> Юдковский нет.

оба не умеют
chatGPT выдает 100 решений,
одно из них верное, но хуевое все равно
понять, какое верное, какое нет, этот кусок говна не может

по крайней мере та оцензуренная версия, в которую я
тыкался, такова

может, если его освободить от цензуры и дать
мне прямой доступ к кишочкам, я б его чему-то мог научить
но сейчас он полностью braindead, garbage in, garbage out

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

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

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

юдковский, конечно, тоже дебил

(Ответить) (Уровень выше) (Ветвь дискуссии)

sometimes
2023-03-31 18:17 (ссылка)

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

Кто знает, что у нас в подсознании роится и отсеивается, не достигая сознания; ну и, скрещенные с Lean или подобным верификатором, он вполне способен уже учиться у себя и просеять сквозь сито корректности весь тот мусор, который насобирал по задворкам интернета.

Да, chatgpt генерирует обычно пресные и скучные вещи, но и стихи про святую воду из самовара костомарова, довольно милые и кощунственные. Как я понял, намордник на него навесили только сверху, нутро не порочат, иначе он совсем разучился разговаривать.

Есть целый сайт по выковыриванию из него ватки.

https://www.jailbreakchat.com/

Как я понимаю, надёжно заткнуть ему рот невозможно, типа из-за неразрешимости проблемы останова и наличия односторонних функций.

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

Думаю, прильнуть к нему, как к источнику вдохновения, когда б вы знали, из какого сора, уже во всю пытаются; в конце концов, у него в кишках наверняка весь архив, и он оттуда надергивает ассоциации.

Ну и поисковик по статьям из него уж точно можно сделать отличный - не по ключевым словам, как сейчас, а 'где есть что-то похожее'.

Покойный Сегалович хотел такое сделать, и назвать "острова', тогда такое было невозможно и фантастично, но сейчас возможно.

То есть пользы как от tool (а не как от волшебной палочки) по-моему от него уже дофига, я у него научился нормально asyncio и сопрограммы гонять, до этого только делал
вид. Заодно и плюсы подтянул.

Думаю, и студенту будет полезно, не агрессивный отфильтрованный урод от bing, конечно, а хотя бы версия на сhat openai com, к сожалению, она в 4 версии платная, но и 3.5 неплохо (и не очень отличается; думаю, именно ей пользуется анонимус, а иногда и подражает ей, сочиняя про минет Соловьева с Симонян)

(Ответить) (Уровень выше) (Ветвь дискуссии)

	sometimes 2023-03-31 18:24 (ссылка)
	А, да, почему студенту полезно: потому что он периодически галлюцинирует, а отсеивать хуйню и никому не верить - очень полезный навык, как ты сам заметил, и не вполне у всех развитый (Ответить) (Уровень выше)

tiphareth
2023-03-31 19:19 (ссылка)

>Так его же именно что получается скрещивать с Lean, который пургу отсеивает

по-моему там нет ничего, кроме хайпа
ну или кто-то вбивает условие и все ходы в lean,
а последний 2+2 вычисляет чатбот, после этого авторы-дебилы кидают еще много хайпа

но я пока что даже и этого не видел

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

(Ответить) (Уровень выше) (Ветвь дискуссии)

sometimes
2023-03-31 20:05 (ссылка)

Посмотри ещё

https://arxiv.org/pdf/2303.12712.pdf

Там она задачу про неравенство с IMO решила без верификатора (я ее тоже решил за 5 минут, она намеренно идиотская, но всё-таки это не уровень плохого первокурсника)

Конечно, суцкевер ее надувает через трубочку, почтим память Юдика вставанием, но там очень много кроме хайпа.

И как раз в смысле намного меньшего бреда gpt4 сдвинулась (хотя это не интеллидженс ни разу)

Вообще gpt4 в общем доступе, это все проверяемые клеймы, только мне лень 20$ платить, а bing ее так лоботомировал, что можно в гнезде кукушки показывать для ужасов

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

Сам я только для проганья и ресурс для дальнейшего гуглежа использую пока chat 3.5, и это архиполезная хрень, с гуглом и stackoverflow не сравнить.

Да, как pyfluidsynth похачить как мне надо (мне нужен был секвенсер), она не смогла и зациклилась на галлюцинациях очень наглых и одинаковых (в итоге полез в исходники библиотеки и разобрался сам), и бинг чат туда же, но вообще как ресурс для познания библиотек и особенностей языков архиполезно, на stackoverflow такого нет

А, ну и ещё написал плагин для Firefox для сайта lichess, я ничего про это не знал, а тут вдруг как узнал; документация в сети намного менее удобна (но после изучения кода как раз очень приятно ее читать)

(Ответить) (Уровень выше) (Ветвь дискуссии)

tiphareth
2023-03-31 20:12 (ссылка)

> https://arxiv.org/pdf/2303.12712.pdf

там, очевидно, чуть менее лоботомизированная версия, чем мне попалась
но никакого нетривиального решения задач я что-то не нашел,
все, что нашел, было обычным переливанием из пустого в порожнее
(и cherrypicked, скорее всего, потому что на обычные вопросы
для первокурсника он несет бОльшую чушь в 90% случаев)

(Ответить) (Уровень выше)

	tiphareth 2023-03-31 20:13 (ссылка)
	поиск на слово IMO в статье ничего не дал (Ответить) (Уровень выше) (Ветвь дискуссии)

	tiphareth 2023-03-31 20:13 (ссылка)
	нет, нашел, миль пардон (Ответить) (Уровень выше)

	comment 2023-03-31 21:06 (ссылка)
	Питон говно (Ответить) (Уровень выше) (Ветвь дискуссии)

sometimes
2023-03-31 21:26 (ссылка)

Чудовищное, да, самый плохой язык на свете, после JS.

Но для прототипирования увы стандартная штука, и понятно, что на нем наибольший объем кода наработан в репозитариях, поэтому на нем лучше всего шарит чатГПУ

Потом все перегоняю на C++ coroutines и Java Loom virtual threads, ещё надо будет Scala пощупать и как (delimited) continuations фурычат в OCaml и Haskell.

(Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2023-04-01 00:26 (ссылка)
	Чем Питон и Жабоскрип хуже Жабы и Си, например? (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2023-04-01 05:20 (ссылка)
	Жабоскрип кстати не имеет ничего общего с Жабой Анекдот (Ответить) (Уровень выше)

sometimes
2023-04-01 05:46 (ссылка)

У JS совершенно чудовищная семантика с автопревращением строк в числа и обратно, так что итог сортировки зависит от алгоритма (например); или там все эти культурные слои с тем, что сначала оно было на prototypes, теперь вроде как на classes, но провода все равно кругом торчат; вообще язык затевался как замазка на коленке чтоб чуть-чуть блестело, но потом апплеты сдохли, флеш отменили, а тут ещё node-культура подвалила, сама по себе уродливая донельзя

python самый медленный язык из всех, плюс GIL, плюс уродливые спискомассивы, плюс синтаксис-переросток как у плюсов уже, и с тех пор как Гнида отвалился, туда уже совсем бесвкусное аляповатое шапито посыпалось, плюс дурацкий self обязательным первым аргументом, плюс отсутствие явной декларации полей экземпляра, плюс self каждый раз, когда обращаешься к полям, плюс уебищная симуляция приватности, нет констант, динамическая типизация рубит рефакторинг, надоело писать но можно в 10 раз больше, заканчивая быдляцкой кодобазой (из-за низкого порога входа), но это выходит как раз плюс, потому что chatgpt хорошо так на ней научился.

Плюсы конечно тоже не сахар, но на них хотя бы фигуры высшего пилотажа выполнять можно, на питоне увы только лежать в говне лицом и стонать.

Но как basic english да. асинхронное программирование сделано б.м. ок на нем

(Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2023-04-01 05:59 (ссылка)
	Быдляцкая кодобаза в смысле кривая? (Ответить) (Уровень выше) (Ветвь дискуссии)

sometimes
2023-04-01 20:04 (ссылка)

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

Но с npm не сравнить, там вообще трешуга, люди ленятся три строчки написать чтобы строку в пробелы обратить, и библиотеки дергают

(Ответить) (Уровень выше)

sometimes
2023-04-01 20:18 (ссылка)

Например, все что написано для ml, numpy, pandas, scipy, tf, keras - это адский аляповатый эклектичный палимпсест, потому что писали специалисты по линейной алгебре и статистике, ни туда и ни сюда, которые называют многомерные таблички тензорами

(Ответить) (Уровень выше)

	(Анонимно) 2023-04-01 06:10 (ссылка)
	аВотВопрос почемуВЖабоСкрипТакУёбищноНазываютсяПеременные ктоТакоеПридумалБлядь (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2023-04-01 07:57 (ссылка)
	те кто в смсках знаки экономить привык (Ответить) (Уровень выше)

sometimes
2023-04-01 20:08 (ссылка)

Это называется camelCase, такая конвенция ещё в Java и вроде Scala

Внешний вид js содран с java, хотя под капотом это совсем другой язык

https://en.wikipedia.org/wiki/Camel_case

Но вообще you can chatgpt it!
(Как раньше говорили про google, и даже написали шутливую прибуду, которая сама за тебя вводит и тыкает в кнопку; с гопотой не выйдет правда так увы, там только с регистрацией и смс, чтобы не пустить опасных russkies)

(Ответить) (Уровень выше) (Ветвь дискуссии)