Вышел NeoVim 0.5.0

Как с поддержкой LaTex, Idris 2, Agda?

Мой уход из Яндекса, как не потерять мотивацию за полгода подготовки в FAANG и реджект в Google

Оставляли Feedback для добавления Haskell: Please provide Haskell language support! - LeetCode Discuss .

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

А какие баги?

Почему я «мучаюсь» с JS

Композиция лучше наследования классов, порождающих экземпляры, так как не существует способа расширить такой класс и добавить к нему новый аспект, сохранив при этом а соглашения для метода equals (Java, например).

Наш иск против 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)?