Наш иск против ChessBase

А какие конкурентные преимущества ChessBase (на ум приходит оповещение о правиле 50 ходов и троекратном повторении, но не немедленная остановка партии)?

Java 17 за месяц до релиза

Об opens/exports и не подумал, посыпаю голову пеплом…

Java 17 за месяц до релиза

Вожможность ослабить строгую инкапсуляцию средствами языка отсутствует. Рефлексия уже за рамками (в том числе и из соображений производительности).

Когда уходят на покой программисты? 35 — это конец карьеры?

github.com/idris-lang/Idris2/issues/645 — Идрис 2
github.com/idris-lang/Idris-dev/issues/4439 + github.com/idris-lang/Idris-dev/issues/4762 — тоже Идрис 2?
Какие ещё проблемы Idris 2 можете назвать?

Не верь всему, что пишут на Хабре

Не знал, что Элияху Голдратт из Израиля.

Java 17 за месяц до релиза

Keyword strictfp ещё нужен?

Знакомьтесь: Слесарь 1С. Профессия, которая уже захватила рынок

Напомнило 0xd34df00d https://habr.com/ru/post/497114/ ("Пора на свалку")

Знакомьтесь: Слесарь 1С. Профессия, которая уже захватила рынок

Ваше приложение для iOS и/или Android?

Новые рекорды: найдено 51-ое простое число Мерсенна

@LiquidSnake в новом Хабре наблюдается описанное выше?

Как Vim стал таким популярным

А на сколько увеличилась производительность Agda, Idris в сравнении с их двухгодичными версиями?

Почему я всё ещё люблю C, но при этом терпеть не могу C++?

Offtop: может, через Liquid Haskell к 2023 завезут выборочную проверку тотальности.

Почему я всё ещё люблю C, но при этом терпеть не могу C++?

Раз говорим о завтипах, то чего ещё не хватает в Haskell? Данные и коданные разделены? Рекордами удобно пользоваться без линз? Если нет, то каким образом тут применять линзы?

Windows must die

А на каких языках программирования, тулинге, технологиях ваш сайт (если разглашение этого не ставит его под удар)?

Как Vim стал таким популярным

А можете все ваши плагины перечислить, в том числе для Agda, Idris (полтора языка это они?)?

Компьютерное доказательство теории конденсированной математики — первый шаг к «великому объединению»

А что об агде?

Ковид-пандемия: взгляд ковидоскептика

О компиляции... У вас Threadreaper? Какая конфигурация ПК, сколько времени компилируется (это refinedt)?

Как 20-летний паренёк фигачит по 12 часов каждый день уже больше года

Касательно теории категорий… Он мог бы и в гомотопическую теорию типов, как тут habr.com/ru/post/423889/#comment_19156825 (осторожно, может долго загружаться, 2400+ комментов).

Лихие девяDOSтые. Во что мы играли в начале 90-х (часть 1)

Только заходить под whdload (осторожно, не https) www.whdload.de/games/MetalMutant.html.

Лихие девяDOSтые. Во что мы играли в начале 90-х (часть 1)

F10

Новые рекорды: найдено 51-ое простое число Мерсенна

Заявка номер CRZ-ZMFHB-683 закрыта за недостаточностью данных… LiquidSnake, может, у вас есть письмо, что вы отправили коммент га модерацию намного раньше, чем вчера в обед? Оффтоп: пунктуация приведена в норму (спасибо rombell).