https://www.youtube.com/watch?v=33YSWaR3kAQ

Another crazy Erdös' conjecture recently proved. Though not yet peer-reviewed. 😊

SHAP (SHapley Additive exPlanations) is a game theoretic approach to explain the output of any machine learning model. It connects optimal credit allocation with local explanations using the classic Shapley values from game theory and their related extensions:
https://github.com/slundberg/shap#citations

#machinelearning #explainableai

https://www.hertzbleed.com/

Holw cow! They're now leaking secrets from constant-time cryptographic algorithms using CPUs' frequency scaling! 😱

Хроники войны против компьютеров общего назначения, так сказать: 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". 😁