https://utk-se.github.io/CodeRibbon/

Навигация по файлам в духе tiling window manager. Плагин почему-то для Atom. VS Code умеет загружать Atom-плагины? 🤔

https://elliot.website/editor/

Early stage WIP prototype of an editor embedding other (projectional) editors a-la JetBrains MPS (and thus Mbeddr) but on top of usual text-based editor, not structural one.

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

Не знаю, откуда это, какой год (хотя вышла как минимум 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). 😊

http://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/
"Введение в логическое программирование" — выходит в следующем месяце!

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