Статья представляет сравнение четырех систем автоматического доказательства теорем: Isabelle/HOL, Lean, HOL4 и Agda. Автор делится личным опытом и мнениями о различных аспектах этих систем.
График появится после повторных замеров. Текущий показатель уже получен из источника.
11 очков источникаТолько реальные замеры. История до подключения источника не восстанавливается.
Текст обсуждает распространенные антишаблоны в программном блоге, то есть практики, приводящие к неэффективному или противоречивому созданию контента.
позавчераLobstersGleam больше не компилируется в исходный код Erlang.
4 дня назадLobstersТекст описывает попытку украсть учетные данные с помощью хука git post-checkout, указывая на угрозу безопасности, связанную с системами контроля версий.
6 дней назадGitHubГид предлагает практические советы по различным аспектам жизни, включая здоровье, финансы, юридические вопросы и карьера, при этом каждый тема детализирует затраты, выгоды, уровни доказательств и исходные источники, ссылаясь только на рецензируемые журналы и официальные документы.
32 дня назадHacker NewsМаргарет Хэмилтон умерла.
вчераLessWrongСтатья обсуждает быстрое внедрение военных технологий и тактик между Украиной и Россией, подчеркивая, как инновации Украины в области беспилотных систем привели к российским ответным мерам. Также поднимаются этические вопросы относительно возможного принятия вражеских стратегий, противоречащих национальным ценностям.
6 дней назад