Надо бы потом почитать...

Seven Deadly Sins of Introductory Programming Language Design (1996) [pdf]
Article, Comments

https://github.com/mattiasgustavsson/dos-like

Program in C like it's DOS (and everyone's watching)! 😂

If nLab is too general and abstract for you there's now https://1lab.gadt.fans/index.html — a formal development of simple 1-category theory mechanised in Agda (and presented in Literate Agda). 😊

https://iu-parfunc.github.io/gibbon/

Выглядит как недо-хаскель, компилирующий (хитрым образом) АлгТД в "сериализованное", "плотно упакованное" представление в памяти. Ну и функции так чтобы они с этим нормально работали. Понятно, что получают ускорение в разы на алгоритмах, которые много обходят такие данные (типа AST traversals).

Но самое интересное не это само по себе. Интересное — это Location Calculus (aka LoCal) и Region + Location Inference, на основе которых и строится вся схема компиляции. Ссылки на статьи имеются.

https://davidkoloski.me/blog/intelligent-brute-forcing/

A nice blog post about NP-hard puzzle solving with brute-force, A*, benchmarking and optimization. In Rust. And a nice puzzle game embedded right into the page! 😊

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

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 выглядит дёшево. 😞

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