12 place 0
![[Перевод] 5. Проектирование с помощью типов: Делаем состояние явным](https://times42.com/media/0/9/1/12357091_640x200.jpg "[Перевод] 5. Проектирование с помощью типов: Делаем состояние явным")
Пятый пост Скотта Влащина посвящён конечным автоматам (они же машины состояний или даже стейт-машины). Функциональные языки хорошо подходят для реализации конечных автоматов, а конечные автоматы хорошо подходят для реализации бизнес-логики.Попробуем? Читать далее
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
The hyperscalers are quietly dismantling the architecture of their own dependency. Read more ›
0 newcommer
Привет, Хабр! На связи снова Максим из ATI.SU.В прошлых статьях мы разобрались, как искать логи и креш‑отчёты на iOS‑устройствах — и делали это вручную. Этот навык остаётся базовым на проекте любого размера: без него невозможно понять причину сбоя. Но есть и вторая часть работы — сами проверки, то есть прогон пользовательских сценариев. Пока приложение небольшое, их можно прокликивать руками. По мере роста количество однотипных проверок увеличивается, и повторять их вручную... Read more ›
0 newcommer
Меня зовут Алёна, и я более пяти лет занимаюсь оценкой языковых моделей: участвовала в создании таких русскоязычных бенчмарков как Russian SuperGLUE, ruMTEB, куратор проекта Альянса в сфере искусственного интеллекта «MERA» (бенчмарка для оценки русскоязычных LLM), и создатель множества других проектов в области тестирования генеративных моделей. На конференциях, встречах с командами и обсуждениях LLM-продуктов я часто слышу один и тот же вопрос: «А как вообще правильно оценивать LLM на практике?», и... Read more ›
0 newcommer
Dubai lawyer Irina Heaver says European founders are flocking to the UAE for faster licensing, a dedicated crypto regulator and access to markets beyond Europe. Read more ›
0 fresh
Порезали и собрали для вашего удобства все материалы блиц-докладов со второго митапа сообщества Devhands AI Club. У нас было 6 мини-докладов, по 7 мин на доклад), 2 от фаундеров стартапов и 4 от разработчиков. Темы: ACP и взаимодействие агентов, скилы системного дизайна, AI в инфраструктурном и хостинг стартапах, организация проектов с Claude, транскрибация и саммаризация видео. Читать далее Read more ›
0 fresh
Although AI is widely used in English schools, only 2% have formal strategies, leaving most struggling to grow adoption safely. Read more ›
0 fresh
Привет, Хабр! Когда заходит речь о SOC, в голове обычно всплывает техническая картина: вредонос на рабочей станции, фишинговое письмо, подозрительные PowerShell-команды, сканирование портов, эксплуатация уязвимости, скомпрометированный аккаунт, аномалия в инфраструктуре. Для крупного ритейла этой картины давно мало. О том, как киберугрозам противодействуют в М.Видео расскажет Евгений Прошин, руководитель отдела мониторинга и реагирования на инциденты. Читать далее Read more ›
0 fresh
Привет, Хабр!С вами снова Илья Вязников, инженер сопровождения СОФРОС. Продолжаю делится практическими приёмами и полезными настройками платформы.В этой статье покажем, как интегрировать Datareon Platform с Zabbix через API Центра мониторинга. Читать далее Read more ›
0 fresh
![[Перевод] Как Reddit без потерь перенес петабайтную Kafka с EC2 на Kubernetes](https://times42.com/media/3/9/5/12655395_640x200.jpg "[Перевод] Как Reddit без потерь перенес петабайтную Kafka с EC2 на Kubernetes")
Миграция — риск даже для небольших инфраструктур. А когда у вас больше миллиарда пользователей и петабайт данных, права на ошибку нет вообще. Но выход всё равно один — грамотно спланировать переезд и... взять и сделать.В статье — о том, как Reddit перешёл на Kubernetes: почему они отказались от Amazon EC2, какие ограничения им пришлось учитывать и чем их опыт может быть полезен в других проектах. Читать далее Read more ›
0 fresh
10 новых российских продуктов для проверки земельных участков на риски и ограничения; совместных вишлистов с друзьями и партнёром; конструкции электрощитов; составления календаря сменных графиков и многого другого. Битва за «Продукт недели» началась!Product Radar — здесь каждую неделю публикуются лучшие онлайн-сервисы и железки от русскоязычных команд. Читать далее Read more ›
0 fresh
Taiwanese prosecutors on Monday raided Super Micro Computer’s offices, investigating alleged smuggling of Nvidia AI chips into China through the company’s servers, according to Bloomberg. Taiwan’s Keelung District Prosecutors Office searched the homes of six people and the sites of three ... Read more ›
0 fresh
Ford executives said they've hired 350 veteran engineers — some of them former employees — after AI and automated systems failed to deliver the desired quality, reports TechCrunch: Bloomberg reports the company's chief operating officer Kumar Galhotra told journalists that Ford had been "relying more and more on automated quality systems" with disappointing results. So the company "brought back technical specialists," and those specialists "hunt for failure points before a... Read more ›
0 fresh
Everybody wants to own the media, and the country’s fastest-growing new-age consumer brands are no exception. Faced with rising customer… Read more ›
0 fresh
iQOO could be gearing up to launch a compact gaming tablet in the coming months, according to a new leak. According to tipster Digital Chat Station, iQOO's upcoming compact gaming tablet will be powered by Qualcomm's next-generation flagship Snapdragon chipset, although the exact SoC wasn't specified. iQOO Pad 6 Pro The tipster also claims the tablet will debut in the second half of the year. It is expected to launch... Read more ›
0 fresh
Active addresses jumped 72% in two weeks while open interest fell to its lowest level since July 2025, giving traders a cleaner setup even as price remains trapped below resistance. Read more ›
0 fresh
The UAE real estate market is evolving into a more mature, resident-driven investment landscape, with strong transaction activity and record project backlogs at Emaar Properties and Aldar Properties underscoring resilient sector fundamentals despite broader market uncertainty and geopolitical pressures. Read more ›
0 fresh
Bitcoin held below $60,000 as a surging dollar kept crypto pinned. Onchain demand stayed quiet through the week's losses, and Strategy's plan to possibly sell bitcoin added to the caution. Read more ›
0 fresh
The following is an analysis of the fintech, digital and wider economic development of the most isolated nation on Earth - North Korea. Read more ›
0 fresh
Habr
Хотел разобраться где заканчивается простой вызов локальной LLM и начинается backend система.Сначала всё выглядело просто: frontend отправляет вопрос, FastAPI принимает POST /ask, backend вызывает локальную модель через Ollama и возвращает ответ. Но стало понятно: для помощника по документации этого мало. Модель отвечает, но непонятно на какие документы она опирается, какие фрагменты попали в prompt, сколько времени занял каждый этап и что делать, если индекс устарел.В статье показываю не "как вообще... Read more ›
0
Привет!Я Саша Гордеева, руковожу процессным офисом в ПСБ.В этой статье поделюсь взглядом нашей команды на процессную модель крупного государственного банка: как она из просто реестра блок-схем становится элементом бизнес-архитектуры, который помогает связывать стратегию, операционную деятельность и ИТ-ландшафт банка.Ранее я делилась нашим взглядом на развитие схематизации мыследеятельности и переход к бизнес-нотациям, а мой коллега Евгений Рошковский рассказывал, как мы выстраиваем работу с процессным репоз Read more ›
0
У разработчиков есть крепкое убеждение: стать тимлидом значит навсегда потеряться в созвонах, потерять хард-скилы и оказаться в ловушке из которой не выбраться. В конце 2024 года на Хабре набрала больше 200 плюсов статья с говорящим названием «Не надо быть тимлидом». Она начала просачиваться в чатики, каналы и умы людей. И закрепила страх: тимлидство карьерный тупик.Евгений Антонов, ведущий технический менеджер в Yandex Infrastructure и автор телеграм-канала «Тимлид Очевидность», с этим категорически... Read more ›
0
Под катом делюсь обзором своего самописного PHP-фреймворка Gy — попытки сделать легковесного «убийцу» Битрикса весом 350 Кб. Расскажу, как я реализовал вызов компонентов, зачем написал кастомный SQL-движок на текстовых файлах PhpFileSql.Костыли, велосипеды, 3 года разработки по выходным, 315 коммитов, 14232 строки кода, поддержка практически всех версий PHP и ровно 0 пользователей. Читать далее Read more ›
0
Сегодня история Diaverse — мобильного приложения, которое помогает сформировать привычку ежедневно проходить 10 000 шагов через игровые механики и элементы геймификации.На первый взгляд идея выглядит пугающе банальной. В мире уже существуют Apple Health, Google Fit, Fitbit, сотни, если не тысячи шагомеров и фитнес-приложений. Кажется, что придумать что-то новое в этой нише уже невозможно.Тем не менее за первый год работы проект получил около 300 000 регистраций, привлек пользователей из 104 стран... Read more ›
0
Пароли часто живут где угодно: в браузере, заметках, скриншотах, старом телефоне и переписке с самим собой. В статье — спокойная лестница от простых решений до более контролируемой схемы Читать далее Read more ›
0
Realtime в приложении есть, а WebSocket — нет: сервер отдаёт сообщения через long-polling. Разбираю на примере боевого iOS-сервиса, где такой realtime реально ломается — гонки при переподключении и токен поколения, full jitter в backoff, два независимых потока сообщений в одном ответе и как не задублировать локальные пуши на холодном старте. Читать далее Read more ›
0
Как держать несколько проектов на одном VPS так, чтобы каждый работал на своём домене с HTTPS, а все порты были закрыты снаружи — без Kubernetes и ручных конфигов Nginx. Nginx Proxy Manager, Docker-сети и три реальных проекта на практике. Читать далее Read more ›
0
Почему указание вида «не отправляй конфиденциальные данные наружу» не работает?Разбираем уязвимость Permission Boundary Bypass, а также техники scope creep и capability chaining, позволяющие злоумышленникам обходить ограничения через цепочки легитимных действий. В статье приводятся аргументы, почему prompt‑level enforcement проигрывает, зачем математическая строгость (язык Дика) нужна в конфигах политик, и как выстроить безопасную архитектуру, где проверки живут в runtime. В конец статье вы найдете 7 принци Read more ›
0
Представьте: пользователь добавляет одного сотрудника в группу где‑то в глубине иерархии — и сидит, смотрит на крутящийся лоадер почти минуту. А запрос «покажи всех участников этой группы» отрабатывает так долго, что проще сходить за кофе. Стоит иерархии стать чуть глубже — база и вовсе падает по тайм‑ауту. Именно так вела себя наша старая схема хранения оргструктуры, когда бизнес пришёл с новыми аппетитами: сотни тысяч человек в одной группе и вложенность... Read more ›
0
Most popular sources
Financial Times
|
0% |
Startup News
|
0% |
Tech Wire Asia
|
0% |
ArcticStartup
|
0% |
UK Tech News
|
0% |
| View sources » | |
LIKE us on Facebook so you won't miss the most important news of the day!
30.06.2026 02:58
Last update: 02:50 EDT.
News rating updated: 09:52.
What is Times42?
Times42 brings you the most popular news from tech news portals in real-time chart.
Read about us in FAQ section.