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

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

22.12.2020

алгебра, информатика, информация, история ит, логика, логические задачи, логические схемы, предикат, программирование, теория информации

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

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

30.11.2020

c#, chromium, Crew Dragon, css, Dragon, Dragon 2, Falcon 1, Falcon 9, GDC, html, javascript, linux, nasa, PREEMPT_RT, Real-Time Linux, SpaceX, Starlink, илон маск, космонавтика, программирование, эмиграция, эмиграция в США

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

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

06.08.2020

CAD, cae, геология, добыча нефти, инженерия, математика, моделирование, программирование, РН-БашНИПИнефть, роснефть, физика

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

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

14.07.2020

CAD, инженерия, обработка звука, программирование, распознавание голоса, РН-БашНИПИнефть, роснефть

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

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

04.07.2020

gtd, аудиомания, безопасность за рулем, голосовые помощники, звук, здоровье гика, машинное обучение, нейросети, программирование, продуктивность, реверс-инжиниринг

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

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

02.07.2020

CAD, cae, геология, добыча нефти, инженерия, математика, моделирование, программирование, РН-БашНИПИнефть, роснефть, физика

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

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

19.06.2020

CAD, cae, геология, добыча нефти, инженерия, математика, моделирование, программирование, РН-БашНИПИнефть, роснефть, физика

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

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

16.06.2020

Stack Overflow, программирование, учебный процесс

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

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

11.06.2020

CAD, cae, геология, добыча нефти, инженерия, математика, моделирование, программирование, РН-БашНИПИнефть, роснефть, физика

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

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

04.06.2020

CAD, cae, геология, добыча нефти, инженерия, математика, моделирование, программирование, РН-БашНИПИнефть, роснефть, физика

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

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

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

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

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

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

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

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

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

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

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

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

Паблик ВКонтакте

Последние посты