Представлен язык программирования Birb, элементами которого являются только эмоджи разных птиц
Язык Birb является полными по Тьюрингу и вдохновлен книгой Рэймонда Смаллиана «Передразнить пересмешника и другие логические загадки, включая увлекательное путешествие в комбинаторную логику», где комбинаторная логика объясняется с помощью типовых комбинаторов, которым присвоены названия птиц.
Таким образом, при написании кода программ можно обойтись лямбда-исчислением, в котором применяются только комбинаторы, ассоциированные с эмоджи с изображением птиц. Например, сова "🦉" определяет выражение "λab.b(ab)", а утка "🦆" - "λabc.c(ba)" и так далее.
Синтаксис программы на Birb сводится к шаблону "[birb]+: Birb". Числа задаются с использованием кодирования Чёрча, например, 0 можно представить как "🐥🐦", 1 как "🪽🐧", а операцию 1+2 как "🐦🐦🕊🐧🕊🐧🐦🐧🕊🐧🕊🪽🐧🦢🐧🦢🐧🐥🐦🦢🐧🐥🐦".
Все символы в листинге Birb, отличные от эмоджи птиц, обрабатываются как комментарии.
Язык Birb является полными по Тьюрингу и вдохновлен книгой Рэймонда Смаллиана «Передразнить пересмешника и другие логические загадки, включая увлекательное путешествие в комбинаторную логику», где комбинаторная логика объясняется с помощью типовых комбинаторов, которым присвоены названия птиц.
Таким образом, при написании кода программ можно обойтись лямбда-исчислением, в котором применяются только комбинаторы, ассоциированные с эмоджи с изображением птиц. Например, сова "🦉" определяет выражение "λab.b(ab)", а утка "🦆" - "λabc.c(ba)" и так далее.
Синтаксис программы на Birb сводится к шаблону "[birb]+: Birb". Числа задаются с использованием кодирования Чёрча, например, 0 можно представить как "🐥🐦", 1 как "🪽🐧", а операцию 1+2 как "🐦🐦🕊🐧🕊🐧🐦🐧🕊🐧🕊🪽🐧🦢🐧🦢🐧🐥🐦🦢🐧🐥🐦".
Все символы в листинге Birb, отличные от эмоджи птиц, обрабатываются как комментарии.
😁7🙈4🕊1
Наткнулся на интересную статью про потребление воды датацентрами с нашим любимым GPT (https://arxiv.org/pdf/2304.03271.pdf) если коротко, то на 20-50 вопросов-ответов ChatGPT "потребляет" 500мл. В июне сайтец посетило 1.6 млдр человек. Смекаете?
🤯8🤔1
Для тех, кто не успел забрать себе обучение по работе с большими языковыми моделями, вот отличная возможность с промокодом SEPTEMBER.
Переходи по ссылке и забирай обучение: https://stepik.org/a/175490
Скидка действует до 1 Октября (что уже совсем скоро)
Переходи по ссылке и забирай обучение: https://stepik.org/a/175490
Скидка действует до 1 Октября (что уже совсем скоро)
🔥8❤🔥1❤1
Крч. Тут мне шепнули про новый тренд в телеге - "нашествие клонов". Все по классике, регается новый акк визуально похожий на акк владельца и начинается "посев". Если что вдруг, напоминаю, что я кроме как тут напрямую никому сам не пишу, вкладываться куда-то не предлагаю и не пиарю другие проекты (кроме масонской ложи Киргизии и поп группы Ace of Base, к ним вопросов нет). Так что будьте бдительны и не отдавайте деньги мошенникам (можете мне, я посторожу). Всем отличных выходных.
😁18👌3🎃3