Активність

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" читаю, як тхат. 🤪

І тут ніж у спину: «Мы не будем отправлять украинских мужчин в Украину»: премьер Ирландии Михол Мартин на совместной пресс-конференции с Зеленским ответил на его заявление о том, что военнообязанные украинцы-мужчины должны находиться в Украине.

лангуаге забули

Чоловіки мобілізаційного віку мають бути в Україні, ми хочемо щоб вони повернулися з-за кордону, — Зеленський x.com/breakingUAnews/status/2120619258556412361

Нарешті порахував ціну фундаменту - приблизно 350 000 грн. !!! Але це мінімум,бо щось міг забути записати та більшість доставок намагався робити сам власним причепом...,до того ж деякі роботи робив теж власноруч !!!

продовження про бабу Ягу

www.instagram.com/reels/Dfhxak1IYVG/ www.instagram.com/reels/Dfh7BqfoyzS/ www.instagram.com/reels/DfjS-dCSKY0/ www.instagram.com/reels/DfkwlmdTOnb/

Він шалено великий, дійсно кольоровий, соковитий, тримається до морозів і чудово росте поза теплицями. Я не скажу, що його зелень якась неймовірна на смак — але як же він мені до вподоби саме зараз, коли іншої зелені немає! Навесні він такий собі, як будь-яка інша трава. А от за це «все-в-одному» — витривало-прекрасно-кольорово-їстівне — я мангольд і люблю. Причому я його навіть у землю спеціально не сію, а він без жодних турбот радує цим яскравим листом десь на клумбі як додаток. І за потреби я його хоч у грудні відриваю собі на суп!

Cupboard.website — новий онлайн 3D-конструктор корпусних меблів (запрошуємо до тестування) Колеги, вітаємо! Хочемо поділитися новим веб-рішенням для швидкого моделювання та калькуляції корпусних виробів — Cupboard.website. Головне завдання проекту — дати майстрам та виробництвам зручний робочий інструмент прямо в браузері. Без встановлення важкого софту, прив'язки до робочого комп'ютера та складних інженерних інтерфейсів. Усе відкривається миттєво з будь-якого пристрою. Що вже реалізовано в системі * Інтерактивне 3D-моделювання: Параметричне налаштування тумб, шаф, пеналів та полиць під ваші габарити в реальному часі. * Специфікація та деталування: Автоматичне формування переліку деталей, розмірів та сторін кромкування під поклейку. * Розмітка кріплень та присадка: Розрахунок за базовими стандартами System 32 під фурнітуру та кріплення. * Підготовка даних до розпилу: Швидкий розрахунок площ деталей та формування звітів матеріалів для передачі у виробництво. Тестовий режим та перевірка оплат (Stripe) Наразі сервіс працює у режимі відкритого бета-тестування. Всі базові та платні функції можна протестувати без реальних витрат. Для перевірки роботи тарифів та оформлення підписки підключено тестовий шлюз Stripe. Ви можете використовувати офіційні тестові картки: * Номер картки: 4242 4242 4242 4242 * Термін дії (MM/YY): будь-яка дата в майбутньому (наприклад, 12/28) * CVC / CVV: будь-які 3 цифри (наприклад, 123) * Поштовий індекс (ZIP/Postal Code): будь-які цифри (наприклад, 12345) (Справжні кошти не списуються). Шукаємо зворотний зв'язок від практиків Проект активно доопрацьовується під реальні задачі майстерень та цехів. Нам критично важливо почути думку тих, хто безпосередньо збирає меблі своїми руками: 1. Наскільки зручна навігація у 3D-сцені та введення розмірів? 2. Яких меблевих вузлів, секцій або параметрів (четверті, пази під ХДФ/ДВП, цоколі) не вистачає насамперед? 3. В якому вигляді вам найзручніше отримувати фінальну документацію (PDF-звіти, експорт у таблиці, специфікації)? Діліться своїми враженнями, зауваженнями та побажаннями прямо тут. Будемо оперативно реагувати та докручувати функціонал за вашими запитами!

Рівень англійської Б1 - Буданов

Колега))). Поки ходжу на біговій доріжці або шарюсь в підходах ...час від часу відповідаю, підтрунюю в своє задоволення. Але щоб шукати висловлювання співрозмовників, які забувають свої слова впродовж тижня, місяця, двох...не маю бажання. P.S. В перших 3 хвилинах відео розказано про зміст "переговорів".

Ого, реінкарнація Хімаєра. 💪 https://www.facebook.com/share/r/1DbNUjTmq6/

Ну и самая фишка - "Канонізована католицькою і православною церквою як свята Ольга.":))))

Добре, що в потужного більш менш з лангуажем нормально. Не соромно на перемовини з Трампом відправляти. . 😎

www.instagram.com/reel/DewnHf7ISk6/ а це?

А ще печенєги, половці... Може вони сало їли і під горщик стриглись😀

Пише, що я ще замаленький для перегляду такого контенту. 🤷‍♂️😎

"Державний герб України — це золотий Тризуб на синьому щиті. [1] Основні факти: Походження: Сходить до родового знака князя Володимира Великого та династії Рюриковичів (X–XII століття, доба Київської Русі)." "О́льга (д.-сканд. Helga 969) — княгиня київська, дружина київського князя Ігоря Рюриковича. Після смерті чоловіка (осінь 944 р.) зійшла на київський престол. Ліквідувала древлянське племінне княжіння, упорядкувала збирання данини, організувавши по всій країні князівські погости і осередки судочинства. "- это как сейчас называют- геноцид , террор ? Все вопросы - к истории и укрвикипедии. "Перше посольство княгиня живцем поховала в човні, заритому біля її палацу; друге — спалила в лазні; в чому дослідники вбачають відображення реальних поховальних обрядів тих часів. Третьою помстою став похід на землю деревлян, де під приводом тризни над могилою Ігоря київські дружинники «посікли п'ять тисяч» деревлян, після чого відбулась річна облога міста Іскоростень, яка завершилась спаленням міста. Четверта помста припадає на 946 рік, коли Ольга вийшла з військом у похід на древлян, проти якого стало велике військо древлянське..."

Я,чомусь,завжди вважав що всі знають різницю ... ,тому це питання вваєаю жартівливим ... 😊😊😊

www.instagram.com/reel/DfmfaYFxu57/