https://livebook.dev/
Jupyter-like notebooks for Elixir but with some twists.

It looks like they aim not at Data Analysis but something akin to DevOps tasks automation. Though they have SQL and visualizations too.

Speaking of which their approach to Widgets (they call them Smart Cells) is curious. Smart Cells are basically a UI to generate some Elixir code which gets then executed in a usual way. At any point you can replace the UI with the code and start rewriting it manually however you please.

Integrated package management through Mix API seems nice and much better than separately installing libraries and importing from different places.

In the end they're building 100% source code backed notebook interface. Well they got me hooked to a degree. 😊

Сохранил себе.
#anime #dataset #visualization

https://arxiv.org/abs/2203.17125
"An Affine Type System with Hindley-Milner Style Type Inference"
Gonglin Li

I think I know some folks who might be interested... 😁

Keith M. Foster breaks down original Oregon Trail while porting it to Python: https://keithmfoster.com/the-oregon-trail/

https://www.youtube.com/watch?v=rkZzg7Vowao
A short interview with Leslie Lamport (of LaTeX fame 😁).

Teaching programming via teaching coding is like teaching writing via teaching typing. Which doesn't make much sense.

and some other great quotes. 😁

https://www.shadertoy.com/view/7dccRr

This is dope! Don't forget to click on the animation. 😉

https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0115069

The choice of an efficient document preparation system is an important decision for any academic researcher. To assist the research community, we report a software usability study in which 40 researchers across different disciplines prepared scholarly texts with either Microsoft Word or LaTeX. The probe texts included simple continuous text, text with tables and subheadings, and complex text with several mathematical equations. We show that LaTeX users were slower than Word users, wrote less text in the same amount of time, and produced more typesetting, orthographical, grammatical, and formatting errors. On most measures, expert LaTeX users performed even worse than novice Word users. LaTeX users, however, more often report enjoying using their respective software. We conclude that even experienced LaTeX users may suffer a loss in productivity when LaTeX is used, relative to other document preparation systems.

O-oh, it's so disheartening! 😢
#latex #msword #study #paper

A reaction to the paper linked in the previous post: https://blog.cr.yp.to/20201206-msword.html

I'd say the reaction mostly points out obvious glaring problems with the original study, but maybe they are not that obvious in the end as long as the paper was peer-reviewed and published?

I'd recommend skipping the first part of the post, everything before the explicit reference to the paper as it discusses simple stuff about list numbering and editing and reference management which MS Word and Word-like systems can do for many years.

Also the post references several other reactions to the study but I didn't follow the links.

Где-то в прошлом году я постил ссылку на https://dcic-world.org/ и отчаянно рекомендовал эту книгу как для самостоятельного изучения, так и в качестве основы для преподавания. И всё ещё рекомендую!

Напомню, что это основательно переосмысленное и переработанное продолжение http://htdp.org/ которая была и во многом остаётся революционной в части методического подхода к преподаванию программирования. Обе книги отличаются исключительной систематичностью: материал подаётся в выверенном порядке, без забегания вперёд или использования неизвестных понятий. Более того, изложение заранее учитывает типичные проблемы студентов и либо явно их предупреждает, либо даёт инструменты самопроверки и самопомощи. В том числе, этот подход поддерживается и специально разработанными языками программирования и IDE, используемыми в этих учебниках.

И тем не менее, Data-Centric Introduction ухитряется пойти ещё дальше, решить ещё больше затруднений, возникающих у студентов, показать больше связей информатики (Computer Science) с "реальной жизнью" (и не только программистов, но и бухгалтеров, маркетологов, учёных всех мастей и т.д.), объяснить ещё больше алгоритмов и дать больше систематических способов построения собственных и ещё больше облегчить переход со специальных языков на общеупотребительные (Python главным образом).

А теперь к инфоповоду для моих повторных излияний. Обе книги в ближайшее время выходят на русском языке в издательстве "ДМК Пресс" и уже доступны для заказа:
https://dmkpress.com/catalog/computer/programming/978-5-93700-137-5/

https://dmkpress.com/catalog/computer/programming/978-5-93700-926-3/

Remember this conference with unpronounceable acronym? Turns put they've released all the recordings quite some time ago. Just click on a talk's title in the schedule.

https://intfiction.org/t/inform-7-v10-1-0-is-now-open-source/55674

Some people were holding their breath for this but I'm not one of them evidently. Inform 7 went open-source almost a month ago. If you don't know what it is, go check it out, it's pretty cool. At the very least pretty unusual.

