165 читали · 3 года назад
Можно ли доверять компьютерам?
Это простое выражение на языке математического ПО Maple проверяет формулу, подсчитывающую количество целочисленных треугольников с заданным периметром. Шалош Б. Эхад, соавтор нескольких работ, опубликованных в уважаемых математических журналах, известен своими лаконичными доказательствами теорем и тождеств, ранее требовавших многих страниц математических рассуждений. В прошлом году, когда его попросили подтвердить формулу для количества целочисленных треугольников с заданным периметром, Эхад провёл 37 вычислений менее, чем за секунду, и выдал ответ: правильно...
338 читали · 6 месяцев назад
Самые популярные языки программирования на апрель 2024 г.
Апрельский заголовок: Теряет ли PHP свою популярность? В этом месяце PHP достиг самой низкой позиции в индексе TIOBE за всю историю. Когда в 2001 году был запущен индекс TIOBE, PHP был близок к тому, чтобы стать стандартным языком для создания интерактивных веб-сайтов. Популярность PHP росла из года в год: в итоге его доля на рынке превысила 10% и даже достигла 3-й позиции в рейтинге TIOBE. После этого на рынок вышло множество конкурентов. Примерами так называемых фреймворков для веб-разработки являются Rails, Django и React...