я считал, что механизм логического вывода на правилах - это явная альтернатива ML там, где нет возможности собрать достойный датасет

Вот так зумеры смотрят на эту вашу формальную логику! 😁

Рубрика "угадай язык программирования".

The return value of a subroutine is "OK", "bad", or "very bad"

Никаких других вариантов возвращаемых значений в языке нет вообще! 😂
(Ответ: FurryScript)

Аааа!!! Алан Кей сидит онлайн на Quora прямо сейчас и отвечает на мои комментарии!!! 😱

Это что-то фееричное и невероятно милое: https://play.fancade.com/ 😃

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.