8 place 0

743 Shrinking: как property-тест сводит мусорный контрпример к минимуму

Habr
badcasedaily1 (OTUS) @ Habr · 06/11/2026 06:12 EDT

Property‑тесты умеют находить ошибки на самых неожиданных входных данных. Но настоящая магия начинается после падения теста: вместо списка из сотен случайных значений Hypothesis часто показывает один короткий и предельно понятный контрпример. Разбираемся, как работает shrinking, почему ручные shrinker'ы плохо масштабируются и за счёт чего Hypothesis умеет минимизировать ошибки практически автоматически. Читать далее

To see detailed statistics for the news please log in »

Read the original

Add your comment
You must be logged in with Facebook to read and write comments.

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.

or register

LIKE us on Facebook so you won't miss the most important news of the day!

News from the same source
Habr Habr
Silicon Valley
George Avalos @ Silicon Valley 1 place · 02/07/2106 01:28 EDT

Newark apartment complex bought for much less than prior value

An East Bay apartment complex has been bought at a price that's well below its prior value. Read more

0

🔮
02.07.2026 ♈︎ Horoscope for the Aries Sign Today Love: Today, it will be challenging for your heart... Read more ›
Silicon Valley
George Avalos @ Silicon Valley 2 place · 02/07/2106 01:28 EDT

PG&E buys San Jose building to bolster South Bay operations

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

Tech.eu
Cate Lawrence @ Tech.eu 1 place · 07/03/2026 05:36 EDT

Pytorch: the software layer underpinning Europe's AI ambitions

Europe has emerged as one of the world's leading centres for open-weight AI, with companies including Mistral, Black Forest Labs and Helsing contributing to a growing ecosystem focused on open models ... Read more

0 fresh

Gizmodo
Matthew Wille @ Gizmodo 1 place · today 14:10 EDT

Fujifilm Expands QuickSnap Disposable Lineup for ‘Intentional’ Photography

New black-and-white and waterproof options are sure to keep younger generations snapping. Read more

0 newcommer

Slashdot
BeauHD @ Slashdot 1 place · today 14:05 EDT

Meta Is Charging a Subscription for Smart Glasses Features

Meta is introducing a subscription for expanded access to advanced smart-glasses features. According to Wired, "[U]sers will need the Meta One Premium Plan to unlock expanded access to some features for their smart glasses, whether it's the Ray-Ban, Oakley, or Meta-branded version." They'll still be usable with a subscription, but "certain features will be limited," the report says. From the report: Specifically, a feature called Conversation Focus, which boosts the... Read more

0 newcommer

Wired
Maxwell Zeff @ Wired 1 place · today 14:01 EDT

Can Cursor Remain a Platform for OpenAI and Anthropic’s Models Inside SpaceX?

Cursor hopes to continue offering third-party AI models after it's acquired by SpaceX, testing the relationships between frontier AI labs. Read more

0 newcommer

The Fintech Times
The Fintech Times @ The Fintech Times 1 place · today 14:00 EDT

Mosta Launches MainUSD to Fuse Autonomous AI Agent Workflows with Global Cross-Border Settlement Rails

Mosta has launched MainUSD, a USD stablecoin issued by Brale, enabling low-cost, multi-chain settlement for global business payments and AI-driven commerce. Read more

0 fresh

Gizmodo
Germain Lussier @ Gizmodo 2 place · today 14:00 EDT

‘Toy Story 5’ Gets an In-Theater Director’s Commentary This Weekend (Exclusive)

It's with TheaterEars, which also did commentaries for 'Project Hail Mary' and 'The Mandalorian and Grogu.' Read more

0 fresh

Gizmodo
Ed Cara @ Gizmodo 3 place · today 14:00 EDT

You Gotta Get Up to Get Your Cancer Risk Down, New Study Finds

New research suggests prolonged periods of sedentary behavior are uniquely harmful to our health. Read more

0 fresh

Silicon Canals
Silicon Canals Editorial Team @ Silicon Canals 1 place · today 14:00 EDT

The promise of AI was a worker who never sleeps, never books leave, and never asks for a raise. The reality is messier: for a growing number of firms, the machine meant to replace payroll is starting to look like a payroll of its own

Uber spent its entire 2026 budget for AI coding tools in four months. By April, after an assistant called Claude Code had spread across its engineering teams, the money set aside for the whole year was gone. The company then capped what any single employee could spend on such tools at $1,500 a month. A ... Read more Read more

0 fresh

CNET
Nasha Addarich Martínez @ CNET 1 place · today 13:53 EDT

Waking Up Sweating? This AI Mattress Cover Can Help You Beat Heat Waves and Night Sweats

