Активність
- Остання година
-
мотоцикл - то дрібно вільний хлоп може дозволити собі бути щедрим
-
похід в военкомат дасть йому воду, електрику, опалення? хоча може ви мали на увазі що дома при таких умовах жити неможливо а в военкоматі умови будуть кращі?
-
Это замечательно. А если полностью расфигачат мосты и например в Киеве не будет электрики вообще, и воды с отоплением тоже? Или в Днепре. Тогда как? Вы лично пойдете в военкомат ?
-
натє возьмітє (с) це ж вже було
-
кожен зпалений вщент кацапський нпз підвищує шанси на мир пропорційно відсотку знищеного виробку паливно - мастильни матеріалів . а знищення ямальського хреста , уренгою та норільську - взагалі бінго .
-
дядя Боря 👍👍👍
-
вродливі геронтофіли - мрія бздящих ставридою прострочок Эллен-я4я В каком лесу встретить такого красивого богатыря, которому старые Яги больше нравятся, чем молодые красавицы @ОксанаЧерная-т6ш В сказочном
-
Щоб ніколи було кататися на мотоциклі і взагалі грошей на нього не було )
-
а навіщо взагалі одружуватися ? одружуються виключно лохи .
-
«Це несправедливо, але таке життя» (с)
-
Нормально, что вообще стали встречаться. Посмотрим, шансы мизерные на мир, но они есть.
- Сьогодні
-
окрім чергової спам реклами електрошокерів
-
як і очікувалось, переговори ні дочого не привели
-
хай свого нового маскота мобають - ЗЕленого крокодила/аллігатора
-
Чоловіки мобілізаційного віку мають бути в Україні. Ми хочемо, щоб вони повернулися з-за кордону – Зеленський. Це він звернувся до Міндіча, Цукермана, Житкова, Комарницького і Кравченка? Чи це інше? До речі, особистий фітнес-тренер Зеленського в Україні. Але має бронювання. Це теж інше?
-
normal підписався на Хатка на холодному горищі
-
Хатка на холодному горищі
normal відповів у розділі Утеплення будинку. Теплоізоляція стін та підлоги.
Навіщо для кладовки плюсова температура? Рідину зберігайте у підвалі, а іншому пофіг морози Ні в якому разі, без належного утеплення і вентиляції кладовки + пароізоляцію і вистачить Якщо кладовка буде утеплена, то навіть з зачиненим входом там будет +5, по суті це звичайна мансарда, в мене навіть з утепленим 250мм перекриттям і величезним вікном 2x4 все одно зимою нижче +5 не опускається (це зачинена без опалення і з вікном на невеличке провітрення) -
ЯД підписався на Будиночок в селі Погреби
-
як? народжувати дітей щоб поповнювати ресурс? а в завершенні війни що буде? хеппі енд?
-
Зрозуміло,відповідаю.... 1. Не хотілося стикнутися в майбутньому з рухом панелей... 2. Складно підібрати розмір панелей під розмір будівлі... 3. Не хотілося робити окремо армапояс перед укладанням плит... 4. Не хотілося робити обов'язкову стяжку по плитах... 5. Хотілося якоїсь монолітності всієї конструкції... 6. Хотіхося залити перекриття з драбиною за один раз... 7. Не хотілося наймати кран та дивитися на криворукий монтаж... Список можливо довго продовжувати... Десь так...
-
Viktoriia Brovkina змінив свій аватар
-
AlphaProof Code сформувала машинно перевірені докази для реалізації протоколу Signal Статус джерел: FULL Оцінка впливу: 23/25 Оцінка: масштаб 4/5; учасники 5/5; тривалість 4/5; новизна 5/5; надійність 5/5. Категорія: безпека / наука / агенти ФАКТ: 10 листопада Google DeepMind опублікувала технічний звіт, код і формальні артефакти AlphaProof Code — багатоагентної системи для формальної верифікації програм. Агенти на базі Gemini Carbon створили приблизно 6,5 млн рядків Lean-доказів, що спираються на близько 26 тис. рядків довірених специфікацій і семантики AArch64. Робота перевіряє визначені властивості PQXDH і Triple Ratchet у скомпільованій реалізації libsignal, включно з автентичністю, forward secrecy та post-compromise security. Lean перевіряє коректність доказів відносно заданих специфікацій; дослідники також повторно внесли дві раніше виправлені помилки, і система показала порушення відповідних теорем. google-deepmind.github.io Чому це топова новина: Результат демонструє перехід від AI як інструмента пошуку помилок до AI, що генерує машинно перевірювані докази для реального, широко використовуваного криптографічного коду. Це потенційно змінює економіку формальної верифікації, яка раніше вимагала багаторічної роботи вузьких команд. Практичний наслідок: Розробники систем високої критичності отримали відкритий приклад агентної верифікації production-коду. Компанії та держави потенційно зможуть застосовувати подібний підхід до криптографії, фінансового ПЗ, медичних пристроїв і критичної інфраструктури. Для користувачів Signal це додаткова перевірка охоплених компонентів, але не доказ безпеки всієї програми. AI labs отримали новий клас задач із результатом, який перевіряється формальним ядром, а не лише benchmark-оцінкою. НЕВІДОМО: Незалежної повної реплікації результату ще немає. Перевірено не всю програму Signal і не всі можливі властивості. Гарантії залежать від правильності довірених специфікацій, моделі AArch64, Lean та криптографічних припущень. Google не розкрила вартість обчислень або план комерційного доступу; масштабування на довільні великі кодові бази не доведене. WIRED Джерела: Google DeepMind — технічний звіт і відкриті артефакти. google-deepmind.github.io WIRED — незалежний розбір результату та його обмежень.
-
"Бурёнку свою не отдам никому — Такая скотина нужна самому.".с
-
Питання не в різниці, а в тому, чим саме ви керуєтеся, адже кожен випадок — особливий.
-
В вище наведеній карикатурці, а "thаt" читаю, як тхат. 🤪
