Сразу видно, кто не то, что не военком, а даже в военкомате не был. Запомни: в стране без провинций армии тупо нет, ты вот швейцарскую армию когда последний раз видел? Вот то-то же

У них там вроде всех на снайперов-партизанов учат. Но инфа 50%

А дальше откатываться к точке большого взрыва, чтобы подтянуть скорость света.

У них там вроде всех на снайперов-партизанов учат. Но инфа 50%

Вроде учат, но армия - не про это. Толку от стрелка, если он не действует совместно со взводом и не обстрелян?

Winter is coming 😭😭😭

Это где? 😳

Это деревня колорадская :)

Сразу видно, кто не то, что не военком, а даже в военкомате не был. Запомни: в стране без провинций армии тупо нет, ты вот швейцарскую армию когда последний раз видел? Вот то-то же

Ну так игра про ранее средневековье

да эт точно @fillpackart писал

че это, просто помог братану

Winter is coming 😭😭😭

Ух, а я сегодня другу жаловался на наши +15 утром с солнцем )

@theycallmewildrose можно немного подробнее про TLA+

не так давно, не в очень далекой Галактике родился Лесли Лампорт. сколько-то десятков лет спустя он получит премию Алана Тьюринга - одну из самых почетных премий в компютер саенс, и получит ее за алгоритм консенсуса, названный им "Паксос". не столько за сам алгоритм, хотя он обладает рядом очень ценных для практики свойств, сколько за доказательство его корректности. и вот тут начинается этот самый TLA+, который на тот момент существовал только на бумаге и автоматизированной проверке не подлежал.

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

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

*забавный факт: Лесли изобрел TLA+ с целью доказать, что Паксос теоретически невозможен.

на туториалы надежды нет? :)

есть

и комьюнити сильное, и туториалы лично от Лампорта, и книги, и уйма примеров

Specifying systems by Leslie Lamport

на гитхабе гугли все по TLA+, там несколкьо разных репозиториев

ок. посмотрю

код, конечно, адское говно, потому что академиками написан

но он работает

и даже позволяет дебажить спеки

а что подразумевается под отладкой спеки?

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

почитай в этих ваших Гуглах о TLA+, там простейший синтаксис

ок. обязательно почитаю.

выглядит как минимум любопытно

ок, дорогой чят, чем ныне модно генерить пдф в дотнете?

А то че-то полчаса в гугле тока расстроили.

ок, дорогой чят, чем ныне модно генерить пдф в дотнете?

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

хм, ну вряд ли нам подойдет, но идея интересная

хм, ну вряд ли нам подойдет, но идея интересная

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

да хотя бы так

возможно год спустя что то поменялось, но было грустно

Я просто не вижу никакой либы, которая бесплатна и портирована под дотнет кор

А чем тебя скриншот экрана не устраивает? Тебе нужна навигация по ПДф?

выделение текста, переход по ссылкам нужны

Да и нет "экрана", с которого скриншот снимать

ок, дорогой чят, чем ныне модно генерить пдф в дотнете?

Headless Chrome

Headless Chrome

затащить браузер ради генерации пдф?

ок, дорогой чят, чем ныне модно генерить пдф в дотнете?

itext7 огонь

itext7 огонь

платный(

Open Source AGPL license не подходит?

ключи не просит

я в лицензиях не очень, но библиотека супер

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

Если собираешься материально наживаться, то придется отстегивать и им

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

мне музыканты больше нравятся

у меня и соведущий и оператор и монтажер в подкасте -бывшие музыканты

с ними комфортнее работать, чем с кодерами

А мне музыканты попадались только мудаки(

ну мудаки так то в любой профессии есть

@atsapura примерно год назад конвертировал на ажуре, генерил из шаблона docx и закидывал на ажуре, обратно скачивал pdf изварт каэшно, но работало :)

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

Да у меня преподаватель тоже еле корону пережила в спб

@atsapura примерно год назад конвертировал на ажуре, генерил из шаблона docx и закидывал на ажуре, обратно скачивал pdf изварт каэшно, но работало :)

https://github.com/hardkoded/puppeteer-sharp Я вот это ща смотрю. У нее хотя бы МИТ лицензия

тока блять она походу тоже браузер тащит

пиздец времена

X-server is required on Linux.

пиздец времена

pandoc из консоли вызывай))

@atsapura itext еще есть 5-я версия, но она кажется под core не работает, но лицензия другая https://www.nuget.org/packages/iTextSharp/

А мне музыканты попадались только мудаки(

А из какой среды? Классика, рок и т.п.? Имхо, сильно зависит от направления. Я хоть и сам много варился в роковой среде, но в плане обсудить что-то испытал много разочарований. С классическими музыкантами лучше обычно.

не хочу накидывать, но я один увидел это и негодую? https://www.oscars.org/news/academy-establishes-representation-and-inclusion-standards-oscarsr-eligibility

Нет, не один. Но я не негодую, если что.

мне кажется шутка перестала быть шуткой и это уже какая то фигня :(

Ого, кто-то ещё считал происходящее шуткой. Даже завидую.

не хочу накидывать, но я один увидел это и негодую? https://www.oscars.org/news/academy-establishes-representation-and-inclusion-standards-oscarsr-eligibility

Забавно, что первый же гневный комментарий от русского.

Забавно, что первый же гневный комментарий от русского.

а мб он украинец?)

я немного солидарен с ним)

Совпадение. С такой же вероятностью мог и американец написать. Мало их, что ли.

затащить браузер ради генерации пдф?

Зато топчик получался

а мб он украинец?)

Я имел в виду представителя российской империи 😊

я немного солидарен с ним)

Уверен, что собственное право голоса его волнует куда меньше. Оттого и забавно.

Я имел в виду представителя российской империи 😊

То есть финна и поляка тоже бы засчитал?

И монгола с китайцами :-D

@atsapura itext еще есть 5-я версия, но она кажется под core не работает, но лицензия другая https://www.nuget.org/packages/iTextSharp/

да, только фулл фреймворк

даштоштакое

То есть финна и поляка тоже бы засчитал?

Если бы написал ebanulis', то засчитал бы.

Уверен, что собственное право голоса его волнует куда меньше. Оттого и забавно.

принято, но все же одно дело внутренняя возня, а другое обще мировые нормы, которые становятся "не норм"

не хочу накидывать, но я один увидел это и негодую? https://www.oscars.org/news/academy-establishes-representation-and-inclusion-standards-oscarsr-eligibility

Категории C и D тебе тоже не нравятся?