lex-kravetski— постов 91. 1123 место в топе |
В классическом варианте логики есть кое-что, что заставляет её сосать с причмокиванием, однако понять это дофига сложно, и объяснить тоже непросто. Поскольку обычно объяснение улетает в очень высокие сферы, где интуиция работает уже так себе. Более того, иногда она работает как бы ...
Свернуть
Я понял, чего многим людям не хватает в генераторах картинок и музыки: там надо сделать пресеты промтов вида «сделай всё в соответствии с Единственно Верной Версией Необходимых к Исполнению Требований из такого-то учебника/философского трактата/выступления эксперта». Поскольку бардак же ...
22-12-2025 — 
lex_kravetski
lex_kravetski
Свернуть
Решил я — ещё с год назад — разобраться с Lean. Это такой язык для формального логического доказательства всякого. Штука полезная и перспективная, но так вышло, что интерес к ней возник в основном у математиков. И на этом дело очень прочно встало, поскольку математики в среднем объяснять ...
21-12-2025 — lex_kravetski
lex_kravetski
Свернуть
Диалоги про ИИ — по поводу сабжевых картинок. — Художник передает свой внутренний мир. А ИИ что передает? Впечатляет как достижение, но искусством это не станет никогда. И качество тут ни причем. — В продаже появились поддельные ёлочные игрушки. Они выглядят точно так же, как настоящие, ...
19-12-2025 — lex_kravetski
lex_kravetski
Свернуть
Нейронные сети могут только варьировать и комбинировать уже известное. Потому что детерминированность. И потому что у них там некий поиск. Или возможно даже база данных. Ну или просто интерполяция чего-то, я точно не знаю чего. Это экспертное мнение имеет очень много аналогий вот с чем. ...
14-11-2025 — lex_kravetski
lex_kravetski
Свернуть
Мне очень нравится мощная теория о том, что «NVidia специально раздули пузырь искусственного интеллекта, чтобы продавать больше видеокарт». Однако я недоумеваю, почему эти люди замалчивают тот факт, что до того АйБиЭм, Асус, Интел и ещё несколько соучастников специально раздули пузырь ...
23-09-2025 — lex_kravetski
lex_kravetski
Свернуть
Ещё про разъяснения касательно Lean. Из третьего источника, который, надо отметить, всё-таки гораздо более вменяемый, чем первые два. Но тем не менее… «Зависимые типы во вселенной типов начали появляться в математике в середине XX века. Те из вас, кто занимался дифференциальной ...
26-08-2025 — lex_kravetski
lex_kravetski
Свернуть
Дошёл всё-таки до доказательств при помощи Lean — благо мне подсказали материалы, основанные на примерах. И обнаружил странное: в эту игру можно играть не приходя в сознание. В том смысле, что я не совсем ещё понял что там чему соответствует и как работает. То есть как это соотносится ...
26-08-2025 — lex_kravetski
lex_kravetski
Свернуть
Вообще, у меня есть мечта создать журнал (с электронными публикациями, конечно), в котором главным правилом для публикации статей будет «если эту статью не сможет понять человек с предварительными знаниями уровня шестиклассника, то мы её отклоняем». Для этих целей все статьи будут ...
24-08-2025 — lex_kravetski
lex_kravetski
Свернуть
По прошествию времени весело, конечно, читать и слушать прогнозы на будущее. Причём особенно занимательны те, которые делались недавно, были очень уверенными и максимально обобщающими, но зафейлились в кратчайшие сроки. Например, недавно посмотрел передачу, записанную примерно четыре ...
16-08-2025 — lex_kravetski
lex_kravetski
Свернуть
|
|
|