I tested the Eight Sleep Pod 5 for 60 days. As record-breaking summer temperatures hit, its AI-powered cooling became my ultimate sleep savior. Read more

0 fresh

Habr
Desetro @ Habr 1 place · today 13:49 EDT

Код я написал за две недели. Продавать его боюсь до сих пор

Есть особый вид стыда: сделать штуку, которой доволен, и никому про неё не рассказать. Три недели назад моё расширение прошло ревью и появилось в Chrome Web Store. С тех пор ни анонса, ни поста, ни сообщения людям, которые его ждали. Тишина. И это уже не первый раз: в мае я точно так же на месяц пропал в код, лишь бы не заниматься продвижением. Ниже разбор, почему разработчик прячется от собственного... Read more

0 fresh

Business Insider
Lakshmi Varanasi @ Business Insider 1 place · today 13:49 EDT

Software engineering legend Kent Beck says coders need to learn people skills to survive AI

Legendary software engineer Kent Beck says coders are at risk not only because of AI, but because of their lack of people skills. Read more

0 fresh

CNET
James Bricknell @ CNET 2 place · today 13:46 EDT

I've Tested Dozens of 3D Printers and These Are the Best for Everyone

No matter what you're looking for in a 3D printer, we've found the best around in 2026. Read more

0 fresh

BetaKit
Josh Scott @ BetaKit 1 place · today 13:45 EDT

Shopify settles copyright lawsuit with rival Shopline

Shopify had accused Singapore-based Shopline of copying its e-commerce software. Read more

0 fresh

The Information
Aaron Holmes @ The Information 1 place · today 13:36 EDT

Microsoft is merging the consumer and enterprise versions of its Copilot AI chatbots into a single application as it tries to create a more formidable competitor to Anthropic’s Claude and OpenAI’s ChatGPT, a Microsoft executive told staff Thursday morning. In a 1,200-word memo, Jacob Andreou, an executive vice president, said the new unified app will also feature AI coding tools and new AI agents that customers would need to pay... Read more

0 fresh

Digital Trends
Shimul Sood @ Digital Trends 1 place · today 13:35 EDT

The Galaxy Z Fold 8 Wide could fix the Fold’s biggest problem, if these leaks are right

New Galaxy Z Fold 8 Wide leaks showcase a Graphite-colored dummy alongside a comparison with the Galaxy S26 Ultra. Together, they hint that Samsung's next foldable could finally feel like a regular smartphone when closed. Read more

0 fresh

The Information
Phoebe Liu @ The Information 2 place · today 13:34 EDT

Nvidia’s Longtime Sales Chief Retires

Jay Puri, Nvidia’s top sales executive and one of CEO Jensen Huang’s direct reports, stepped down from his day-to-day role Wednesday, according to a Thursday regulatory filing. Puri, 71, told Nvidia on June 28 he intends to retire on his successor’s first day. Nicholas Parker, a longtime ... Read more

0 fresh

The most popular news from the same source for the last week
Habr Habr
Habr
SD86 @ Habr · 06/25/2026 14:10 EDT

Система виновата всегда — даже когда она ещё не включена

 Когда говоришь о видеоаналитике, обычно ждут разговора про точность моделей, архитектуру и алгоритмы. Но за три года внедрений я понял — самая сложная часть проекта это не технология. Это люди. И самое неожиданное сопротивление приходит не оттуда откуда ждёшь. История первая. "Эта штука меня заменит" — и карусель начинаетсяКрупное предприятие, тестируем систему перед демонстрацией заказчику. Площадка не из лёгких — здесь видеоаналитику уже видели, причём не первый год, и... Read more

0

Habr
alex_marshal @ Habr · 06/25/2026 14:19 EDT

«Охота на лис» в XXI веке: забытый радиоспорт в новом техно стиле

"О спорт, ты — мир!" — это замечательная фраза основателя современных Олимпийских игр Пьера де Кубертена. И с этим трудно не согласиться, ведь спорт, не только укрепляет здоровье но и объединяет людей. В этой статье я хочу рассказать, как я объединил некогда популярный вид состязаний "Охота на лис" с современными технологиями, ведь его основные принципы лежали в плоскости геолокации и радионаблюдения. Рожденный ещё в далекие 50-е, этот вид спорта неумолимо... Read more

0

Habr
casssuzy @ Habr · 06/25/2026 14:22 EDT

Статья получилась большой: практик много, и каждая из них важна по-своему. Я собрал материал как набор best practices: не все пункты нужны каждому проекту, но почти каждый пункт однажды всплывает на ревью, при оптимизации медленного пайплайна, при разборе утечки секрета или после тяжелого инцидента.Я старался писать для разных грейдов: от базовой гигиены вроде workflow:rules, cache, artifacts и needs до более продакшеновых тем вроде OIDC, Vault, CI_JOB_TOKEN, защищённых окружений, ревью-окружений, очередей. Read more

