Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Лемак ([info]sometimes)
@ 2022-06-16 11:30:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Where is my John Wayne
where is my happy ending?

Где мой Computer Vision Projects with PyTorch, Rust Web Development with Rocket, Machine Learning on Kubernetes, Data Engineering with Alteryx, UI Animations with Lottie and After Effects, Unreal Engine 5 Character Creation Animation and Cinematics, ASP.NET Core Security, Blazor in Action, Taking Blender To The Next Level и Cybersecurity Career Guide, я спрашиваю?

Вот раньше был такой сайт it-ebooks.info
То есть он и сейчас есть, но проклятые копирасты его сожрали мозг изнутри, высосали как паук муху, таков любой либрусек, таков любой литрес.
Теперь там только показывают красивое.

Плюшкинизм во мне не иссяк, засим я сразу иду на либген и около, а иногда нет.
Обычно нет, потому что электронка ещё не вышла, но тут не тот случай.
На mannings.com однако добрые люди дают почитать любую книжку, капиталисты проклятые, и мне лень, конечно, писать обвес на headless browser чтобы оно высосало в темпе вальса, но может все-таки не лень.

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


(Читать комментарии) - (Добавить комментарий)


[info]sometimes
2022-06-16 13:44 (ссылка)
я женат, пидарасина. засим завершаем обмен приветствиями и к делу: я люблю книги издательства mannings, там юмор и полет фантазии, а программировать, наоборот, терпеть не могу. грех и коммунизм тоже люблю.

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

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2022-06-16 15:38 (ссылка)
> а программировать, наоборот, терпеть не могу.
спорим, я больше терпеть не могу программировать

> коммунизм тоже люблю.
смотря какой. вообще ненавижу, но когда мне деньги дают на халяву - люблю: можно потом купить книжку или наркотики, или там оружие или аборты.

> смешно ли дрочить
вообще дрочить страшно - вдруг все узнают, и им будет смешно

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]sometimes
2022-06-16 16:38 (ссылка)
> спорим, я больше терпеть не могу программировать

да нивапрос, когда этим деньги зарабатываешь, так гадко становится
вон ketmar потому и навсегда бросил .. работать

> вдруг все узнают

все и так знают, их поэт Бродский просветил

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2022-06-16 18:36 (ссылка)
я тоже бросил работать. но пока платят, потому и коммунизм люблю.

> их поэт Бродский просветил

они его только про брехню тараса читали

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2022-06-21 17:50 (ссылка)
есть масса прочих замечательных текстов, на которые можно лысого гонять
а броцкий мудак, зачем в мудаков вчитываться? Оскоромился - и нахуй спляжу
(кстати, можно побеседовать про мастурбацию на пляже, сейчас как раз сезон)

(Ответить) (Уровень выше)


[info]memoryallocator
2022-06-18 18:38 (ссылка)
> программировать, наоборот, терпеть не могу
А Вы не пробовали пруверы вроде Coq, Isabelle, Agda, Idris? Предположу, что Вам как математику процесс доказательства корректности программ будет интересен. Например: https://github.com/0xd34df00d/refinedt/blob/master/agda/Core/Derivations/Lemmas.agda .
Впечатляет, правда?

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]sometimes
2022-06-19 14:51 (ссылка)
Я про это знаю, брался даже - правда, не за Idris, а за параллельную вещь от MS под названием F* (мне вообще ML ближе, чем Haskell), но оно в тот момент стало полудохлое, я даже списывался с разработчиком, он даже что-то починил, но общая мораль мне вывелась такая, что мне не очень нравится пытаться подстроиться под SMT-solver, и хотелось бы иметь возможность, когда он не догоняет, тупо разбить утверждение на два промежуточных, и смотреть, где он застрял (а совсем хорошо бы этот процесс сделать интерактивным); к сожалению, такой возможности то ли не было, то ли я не обрел, и гадание на кофейной гуще с попыткой угодить солверу было чрезвычайно раздражающим.

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

(Ответить) (Уровень выше)


[info]sometimes
2022-06-19 14:52 (ссылка)
P.S. но с идрисом, да, думаю повозиться, если он не сдох ещё совсем

(Ответить) (Уровень выше)


(Читать комментарии) -