7 place 0

853 [Перевод] Проектирование с помощью типов: Делаем недопустимые состояния непредставимыми

Habr
markshevchenko @ Habr · 04/23/2026 02:44 EDT

[Перевод] Проектирование с помощью типов: Делаем недопустимые состояния непредставимыми

Новая глава из цикла Скотта Влащина. Обсуждаем, как сделать код надёжным с помощью развитых типов из F#. Читать далее

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

🔮
15.05.2026 ♍︎ Dear Virgo, today your horoscope promises a mixture of feelings and opportunities, and it is... 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 · today 04:30 EDT

Meet the startup taking on gaming's cheating problem

In 2019, the Portugal-based startup Anybrain filed a patent application claiming its AI could detect game cheating solely from player inputs such as keyboards, controllers, and joysticks. It was met ... Read more

0 newcommer

SlashGear
SlashGear 1 place · today 04:30 EDT

These Cutting-Edge OLEDs Can Bend, Fold, And Stretch Without A Single Crease

Researchers have developed a new type of flexible OLED that overcomes the long-term durability and image quality concerns of current flexible OLEDs. Read more

0 newcommer

Digital Trends
Moinak Pal @ Digital Trends 1 place · today 04:29 EDT

Dell expands AI PC lineup with new slim Dell 14s and 16s laptops

Dell has launched the new 14S and 16S AI PCs with Intel Core Ultra chips, OLED display options, and long battery life in slimmer designs. Read more

0 newcommer

Habr
vk15work @ Habr 1 place · today 04:24 EDT

Какой подход к предсказанию последовательности стоит выбрать

Построение прогноза последовательности (графика) это тема отдельной книги, поэтому в статье я только слегка коснусь двух подходов:- построение прогноза по одной точке, используя цикл;- построение прогноза на весь период одним махом.И постараюсь пояснить на примерах, почему один из них скорее всего будет пустой тратой времени. Читать далее Read more

0 newcommer

Digital Trends
Rachit Agarwal @ Digital Trends 2 place · today 04:23 EDT

AMD is bringing FSR 4.1 upscaling to older GPUs like an elixir of new gaming life

AMD is bringing FSR Upscaling 4.1 to Radeon RX 7000 GPUs this July, with RX 6000 support arriving in early 2027, covering over 300 games at launch. Read more

0 fresh

Habr
handelsburo @ Habr 2 place · today 04:20 EDT

Переговорное мышление

Каждый, кто в своей повседневной работе хотя бы эпизодически участвует в переговорах, сталкивался с многочисленными обучающими материалами, рекомендациями и тренингами по их эффективному ведению.Нет ни одного пособия по переговорам, в котором не подчеркивалась бы критическая важность диагностических вопросов для выявления интересов противоположной стороны. Тем не менее исследование социального психолога Адама Галински показывает, что, по статистике, 93% участников переговоров не задают открытых диагностичес Read more

0 newcommer

UK Tech News
Oscar Hornstein @ UK Tech News 1 place · today 04:20 EDT

Multiverse, an edtech unicorn currently focused on digital and AI upskilling, has secured $70m (£52m) in new funding to drive growth across Europe. Founded in 2016 by Euan Blair, son of former prime minister Tony Blair, and Sophie Adelman, Multiverse was launched to help school leavers find apprenticeships and other alternatives to university. In more ... Read more

0 fresh

CoinDesk
Omkar Godbole @ CoinDesk 1 place · today 04:19 EDT

The Shiller cyclically adjusted price-to-earnings ratio for U.S. stocks is nearing the 1999 peak seen during the dot-com bubble. Read more

0 fresh

Digital Trends
Shimul Sood @ Digital Trends 3 place · today 04:16 EDT

Intel has already started making chips for Apple, it seems, but not the most advanced kind

Intel is quietly manufacturing chips for Apple's iPhones, iPads, and Macs — but only legacy and mid-range processors, not the advanced silicon TSMC still dominates. Read more

0 fresh

Habr
ledevik (Криптонит) @ Habr 3 place · today 04:16 EDT

Криптографический алгоритм «Криптонита» S3G-5G для безопасности сетей 5G прошёл этап согласования в ТК 26

