8 place 0 fresh
Привет, Хабр! Меня зовут Сергей, я работают в компании InfoWatch разработчиком на продукте ARMA Стена (NGFW). Подробнее о том, что такое ARMA Стена, можно прочитать тут.В этой статье я хочу поделиться опытом применения метода формальной верификации в решении практической бизнес-задачи.Сразу оговорюсь, что в статье используется TLA+, без введения в инструмент, чтобы не увеличивать объём статьи. Подробнее про инструмент вы можете почитать на сайте создателя, тут и тут. Необходимые объяснения даются по ходу из
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
Under the arrangement, the government will initially hold roughly 10% of Rapidus's voting shares and the majority of its stake in non-voting stock. Read more ›
0 newcommer
It’s that time of year: a whole bunch of Pokémon news is incoming. February 27th is the date the franchise first debuted, and The Pokémon Company uses it as a chance to outline its plans in a Pokémon Presents showcase. Last year’s event included the announcement of Pokémon Champions, and the 2026 edition should be […] Read more ›
0 newcommer
In "Bridgerton," which has returned for season four, some of the actors are much older than the characters they play. Read more ›
0 newcommer
Создавать свои песни очень даже интересно, и радует больше чем слушать чужие хиты,поэтому написал небольшую статью, в том числе про свой опыт.План:1. Как создать песню2. Как придумать текст песни3. Как разместить композицию в яндекс-музыке4. Прибыль Читать далее Read more ›
0 newcommer
OpenAI announced it secured a $110 billion investment from Nvidia, Amazon, and SoftBank. Read more ›
0 newcommer
Amazon's Fire TV line is one of its most popular products, and as you might expect, it also includes Alexa. What sort of cool things can you do with it? Read more ›
0 newcommer
The Samsung Galaxy S26 Ultra's S Pen may not play nicely with some magnetic cases, but a future S Pen could solve this problem. Read more ›
0 fresh
![[Перевод] Неразгаданные исторические тайны, которые не дают спать по ночам](https://times42.com/media/6/2/7/12044627_640x200.jpg "[Перевод] Неразгаданные исторические тайны, которые не дают спать по ночам")
История — мастер игнора. Под катом три самых интригующих для меня вопроса, на которые она упорно отказывается отвечать. Читать далее Read more ›
0 fresh
Sam Altman’s $730bn start-up restocks its war chest for battle with Anthropic and Google Read more ›
0 fresh
The Xiaomi 17 Ultra Leica Edition will be called the 'Leica Leitzphone powered by Xiaomi' when it goes global on February 28. Read more ›
0 fresh
Razer’s Laptop Sleeve 16 combines premium protection with a built-in wireless charger for your phones and accessories. Read more ›
0 fresh
Pokémon's 30th anniversary celebrations start with a bang this afternoon, with a special Pokémon Presents broadcast that could reveal the new generation (gen 10) of core Pokémon games. The show starts at 2pm (UK) and you can watch it in the video embedded here. Read more Read more ›
0 fresh
Anthropic CEO Dario Amodei has made clear the boundaries of the Pentagon's use for Claude, and the ball is now in Pete Hegseth's court. Read more ›
0 fresh
Biometric IDs, cashless payment rails, and AI credit scoring are being deployed across the Global South under the banner of development. But when the data flows to Silicon Valley and the populations can't opt out, we need to call this what it is: surveillance infrastructure dressed as inclusion. Read more ›
0 fresh
We’re retesting a decade’s worth of CPUs for our CPU hierarchy and Bench database, and we’re taking Tom’s Hardware Premium users behind the scenes to show you how it’s done. Read more ›
0 fresh
A new report into what went wrong with multiplayer shooter Highguard has revealed that Tencent allegedly pulled funding from the studio two weeks after the game's launch. This was what Wildlight reportedly told staff while laying off most of the 100-person team. Read more Read more ›
0 fresh
Habr
Автономные агенты вроде опенсорсного OpenClaw или закрытого Manus сейчас прям хайпуют. Мало ещё кто разобрался, что это и зачем, но все уже эксперты: обзоры ради обзоров, без понимания предметной области, ради трафика на горячем заголовке. Честно говоря, на волне этого блогерского хайпа я лично долго откладывал взять и попробовать, а попробовав, - не могу оторваться, чего и вам желаю.Я, по сути, этой статьёй предлагаю немного поразмышлять о том, куда нас... Read more ›
54
Пока медийное пространство завалено «легкими решениями одной кнопкой» в виде публичных прокси из сомнительных каналов, техническое сообщество сталкивается с суровой реальностью. Публичные варианты либо безнадежно перегружены, либо моментально детектируются системами фильтрации.В этой статье мы разберем, как на самом деле работает замедление Telegram, какие методы позволяют вернуть полную скорость работы мессенджера Читать далее Read more ›
32
Продолжаем вспоминать технологические чудеса в области звука в компьютерных играх — обыденные ныне вещи, первая встреча с которыми в нашей жизни некогда поразила воображение тем, что такое в принципе возможно.В прошлый раз я рассказал историю появления речи в играх, когда молчаливый прежде компьютер вдруг заговорил человеческим голосом. Чем же ещё он мог бы удивить после такого финта? Есть чем! Ведь круче разговаривающего компьютера может быть только компьютер поющий. Читать далее Read more ›
18
Мне 18 лет, и последние несколько месяцев я разрабатываю Xipher — мессенджер, который пишу с нуля на C++ (бэкенд) и Kotlin (Android). В какой-то момент я захотел добавить фичу, которой нет ни в одном популярном мессенджере: режим, в котором переписку невозможно подделать — ни участникам, ни мне как владельцу сервера, — и это можно проверить независимо, без доступа к серверу.Так появился Xipher Provable Chat. В этой статье разберу, как именно... Read more ›
17
Зачем OpenAI купила базу данных Rockset за $117M и тут же убила её для всех клиентов. Как устроена архитектура «пять слоёв контекста». Почему принцип «meaning lives in code» меняет подход к документированию данных. И что из этого может взять обычная компания уже сейчас без GPT-5 и без $117M. Читать далее Read more ›
16
Я использую LLM в повседневной разработке уже больше года и довольно быстро упёрся в типовую проблему: модель генерирует “красивый код”, но по мере роста проекта появляется дублирование, разъезжается стиль, растёт число заглушек и отладка становится дорогой. В статье покажу процесс, который мне помог: как разделять контекст по чатам, какие артефакты требовать на каждом шаге и какими чек-листами я проверяю результат. Читать далее Read more ›
2
Памяти Кеннета Олсена, родившегося в этот день ровно 100 лет назадУже глубоко за полночь 1 декабря 1959 года, а именно в 1:30, едва Лоис Андерсон уложила спать третьего, младшего ребенка в семье, раздался телефонный звонок. Из отеля «Статлер Хилтон» в Бостоне Харлан Андерсон позвонил супруге, предупредив о том, что не сможет приехать ночевать домой: прототип PDP-1, исправно работавший в стенах DEC, по известному закону подлости отказывался работать в выставочном зале.... Read more ›
0
Мы привыкли верить, что если сказать модели «будь агрессивным трейдером» или «будь строгим аналитиком», то она действительно начнёт так себя вести. На практике всё не так просто. В длинном диалоге роль быстро выдыхается: модель соглашается с образом, но постепенно возвращается к базовой вежливости, осторожности и бесконечным дисклеймерам.Зато в коротких запросах происходит совсем другое. Один свежий промпт — и поведение реально сдвигается: модель становится заметно осторожнее, резче, параноидальнее или, нао Read more ›
0
Загружал пару лет переписки из Telegram в Apache Doris на ноутбуке. Первый запуск 2 часа. После оптимизации 206 400 сообщений за 5 секунд.Полез в исходники разобраться, почему Stream Load (HTTP-загрузка данных) в Doris работает так быстро. В статье разбор C++ кода: от HTTP PUT до Segment-файла на диске.Что внутри: — 14 шагов одного HTTP-запроса (с диаграммой и кодом) — StreamLoadPipe: буфер 4 MB с backpressure — Иерархия записи: LoadChannel →... Read more ›
0
Gentoo — один из самых старых дистрибутивов Linux. Он появился в 2002 году и до сих пор работает по тем же принципам: сборка пакетов из исходных текстов, тщательная настройка под любое железо и полное отсутствие компромиссов. В феврале 2026-го появилась новость о начале переноса зеркал репозиториев с GitHub на Codeberg. И это не просто технический маневр, а принципиальный выбор сообщества. В чем основные причины ухода, что повлияло на выбор площадки... Read more ›
0
Most popular sources
150sec
|
0% |
AlleyWatch
|
0% |
StartupNation
|
0% |
Droid Life
|
0% |
VentureBeat
|
0% |
| View sources » | |
LIKE us on Facebook so you won't miss the most important news of the day!
27.02.2026 09:07
Last update: 09:00 EDT.
News rating updated: 16:00.
What is Times42?
Times42 brings you the most popular news from tech news portals in real-time chart.
Read about us in FAQ section.
