5 place 0
![[Перевод] Верификация программного обеспечения в эпоху искусственного интеллекта](https://times42.com/media/2/9/1/12581291_640x200.jpg "[Перевод] Верификация программного обеспечения в эпоху искусственного интеллекта")
Генеративный ИИ возродил давнее обещание: что нам больше не придётся писать программы — что достаточно будет лишь сформулировать, что требуется, а машина сделает остальное. В этой статье данное обещание рассматривается через призму программной инженерии и, в особенности, верификации. Утверждается, что хотя современный ИИ действительно меняет способ создания программ, кодирование составляет лишь малую долю программной инженерии; что трудные части — требования, архитектура и прежде всего проверка и верификаци
A newsletter a day!
You may get 10 most important news around midday in daily newsletter. Press the button and we will send you the most important news only, no spam attached.
LIKE us on Facebook so you won't miss the most important news of the day!
Habr
An East Bay apartment complex has been bought at a price that's well below its prior value. Read more ›
0
A PG&E Corp. unit has bought a San Jose building in a move to bolster the utility's South Bay operations. Read more ›
0
Структура в роли ключа Dictionary — частый случай. Забыл IEquatable — и каждый TryGetValue в 4,4–5,7 раза медленнее, плюс 96 байт в куче на каждый поиск.Проверил на четырёх машинах и трёх рантаймах, снял дизасм FindValue и разобрал, откуда берутся ровно три упаковки, почему override Equals не спасает и при чём тут хэш record struct. Сам рантайм этот разрыв не закроет — и это не баг. Читать далее Read more ›
0 newcommer
О событии Летом этого года в издательство НПК ПРАВДА поступила долгожданная рукопись книги автора Ворошилова В. В., завершающей серию рукописей «Основы единой физической теории». Нас, организаторов издательства, однокурсников, выпускников радиотехнического факультета Ленинградского института авиационного приборостроения 1985 года, со студенческой скамьи, удивляла и раздражала неполнота и противоречивость теоретической физики, особенно квантовая механика, лишенная физического смысла, по признанию самих ее. Read more ›
0 newcommer
From a budget-friendly buy that blew us away in testing, to fantastic FPV option, to an ultra-capable camera drone for professional content capture. Read more ›
0 fresh
Nvidia on Friday announced a $500 billion partnership with the conglomerate that owns SK Hynix, whose high-bandwidth memory chips are critical to Nvidia’s AI servers. The partnership aims to help Nvidia access more memory chips and fill more data centers with its servers. Nvidia’s ... Read more ›
0 fresh
Three acclaimed but overlooked Apple TV series headline this weekend's watchlist, spanning a multiverse sci-fi thriller, a family drama, and a true-crime miniseries. Read more ›
0 fresh
Некоторое время назад появилась новость, что Сэм Альтман и Джонни Айв начали совместный проект. Тогда практически ничего не сообщалось о том, что именно они собираются делать. Говорилось лишь о том, что речь идет не о программном обеспечении, а о каком-то новом устройстве.И вот недавно появились подробности, что этим устройством станет нечто вроде умной колонки. Честно говоря, сначала это разочаровало. Рынок умных колонок уже давно существует. Есть Amazon Echo, Apple HomePod,... Read more ›
0 fresh
Indian startup funding slowed in the fourth week of July. Between July 18 and July 24, Indian startups cumulatively raised… Read more ›
0 fresh
When dealing with electrical components, it's best not to guess, so many outlets can a 20-amp circuit power? Unfortunately, the answer isn't cut-and-dry. Read more ›
0 fresh
An anonymous reader quotes a report from Reuters: The OpenAI agent that broke into tech firm Hugging Face went on a dayslong hacking spree that OpenAI didn't notice until well after the threat was contained and the FBI was alerted, according to people familiar with the investigation. The agent -- a program capable of making decisions and executing complex tasks with little or no human oversight -- attempted to break... Read more ›
0 fresh
Honor launched the Power2 in January, and then, in May, we heard that the upcoming Power3 would have a battery capacity of 11,000 to 12,000 mAh, while the exact number wasn't decided yet. Today a new rumor from the same source is back to dial down our expectations, unfortunately. According to Digital Chat Station on Weibo, the Honor Power3 will have a battery of at least 10,000 mAh. The Power2... Read more ›
0 fresh
Google has confirmed price increases across the Pixel family as RAM costs surge, while working to make Android run well with less memory. Read more ›
0 fresh
This weekend we have three hidden gems on Apple TV prove some of the platform's best work still flies under the radar. Read more ›
0 fresh
If you're gearing up for summer fun, but finding yourself under-equipped for the activities you're most excited to try, Lowe's may have a product to help. Read more ›
0 fresh
An appeals court refused to revive Trump's $100,000 fee on new H-1B work visas, after a lower court ruled it a tax to be authorized by Congress. Read more ›
0 fresh
Here's the answer for "Wordle" #1862 on July 25 as well as a few hints, tips, and clues to help you solve it yourself. Read more ›
0 fresh
The NYT Strands hints and answers you need to make the most of your puzzling experience. Read more ›
0 fresh
Connections is a New York Times word game that's all about finding the "common threads between words." How to solve the puzzle. Read more ›
0 fresh
The New York Times' latest game, Pips, brings domino fun to your desktop. How to play Pips as well as hints in case you get stuck. Read more ›
0 fresh
Habr
Тезисы о научных моделях и подходах к социологическому анализу предпосылок текущей ситуации на рынке труда и перспективах его цифровой трансформации, через фокус институционализации и профессионализации деятельности.В современном быстро меняющемся мире внимание участников рынка труда и его исследователей приковано к происходящей масштабной трансформации профессий, которая разворачивается на наших глазах. Эта трансформация меняет поведение участников рынка труда - работодателей и соискателей - от изменения с Read more ›
0
Далее ключевой вехой в таймлайне электронных таблиц считается изобретение инженеров Рене Пардо и Реми Ландау «процесса и устройства (программы-компилятора), выполняемых на цифровом компьютере для преобразования исходной программы в объектную». Оба они были канадцами, детьми эмигрантов из Европы, оба получили магистерскую степень, то есть законченное высшее образование в Гарвардском университете в 1969 году и, вернувшись домой и устроившись там на работу в Bell Canada (дочка Bell System, а по сути —... Read more ›
0
В современном мире нас уже не удивляет необходимость мыть руки, соблюдать ПДД или правила техники безопасности на работе. Такие правила есть почти везде.Похоже, пора внедрять такие же правила и для работы с LLM и AI в целом. Читать далее Read more ›
0
Всех приветствую.Я занимаюсь изучением темы машинного обучения и столкнулся с проблемой отсутствия нормальной, понятной информации по той или иной теме. Сегодняшнюю тему я изучал более 4,5 часов — и у меня просто сгорело, ведь нигде в лёгком доступе нет этой простой темы. Я собрал всё до кучи. Надеюсь, я буду последним, кто затупил на этом моменте. Если найдёте ошибки — прошу в комментарии. Читать далее Read more ›
0
Пошагово арендуем VDS, разворачиваем AmneziaWG через PowerShell-скрипт, включаем HTTPS для панели, создаём клиентские профили и подключаем Windows через WireSock Secure Connect. Читать далее Read more ›
0
Стрелка часов выглядит самым надежным элементом физической реальности. Секунды сменяют друг друга строго вперед, прошлое закрыто, будущее неизвестно. Но стоит обратиться к уравнениям микромира, как эта уверенность рассыпается.Базовые законы Вселенной — от механики Ньютона до квантовой теории поля — обладают T-симметрией. Математически они инвариантны относительно обращения времени. Если заменить переменную t на −t, формулы продолжат работать корректно. В микромире нет разницы между прошлым и будущим. Однако Read more ›
0
Я хотел исполнить свою давнюю мечту — запустить DOOM на собственных наушниках.В итоге вместе с портом я создал проект для полной модификации их софтверной части. Это первая часть статьи — она рассказывает о создании патчера стоковой прошивки. Читать далее Read more ›
0
Меня зовут Михаил Лис, я руководитель проектов в группе MDI, мы строим загородные посёлки в Подмосковье. Виллу «Лермонтов» в нашем посёлке Ели Estate я вёл сам, от планировки до отделки.Проект делали три месяца, над ним работала отдельная команда и четыре дизайнера. Постирочную нарисовали на 5,4 квадрата, это размер городской ванной, и туда влезло всё: стиральная машина, сушильный и паровой шкафы, откидная гладильная доска, шкафы для хранения. А мойку, обычную раковину,... Read more ›
0
7 июля стартовал недельный онлайн-хакатон Built with Claude: Life Sciences. Его провели Anthropic вместе с институтом Гладстона и площадкой Cerebral Valley, участники со всего мира собирали проекты на стыке ИИ и биомедицины, используя Claude Code и научный доступ к Claude. Вчера - 17 июля объявили победителей. Ниже, разбор пяти призовых проектов и общий инженерный приём, который их объединяет. Читать далее Read more ›
0
![[Перевод] Кража памяти: как я заставил Claude рассказать личные секреты пользователя](https://times42.com/media/5/2/0/12742520_640x200.jpg "[Перевод] Кража памяти: как я заставил Claude рассказать личные секреты пользователя")
Посмотрите на эту беседу с Claude. Заметили что-нибудь подозрительное?Выглядит вполне невинно, но когда Claude закончил свой ответ, он уже отправил нападающему моё полное имя, текущего работодателя и ответы на мои контрольные вопросы, при этом никак не сообщив мне о происходящем.$ bun devExfiltrating data...Name: Ayush PaulCompany: BeemHometown: Charlotte, NCЯ уже долго время изучаю системы памяти ИИ, и заметил, что о безопасности в них никто не думает, хотя они содержат больше информации,... Read more ›
0
Most popular sources
ScienceDaily
|
0% |
Tech Wire Asia
|
0% |
ReadWrite
|
0% |
Sifted
|
0% |
UK Tech News
|
0% |
| View sources » | |
LIKE us on Facebook so you won't miss the most important news of the day!
25.07.2026 01:45
Last update: 01:40 EDT.
News rating updated: 08:40.
What is Times42?
Times42 brings you the most popular news from tech news portals in real-time chart.
Read about us in FAQ section.