Архивы

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

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

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

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

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

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

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

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— Сейчас я тебе объясню… — Объяснить я и сам могу, ты расскажи, что на самом деле происходит! (Из разговора политологов, но для CAP-теоремы подходит тоже)— Давайте уже запишем CAP в Coq…

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

Приветствую! Сегодня будем писать бота для хранения истории личных сообщенийБезусловно, идея не уникальная: часть людей уже использует неофициальные клиенты, другая – юзерботов (например, на pyrogram)Что я предлагаю?Официальный бизнес-режим бота, не нарушающий TOS, работающий 24/7 и за который не сносят аккаунты (!)Минусы: Нужен Telegram PremiumБлиже к делуВот что мы получим по итогуСоздание бота (Для новичков)Зайдите в бота…