-- А есть фотка где кот сидит на этой, как её?
-- На измене?

https://goplus.org/

Go+ — the Go language with some Python- and JS-derived syntactic sugar. The authors suggest to use it for STEM education and Data Analysis, but I wouldn't.

https://alarmingdevelopment.org/?p=1570
Version Control for Structure Editing

The authors present a Version Control model based on Operational Transformations. I wonder how it compares to Categorical (Pushouts-based) model of Pijul?

https://cs.au.dk/~clemens/live2021.html

Forget jsFiddle, CodePen and all that crap. This is WILD! Like an Alan Kay's dream came true on the Web! 😃

https://twitter.com/jplubin/status/1449159815058522115

Yay, Justin finished his study and published a paper! 😃
Statically Typed Functional Programming FTW!!!

https://dl.acm.org/doi/10.1145/3485532

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/ — думаю, можно запостить

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