https://dmkpress.com/catalog/computer/programming/978-5-93700-968-2/
"Введение в логическое программирование" — выходит в следующем месяце!

Не знаю, что там внутри и хороша ли она, но сам факт, что сегодня переводят и выпускают новую книгу по логическому программированию вызывает глубокое уважение.

https://twitter.com/wilbowma/status/1451058591230619650?s=20

A-aaaa!!!!... 😃

https://github.com/michaelt/martin-lof/raw/8bb66eb9f078088a444e7a72c00b1b849334cab6/pdfs/martin-loef1971%20-%20A%20Theory%20of%20Types.pdf

https://knifesteelnerds.com/2021/03/25/cpm-magnacut/
Офигенная ножеманская история! 😃 И на то имеется минимум три причиы.

1. В этом году у нас появилась новая универсальная, целенаправленно ножевая сталь — CPM MagnaCut — с совершенно уникальным, невероятным сочетанием свойств! Она метит в ту же нишу, что и отличнейшие CPM S35VN и S45VN, но превосходит их по всем параметрам. Во-первых, закаливается до 65+HRC, и даже на такой твёрдости не уступает им в ударной вязкости, а на 62HRC существенно превосходит. Во-вторых, сильно превосходит по коррозионной стойкости, содержа всего лишь 10% хрома! Формально, это вообще углеродистая сталь, в лучшем случае — "полунержавеющая". При всём при этом демонстрирует высокую износостойкость одновременно с относительно лёгкой заточкой. Как это вообще возможно и за счёт чего достигается — автор "на пальцах" объясняет в блог-посте. 😊

2. Несмотря на тысячелетнюю историю развития металлургии и ножевой промышленности, и несмотря на бурный всплеск и расцвет исследований в начале XXI века в связи с развитием "порошковой" металлургии — оказалось всё ещё можно разработать совершенно уникальную новую сталь! Правда, теперь это стало ещё сложнее. 😁

3. Это именно ножеманская история, поскольку автор стали — "простой ножеман". Он, конечно, не "человек с улицы", поскольку профессионально занимается проектированием сталей для промышленности (автомобильной, в последнее время, как я понял). Но ножами он профессионально никогда не занимался, а как и мы все просто "влюбился" в какой-то момент. А потом совместил профессиональные знания и навыки со страстью к ножам, и не только сумел спроектировать сталь, но и "продал" её CPM! Так что теперь у нас есть возможность её купить и пользоваться с удовольствием. 😊

https://github.com/aviaryan/awesome-no-login-web-apps

An "awesome list" of Web apps that work without login. Can you believe that?! 😁

The winter is coming. У кошек началась игра пристулов.

For a junior programmer, a programming language is something like Angular or Blockchain, while for a senior developer, a language is Ruby or Python.

Hillel хорош! 😁
https://www.hillelwayne.com/post/sudoku/

https://www.youtube.com/watch?v=PI-eyMVBqqc
Latent Effects for Reusable Language Components

https://arxiv.org/abs/2108.11155

Latent effects are (claimed to be) more modular than Algebraic Effects and Handlers and Scoped Effects. The resulting approach (the data type) looks like heavily parameterised Free Monad. But that provides a way to "construct" (Domain-Specific) languages from completely independent pieces of syntax and semantics (taken from libraries).

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

https://www.cantorsparadise.com/the-web-of-mathematics-a-data-visualisation-baa5d478d908

The Web of Mathematics — an interactive diagram of relations between mathematical fields and application areas.

https://www.youtube.com/watch?v=ULCIHP5dc44

Вызывает смешанные чувства... С одной стороны, видно уважение и желание воссоздать стилистику и тон оригинального материала, с другой стороны — полностью игнорируется трагизм и подтекст оригинала. При этом prodution выглядит дёшево. 😞

Ну и мне хореография и постановка боёв что-то не нравится, хотя показали мало, может, на самом деле выглядит лучше, чем в трейлере.

https://persons.iis.nsk.su/en/pssv21
Program Semantics, Specification and Verification: Theory and Applications

Англоязычная (нынче онлайн-) конференция, организуемая русскими исследователями из Иннополиса и Новосибирска.
Fun fact: на второй день некто Yegor Bugayenko будет рассказывать про EOLANG and φ-calculus. Хочу на это посмотреть.

Oldie but goodie: https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.2065
Pure Type Systems Formalized (1993)
by James Mckinna , Robert Pollack

This paper is about our hobby. For us, machine-checked mathematics is a passion, and constructive type theory (in the broadest sense) is the way to this objective. Efficient and correct type-checking programs are necessary, so a formal theory of type systems leading to verified type synthesis algorithms is a natural goal. For over a year the second author has been developing a machine-checked presentation of the elementary meta-theory of Pure Type Systems (PTS) [Bar91], (formerly called Generalized Type Systems (GTS)). This project was blocked until the first author collaborated with a fresh idea. Here we describe the state of this ongoing project, presenting a completely formal, machine checked development of this basic meta-theory, including the underlying language of (explicitly typed) lambda calculus.

Кабы не было ковид в городах и сёлах
Никогда б не знали мы этих дней весёлых

(c) жена

Дельный пост, особенно для начинающих датасаентистов.

I’m not the first to point out that box plots always make distributions look ‘bell shaped’

😏

https://nightingaledvs.com/ive-stopped-using-box-plots-should-you/ — думаю, можно запостить

Испёк блин размерности нуль -- состоит из дырок чуть менее, чем полностью.

https://www.kickstarter.com/projects/958692255/prometheus-wept-a-post-digital-turn-based-rpg

Выглядит интересно. Напоминает про Shadowrun, но мрачнее и жёстче. Почти соло-проект, инди до мозга костей. Но разработчик умеет get shit done, респект.

https://arxiv.org/abs/1505.03118
When causation does not imply correlation: robust violations of the Faithfulness axiom

We demonstrate that the Faithfulness property that is assumed in much causal analysis is robustly violated for a large class of systems of a type that occurs throughout the life and social sciences: control systems. These systems exhibit correlations indistinguishable from zero between variables that are strongly causally connected, and can show very high correlations between variables that have no direct causal connection, only a connection via causal links between uncorrelated variables. Their patterns of correlation are robust, in that they remain unchanged when their parameters are varied. The violation of Faithfulness is fundamental to what a control system does: hold some variable constant despite the disturbing influences on it. No method of causal analysis that requires Faithfulness is applicable to such systems.

Блин, логично. Но контринтуитивно. Вообще засада, а статья ещё 15го года.

https://www.tudelft.nl/en/dhpc

Can you guess the name? No? Then watch the video. 😊

Я давно прикупил. Чего и остальным советую. 😊

Если вдруг кто-то до сих пор не прикупил себе Haskell in Depth, то самое время: сегодня дают скидку 42% на https://www.manning.com/dotd. С той же скидкой можно заодно купить ещё три книжки: для начинающих изучать Haskell от Уила Курта (она отличная, я работал над ней в оригинале как technical proofer, и редактировал перевод на русский), для интересующихся дизайном приложений в функциональном стиле от Саши Гранина, ну и для интересующихся функциональным стилем вообще и не брезгующих при этом синтаксисом Scala от Michał Płachta.