KMS-активатор vs. официальная лицензия Windows 10: что выбрать 
Четверть работающих в Москве мигранты, но они не являются четвертью платящих 
Градиент 
3 года Гостомельскому десанту 
Дискредитация через абсурдизацию 
18 декабря 
Котцы с толкованием. 
Новые правила - "неувиновность" преступника определяется его национальностью и 
Порционные судачки "А натюрель" по-грибоедовски
30.03.2023 —
ChatGPT 3.5 путается в дробях.
Лямбда-исчисление в 397 байтах
deep_econom — 02.04.2023
Лямбда-исчисление в 397 байтахhttps://habr.com/ru/post/654273/
Лямбда-исчисление — это язык программирования с единственным ключевым словом. Это асфальтовая топь Тьюринга, обнаруженная научным руководителем Тьюринга. В этом посте я расскажу о совершенно новой 397-байтной реализации двоичного лямбда-исчисления в виде Linux ELF для x86-64. Также в нём представлены удобно портируемый код на C и собранные двоичные файлы APE для других платформ.
Сохранено
|
|
</> |
Лямбда-исчисление в 397 байтах
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
29.03.2023 —
Онтология, приложения, форум онтолог.
24.03.2023 —
ТБА
23.03.2023 —
товарищ Си и товарищ Пу
17.03.2023 —
иллюзии касательно демократии
Архив записей в блогах:
"Большой список путлерюгендовских, сталинистских, фашистских, демшизовых и других троллей"http://gillederais.livejournal.com/487327.htmlМолодец, мужук. Я про Депутата. Выложился до конца. Добился-таки народного признания. Сам собой себя. В своём же лице. ...
Оригинал взят у aslan в Как строят деревянные суда В яхтенному порту "Геркулес" находится судостроительная верфь, где реализуется грандиозный проект по строительству с нуля (можно сказать, по историческому воссозданию) одного из величайших кораблей в истории Российского военно-м ...
из дневника 7 лет назад "такие записи немножко трудно делать, когда знаешь что твои дети тебя почитывают тут) ну всё равно, из песни слов не выкинешь) сегодня дома тихо, никого, я одна, собачка и хомячишко не в счет. сижу в кресле и думаю, вот, самое время вдумчиво и спокойно помолиться ...
Да-да, сейчас я расскажу о самых стрёмных днях нашего путешествия «Рязань-Москва».
Всё хорошее и прикольное написано тут , тут , тут и тут , а сейчас распишу то, от чего до сих пор остался густой осадочек.
5 января. Мы выехали из нашего супер-хостела в Рязани и отправились на ...
Основные противоречия капитализма - ограниченный платежеспособный спрос. Часть прибыли - есть кража. Дисбаланс между платежеспособным спросом и товарным предложение. Как убрать этот дисбаланс? Идеи Джона Кейнса. Альтернатива вертолетным деньгам - бюджетные деньги. Вертолетные деньги ...
