программирование

Логика: предикатная, формальная и сентенциальная. Кванторы и создание информатики

Логика: предикатная, формальная и сентенциальная. Кванторы и создание информатики

1 | Введение: Логика, как эпистемологический инструмент, изобретена независимо в трёх отдельных государствах: Греции (Аристотелем), Китае (императором Цинь Шихуанди) и Индии. В последних двух перечисленных государствах логика не распространилась настолько, чтобы «прижиться» и получить развитие. В античной же Греции произошло…
Читать дальше
Как SpaceX пишет софт

Как SpaceX пишет софт

Даглас Хёрли и Боб Бенкен в капсуле «Индевор» Компания SpaceX ведёт стремительную разработку проектов сразу по нескольким направлениям. Первая ступень ракеты Falcon 9 после запуска полезной нагрузки в космос возвращается на Землю для повторного использования, подобное тестируют для прототипов Starship.…
Читать дальше
Нефтянка для инженеров, программистов, математиков и широких масс трудящихся, часть 5

Нефтянка для инженеров, программистов, математиков и широких масс трудящихся, часть 5

Сегодня мы поговорим о двух частных областях, где без моделирования не обойтись, и расскажем, как инженеры умеют разбираться в показаниях датчиков. Любая скважина – это объект капитального строительства, как здание или завод, который требует капитальных вложений, планирования, периодического и капитального…
Читать дальше
Как создать голосового помощника на основе технологий с открытым кодом, не передав вовне ни байта секретной информации

Как создать голосового помощника на основе технологий с открытым кодом, не передав вовне ни байта секретной информации

Зачем нефтяникам NLP? Как заставить компьютер понимать профессиональный жаргон? Можно ли объяснить машине, что такое «нагнеталка», «приемистость», «затрубное»? Как связаны вновь принятые на работу сотрудники и голосовой ассистент? На эти вопросы мы постараемся ответить в статье о внедрении в ПО…
Читать дальше
Дипфейки, реверс-инжиниринг, муз. программирование и аудиоинтерфейсы за рулем — что почитать аудиоману

Дипфейки, реверс-инжиниринг, муз. программирование и аудиоинтерфейсы за рулем — что почитать аудиоману

Это подборка материалов по теме программирования, компьютерного железа и ПО для автомобильных аудиоинтерфейсов. Всех заинтересовавшихся темой, приглашаем под кат. Фото Jefferson Santos / Unsplash Как «программируют» музыку. Прежде чем взять и влиться в тему музыкального программирования, стоит осмотреться. Предлагаем вашему…
Читать дальше
Нефтянка для инженеров, программистов, математиков и широких масс трудящихся, часть 4

Нефтянка для инженеров, программистов, математиков и широких масс трудящихся, часть 4

Это четвертая часть из серии статей для будущих математиков-программистов, которым предстоит решать задачи, связанные с моделированием нефтедобычи и разработкой инженерного ПО в области сопровождения нефтедобычи. Сегодня мы расскажем о том, зачем нужны модели месторождений, и как их строить. Модель –…
Читать дальше
Нефтянка для инженеров, программистов, математиков и широких масс трудящихся, часть 3

Нефтянка для инженеров, программистов, математиков и широких масс трудящихся, часть 3

Сегодня мы расскажем о том, кто куда мигрирует в нефтяной отрасли, о том, что происходит с месторождением при добыче, и о том, как вода, нефть и газ взаимодействуют. Это третья часть из серии статей для будущих математиков-программистов, которым предстоит решать…
Читать дальше
Джоэл Спольски: как началась эпоха Stack Overflow

Джоэл Спольски: как началась эпоха Stack Overflow

(эссе 2018 года) Всем привет! Много чего произошло с тех пор, как я, 18 лет назад, писал посты в блоге об эргономичных стульях Aeron. Некоторые из тех записей настолько старые, что уже сами могут идти получать первое высшее. О, и…
Читать дальше
Нефтянка для инженеров, программистов, математиков и широких масс трудящихся, часть 2

Нефтянка для инженеров, программистов, математиков и широких масс трудящихся, часть 2

Сегодня мы расскажем о том, как буровые станки бороздят просторы Сибири, из чего состоит скважина; зачем, для того, чтобы добыть что-нибудь нужное, надо сначала закачать в пласт что-нибудь ненужное, и из чего, собственно, сделана нефтяная залежь. Это вторая часть из…
Читать дальше
Нефтянка для инженеров, программистов, математиков и широких масс трудящихся, часть 1

Нефтянка для инженеров, программистов, математиков и широких масс трудящихся, часть 1

Хочешь знать, как и откуда добывают нефть, и зачем для этого нужны математики, инженеры и программисты? Это первая часть из серии статей, представляющих собой очень быстрое обзорное введение в предметную область для будущих математиков-программистов, которым предстоит решать задачи, связанные с…
Читать дальше