Решаем задачу про ферзей при помощи SMT-солвера +6
Публикации автора PatientZero
Почему Rust так мало волнует производительность компилятора +18
Современное шифрование, которое берёт своё начало в искусстве и математике Ренессанса +10
Глубокое обучение в науке вредно без глубокой проверки фактов +37
Тихая революция в интервальном запоминании информации +26
Я сделал поисковик хуже Elasticsearch +16
Почему Android не может использовать CDC Ethernet +40
Вероятно, вам не нужен DI-фреймворк +17
Как мы снизили время создания бэкапов Git с 48 часов до 41 минуты +16
Проверяем написанную LLM библиотеку OAuth на уязвимости +18
Слишком много открытых файлов +8
Гонка вооружений: смертельно опасный тритон и (не)ядовитая змея +59
Как прямая помогает обучать машины +8
Как ускорить сложение и вычитание при помощи 2^51 +64
Прогрессивный JSON +46
