Obsidian+Github вместо Notion: синхронизация, бекап и версионность (3-в-1)

Для параноиков: плагины obsidian могут исполнять произвольный код на компе, а т.к. сейчас модно создавать ssh-ключ, закидывать его на гитхаб и делать git push без пароля, то создать "продвинутый" токен недостаточно. Чтобы защитить гитхаб от обсидиана можно например сделать ssh-ключ с паролем. (И при каждом git push вводить пароль, который будет расшифровывать закрытый ключ для дальнейшего его использования).

Obsidian+Github вместо Notion: синхронизация, бекап и версионность (3-в-1)

вот одна из причин этой ошибки: в репозитории присутствуют файлы, содержащие ?*: или совпадающие с каким-нибудь расширением типа .md. Оказывается такие файлы нельзя создавать в файловой системе андроида. Выяснил после того как попытался склонировать репозиторий через termux.

Добавляем в Jupyter Notebooks красоту и интерактивность

а как сделать то же самое, что и ipywidgets, только при помощи html/javascript, чтобы в дальнейшем это можно было оформить как отдельную веб-морду без юпитер-ноутбука (но сначала чтобы она была в юпитер-ноутбуке)? Ну HTML/javasctipt можно отобразить при помощи display(HTML(...)), и наверно еще понадобится запустить маленький веб-сервер, чтобы он принимал сигналы из HTML и менял питонские переменные, и как-то всё это подружить...

Лог файлы Linux по порядку

Компилируем, запускаем

#include <syslog.h>
int main() {
        syslog(LOG_USER | LOG_EMERG,"hello_syslog_emergency");
        syslog(LOG_USER | LOG_ALERT,"hello_syslog_alerts");
        syslog(LOG_USER | LOG_CRIT,"hello_syslog_critical");
        syslog(LOG_USER | LOG_ERR,"hello_syslog_errors");
        syslog(LOG_USER | LOG_WARNING,"hello_syslog_warning");
        syslog(LOG_USER | LOG_NOTICE,"hello_syslog_notice");
        syslog(LOG_USER | LOG_INFO,"hello_syslog_info");
        syslog(LOG_USER | LOG_DEBUG,"hello_syslog_debug");
}

запускаем

journald

нажимаем End, любуемся

Механическая модель электрических цепей

есть

Механическая модель электрических цепей

отличный пример для моделирования: DC-DC преобразователь www.youtube.com/watch?v=yMOFQTCzt2k

Мягкое введение в Coq: начало

Похоже это перевод softwarefoundations.cis.upenn.edu/lf-current/Basics.html
со скриншотами

Регулярные выражения изнутри

perl -Mre=debug -e'"aaaaaa"=~/(a+)\1/'

а это случайно не бэктрекинг?

В примере

perl -Mre=debug -e'"aabbaa"=~/(a+)b+\1/'

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

Регулярные выражения изнутри

опечатка: δ’(p0, aaax) = δ(δ’(p0, aaa), a) = δ(p5, a) = p4
надо заменить на δ’(p0, aaax) = δ(δ’(p0, aaa), x) = δ(p5, x) = p4

Чем меньше, тем лучше — о возможностях языков программирования

Мой опыт подсказывает, что если постить что-то очевидное или не меняющее смысл, но улучшающее понятность, то можно и без АИ.

Чем меньше, тем лучше — о возможностях языков программирования

ВП: ПС

Чем меньше, тем лучше — о возможностях языков программирования

Ничего подобного, в машине Тьюринга огромное количество ячеек памяти, которые можно изменить и вся ее работа состоит из сплошных GOTO.

Следуя логике статьи конечным идеальным ЯП будет unlambda.
Там даже от лямбда-абстракции отказались!
Да что греха таить, даже от переменных/констант!

Механическая модель электрических цепей

Все элементы все равно располагаются на турбинах так же как в статье все располагается на дифференциалах.
Скорость — это скорость или расход жидкости, который напрямую конвертируется в скорость турбины.
Потенциал — давление,
Напряжение — сила или разность давлений, которая напрямую конвертируется в силу, с которой турбина взаимодействует с тем, что к ней прикреплено.
А турбину считаем идеальной, без трения и проскальзывания жидкости.

Механическая модель электрических цепей

иначе, когда забываешь, что это лажа, начинают возникать вопросы вроде такого

Механическая модель электрических цепей

1.ОК,3.ОК, давай моделировать при с==1.
2. но моделировать амплитуды синусоидальных сигналов мгновенными величинами (или наоборот) — это какая-то лажа получается.

Я вот думаю, опять во вращательной механике, но где U — F — момент сил, а I — v — угловая скорость, если взять такую конструкцию

то она будет описываться уравнением
это конечно не то, что нужно но уже ближе.

Механическая модель электрических цепей

А вообще — да, я тупанул конкретно.
надо так:

Механическая модель электрических цепей

Во первых P1==P2 (если не учитывать перепад высот между поршнями, или не учитывать гравитацию).
Во вторых в формуле U1/U2=N1/N2 (там где больше витков — там больше напряжение) U1 и U2 — амплитуды синусоидальных сигналов, а я речь веду о мгновенных величинах.
В третьих формула U1/U2=N1/N2 верна только в том случае, если магнитный поток, проходящий через 1ю катушку полностью проходит и через 2ю, т.е. c(которая в статье)==1 ().
Т.е. формула U1/U2=N1/N2 выводится из

Механическая модель электрических цепей

и внешние картинки туда загружаются сами собой через некоторое время

Механическая модель электрических цепей

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

Механическая модель электрических цепей

или не с водой, а любую механическую систему, удовлетворяющую системе ур-й