Разработанный в компании «Криптонит» (входит в «ИКС Холдинг») алгоритм S3G-5G прошёл новый этап согласования: Технический комитет 26 (ТК 26) по стандартизации «Криптографическая защита информации» утвердил методические рекомендации по его применению. Алгоритм представляет собой российский аналог криптографических функций 3GPP (f1–f5), предназначенных для выработки вспомогательных секретных ключей и аутентификационных векторов в сетях подвижной радиотелефонной связи пятого поколения (5G). Его внедрение позво Read more

0 fresh

Habr
SLY_G @ Habr · today 04:13 EDT

[Перевод] Фотографическая память — это миф: вот что на самом деле говорят исследования о работе памяти

Голливуд обожает суперспособности. Не все из них связаны с плащами или космическими лучами. Некоторые носят когнитивный характер: это персонажи, способные запомнить всё. В кино и на телевидении зрители постоянно сталкиваются с героями, обладающими необыкновенным умом, которым достаточно одного взгляда на страницу, комнату или лицо, чтобы позже воспроизвести каждую деталь с хирургической точностью.Это можно увидеть повсюду: в сериалах «Костюмы», «Шерлок» и «Девушка с татуировкой дракона». Даже в детской лите Read more

0 fresh

Inc42 Media
Anne Florentyna @ Inc42 Media 1 place · today 04:07 EDT

Rapido Raises $240 Mn At $3 Bn Valuation To Expand Footprint

Ride-hailing unicorn Rapido has raised $240 Mn (₹2,302 Cr) in a fresh funding round led by existing backer Prosus, with… Read more

0 fresh

Android Authority
Aamir Siddiqui @ Android Authority 3 place · today 04:06 EDT

The best tool for mirroring Android phones to PC now makes apps feel like desktop software

Scrcpy 4.0 introduces resizable flex displays and an SDL3 migration for a more seamless Android-on-PC experience. Read more

0 fresh

Digital Trends
Manisha Priyadarshini @ Digital Trends · today 04:05 EDT

OpenAI is bringing in the mighty Codex tool to the ChatGPT app on your phone

OpenAI has added its Codex coding agent to the ChatGPT mobile app on iOS and Android, letting users manage coding tasks remotely from their phone. Read more

0 fresh

The most popular news from the same source for the last week
Habr Habr
Habr
SpeShuNews (ЦНИС) @ Habr · 05/08/2026 04:38 EDT

Массовая блокировка Claude. Как айтишникам и бизнесменам защитить себя от убытков в следующий раз

Несколько сотен российских пользователей потеряли аккаунты в Claude. Несмотря на VPN, люди лишились того, что строили месяцами. В лету канули ИИ-агенты, аналитические данные, автоматизации.Как получить гарантии, что ваш проект не рухнет из-за российского IP, узнайте прямо сейчас, пока не поздно. Читать далее Read more

0

Habr
Merney (Gooly) @ Habr · 05/08/2026 04:45 EDT

Почему Telegram-чаты ломаются, когда нужно собрать людей на мероприятие

После первой статьи про Gooly мне написало несколько человек, которые годами собирали футбол, волейбол, настолки и другие офлайн-активности.И что интересно — почти у всех были одни и те же проблемы.Причём независимо от города, возраста людей или самого формата мероприятия.В какой-то момент я понял:Проблема вообще не в Telegram, VK или WhatsApp.Проблема в том, что чат сам по себе плохо подходит для координации повторяющихся офлайн-активностей.Особенно когда людей становится больше 10–15. Читать далее Read more

0

Habr
ayusavin @ Habr · 05/08/2026 04:46 EDT

Маркетинговый сайт без дизайнера: 5 практик с Open Design и Claude Code

Я попробовал собрать маркетинговый сайт через Claude Design - и быстро упёрся в лимиты токенов и непрозрачность облачного тула. Перешёл на Open Design - open-source альтернативу, которая цепляет твой Claude Code, держит дизайн-систему как DESIGN.md в репозитории и работает локально. Под катом - четыре практики, которые сработали на сайте конференции: design-as-code в git, симлинк дизайнера в код сайта, два markdown-файла под бренд и дизайн токены, и как мы учили автономных... Read more

0

Habr
igoresha_s @ Habr · 05/08/2026 04:53 EDT

