Готово, можно расшаривать! 😁

Не знаю, откуда это, какой год (хотя вышла как минимум Java 12), но вы посмотрите на вторую самую популярную версию Java! 😂🙈🤦‍♀

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

Не треплитесь про свои цели. Вас тогда не только не засмеют, так даже выше шанс чего-то на самом деле добиться. 😉

https://aiplans.github.io/
AIPLANS (Advances in Programming Languages and Neurosymbolic Systems): a new workshop at NeurIPS 2021 fusing ML with programming theory to create neurosymbolic program-writing machines!
Dec. 13th or 14th at NeurIPS 2021.

https://dev.to/pb/open-source-programs-for-students-to-participate-55gm

A small list of (summer) programs like (and including) Google Summer of Code.

Бывают люди с двойным дном, а бывают -- с двойным днищем.

-- Вот живёшь с человеком, а потом что выясняется?!
-- Отношения?

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

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! Так что теперь у нас есть возможность её купить и пользоваться с удовольствием. 😊