lex-kravetski— постов 86. 1158 место в топе |
Мне очень нравится мощная теория о том, что «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
Свернуть
Прошёл какой-то прощальный концерт Оззи Осборна. По этому поводу люди пишут посты, что-де «ушла эпоха». В комментах им люди вторят: «да, таких певцов уже не делают — сейчас одно барахло». При этом я уверен, что, если спросить всех этих людей, а кого ты вообще слышал, кроме Оззи когда ...
14-07-2025 — lex_kravetski
lex_kravetski
Свернуть
Учёные из MIT, КалТеха и ещё двадцати ведущих мировых институтов объединили свои усилия и наконец-то поставили прорывной эксперимент. Они собрали две группы по пять тысяч человек. Испытуемым из одной группы давали барабан и предлагали в него стучать. Второй группе не давали барабан и не ...
23-06-2025 — lex_kravetski
lex_kravetski
Свернуть
«Лазаю по твиттеру, и вижу пост, где написано, что Handwriting leads to widespread brain connectivity - typing does not. Я, заинтригованный, полез смотреть - неужели наконец-то доказали, что письмо ручкой - это для интеллектуалов, которые хотят прокачать свой мозг, а клавиатуры - для ...
14-06-2025 — lex_kravetski
lex_kravetski
Свернуть
Раньше, говорят, многие песни рождались во время творчества внутри группы, поэтому зачастую было неясно, кто из участников автор — все вложились в какие-то фрагменты, придумали строчку, что-то поправили, добавили хук, вот это вот всё. Теперь стало интереснее: зачастую неясно, кто автор, ...
12-06-2025 — lex_kravetski
lex_kravetski
Свернуть
В фильме «Грешники» есть красивые кадры, однако совершенно всратые диалоги и вообще в целом всё время ощущение, будто бы весь съёмочный состав изо всех сил надеялся всё сделать бодро и круто, но при этом был совершенно без понятия, как добиться даже того, что Тарантино делает одной левой ...
11-06-2025 — lex_kravetski
lex_kravetski
Свернуть
|
|
|
