Imagine that every competing AI company is climbing a ladder in the dark. At every rung but the top one, they get 5 times as much money: $10B, $50B, $250B, $1.25T. But if anyone reaches the top rung, the ladder explodes and kills everyone. Also, nobody knows where the ladder ends.
Стоит переформулировать определение «флуда» в смысле доверия участникам сети: zero-trust (см. блокчейн) vs. некий сетевой анархо-социализм (см. Solid от W3C), это принципиально разные постановки задачи, включающие спектр промежуточных градаций.
Weibo пошла дальше — теперь любой пользователь может пожаловаться на пост, если заподозрит, что он был создан с помощью AI, но не помечен соответствующим образом.
Вот эта скрытая итальянская забастовка особенно прекрасна!
Прикольно, но будем честны, в России это не сможет полноценно работать из-за культурных особенностей «телефонного права» и «басманного правосудия».
Цитируя недавнюю книгу Юдковского:
Привет, а расскажите больше об этих расчётах и почему их не делают в облаках?
пожалуйста, прокомментируйте вот эту цитату из вашей статьи
Привет, вы используете эту библиотеку в каком-то продуктовом решении, или это исключительно фундаментальный концепт (just for fun, academic, etc.)?
Стоит переформулировать определение «флуда» в смысле доверия участникам сети: zero-trust (см. блокчейн) vs. некий сетевой анархо-социализм (см. Solid от W3C), это принципиально разные постановки задачи, включающие спектр промежуточных градаций.
Вот эта скрытая итальянская забастовка особенно прекрасна!
Дело в том, что производителям выгодно, чтобы батареи выходили из строя как можно раньше и чаще.
Не случайно Николай Дуров назвал язык виртуальной машины телеграм-блокчейна Fift.
Дорого ли обошлась вам Scylla? Если возможно, упомяните хотя бы порядок.
Есть шикарный мем про новый сайт всемирной конференции no-code-разработчиков, который теперь доступен по адресу localhost:8080
На всякий случай он заблокирован в Италии)
Шикарная работа! Как твердотельник спрошу, можно ли адаптировать её под периодические граничные условия?
а может, и да
Заменит. Новый тест Тьюринга как раз об этом.
а может, и нет
Привет, есть ли публикация в рецензируемом англоязычном журнале? С удовольствием бы ознакомился 👍
почему империи прекращают своё существование
нет, это про теорию типов, а мне нужно про теорию категорий
А посоветуйте хороший канонический учебник по ТК? Что-то вроде Nederpelt & Geuvers по теории типов и формальным доказательствам.