Хроники войны против компьютеров общего назначения, так сказать: https://cheapskatesguide.org/articles/owning-our-devices.html

Типа, "мы программисты" и так понимаем к чему всё идёт, и давно возмущены. Мы, типа, поборники свободного или хотя бы открытого софта, прожжёные пользователи GNU/Linux. Но там всё равно имеется кучка интересных ссылок. В частности.

https://cheapskatesguide.org/articles/pluton.html — Ryzen 6000 CPU for laptops is the first to incorporate Microsoft's Pluton technology. Давайте, фанаты Ryzen, топайте стройными рядами в цифровой концлагерь Microsoft. 😏

В общем, дело идёт к тому, что лет через 5 я личными вещами буду заниматься на "полукустарном" ноуте на RISC-V под управлением DragonflyBSD (просто давно хотел попробовать Dragonfly, если не попрёт, слезу на FreeBSD, конечно).

Ну, как я и говорил "Every Data Analysis platform attempts to expand until it includes a Spreadsheet": https://observablehq.com/@observablehq/introducing-data-table-cell

ЧСХ, как и Mito, эти таблички тоже умеют превращаться в код (SQL в данном случае).

Highlights from #Unison Forall conf.

They're working on Native Compilation and GPU support (at least in their cloud).

— I'm a confounder.
— Did you mean cofounder?
— No.

Внезапный ночер поэзии. Без особого повода вспомнил https://stihi.ru/2007/06/21-1254 Наслаждайтесь.

Вчера недостаточно внимательно прочитал. Потому что я помню вариант отсюда: http://lib.ru/SHTERN/shliman.txt (там и остальное прекрасно).

TIL: в Google Docs сочетание клавиш ctrl + space сбрасывает форматирование (полужирное-курсив-подчёркивание).

Интересное дело, базы данных — особенно реляционные — разрабатывали и разрабатывают не просто для хранения данных, но и для работы с ними, в частности — анализа. OLAP значит OnLine Analytic Processing, и поддерживается всеми основными РСУБД, как коммерческими, так и открытыми. Некоторые поддерживают очень продвинутую аналитику.

И тем не менее, когда Data Analysis стал "Sexy Job" оказалось, что данные выгружают в Excel и "развлекаются" с ними уже там...

https://handmade.network/jam

Another Handmade Network's Wheel Reinvention Jam. August 15 - 21.

https://nitor.com/en/articles/pitfalls-and-bumps-clojures-extensible-data-notation-edn

Why you need an up-to-date complete specification of a serialization format with several independent implementations. 😏

https://types22.inria.fr/files/2022/06/TYPES_2022_paper_24.pdf
For all Property-Based Testing fans out there: test properties of your properties! Exhaustively! 😂
(An upcoming TYPES-2022 workshop talk.)

Recent Strumenta's webinar about transpilers: https://vimeo.com/724885911/42b82a24fe
Slides separately: https://www.dropbox.com/s/134x10dkj4w7z8q/Let's%20talk%20about%20transpilers.pdf

And another one about parsers: https://vimeo.com/671065225/12498eb5d3

Советские переводчики были настолько крутые, что даже верлибры переводили в рифму! 😂

Решил реанимировать и подновить один JS frontend проект. npm outdated ни в какую не показывает devDependencies. На SO висит старый вопрос почему npm outdated не показывает ничего кроме devDependencies. 🤦‍♀️

Оказалось, что npm outdated почему-то не может найти devDependencies без npm install. npm install конечно не работал из-за протухших зависимостей.

Вдохновлено IKEA: Web frontend -- у тебя есть инструкция, но собрать по ней ничего не возможно.

https://github.com/cucapra/dahlia

A language + a Compiler written in Scala for High-Level Synthesis (FPGA programming).

Refocusing Programming Languages Theory from programs to programming: http://tomasp.net/histogram/

Tomas Petricek presents and discusses (at length!) a prototype of a new programming language (together with two interactive online editors!) built around the process of constructing a program, not the end artifact. The language named Histogram encapsulates a formal interaction calculus representing several user interactions with a system that result in a (partial) program.

As Tomas points out this approach is akin to interactive theorem proving with tactics, where the user interacts with the system writing down tactics which implicitly build a program (most often a formal proof is a (kind of) program).

But explicit focus on interactions allows going further and capturing not only usual notions of programs-as-texts or programs-as-ASTs, but also such atypical (in academic research) forms as Jupyter Notebooks with heavily non-linear (in reality) evaluation order and implicit global state of computation. Plus good old autocompletion. 😊

The fun part: we can develop a type system for interaction calculus with non-trivial metatheoretic and practical properties. Rephrasing Robin Milner's "Well-typed programs cannot go wrong" — "Well-typed interactions cannot produce ill-typed programs". 😁

https://unsound-workshop.org/

A workshop at SPLASH 2022 about unsoundness in specifications, systems or expectations. CFP is open till 2022-09-01 (but no formal publication).

Expecting lots of Rust folks. 😁

Do you like EDM? No, not that EDM, this EDM! 😂

Образцово-показательный проект на "современном JavaScript": https://github.com/lukeed/preact-progress
Один (sic!) файл исходников и два (sic!!!) файла конфигурации системы сборки. Это они ещё package-lock.json не закоммитили и нет отдельного конфига для Babel.
Если вы думаете, что это единственный такой проект — посмотрите по Гитхабу повнимательнее.