F#3: Форматирование текста

При работе с любым языком вам, скорее всего, нужно будет отформатировать текст, и F# ничем не отличается. Поскольку F# является языком .NET, мы всегда можем использовать Console.WriteLine (..) и String.Format (..), где мы можем использовать любой из обычных форматеров, которые вы использовали в своем обычном коде .NET. Однако F# также поддерживает более похожий на синтаксис […]

F#2: Среда FSI

Как многие из вас знают, я парень из C#. Поэтому, если я просто хочу что-то попробовать, я обычно просто открываю LINQPad и пробую что-то там. Если всё разрастается и мне нужно больше контроля над экспериментами, я откажусь от LINQPad и разверну приложение ConsoleApplication в Visual Studio. Оба эти подхода работают нормально, но было бы неплохо, […]

Экстремальная педагогика: «УчимЗнаем» о работе с детьми на длительном лечении

Сегодня мы хотим ответить на вопрос «Нужно ли полноценное школьное образование в клиниках, где дети находятся на длительном лечении, каким оно должно быть?». Начнем с фактов. В нашей стране ежегодно свыше 250 тыс. детей проходят длительное лечение в клиниках. Тяжелейшие случаи – это пересадка органов, онкология. При этом в нашей стране по статистике в 80% […]

VK Hackathon 2019 (как это было)

В прошедшие выходные (27 — 29 сентября) прошел «VK Hackathon», на котором мне и моей команде посчастливилось побывать в качестве участников. В этом посте я бы хотел рассказать о том, как это получилось и насколько хакатоны — это круто. Во-первых, о нашей команде Команда у нас огонь и я бы хотел всех поблагадорить, я не […]

Андрей Терехов (продолжение): «Когда говорят, что мы отстали от американцев навсегда, я отвечаю: „Не дождетесь!“»

Вторая часть интервью с завкафедрой системного программирования Матмеха СПбГУ, доктором физмат наук, профессором, президентом компании «Ланит-Терком». Андрей Николаевич Терехов рассказал о создании кафедры матобеспечения ЭВМ и своих многочисленных учениках, языке PADLA, работе ассенизатора и технике бега в мешках. Первую часть интервью читайте здесь. 200 рублей Я, как шпион — все знаю, где что делают. Потому […]

Пишем оплату для telegram-бота на python с помощью библиотеки telebot часть 3

Для тех, кто не читал предыдущие части: Часть 1 Часть 2 Зачем нужна оплата? В жизни каждого разработчика телеграм ботов наступает момент, когда необходимо реализовать оплату в вашем боте. И тут у вас есть два пути. Первый — зарегистрировать ИНН, ИП/Юридическое лицо и подключить официальную оплату от телеграма или просто использовать сторонний сервис по типу […]

Надёжность Flash–памяти: ожидаемое и неожиданное. Часть 1. XIV конференция ассоциации USENIX. Технологии хранения файлов

Так как твердотельные накопители, основанные на технологии флэш-памяти, становятся основным средством постоянного хранения информации в дата-центрах, важно осознавать, насколько они надежны. На сегодня проведено большое количество лабораторных исследований чипов флэш-памяти с использованием синтетических тестов, однако не хватает информации об их поведении в полевых условиях. Данная статья посвящена результатам широкомасштабного полевого исследования, охватывающего миллионы дней использования […]

Трансляция: Moscow Kubernetes Meetup #6

Друзья, для тех кто желал, но не смог приехать на «Moscow Kubernetes Meetup #6», доступна прямая трансляция с мероприятия. Смотрите и задавайте докладчикам вопросы в Online → Программа мероприятия

Интерактивная лаборатория термодинамики как эффективное средство имитационного обучения

Введение Имитационное обучение с использованием мультимедийных образовательных ресурсов является одним из перспективных направлений информатизации современного образования. Под имитационным обучением мы будем понимать такую модель обучения, в которой посредством программного обеспечения виртуально воспроизводятся физические процессы и условия, аналогичные реальным, но имеющие ряд идеализированных качеств. Возможность интерактивного взаимодействия с виртуальной моделью того или иного физического процесса позволяет […]

Сортировка фотографий по данным из EXIF + PHP

Хочу поделиться своим опытом сортировки фотографий с помощью скрипта на PHP Наступает тот момент, когда фотографий становится не много, а катастрофически много. Предыстория Решил я в один из дней отсортировать весь свой архив цифровых фото, накопленный за 20 лет, и понял, что всего за это время накопил 112 000 фотографий на 435 гигабайт. Причем, некоторая […]