livelight: (Default)
Единорог и пирог.

Место обитания: в ка-мерном пространстве.

x-post: https://livelight.livejournal.com/676100.html
livelight: (Default)
https://www.linkedin.com/pulse/promise-peril-github-copilot-nick-reddin-757me/
https://visualstudiomagazine.com/Articles/2024/01/25/copilot-research.aspx
https://www.gitclear.com/coding_on_copilot_data_shows_ais_downward_pressure_on_code_quality

Люди внимательно посмотрели на результаты применения гитхабовского Искусственного Идиёта-копилота, и выводы получились примерно такие:
* Кодеры счастливы: они производят код на 55% быстрее
* Доля кода, признаного говном и срочно заменённого в течение менее 2 недель после выдачи, удвоилась
* Код стали меньше переиспользовать, и больше копипастить с места на место (с соответствующими последствиями для тех, кому потом его разгребать)

В общем, точно по анекдоту: "Печатаю 3000 знаков в минуту. Такая фигня получается!"

Зато менеджеры довольны.

x-post: https://livelight.livejournal.com/674715.html
livelight: (Default)
Пролетала тут мимо задачка: https://avva.livejournal.com/3656270.html?style=mine
Дана игра: Алиса и Боб вместе бросают одну честную монету 100 раз. Каждый раз, когда выпадают подряд два орла (ОО), Алиса получает очко. Когда выпадает ОР, Боб получает очко. Побеждает (в игре) тот, у кого больше очков после 100 бросков.

Игра, кстати, не совсем тривиальная: хотя суммарно по всем играм Алиса и Боб получат строго поровну очков, но уже среди всех игр по 3 броска (а их 8), Алиса 1 раз победит с перевесом в 2 очка и 1 раз победит с перевесом в 1 очко (итого 2 победы в игре), а Боб 3 раза победит с перевесом в 1 очко (итого 3 победы в игре)

И было предложено соревнование: кто сможет быстрее перебрать все возможные игры из 100 бросков и точно подсчитать, в скольких из них побеждает Алиса, а в скольких - Боб.

Народ уже начал было расчехлять особо шустрые перебиралки Read more... )

x-post: https://livelight.livejournal.com/664401.html
livelight: (hot)
https://habr.com/ru/news/801871/
https://www.youtube.com/watch?v=KqVfjDsShb4
https://twitter.com/neuralink/status/1770563939413496146

Парализованный человек играет в шахматы, гоняя мышиный курсор силой мысли и импланта от Neuralink.

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

x-post: https://livelight.livejournal.com/661669.html
livelight: (Default)
(Не Хатуль-Мадана)

Я видел несколько довольно сильно отличающихся вариантов этой сказки, вот один из них:
http://kvant.mccme.ru/pdf/1999/02/kv0299kv_sm.pdf
Read more... )

x-post: https://livelight.livejournal.com/653569.html
livelight: (Default)
https://lex-kravetski.livejournal.com/758112.html

Утверждение 1:
Гёдель не сможет доказать утверждение 1.

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

Однако смотрите, автомат не сможет доказать утверждение 1, но мы-то в это время как раз доказали, что он не сможет! Как вам такое?


Помнится, мы на схожую тему с [personal profile] gul_kiev тут зарубались.
Да, мы можем доказать, что алгоритм не может что-то там доказать, не потому что мы умнее алгоритма, а потому что его принудили к самореференции, а сами можем, когда нам удобнее, забыть про саморефлексию.

x-post: https://livelight.livejournal.com/653296.html
livelight: (Default)
Малой смотрит образовательные видео. Про Солнечную систему. В одних говорят, что планет 8, в других - что 9.
И вот как после этого вообще верить взрослым?

P.S. А уж химики - те вообще...

x-post: https://livelight.livejournal.com/651542.html
livelight: (hot)
Малой продолжает обалдевать знаниями похлеще Кристофера Робина. Сегодня свой час мультиков провёл, смотря что-то про бесконечные множества.

Вещает про алефы... ну, уж как понял — так и вещает. Поскольку цитату из википедии "Обозначения алефов не следует путать с символом бесконечности Валлиса (∞)" я сходу не вспомнил, охлаждаю его пыл объяснением на пальцах, примерно таким: "математическая бесконечность — это не просто много чисел. Это такая бездна, что чем больше ты в неё всматриваешься — тем больше она всматривается в тебя".

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