0

Habr
Frontend-Sisyphus @ Habr · 06/25/2026 15:00 EDT

8 песочниц в браузере без Docker: как мы изолировали выполнение кода на клиенте

Как дать пользователю выполнять JavaScript, Python и SQL прямо в браузере и не пожалеть? Разбираем восемь песочниц: Web Worker для JS, Pyodide для Python, SQL.js для SQLite, iframe sandbox для HTML/CSS, DOMPurify для Markdown, самописный эмулятор Bash. Никаких Docker-контейнеров — только клиент. Рассказываем в статье о трудностях и подводных камнях, с которыми пришлось столкнуться. Читать далее Read more

0

Habr
gth-other @ Habr · 06/25/2026 15:55 EDT

Как xtunnel может создать дыру в приложении

Xtunnel xtunnel - российский туннель, который позиционирует себя аналогом ушедшего из России ngrok. Сегодня, работая над учебным проектом, я заметил за ним любопытное поведение. Например, мы ставим на логине токен как http only куку (ниже и дальше будет представлен код на Java Spring, но подобное поведение аналогично во всех языках):Нормальные туннели не трогают такие куки, однако xtunnel такую куку закеширует (!) и будет подставлять ее в релеватные запросы по требованию... Read more

0

Habr
vi_is_raven @ Habr · 06/25/2026 16:18 EDT

VARS: Совмещение Интерактивности И Реального Времени

Современные операционные системы вынуждены одновременно обслуживать рабочие нагрузки разных типов, и редко удаётся их должным образом совместить. Предлагаю к анализу собственное решение этой нетривиальной задачи. Читать далее Read more

0

Habr
RedBuilder81 @ Habr · 06/25/2026 16:18 EDT

Как собрать мультиагентный Telegram-канал ситуационной осведомленности 24/7

Это вторая статья в нашем цикле, посвещенном созданию системы круглосуточной ситуационной осведомленности. Благодаря замечаниям читателей, выделившим недостатки, которые имели место быть в прошлом материале, мы будем стараться совершенствовать подаваемый нашим читателям контент. Читать далее Read more

0

Habr
StudyQA @ Habr · 06/25/2026 17:08 EDT

Несколько LLM-агентов в одном Chrome: изоляция вкладок без потери логинов

Когда у вас один AI-агент в браузере, всё просто. Когда их пять и они параллельно ходят по разным сайтам через Playwright MCP, начинается война за вкладку. Штатный @playwright/mcp работает в общем BrowserContext, и агенты перехватывают страницы друг у друга. Отдельный контекст через newContext() решает изоляцию, но убивает логины.На основании собственных мучений, в этой статье разбираю, как получить и то, и другое: изолированные окна на каждого агента с общими куками профиля,... Read more

0

Habr
FlyAI (StudyAI) @ Habr · 06/25/2026 17:16 EDT

Нейросети для ретуши фото: Как обработать фотографию с помощью ИИ

Тестируем лучшие нейросети для ретуши фото. Собрали ультимативный гайд: от ИИ для ретуши портрета до обработки снимков на паспорт. Внутри — рабочие промпты, разбор фич 2026 года и честные тесты. Читать далее Read more

0

Habr
Karbysheva @ Habr · 06/25/2026 17:18 EDT

Дресс-код vs casual: каблуки и кеды одинаково вредят вашему здоровью

Я несколько лет проработала в банке со строгим дресс-кодом ‒  костюм, каблуки, стандартный 8-часовой рабочий день. После смены профессии перешла на кроссовки и обувь на невысоком каблуке. Неприятные ощущения стали заметнее: икры постоянно тянуло, мышцы стали жесткими. После посещения ортопеда выяснилось, что постоянное ношение обуви с высоким каблуком приводит к деформации (спазму) икроножных мышц, а ахилл адаптировался к постоянному положению тела на носках.Сейчас я занимаюсь изучением вопросов раннего ста Read more

0

Most popular sources

  • You see 844 news out of 844.
  • Sources 61 out of 61.
ScienceDaily 0%
Financial Times 0%
150sec 0%
Ubergizmo 0%
Tech Wire Asia 0%
View sources »

LIKE us on Facebook so you won't miss the most important news of the day!

02.07.2026 14:23
Last update: 14:15 EDT.
News rating updated: 21:11.

What is Times42?

Times42 brings you the most popular news from tech news portals in real-time chart.
Read about us in FAQ section.


Times42 © 2026