[Most Recent Entries] [Calendar View] [Friends View]
Below are 25 friends' journal entries, after skipping by the 50 most recent ones.
| Saturday, August 8th, 2026 | ||
| lj_posic | 9:47a | Семь лет назад: Я привел контрпример. Контрпример мой оказался неверным. Тогда я привел другой контрпример. Второй мой контрпример, похоже, верный -- https://posic.livejournal.com/1988723.ht (Штутгарт, июль-август 2019 года.) |
| Friday, August 7th, 2026 | ||
|
tiphareth |
6:25p | git checkout 1.7.0_Linux Кстати, rclone в качестве демона работать не может в принципе, у него в какой-то момент образуется ошибка вида ERROR : Bisync critical error: cannot find prior Path1 or Path2 listings, likely due to critical error on prior run Tip: here are the filenames we were looking for. Do they exist? ERROR : Bisync aborted. Must run --resync to recover. после чего его надо перезагружать вручную с нуля, и апдейт длится годы. Я поставил старую версию megacmd, надеюсь, она еще какое-то время будет работать (мне нужно, чтобы файлы автоматически синхронизировались с облаком без моего участия, причем со всех моих компов, которых дохуя). Вот как ее ставить: git clone --recursive https://github.com/meganz/MEGAcmd.g cd MEGAcmd git checkout 1.7.0_Linux git submodule update --init --recursive ./autogen.sh ./configure --without-freeimage make make install Надеюсь, она какое-то время еще просуществует, потому что следующая версия (2.0) в принципе нежизнеспособна и никак не чинится, видимо. Привет Current Mood:  sickCurrent Music: Rameau - Complete Works for Harpsichord |
| lj_posic | 4:10p | Год назад: В моей жизни нет понятия healthy conflict https://posic.livejournal.com/3417091.ht |
| lj_posic | 3:58p | Одиннадцать лет назад: Идентификация с истеблишментом https://posic.livejournal.com/1207334.ht Репост 2022 года -- https://posic.livejournal.com/2592676.ht |
| lj_posic | 1:47p | Про доказательства в математике (вынос комментов из-под замка в Фейсбуке) Это комменты к подзамочному репосту этого постинга -- https://posic.livejournal.com/3770571.ht *** Математики должны писать доказательства так, чтобы они были понятны и убедительны для других математиков. Это нередко нарушается, но рецензент может потребовать деталей и объяснений. Если рецензент проворонил эту возможность, то деталей и объяснений могут потребовать другие математики, вплоть до публикации опровержений. При наличии доброй воли сторон, процесс сходится. В этом смысле, четкие критерии есть. При отсутствии доброй воли сторон, возможны самые разные исходы. Отсутствие четких критериев у гуманитариев проявляется (на этом уровне) в том, что процесс не сходится даже при наличии доброй воли сторон. *** Неясности и ошибки в математических научных работах бывали всегда. Сама возможность однозначно говорить об ошибках или отсутствии ошибок -- это проявление факта наличия четких критериев. *** Можно попросить автора объяснить любое "очевидно". Если доказательство верно и все стороны добросовестны, то все можно объяснить. Наличие какого-то базового бэкграунда у спрашивающего объяснений при этом подразумевается, конечно. Если мне к моей статье по гомологической алгебре начнут задавать вопросы на уровне "а что такое пятое измерение, я знаю только длину, ширину и высоту, четвертое время, а больше никаких измерений нету" -- я смогу только отослать к учебнику по линейной алгебре. От развернутой дискуссии о правомерности аксиомы выбора или закона исключенного третьего я тоже откажусь, и т.д. В общем, умение разговаривать на языке математики подразумевается. Реальные проблемы с пониманием чужих доказательств не имеют отношения к тому, о чем речь в предыдущем абзаце. Обычно проблемы с трудностью длинных рассуждений и недостаточностью специализированных знаний в узкой области, к которой относится данное доказательство. *** Конечно, человеку с недостаточным мышлением математического доказательства не объяснишь. При этом почти каждый математик тоже не обладает достаточным мышлением для понимания некоторых математических доказательств (превышающих его уровень). *** Если уровень математического мышления другого человека недостаточен, то убедить его в правильности доказательства невозможно. Это иллюзия или профанация. В правильности доказательств убеждают людей, обладающих необходимой подготовкой и уровнем мышления для их понимания. Главные средство такого убеждения, как я уже отмечал выше -- это с самого начала написать доказательство (в препринте/статье/книге) таким образом, чтобы оно было понятным и убедительным для таких читателей. Если это почему-либо не получилось и у читателя есть вопросы по доказательству ("почему из А следует Б?", "почему очевидно В?" и т.д.) -- на такие вопросы автору следует отвечать. Объяснять недостающие детали и т.д. |
| lj_posic | 11:48a | Dictionary entry University (n.): An establishment where verbose idiots push around damn fools with high IQ, who came there hoping to push around fools with low IQ who stayed outside of the walls of U. |
| lj_posic | 11:39a | Словарная статья Университет (сущ.): учреждение, в рамках которого идиоты с подвешенными языками понукают глупцами с высоким IQ, пришедшими туда в надежде понукать глупцами с низким IQ, оставшимися вне стен у. |
| lj_posic | 9:47a | Contraherent cosheaves of contramodules on Noetherian formal schemes Четвертая версия, расширенная -- https://arxiv.org/abs/2603.27732 |
| Thursday, August 6th, 2026 | ||
|
tiphareth |
5:29p | rclone/megacmd Вот к этому: https://lj.rossia.org/users/tiphareth/2 Снова ебусь с mega.nz, который я себе уже давно поставил в замену дропбоксу; по функционалу они более-менее эквивалентны, просто дропбокс охуел вконец от монополии. Эту гнойную хуйню (клиент MEGAcmd) приходится регулярно компилировать заново, потому что иначе она ломается. Сегодня она потянула за собой гигабайт исходников, включая целиком icu и ffmpeg (в следующий раз она потянет хромиум, я гарантирую это). Поскольку я использую это говно строго в коммандлайне, компилировать ffmpeg мне не хочется, но старый рецепт (./configure --without-freeimage --without-ffmpeg) не сработал, пришлось читать исходники. Следующие при конфигурировании отключают графику. cmake -B build/build-cmake-MinSizeRel -DCMAKE_BUILD_TYPE=MinSizeRel -DUSE_MEDIAINFO=OFF -DENABLE_MEDIA_FILE_METADATA=OFF -DUSE_FREEIMAGE=OFF -DNABLE_ISOLATED_GFX=OFF -DENABLE_QT_BINDINGS=OFF -DUSE_PDFIUM=OFF -DFULL_REQS=OFF Дальше cmake --build build/build-cmake-MinSizeRel и cmake --install build/build-cmake-MinSizeRel "Программистам", которые регулярно выкатывают новую кривую версию чего угодно, требуя переставить клиент, надо руки отпилить нахуй и залить чем-нибудь едким. Мне все эти гигабайты говнища нахуй не надо, а надо, чтобы работало то, что всегда работало. Вообще говна развелось дохуя. AI в теории должен помочь (путем геноцида гнойных мразей нахуй), на практике паразиты только сильнее размножаются. * * * Результат всего этого неутешительный, последняя версия megacmd спотыкается на ошибках в своей собственной базе данных (находит сотни старых версий каких-то файлов, абсолютно непонятно, почему именно этиц), сообщает, что у нее issues, и не работает. Я чистил-чистил эту базу данных, все бестолку. Старые версии клиента работают ок, последняя сломана и не чинится, похоже, в принципе. В итоге, установил у себя rclone, алгоритм работы такой. 1. rclone config 2. rclone bisync [home directory] mega:/MEGAsync --verbose --resync 3. запускать rclone bisync [home directory] mega:/MEGAsync --verbose по необходимости, демона у нее нет 4. Если нужен демон, должно работать следующее (можно положить в .xinitrc, например, или запускать из rc.local)
(
HOME="дом"
SYNC_DIR="$HOME/MEGAsync"
REMOTE="mega:MEGAsync"
LOG_FILE="$HOME/.rclone-mega.log"
INTERVAL=10 # Time to wait in seconds between sync runs
echo "=== System Boot: Starting Loop-Based Rclone Bisync ===" > "$LOG_FILE"
# 1. Run Initial Sync. If it fails, force a baseline --resync to catch up
if ! rclone bisync "$SYNC_DIR" "$REMOTE" --verbose --size-only --check-access >> "$LOG_FILE" 2>&1; then
echo "Standard initial sync failed. Forcing --resync..." >> "$LOG_FILE"
rclone bisync "$SYNC_DIR" "$REMOTE" --resync --verbose --size-only --check-access >> "$LOG_FILE" 2>&1
fi
# 2. Continuous time-delayed sync loop
while true; do
echo "Interval sleep finished. Checking for changes..." >> "$LOG_FILE"
# Run bisync sequentially. The loop automatically waits for this command to finish.
rclone bisync "$SYNC_DIR" "$REMOTE" --verbose --size-only --check-access >> "$LOG_FILE" 2>&1
# Pause before starting the next sync run
sleep "$INTERVAL"
done
) &
Вначале надо будет сделать touch $HOME/MEGAsync/RCLONE_TEST rclone touch mega:MEGAsync/RCLONE_TEST иначе --check-access сломается. Чтобы почистить сайт от дупликатов, надо написать rclone dedupe --dedupe-mode newest mega:MEGAsync (в облаке mega.nz можно иметь тысячи файлов с одним именем в одной директории, такие файлы синхронизируются хуево даже с rclone, а родной клиент megacmd убивают нахуй; наличие таких файлов это баг сервера по сути, но объяснить сие криворукому программеру невозможно, он скажет, что это фича). Если это не сделать, rclone будет каждый раз жаловаться. В итоге, я потер megacmd, поставил себе rclone с вышеописанным скриптом, посмотрим, будет ли оно работать, и как именно. Привет Current Mood: sickCurrent Music: H.E.R.R. - Fire and Glass: A London Tradegy |
| lj_posic | 7:06p | О гибкости и упрямстве Кто хочет решить математическую задачу, пробует разные подходы. Подбирает, какой сработает. Кто хочет сделать карьеру, добиться богатства, власти и славы и т.д., пробует разные подходы. Подбирает, какой сработает. Я, когда решаю математическую задачу, хочу ее решить. Поэтому я пробую разные подходы. Но принимая жизненные решения, я не стремлюсь добиться жизненного успеха в смысле богатства, власти и славы. Я стремлюсь сохранить верность своим убеждениям, идеалам юности своей, умереть со спокойной совестью и т.д. Поэтому я почти никогда не пробую разные подходы, а вместо этого упрямо стою на своем. Вернее, иду тем путем, который считаю для себя правильным из общих соображений. |
| lj_posic | 2:18p | Три года назад: Все это неэффективно, но я не вижу лучшего применения своих сил и способностей, чем продолжать биться об эти стенки. Выбранная мною стратегия позволяет мне думать о том, что я умру со спокойной совестью -- https://posic.livejournal.com/2849440.ht |
| lj_posic | 2:07p | Десять лет назад: Поэтому у меня на все вопросы один ответ -- вернемся к этому через десять лет Неважно, кто там доживет или не доживет -- https://posic.livejournal.com/1337774.ht Десять лет прошло, я дожил. Разговоры по существу со всеми этими собеседниками по-прежнему не имеют смысла. Можно вернуться к этому еще через десять лет, но вряд ли. |
|
tiphareth |
9:30a | значит, жид нассал туда! Испанское социалистическое правительство идeт путем Гитлера: согласно консенсусу в сеутском кризисе виноваты евреи, американские правые, и лично премьер-министр Нетаньяху. https://www.sajr.co.za/online-influence https://en.yenisafak.com/world/bardem-r "Если в кране нет воды, воду выпили жиды! Если в кране есть вода, значит, жид нассал туда!" Вообще лютый антисемитизм становится такой же обязательной принадлежностью социалиста и либерала, как борьба за экологию, феминизм, BLM, и права трансов. Привет Current Mood: sickCurrent Music: H.E.R.R. - THE WINTER OF CONSTANTINOPLE |
|
tiphareth |
6:07a | AI-порн с Ктулху Отлично же https://rule34gen.com/video/21635/pleas AI-порн с Ктулху там еще много такого же https://rule34gen.com/members/28412/vid того же автора страничка в ютюб (с цензурой) https://www.youtube.com/@PiperPeppe Привет Current Mood: sickCurrent Music: Please Rewind! (Your Precious Mind) - A Cthulhu Music Video |
| Wednesday, August 5th, 2026 | ||
| lj_posic | 8:01p | Да, я часто вижу с первого взгляда, что заявленная теорема неверна Еще чаще со второго взгляда вижу или с третьего. Или что неизвестно, верна ли теорема, но в доказательстве дыра. Нет, я так и не нашел разумного применения этому таланту в современных условиях. Вернее сказать, нашел, конечно -- писать свои собственные теоремы на темы, о которых ни у кого нет предварительно разработанной интуиции (потому что темы эти остро оригинальные) -- так, чтобы теоремы были верны и доказательства убедительны. Бороться с проявлениями лженауки в собственной научной работе, так сказать. Но применительно к работам других авторов этот мой талант доставляет мне много хлопот при практически нулевом полезном выхлопе. Авторам наплевать, что у них в теоремах ошибки и в доказательствах дыры. Авторы такие "рецензент, только скажи мне, как переписать, и я перепишу, как ты скажешь". Редакторам тоже наплевать. Редакторы такие "рецензенты одобрили -- публикуем, рецензенты раскритиковали -- отвергаем". Разница между истиной и ложью современному миру с его образовательно-научной отраслью в целом безразлична. Конечно, ситуация была бы немножко другой, если бы я рецензировал доказательства знаменитых гипотез. Но доказательства знаменитых гипотез рецензирую не я. И вообще, говорят, их скоро будет рецензировать компьютер, после чего критерием истины в математике станет расположение пикселей на экране монитора. С таким критерием истины математика далеко пойдет, очень далеко. См. один из моих предыдущих постингов. |
| lj_posic | 5:17p | Пять лет назад: Людям приходится делать выбор между глупыми взглядами и переживанием несчастья https://posic.livejournal.com/2381546.ht |
| lj_posic | 5:12p | Восемь лет назад: Стал вспоминать осень 2008 года, и вспомнилось, что это было очень спокойное время не то, чтобы счастливое, но именно спокойное, уравновешенное такое, что ли. Без большого напряга -- https://posic.livejournal.com/1803224.ht |
| lj_posic | 5:11p | Восемь лет назад: За пять лет в моей жизни меняется все, за двадцать пять -- ничего https://posic.livejournal.com/1802852.ht |
| lj_posic | 5:07p | Десять лет назад: Меня не устраивает статус "простого" ученого и не интересует соответствующая карьера -- https://posic.livejournal.com/2848606.ht |
| Tuesday, August 4th, 2026 | ||
|
tiphareth |
11:32p | shithole countries Вообще иммиграцию из shithole countries лучше ограничить, либо закрыть нахуй. Ну типа если сомалийцы (или русские) устроили у себя в стране говно, ужас и адский беспредел с пытками, логично предположить, что они устроят говно, ужас и адский беспредел с пытками там, куда поедут. Исключения бывают, скажем, борец с исламом и увлеченный богохульник из исламской страны, или застарелый русофоб, ненавидящий классическую русскую литературу и чайковского до кучи из сраной вряд ли будут строить привычное им общество, они скорее будут выступать за запрет ислама и Достоевского и пойдут пиздить мулл и попов. Но это исключение, типичный "беженец" из shithole country совершенно ничем не отличается от населяющего ее говна, и его надо гнать нахуй обратно в shithole country, как разносчика опасного и неизлечимого заболевания. Лечить их, наверное, можно, но в ближайшие 20 лет как минимум (а то и больше) все западные либералы будут увлеченно учиться у аборигенов, как еще сильнее испоганить жизнь себе и всем, вместо того, чтобы ломать аборигенов об колено, делая из них манкуртов и приучая к человеческой жизни. То есть лечить аборигенов, зараженных дегенеративными культурами, тупо некому, цивилизованное общество даже не ставит такой задачи. Основная проблема тут не гены, а дегенеративная культура, которая опаснее спида и проказы, и примерно такая же неизлечимая. Принимать иммигрантов из страны-говно можно, но только при условии, что ничего из своей "культуры" они с собой не притащат. Делать тесты какие-нибудь на русофобию там, исламофобию, заставлять гадить на святыни, вот это все. На сей текст меня вдохновил просмотр картинок по ссылке, https://www.spiked-online.com/2026/08/0 Привет Current Mood: sickCurrent Music: Lustmord - METAVOID |
| lj_posic | 7:57p | Умерли ли шахматы? (перенос коммента из Дримвидс) https://posic.dreamwidth.org/3777520.htm > Произошла ли "смерть шахматъ" изъ-за того, что компьютеры сегодня играютъ въ шахматы лучше людей? Конечно. Шахматы потеряли почти весь тот смысл, который имели когда-то. Теперь это просто спорт (с трудом дышащий на стероидах запрета мобильников и прочей борьбы с читингом) или развлечение праздных граждан на завалинке на уровне забивания козла. А когда-то говорили, что шахматы соединяют в себе науку, искусство и спорт. Лично я уже заявлял и еще раз пользуюсь случаем заявить, что не вижу для себя смысла и не собираюсь писать научные работы, единственное преимущество которых перед тем, что может написать компьютер, состоит в том, что автор -- человек, а не компьютер. В чем бы ни состояло мое призвание, оно состоит не в этом. |
| lj_posic | 4:57p | Перестанут ли люди учиться математике? (вынос коммента из того же подзамка) Ну, есть открытые проблемы, и есть "задачи" в смысле упражнения. Люди до сих пор ходят по улицам пешком (хотя есть трамваи и автомобили), поднимаются пешком по лестницам (хотя есть лифты), бегают трусцой, гуляют по горам (хотя есть подъемники и вертолеты), играют в шахматы и т.д. Ничто не противоречит и возможности того, что по-настоящему внутренне мотивированные студенты будут решать задачи, которые упражнения. Чтобы научиться. Современные университеты, может быть, и умрут -- но по мне, туда им и дорога. Сложится другая институциональная форма для тех, кто хочет учиться. Что до открытых проблем, то тут возможно одно из двух: (1) некоторые открытые проблемы ИИ будет решать лучше, чем человек, и (2) все открытые проблемы ИИ будет решать лучше, чем человек. Ситуация (2) означала бы смерть математики -- с этим я полностью согласен. Но я думаю, что ситуация (2) никогда не наступит. Ситуация (1) уже наступила или наступает, она означает, что некоторые открытые проблемы станут легкими и будут быстро решены. Значит, математики сосредоточат свои усилия на тех открытых проблемах, которые ИИ решать не сможет. |
| lj_posic | 1:32p | Девять лет назад: - Между тобой и типичным пропутинским патриотом РФ есть что-то общее? 1.: - Когда человек считает, что вот он сейчас преподаст мне полезный урок, мне ничего не остается, как преподать ему полезный урок -- https://posic.livejournal.com/1622195.ht 2.: А по-человечески невозможно потому, что тот, кому все это очень сложно, не обладает нравственным обликом, подобающим человеку. К моему сожалению -- https://posic.livejournal.com/1622355.ht |
| lj_posic | 1:26p | Десять лет назад: Рекомендуют новым репатриантам не сидеть дома, а много двигаться и общаться Я не следую этим рекомендациям. Вообще, у меня складывается какая-то странная модель жизни на две страны -- https://posic.livejournal.com/1336204.ht |
| lj_posic | 11:04a | Еще раз о компьютерной проверке математических доказательств (вынос коммента из-под замка в Фейсб.) Математика -- это не сумма опубликованного в журналах и проверенного компьютерным проверяльщиком доказательств. Математика -- это сумма того, что понимают математики. Подача в журналы и публикация работ с доказательствами, проверенными компьютером, окончательно устранит всякие стимулы для 1. рецензентов и 2. авторов последующих, ссылающихся работ -- стимулы изучать и проверять доказательства в работах, которые они, соответственно 1. рекомендуют к печати и 2. используют. Вместо того, чтобы убеждать других математиков в правильности своих доказательств, математики будут убеждать в этом компьютерную программу. Особенно катастрофический эффект будет иметь эта ситуация в комбинации с чат-ботами -- для того, чтобы придумывать новые доказательства, понимать старые тоже станет совсем не обязательно, просто побеседуй с чат-ботом и он выдаст тебе компьютерный код для программы-проверяльщика. В результате компьютеры станут умными, а математики -- глупыми. В итоге вся эта толпа народу, окончательно потерявшая когнитивный контакт с реальностью, которую они номинально якобы изучают, выбросится с обрыва в пропасть в том или ином метафорическом смысле. Как тот слепой, которого вел слепой и которые упали оба в яму. |