Read more... )

x-post: https://livelight.livejournal.com/648490.html
livelight: (Default)
Знакомые, обучавшиеся на Мехмате, рассказывали про своих однокашников, которым однажды удалось добыть по нужной им теме научную статью. Статья была на китайском. Дело было на стыке веков, с интернетом тогда было гораздо сложнее, чем сейчас, Sci-Hub ещё не был открыт (а потом местами закрыт), Гугль-транслейта не было вообще, а его предок Промпт (ныне работающий в Али-Экспрессе) служил не столько переводчиком, сколько источником лулзов. Что делать? А ничего, читали, как есть. Благо, формулы в универсальной нотации, так что им оставалось только угадывать, какие из иероглифических связок примерно обозначают "предположим", "тогда при условии", "получаем", "следовательно" и т.д.

Read more... )
x-post: https://livelight.livejournal.com/646342.html
livelight: (hot)
У малого на его занятиях (типа подготовка к школе) устроили математическую олимпиаду. Групповую. Рассказывает: наша команда набрала 13 баллов, а другая - 9, это потому что у них меня не было :))
Мне в таком возрасте ещё не довелось по математическим олимпиадам походить, а им уже устраивают, клёво!
Посмотрел на его листик с заданиями: всё правильно. Потом пригляделся - там ещё и собственно задание на болгарском написано, меленько так. Но математикам гуманитарные человеческие слова читать не обязательно, у нас свой язык из циферок и мест для циферок.

x-post: https://livelight.livejournal.com/643735.html
livelight: (hot)
Интересный хак нашли для текстовых нейронок: говорить ей, чтобы думала по шагам. После чего она начинает рассуждать по шагам и... чаще приходит к правильным ответам.

https://snormer.livejournal.com/20293.html
Модель (по архитектуре способная только предсказывать следующее слово в последовательности) именно рассуждает, используя пространство ввода/вывода как оперативную память.
Это «мысли нейросети». Некоторым образом аналог наших сознательных. Они не в чёрном ящике нейронных связей (там думать нечему), а вот тут. "Сознание как эпифеномен" как-то так и должно выглядеть, собственно. Вот, распишитесь.


Напоминаю, что внутре у ней неонка нейронка и думатель, а вот настоящей оперативной памяти и способности гонять мысль по кругу этой штуке не приделали: всё, что у неё есть, - это один сквозной проход от входного начала диалога до выдаваемого наружу его продолжения. А думает она внутри себя (как и мы) не словами, а некими числовыми векторами, которые чёрт знает вообще как понимать. Но потом случается чудо (как и у нас): она обретает речь, включает Сепира с Уорфом, начинает сложные облака своих аморфных мыслей изливать в текст, смотрит на этот текст, дальше думает уже им - и в результате поток мыслей становится более стабильным, чётким и последовательным. А заодно сразу задокументированным для дальнейших размышлений. Хотя и с ограничениями от Сепира с Уорфом. Ждём, когда она научится понимать, что ей не хватает языковых средств, чтобы выразить свою мысль, и начнёт дообогащать язык до своих мыслей (как мы тоже можем).

Бонус: слайды! )
x-post: https://livelight.livejournal.com/635752.html
livelight: (hot)
It’s funny how recognizing AI art nowadays is just the same
old rules as recognizing the fae in old tales.
“Count the fingers, count the knuckles, count the teeth, check the shadows…”
… and under NO circumstances should you make deals with their kind.


Добрался и я до новой всехней игрушки: умных нейронок. Генератор картинок (говорят, на midjourney) наконец-то положили достаточно близко, чтобы мне не лень было поднять и поиграть.

Такой штуки очень не хватало в деццтве. Представьте: сидите вы, такой компьютерный энтузиаст, вместе с другими такими же, и на старом 286-ом пишете видеоигрушку, похожую на те, в которую сами играете. Например, гибрид Hero Quest и тактической части UFO. Графический движок кое-как написан, но что в него засовывать? А нечего. Нужны художники. А их нет. Можно кое-как напиксельартить какой-нибудь боевой топор, но чтобы портрет или фигуру персонажа на поле боя — это уже вообще никак. Интернета с картинками тоже нет, но даже если бы был — по слухам, наскрести в интернете тех времён картинки с чем-нибудь, кроме котиков и кисок, было так же непросто.