https://www3.nd.edu/~dthain/compilerbook/
"Introduction to Compilers and Language Design" by Douglas Thain

A free introductory book (PDF is available for direct download) on writing compilers. It spends 3 out of 12 chapters on scanning and parsing which is kinda questionable but at least touches all major topics. As an in introduction should be pretty decent.

Я считаю, нужно ещё законодательно закрепить чтобы имена Семи Вечных тоже обязательно писались с заглавной буквы: Судьба, Смерть, Сон, Страсть, Страдание, Сумасшествие, Сокрушение.

https://deathbykeystroke.com/articles/20220517-business-processes-as-types-lets-explore.html

Go-программисты открывают для себя монаду Either и "Railway-oriented programming".

Придумал Emacs-rehab. С VS Code на завтрак, IntelliJ IDEA на обед и вечерними профилактическими клизмами Vim.

I respect SQLite a lot but this part is just beyond good and evil: https://twitter.com/mitchellsalad/status/1361022421021696003?s=20&t=IOMRh_TtD9bEFjivmQD1Ig

https://github.com/omlins/julia-gpu-course
"GPU Programming with Julia" course from the Swiss National Supercomputing Centre (CSCS), ETH Zurich
Available: lecture recordings, exercises, solutions. 👍
#julia #gpgpu #lectures

"Тятя-тятя, наши сети" принесли феерическое: http://rsdn.org//forum/philosophy/8285289 — "Почему программисты прошлого были умнее".

Давайте сразу начну с punchline: "почему раньше X были умнее" — это "уловка-22", если раньше были умные, а теперь тупые, то автор автоматически получается тоже из нас, из тупых. А дальше, если он пишет что-то тупое, то это, конечно, только подтверждает его тезис. И автор, конечно же, подтверждает.

> Как известно более старые книги по математике времён СССР лучше более поздних того же СССР и России.

Как говорится, citation needed: кому известно, на основе каких исследований, по каким критериям?

Далее идёт шикарный "экскурс в парадигмы программирования" — это нужно видеть, потому что понять невозможно. Произведение современного искусства.

После чего автор кодом на языке Lua иллюстрирует тезисы относительно превосходства структурного программирования над процедурным. В рамках обсуждения программирования 1940-1960х годов. 👏

> Как показала практика не все парадигмы одинаково полезны. Некоторые приводят к размазыванию алгоритмов по огромному количеству файлов.

Ссылок на исследования снова нет. Видимо, автор это берёт из собственной практики.

> Вроде бы код открыт и даже свободен, читай и используй, но нет, не получается.

Может, потому что в 60х-80х было крайне мало открытого кода? Не было не то что Github, но даже Sourceforge? Да нет, просто читать не получается.

Пропустим несколько параграфов в том же стиле и перейдём к кульминации:

> Я бы даже сказал так, поколение программистов пользователей может даже не понимать, что у них в образовании имеются некие проблемы, да и не для всех это действительно проблемы.

Во-первых, оказывается, быть пользователем в 2022 — это плохо. Позорно. Можно даже не понимать, что у тебя в образовании имеются некие проблемы.

Хорошо, что у автора в образовании проблем не имеется. Особенно в области математики, статистики, парадигм программирования, истории и культуры речи.

> да и не для всех это действительно проблемы

Аминь.

https://distill.pub/2017/research-debt/
A sorta position paper from (early years) of Distill.
It called for one-sentence summaries so here you go:

Humanity suffers greatly from poor presentation of scientific ideas and underwhelming educational materials, thus Distill is aimed to improve this situation by incentivising scientist to produce carefully prepared exposition articles through a publishing venue, tools and monetary support.

Still I encourage everybody to at least skim through the paper for a great list of very interesting links if nothing else.

What I personally find questionable in the paper itself are the mountaineering metaphor that suggests a scholar needs to learn all of the science or at least of an area (climb all the peaks), and overly simplistic "cost model" of "interpretive labour". I think these simplifications don't do justice to neither the problem nor the scientists wrestling with it. But the awareness of research debt is necessary of course.

https://hopin.com/events/unison-forall/registration

Join us for a full day of talks and discussion about Unison, a friendly programming language from the future. This conference is 100% online and absolutely free.

June 24 2022, 9 AM - 5 PM EDT (13:00 - 21:00 UTC)

It's astonishing Unison language is still alive, they've made a startup out if it and now having a conference. Apart from sheer fun of it some talks look pretty interesting and useful (regardless Unison).