GitPulse: как я перестал угадывать, что происходит в команде, и начал смотреть на данные

Меня зовут Игорь, я тимлид в e-commerce. Когда у меня появилась вторая команда, стало понятно, что вручную следить за двумя Jira, двумя GitLab и метриками одновременно — нереально. В итоге сделал инструмент, который собирает всё в одном месте Читать Read more

0

Habr
handelsburo @ Habr · 05/08/2026 04:51 EDT

Как распознать манипулятивные техники оппонента в конфликтной ситуации

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

0

Habr
PatientZero @ Habr · 05/08/2026 04:53 EDT

[Перевод] Мы нанимаем только самых модных

Один мой приятель, назовём его Майк, сейчас ищет работу после того, как его уволили из найма по договору в Microsoft, что случалось со многими знакомыми мне людьми. Как и я, Майк работает в нашей отрасли уже одиннадцать лет. В отличие от меня, он незнаком с кучей людей из модных компаний, поэтому я показал его резюме нескольким разработчикам из организаций, отчаянно ищущих кадры. Моим друзьям-разработчикам его резюме кажется хорошим, но большинство... Read more

0

Habr
ArmenBeklaryan (Wildberries & Russ) @ Habr · 05/08/2026 05:00 EDT

Экономика промптов: как появляются промпт-хабы

Еще недавно промпты — текстовые инструкции, которыми люди «разговаривают» с генеративными моделями — существовали в основном в чатах и личных заметках. Сотрудники делились удачными формулировками между собой, но системной работы с ними почти не было.Ситуация начала меняться по мере того, как генеративный искусственный интеллект (ИИ) стал использоваться в маркетинге, поддержке, продажах и разработке. Выяснилось, что одна хорошо настроенная инструкция способна экономить часы работы и снижать риск ошибок.Посте Read more

0

Habr
ShyDamn @ Habr · 05/08/2026 05:00 EDT

Прозрачный прокси-шлюз на роутере, часть 2: шаблонный конфиг, LuCI-страница и обход DPI для UDP-голоса

Три недели назад я опубликовал статью про настройку прозрачного прокси-шлюза на OpenWrt-роутере: VLESS+Reality, TPROXY, AdGuard Home, сплит-роутинг. Статья собрала около сотни содержательных комментариев — и значительная их часть оказалась справедливой критикой. По следам этой критики у меня за три недели переписалась примерно половина системы.Во второй части разбираю, что изменилось:— Перевёрнута логика маршрутизации: с proxy-by-default на direct-by-default + явный whitelist через balancer. Защищает от уте Read more

0

Habr
igumnov @ Habr · 05/08/2026 04:59 EDT

Как я использую несколько AI coding agents вместо одного дорогого тарифа

Я давно заметил одну и ту же схему у крупных игроков на рынке AI coding agents. Codex, Claude Code, Gemini и похожие инструменты сначала затягивают тебя дешевыми подписками за 20$ в месяц. Ты пробуешь, быстро привыкаешь, начинаешь использовать это каждый день, а потом внезапно упираешься в лимиты. После этого тебе предлагают например перейти на тариф за 200$ (ChatGPT Pro). Читать далее Read more

0

Habr
mipt_digital (Центр «Пуск» МФТИ) @ Habr · 05/08/2026 04:58 EDT

Как ИИ помогает подбирать лечение для детей с гипертензией: новая модель на 272 пациентах

Артериальная гипертензия поражает все большее число детей: в России с 2020 года количество таких пациентов выросло на 17%. Врачи подбирают терапию эмпирически, ориентируясь на общие рекомендации, — результат виден только через 2–3 месяца. Студентка магистратуры «Прикладной анализ данных в медицинской сфере» Центра «Пуск» МФТИ Анастасия Адамсон создала ML-модель, которая учитывает 154 клинико-инструментальных признака и с точностью до 98% предсказывает эффективную терапию. Модель уже увидела то, что врачи чу Read more

0

Most popular sources

  • You see 852 news out of 852.
  • Sources 61 out of 61.
Tech Wire Asia 0%
ReadWrite 0%
AlleyWatch 0%
Eurogamer.net 0%
Droid Life 0%
View sources »

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

15.05.2026 04:48
Last update: 04:40 EDT.
News rating updated: 11:44.

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