Границы мысли: Непротиворечивая математика и вопрос Бога
1. ВведениеСуществует глубокая и, по моему мнению, парадоксальная аналогия между двумя на первый взгляд несопоставимыми задачами: построением непротиворечивой математики и доказательством существования Бога. Обе они преследуют идеал абсолютной достоверности и завершенности знания. И обе наталкиваются на непреодолимые препятствия, вырастающие из самой природы человеческого разума. Лично меня этот вопрос занимает уже много лет: является ли это совпадением, или же мы обнаруживаем здесь универсальный предел человеческого мышления?2. Пределы формализма: математика
Артефакты с балкона: о чём говорят забытые вещи
Любому из нас знакома ситуация, когда родители выкинули коллекцию любимых вкладышей или отдали кому-то старую консоль. Бывает и так, что от вещей из детства отказываешься легко, по собственной воле. Стопка комиксов и энциклопедий раздаётся соседским детям, да и стыдно держать такое в свои 16 лет.
Visi On — предтеча Windows, о которой забыли
Если спросить любого человека, хоть немного знакомого с компьютерами, как называлась первая операционная система с оконным графическим интерфейсом для IBM PC, он наверняка скажет — Microsoft Windows. И это будет неправильный ответ. Ещё за два года до Windows 1.0 пользователям PC была доступна ОС с полноценным графическим интерфейсом, меню и окнами, управляемая при помощи мыши. Но про эту систему благополучно забыли… Почему? Сейчас разберёмся, а заодно узнаем, почему Билл Гейтс, увидев Visi On на выставке COMDEX в 1982 году, не поверил в её реальность.
ЭВМ и роботы на страницах советской научной фантастики. Часть 3: от утопии к реальности
В отличие от ранней советской фантастики, мало интересовавшейся вычислительными машинами, в конце 50-х годов авторы первых произведений «золотого века советской НФ» стали активно вводить ЭВМ и роботов в образы утопического завтра. И в романе «Туманность Андромеды» Ивана Ефремова, и в сборнике «Полдень, XXII век» братьев Стругацких компьютеры и кибернетические устройства показаны как повсеместные и привычные людям будущего. Тем временем, компьютеры начинают всё больше проникать и в реальность — поначалу сугубо у «физиков». С рубежа 50-х и 60-х ещё недавно единичные ЭВМ начинают идти в серию десятками (БЭСМ-2) и сотнями (Урал-1) экземпляров, ими начинают оснащаться институты, инженерные и научно-исследовательские центры, программирование превращается в важную, всё более востребованную и дефицитную специальность. Ещё недавно компьютеры в фантастике были таким же признаком не слишком близкого будущего, как межзвёздные перелёты. Теперь же всё больше читателей НФ из числа технической интеллигенции и сами прямо или опосредованно имели дело с компьютерами. Как это отразилось на советской научной фантастике и в целом культуре этого времени?
Синдром тревожного анализатора и разработчика-заложника
Мы просто смотрим на экран. Один варнинг. Один, но он красный. Он "орёт". Не получается сразу понять, в чём дело. Условный рефлекс срабатывает, и уже открывается Git. Сейчас пофиксим, а потом подумаем. Даже если предупреждение касается чего-то безобидного, один красный прямоугольник на фоне зелёных строчек может парализовать внимание.
Что такое OLTP: просто о сложном
Каждый из нас хоть раз пользовался банкоматом, делал покупку в интернет-магазине или бронировал авиабилет онлайн. Все эти операции — примеры работы сложных, но практически незаметных для пользователя технологий обработки транзакций в реальном времени. Речь идет об OLTP — Online Transaction Processing, или по-русски «оперативная обработка транзакций».
«Ты подсматривал!!!» или как повесть «Нажмите ВВОД» опередила своё время
Нажмите ВВОД, 1984Начало 1980-х — момент, когда домашние компьютеры перебрались из гаражей в гостиные. Apple II и Commodore 64 мигали своими курсорами, модемы на 300 бод шипели в телефонных трубках, TCP/IP уже связывал университетские сети с военной ARPANET, а журнал Byte