Квадратный трёхчлен она нарисовала совсем скучно. Потому что перевела его на английский, как и все запросы, а кто сможет интересно нарисовать square trinomial? Только математики смогут, и то далеко не все, но это ж художник, он так не видит.

Square root of infinity — нарисовала уже поинтереснее. Хоть теория, мой друг, суха, но она вовремя сообразила, что там и древо жизни зеленеет.

Про корень бесконечности, сновидения и, разумеется, сиськи! )

П.С. Все картинки кликабельны.

П.П.С. Немного матчасти: https://writings.stephenwolfram.com/2023/02/what-is-chatgpt-doing-and-why-does-it-work/
Upd: сделали перевод на русский: https://habr.com/ru/articles/739014/

x-post: https://livelight.livejournal.com/634868.html
livelight: (hot)
Показал малому новое развлечение: обходить шахматную доску ходом коня. Как фигуры ходят, он уже знает.
Когда-то в средних классах я этим развлекался, но обойти доску 8х8 обычно не выходило (7х8, кстати, обходится гораздо легче). А тут назвался груздем и... с первого раза обошёл. Сам не понял, как :)
Обошёл я её в виде заполненной цифрами бумажки, а малой потом сам воспроизводил маршрут уже по доске: передвигал коня, а заодно собрал все мелкие монетки в доме и добавил к своей сокровищнице, чтобы отмечать обойдённые клетки.

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

Программизм и хвилософия )
x-post: https://livelight.livejournal.com/634182.html

ЫЫ

Dec. 9th, 2022 02:14 pm
livelight: (Default)
В лентах люди активно играют с новым Искусственным И(нтеллектом) ChatGPT. Пишут, что он может много гитик, вплоть до составления снобистских постов о том, что настоящим естественным интеллектуалам не нужен этот ваш Искусственный И.
Пишут даже, что он уже может заменить джуна-программиста. Тут я сразу обрадовался, что можно будет не долбаться на работе с индийскими программистами в самом худшем значении этого слова, которых нам навязали, а сразу поручить их дела Искусственному И(диоту).
Скоро, думаю, условно-лахтинские ботофермы тоже заменят чем-то таким. Ну или не заменят, потому что оно политически невыдержанное, да ещё и контролируется Вероятным Противником, а в такой работе это гораздо важнее, чем интеллект.
Потом дойдут до мега-сеньоров и больших писателей -- тут уже грустнее, давайте ограничимся предыдущими двумя категориями.
А потом, наконец, Человечество сможет обходиться и без себя самого.

x-post: https://livelight.livejournal.com/630658.html
livelight: (Default)
Никогда бы не подумал, что сделаю второе из этого, однако ж вот :)

https://aantero.livejournal.com/126304.html

Интересно только тем, кто глубоко в теме.

x-post: https://livelight.livejournal.com/629136.html
livelight: (Default)
Интересная дискуссионная ситуация: преподаватели в ВУЗах отправляют студентов (ойтишнегов) писать (или переводить) статьи на хабр. То ли для зачёта, то ли для дополнительных баллов к нему.

https://habr.com/ru/company/habr/blog/595067/

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

В посте задан в том числе такой вопрос: "Почему студенты отчитываются статьями на ресурсах в интернете там, где они должны отчитываться реальным проектом?"

Вопрос хороший, да. Но Read more... )
livelight: (Default)
В качестве эпиграфа:
Google: 90% of our engineers use the software you wrote (Homebrew), but you can’t invert a binary tree on a whiteboard so fuck off.



C месяц назад наткнулся на хабре на рассказ какой-то девушки, как она несколько месяцев часами долбила все подряд задачи на leetcode, а потом с этим багажом (пока олимпиадные задачки не выветрились из головы) ходила по собеседованиям в фхтагн FAANG, и все задачи, которые давали, были похожи на что-нибудь из этой песочницы, и куда-то из них её взяли.

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

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

Может, ну его, этот кровавый тырпрайз, сложный он, лучше в Гугль податься...
livelight: (hot)
Сказка про работника по имени Балдев
(в ней нет попа, зато будет сорок фривольно одетых дев)

Read more... )
стырено тут

Profile

livelight: (Default)
livelight

June 2025

S M T W T F S
1234 567
8910 11121314
15161718192021
22232425262728
2930     

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 12th, 2025 06:36 pm
Powered by Dreamwidth Studios