Единица по Бурбаки: красота запредельной абстрактности
В своём стремлении к формальной точности математики, кажется, иногда переходят границу разумного. Такая мысль возникает у многих, когда они впервые видят определение единицы у Бурбаки.
Определение, которое вы видите на картинке, — это сокращённая, очень и очень сокращённая запись. Аккуратный расчёт показывает, что, если развернуть эти сокращения, то длина этого знакосочетания представляет 2 409 875 496 393 137 300 000 000 000 000 000 000 000 000 000 000 000 000 знаков и 871 880 233 733 949 100 000 000 000 000 000 000 000 000 000 000 000 000 связей. Это безумное число. Если бы мы попробовали записать его обычным шрифтом, то это заняло бы сто миллиардов квинтиллионов квинтиллионов книг.
Первое впечатление — дичайший формализм, доведённый до абсурда.
Но при внимательном рассмотрении и некотором времени, потраченном на изучение предмета, приходит понимание того, насколько это красивое и точное определение. Более того, это довольно естественное и простое определение, и автор статьи попытается за 15 минут вас в этом убедить, даже если ваше знание математики ограничивается школой.
Четыре платформы — один код. Что такое Compose Multiplatform?
Разработчики давно грезили о возможности писать кроссплатформенный код — такой, который запускался и работал бы одинаково в любой операционной системе любой архитектуры. Сегодня принципом «Write once, run anywhere», когда-то прогремевшим в связи с появлением языка Java, трудно кого-либо удивить. И всё же есть ниша, в которой не так много кроссплатформенных технологий: это UI-разработка.
Не будет преувеличением сказать, что на сегодняшний день есть только два UI-фреймворка, которые позволяют запускать один и тот же UI на разных платформах и широко представлены на рынке: React Native и Flutter. Казалось бы, чего ещё желать? Сразу две технологии предоставляют возможность шарить UI-фичи между платформами и прекрасно с этим справляются. Но эта статья — не о них, а об их младшем собрате, удобном и мощном инструменте мобильной и десктопной разработки — Compose Multiplatform.
Сегодня мы попробуем понять, легко ли перенести код, написанный только под андроид на чистом Jetpack Compose, на другие платформы. Мы напишем простой, но рабочий прототип мессенджера, который можно запускать как десктопное приложение, мобильное приложение на Android и iOS, а также в браузере.
В следующий понедельник, 22 мая, на Хабр Карьере стартует Неделя аналитиков с участием X5 Tech, «Домклика», «Альфа-Банка», РНКБ, «МТС Банка», «билайна» и «Самолёта»!
Компании расскажут о себе в формате коротких видеопитчей и поделятся «горячими» вакансиями, а вы проголосуете за понравившийся питч и при необходимости откликнетесь на предложение о работе. В конце недели мы соберёмся на IT-митапе, чтобы обсудить итоги и ответить на вопросы.
👉 Программа Недели и другие подробности
Max Payne: ретроспектива трилогии
21 год назад ребята из финской студии Remedy, будучи любителями гонконгских боевиков Джона Ву, задались целью воплотить адреналиновые перестрелки в формате видеоигры и преумножить эти ощущения за счёт погружения. Сегодня мы знаем, что получилось это у финских парней отлично, и они навсегда вписали свои имена в историю шутеров от третьего лица. Как же сейчас, спустя два десятка лет, ощущаются похождения «человека, которому нечего терять»? Давайте узнаем!
Сотрудник IBM Ян Клиффорд, который с 2008 года находился в отпуске по болезни по страховому плану IBM, подал в суд на своего работодателя за то, что тот не увеличил ему зарплату. В качестве аргумента истец привёл рост инфляции, который повлиял на его покупательскую способность.
В рамках своего плана медицинского страхования Клиффорд получает 75% от зарплаты, которая составляет $89 671 в год. Таким образом, компания выплачивает ему $67 254. Он по-прежнему считается сотрудником IBM, но не обязан выполнять какую-либо работу.
Клиффорд заявил, что ему не индексировали зарплату с 2013 года, а при высокой инфляции его текущий доход «скоро иссякнет».
Судья Пол Хаусего отказал в рассмотрении дела. Он отметил, что выплата доступна только инвалидам, и поэтому условия Клиффорда не могут считаться менее благоприятными.
Сам же Клиффорд теперь считает себя «пенсионером по состоянию здоровья». Он намерен продолжать получать платежи до своего 65-летия. К этому времени сумма выплат составит более $1,86 млн.
«С весны 2019 мы перешли на другой техпроцесс — более производительный и более экологичный. Тем не менее фигурки, произведённые по описанному техпроцессу, проложили нам дорогу успеха к международному рынку фигурок и крупным заказам от издательств»
Технология покраски деревянных фигурок для настольных игр от Meeplewood
«Осенью 2022 года я запустил новый проект — сайт с результатами моих тестов батареек и аккумуляторов. Так получилось, что были разработаны две версии сайта: разработчик lamptest.ru Сергей Андреев создал battest.ru, энтузиаст из Новосибирска Алексей Синёв создал batterytest.ru, но он не только создал сайт, но и постоянно его дорабатывает, добавляя новые возможности. О них я и расскажу сегодня»
Пять новых возможностей сайта с тестами батареек и аккумуляторов batterytest.ru
Blink: супербыстрый эмулятор x86-64 размером 119 КБ
На Хабре когда-то писали про талантливую программистку Джастин Танни, автора маленьких и очень быстрых приложений. Приятно знать, что она не останавливает свою неординарную деятельность. Например, одна из её последних разработок — крошечный эмулятор под названием Blink, который очень быстро компилирует WASM и выполняет Linux-программы x86-64 под разными платформами и даже в браузере.
Никогда не отвлекай программиста!
Во многих компаниях программистам запрещают работать в наушниках или отвлекают их по мелким вопросам. Вероятно, причина кроется в плохой информированности менеджеров и других сотрудников, насколько вредно так делать.
Крис Парнин из технологического института Джорджии решил восполнить этот недостаток и опубликовал чрезвычайно насыщенную статью со ссылками на различные исследования по этой теме.
#хабраархив
«Хабровчане, всем привет! Меня зовут Максим Плачковский, я автор канала PythonToday. Из этой статьи вы узнаете, как написать своего Telegram-бота для получения данных о погоде в любом городе нашей планеты. Мы детально рассмотрим работу с API, парсинг JSON и напишем бота на асинхронной библиотеке aiogram. А после — загрузим его на виртуальный сервер и запустим»
Карманный синоптик за час: пишем Telegram-бота для мониторинга погоды на Python