Начались боли в спине — пошли эксперименты. Год за годом, стол за столом приходил к идеалу: ортопедический стул, стол с вырезом и регулировкой высоты, кронштейн для фиксации монитора на уровне глаз. Спустя два года обнаружил себя буквально прикованным к положению…

С Новым годом, Хабр!Недавно я задался вопросом из названия, точнее говоря, вопросом о том, как может выглядеть математика без правила x ∗ 0 = 0 и в каких условиях «альтернативная» математика будет иметь право на существование.И вот в преддверии нового…

Это были компании со смелыми идеями, большим финансированием и иногда даже достойной реализацией, но всё пошло не так, как планировалось. Каждый провал рассказывает историю, и вместе с ней приходит урок (или два) для всех нас. Давайте разберемся, что к чему.1) Moxion…

Исследователи из Корнеллского университета разработали миниатюрные очки виртуальной реальности для мышей — MouseGoggles. При помощи устройства учёные намерены лучше изучить поведение животных в виртуальной реальности.MouseGoggles изготовили из недорогих готовых компонентов, таких как дисплеи умных часов и миниатюрные линзы.Научная группа надела…

Всем привет! Закрываем год нашим традиционным дайджестом новостей. Декабрь выдался богатым на инфоповоды о спайвари: засветилась Pegasus по делу Whatsapp, её конкурент Paragon выкуплен США, развернулся очередной скандал в Сербии, и обнаружили неизвестное китайское шпионское ПО.Помимо этого, оценки утечек российских…

Филаменты, скрученные на наноуровне, создают световые волны, которые закручиваются по мере их прохожденияИсследователи из Мичиганского университета получили яркий и одновременно «закрученный» (обладающий орбитальным угловым моментом) свет с помощью технологии, похожей на лампу накаливания. Это открытие добавляет новые нюансы в фундаментальную…

Продолжаем серию статей о CAP-теореме и языке Coq. В предыдущей части мы детально проанализировали определения CAP-теоремы, готовясь к её формализации на языке Coq, и нашли там серьёзную ошибку (теперь будет о чём поговорить при случае на system design interview).В этой…

Все любят чудеса. Даже те, кто в них уже почти не верит (в силу мохнатости свитера или густой айтишной бороды), втайне мечтают, чтобы они случались. Хотя бы изредка.Накануне Нового года мы хотим вспомнить об одном чуде, однажды произошедшем с каждым…

CAP-n-Coq. Часть 1. Определения CAP-теоремыNo subject appears to be more controversial to distributed systems engineers than the oft-quoted, oft-misunderstood CAP theorem. The CAP FAQ— Сейчас я тебе объясню… — Объяснить я и сам могу, ты расскажи, что на самом деле…

Как благодаря прокрастинации и аудитории VC мы нашли лидирующий продукт в нашем бизнесе — полуайтишный подарок на все случаи жизни.Пчелошеринг, дедморозинг, щебеньвозинг (извините)Привет! Эта история начинается с того, что у нас была просто пасека и мы просто продавали мёд.Пытались продавать так, чтобы…