криптовалюты

  • ХабрахабрФото Мы сами себя обманули с Биткоином

    Мы сами себя обманули с Биткоином

    Вы идете в продуктовый магазин, хотите купить бутылку молока. Бутылка стоит 601 доллар, транзакция идет 5 часов, и стоимость бутылки за эти 5 часов прыгает от 500 до 700. Как вам такое будущее? А ведь именно это и продвигают бешеные криптоманы. Сразу хочу сказать, я за криптовалюту, я сам работаю в этом секторе. Я хочу написать о наболевшем, в мире…

    Читать далее »
  • ДайджестФото Доллар по 99 рублей, эффект Воложа-Стрейзанд, а также гладиаторские бои цукермасков

    Доллар по 99 рублей, эффект Воложа-Стрейзанд, а также гладиаторские бои цукермасков

    Почти все самые важные и интересные финансовые новости в России и мире за неделю: тайны слитого кода Яндекса, предложение россиянам пересесть с GMAIL на ХМЭЙЛ, а также стейблкоин от PayPal с неприличным названием и посадка Сэма Бэнкмана-Фрида в СИЗО. Финансовые новости из России, к сожалению, по большей части уже не соответствуют духу Хабра. Так что полную текстовую версию этого выпуска новостей можно прочитать вот здесь, либо посмотреть на видео.…

    Читать далее »
  • ХабрахабрФото Цифровой рубль: большой справочник по технологиям, возможностям и рискам

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

    Этот справочник - попытка собрать в одном месте максимум полезной информации по цифровому рублю. При появлении новой информации или корректировке существующей, справочник будет обновляться. Автор не является ни сторонником, ни противником цифрового рубля, основная движущая сила создания этого справочника - любопытство. Автор не связан никакими обязательствами ни с оператором цифрового рубля, ни с иными финансово-кредитными организациями. Что такое цифровой рубль…

    Читать далее »
  • ХабрахабрФото Подводные камни децентрализованной торговли

    Подводные камни децентрализованной торговли

    Всем привет! Меня зовут Павел Найданов. Начинал фронтенд-разработчиком, но вот уже несколько лет, как сменил специализацию: теперь работаю в отделе Solidity-разработки компании MetaLamp. На протяжении нескольких лет мы вместе с коллегами изучаем различные аспекты разработки DeFi приложений и собираем наши наработки и инсайты в статьи, которые помогут новичкам быстрее понять, как устроен web3. Перед вами третий материал, который мы подготовили…

    Читать далее »
  • ХабрахабрФото Что такое формальная верификация

    Что такое формальная верификация

    Это обзорная статья, в которой очень поверхностно и не подробно рассказывается о том, что такое формальная верификация программного кода, зачем она нужна и чем она отличается от аудита и тестирования. Формальная верификация — это доказательство с использованием математических методов корректности программного обеспечения. Формальная верификация молода. На сегодняшний день, на сайте хабр, например, нет (пока) специализации «Формальная верификация», нет специальности «Proof…

    Читать далее »
  • ДайджестФото Илон Маск обижает старожила Твиттера, а вокруг сверхпроводников поднимается сверххайп

    Илон Маск обижает старожила Твиттера, а вокруг сверхпроводников поднимается сверххайп

    Почти все самые важные и интересные финансовые новости в России и мире за неделю: почему зарубежные бизнесы в РФ используют «стратегию опоссума», у QIWI-банка проблемы с ЦБ, Госдума борется с зарубежными адресами почты, а Сэм Альтман запустил «глазную» крипту. Финансовые новости из России, к сожалению, по большей части уже не соответствуют духу Хабра. Так что полную текстовую версию этого выпуска новостей можно прочитать вот здесь, либо посмотреть на видео. Дедолларизация банкоматов…

    Читать далее »
  • ХабрахабрФото NFT всё? На аукционе по продаже первого твита Джека Дорси за $2,9 млн самая высокая ставка — $1850

    NFT всё? На аукционе по продаже первого твита Джека Дорси за $2,9 млн самая высокая ставка — $1850

    Лучшая инвестиция десятилетия! Наглядная иллюстрация того, насколько сильно за последние два года упал рынок NFT. Знаменитый невзаимозаменяемый токен, показывающий первый в истории твит от тогдашнего гендиректора Twitter Джека Дорси, который в 2021 году стоил 2,9 миллиона долларов, выставлен на аукцион. Текущая самая высокая ставка составляет 1850 долларов. Твит в свое время купил уроженец Ирана Сина Эстави, генеральный директор малайзийской криптокомпании…

    Читать далее »
  • ДайджестФото Ложное отупение ChatGPT, Аяксовая нейросеть от Apple, а также островной бункер для FTX-криптанов

    Ложное отупение ChatGPT, Аяксовая нейросеть от Apple, а также островной бункер для FTX-криптанов

    Почти все самые важные и интересные финансовые новости в России и мире за неделю: ЦБ начал поднимать процентную ставку, Минцифры хочет сделать мега-базу данных для ИИ, в ЦУМе прошла онлайн-распродажа со скидками в 99,9%, а в Англии вводят уголовку за криптомемы. Финансовые новости из России, к сожалению, по большей части уже не соответствуют духу Хабра. Так что полную текстовую версию этого выпуска новостей можно прочитать вот…

    Читать далее »
  • ХабрахабрФото Верификация рекурсивных функций в Coq. Проблема остановки. Горючее

    Верификация рекурсивных функций в Coq. Проблема остановки. Горючее

    Статья предполагает, что читатель имеет опыт работы с интерактивным программным средством доказательства теорем — Coq. Статья является адаптированной русскоязычной версией моей статьи, написанной во время работы над формальной верификацией протокола криптовалюты Tezos. В данной статье мы рассмотрим прием, который используется для работы с рекурсивными функциями, которые не проходят проверку завершаемости (тотальности) в Coq. Под «горючим» мы будем понимать натуральное число,…

    Читать далее »
  • ДайджестФото Цифровой рубль утвержден Госдумой, а тиктокеры отбирают работу у компьютерных NPC

    Цифровой рубль утвержден Госдумой, а тиктокеры отбирают работу у компьютерных NPC

    Почти все самые важные и интересные финансовые новости в России и мире за неделю: Илон Маск делает самый мощный ИИ вместе с xAI, на Binance. US объявили распродажу крипты со скидками, а судья в США изобрела для криптанов квантовую юриспруденцию. Финансовые новости из России, к сожалению, по большей части уже не соответствуют духу Хабра. Так что полную текстовую версию этого выпуска новостей можно прочитать вот здесь, либо…

    Читать далее »


Кнопка «Наверх»