03:00

Сообщество Эфириума Классик собралось на саммите в Гонконге

В очередной раз о принципах, на основе которых был создан Эфириум Классик, напомнила в своей страстной программной речи Мередит Паттерсон (Meredith Patterson), эксперт по безопасности языка программирования. Она рассказала о пренебрежении, которым ответил Эфириум на предположение о том, что прибегнуть к формальным методам разработки программного обеспечения может быть хорошей идеей. Она утверждает, что у Эфириума Классик ещё есть возможность принять формальные методы – подход, активными сторонниками и приверженцами которого в собственных процессах разработки являются IOHK. По её словам, для того чтобы код был равноценен закону, значение кода должно быть точным и недвусмысленным, и пользователи должны обладать тем же его пониманием, что и машины. Достижение этой цели подразумевает в том числе принятие строгой формальной семантики, такой как KEVM. Недочёты в тестовых пакетах должны быть найдены, а проблема решена. Solidity необходимо заменить другим языком программирования.

• 19:29 Dogecoin обгоняет рыночную капитализацию Porsche
• 14:33 Тестировщики слили в сеть Sora от OpenAI
• 14:28 Эксперты подсчитали долю публичных компаний с биткоин-стратегией
• 14:19 Джессика Дэвис: Экстремисты станут чаще использовать криптовалюты
• 14:00 Мы можем масштабировать. Как финансовые пирамиды стали «крипто»
• 13:35 Полковника СБУ посадили на 10 лет за вымогательство у майнеров-нелегалов
• 13:13 В Trezor сообщили о 600% скачке спроса на аппаратные кошельки
• 13:08 Капитализация компании MicroStrategy рухнула на $30 млрд за четыре дня

И еще 17