https://www.meetup.com/category-theory/events/286589723/

Monthly (online) seminars on Category Theory and Categorical Data. Sounds like fun. 😏

Что меня втупляет в Julia, так это необходимость руками collect'ить итераторы. Их нельзя просто взять и передать туда, где ожидается массив. А это значит, что их нельзя передать примерно никуда. 🤦‍♀️

Ваши данные есть у киберпреступников?

Напоминаем сайт для проверки: https://haveibeenpwned.com/
Укажите свой номер телефона или адрес почты, и оцените результат.

Если данные есть в базе, то вы узнаете:
🔹откуда, когда была утечка
🔹какие данные скомпрометированы (адреса, пароли, геолокации).

Что делать, если нашли себя в базе?
1. Сменить пароли: на сайте, откуда произошла утечка, и от своей почты.
2. Убедиться, что подключили двухфакторную аутентификацию.

Оказывается, Julia умеет дампить скомпилированный код в виде бинарника: https://julialang.github.io/PackageCompiler.jl/dev/

Основное предназначение — дампить image для рабочей сессии чтобы после закрытия/открытия не компилировать всё с нуля. Было бы неплохо, если бы они и загруженные в память массивы дампили — вот это было бы ускорение работы. 😏

Как бы то ни было, поверх базовой функциональности есть ещё два применения: PackageCompiler может добавить к дампу нужные куски Julia, и получить либо динамическую библиотеку (для этого нужно определить C-callable функции), либо вообще standalone application.

Можно будет поиграться при случае. 😏

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. 🤦‍♀️