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

🔮
13.05.2026 ♉︎ Dear Taurus, today your day will be filled with a variety of impressions and events.... 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

Business Insider
Natalie Musumeci,Stephen Council @ Business Insider 1 place · today 15:09 EDT

OpenAI exec recalls 'tense exchange' where Elon Musk called him a 'jackass'

OpenAI's chief futurist told the federal jury in the Musk v. Altman trial that Elon Musk "snapped and called me a jackass" at a 2018 company meeting. Read more

0 newcommer

BetaKit
Josh Scott @ BetaKit 1 place · today 15:09 EDT

Top Down closes VC fund aimed at “invisible infrastructure” of the global economy

Vancouver firm beats $25-million USD target for fund backing early-stage MSP and AI startups. Read more

0 newcommer

Business Insider
Callie Ahlgrim @ Business Insider 2 place · today 15:06 EDT

The live-music boom has convinced some artists they're bigger than they are

Artists like Post Malone, Zayn, the Pussycat Dolls, and Meghan Trainor have canceled tours, yet other artists are still selling tickets. What's behind the divide? Read more

0 newcommer

Wired
Dell Cameron, Maddy Varner @ Wired 1 place · today 15:03 EDT

DHS Plans Experiment Running ‘Reconnaissance’ Drones Along the US-Canada Border

Autonomous drones and ground vehicles will stream “battlefield intelligence” over 5G along the US-Canada border in a bilateral DHS experiment this fall. Read more

0 newcommer

CoinDesk
Ian Allison @ CoinDesk 1 place · today 15:01 EDT

Ethereum app builder Consensys has delayed its potential IPO until fall

The MetaMask wallet builder had reportedly engaged bankers from JPMorgan and Goldman Sachs to lead the process. Read more

0 fresh

Inc42 Media
Lokesh Choudhary @ Inc42 Media 1 place · today 15:00 EDT

US-Based Numero Acquires Royu To Expand Its AI Finance Platform

US-based AI finance platform Numero has acquired Chennai-headquartered finance automation startup Royu in a cash-and-stock deal. Without disclosing the exact… Read more

0 fresh

Gizmodo
Kyle Barr @ Gizmodo 1 place · today 15:00 EDT

Samsung’s Galaxy XR Is the Future of Wearables—Just Not VR Headsets

The Galaxy XR is a stepping stone to the faceputers we really want: AR smart glasses. Read more

0 fresh

Slashdot
BeauHD @ Slashdot 1 place · today 15:00 EDT

Fragnesia Made Public As Latest Linux Local Privilege Escalation Vulnerability

A new Linux local privilege escalation flaw called Fragnesia has been disclosed as a Dirty Frag-like vulnerability, allowing arbitrary byte writes into the kernel page cache of read-only files through a separate ESP/XFRM logic bug. Phoronix reports: Proof of concept code for Fragnesia is already out there. There is a two-line patch for addressing the issue within the Linux kernel's skbuff.c code. That patch hasn't yet been mainlined or picked... Read more

0 fresh

Digital Trends
Sudhanshu Kumar Mangalam @ Digital Trends 1 place · today 14:57 EDT

Alexa for Shopping is a chatty new AI assistant with some cool tricks to make you spend at Amazon

After years of using Alexa to answer questions, control smart homes, play music, and handle everyday tasks, Amazon has found a more obvious job for it. Alexa is now becoming your personal assistant, built to help you shop more often and with fewer pauses between thinking about a product and adding it to your cart. […] Read more

0 fresh

Engadget
Engadget 1 place · today 14:55 EDT

Andreessen Horowitz is the midterm elections' biggest donor

The venture capital firm has reportedly donated $115.5 million during this election cycle. Read more

0 fresh

Habr
dalerank @ Habr 1 place · today 14:52 EDT

Про 10x программистов

Есть такая старая и немного протухшая дискуссия про 10x программистов. То ли они существуют, то ли это миф стартаперов, то ли это просто мечтания менеджеров про «давайте наймем одного волшебника вместо команды». В презентациях, постах и разговорах эта тема всплывала регулярно, обычно где-то рядом с «нам нужны сильные люди», «у нас маленькая команда» и «дедлайн вчера», а уж на фоне AI-агентов, так и вовсе расцвела опять буйным цветом.Меня в этой... Read more

0 fresh

SlashGear
SlashGear 1 place · today 14:45 EDT

These Luxury Swiss Watches Cost More Than Most Cars For A Reason

Luxury Swiss watches can look small next to a car, but one brand shows how unusual design and precision engineering can push prices sky-high. Read more

0 fresh

The Verge
Emma Roth @ The Verge 1 place · today 14:45 EDT

Netflix’s ad ambitions just keep growing

For the second year in a row, Netflix's ad-supported tier more than doubled its monthly viewerbase. During its 2026 upfront presentation, Netflix revealed that its $8.99-per-month plan reaches more than 250 million people around the globe, a significant leap from 94 million users reported last year. The streaming service reported earning $1.5 billion from ads […] Read more

0 fresh

Habr
nlaik @ Habr 2 place · today 14:42 EDT

Обновление Claude Code Agent view: теперь одно окно для управления десятком параллельных AI-сессий

11 мая Anthropic выкатили в Claude Code новую фичу — agent view. Это менеджер сессий: один экран, в котором видны все запущенные параллельно сессии Claude Code, их статус и какие из них ждут ввода. Запускается командой claude agents. Звучит как мелкое улучшение, но на практике решает реальную боль — раньше для трёх параллельных задач нужны были tmux-сетка и mental ledger в голове. Обновил Claude Code, потестил неделю, рассказываю, что внутри... Read more

0 fresh

The Verge
Sheena Vasani @ The Verge 2 place · today 14:41 EDT

Everything at The Criterion Collection is 30 percent off right now

If you’ve been meaning to grow your physical movie collection, now’s a good time to do it. Through May 25th, The Criterion Collection is taking 30 percent off every disc on its site, including standard Blu-rays, 4K releases, box sets, and even films that are currently only available to preorder. The sale spans every category […] Read more

0 fresh

The most popular news from the same source for the last week
Habr Habr
Habr
cherryforcex (Ranvik) @ Habr · 05/06/2026 15:20 EDT

Нейросеть для создания песни ИИ бесплатно: лучшие нейросети для музыки

Создать песню сегодня можно не только в студии. Не обязательно уметь играть на гитаре, писать ноты, разбираться в сведении или искать вокалиста. Достаточно идеи: о чем песня, в каком стиле она должна звучать, какое настроение передать и какой голос нужен. Остальное может помочь собрать нейросеть.Если вы хотите создать песню ИИ бесплатно, важно понимать, как работает генерация музыки. ИИ не просто «склеивает звуки». Современные сервисы умеют создавать мелодию, ритм, аранжировку, вокал... Read more

0

Habr
PetrVasilchenko @ Habr · 05/06/2026 15:32 EDT

Я разобрался, какие браузеры реально помогают сохранить анонимность

Раньше я относился к приватности в браузере довольно наивно. Казалось, что если включить режим инкогнито, поставить блокировщик рекламы и периодически чистить cookies, то ты уже сделал примерно всё, что может обычный пользователь. Потом я начал разбираться в browser fingerprinting и понял неприятную вещь: браузер сам по себе может быть идентификатором. Даже без cookies сайт видит набор технических признаков - от размера окна и WebGL до шрифтов, языка, часового пояса и... Read more

0

Habr
seobuster @ Habr · 05/06/2026 15:32 EDT

Ledger — прохождение сложной машины от Tryhackme

Ledger — это сложная машина Windows на TryHackMe, в центре которой находится неправильная конфигурация служб сертификатов Active Directory (AD CS). Первоначальная разведка выявляет контроллер домена (labyrinth.thm.local) с включенной аутентификацией SMB null и LDAP, раскрывающим учетные данные пользователя в примечаниях. Через certipy-ad находим шаблон сертификата ServerAuth , который уязвим к ESC1, что позволяет любому аутентифицированному пользователю запросить сертификат, выдавая себя за администратора д Read more

0

Habr
OneZee @ Habr · 05/06/2026 15:58 EDT

TeachTrack: NestJS + Telegram-бот напоминаний + РКН — как я в одиночку собрал CRM для частных репетиторов

Месяц назад я выложил на Хабр статью про TripTrack — GPS-трекер для машины на iOS, который собрал будучи бэкендером без опыта в Swift. Статья неожиданно набрала 7.4К (на данный момент написания) просмотров. Но, мне посчастливилось поработать по своей специальности, не только под IOS-приложения, а под NestJS бекенд.Параллельно с TripTrack я писал второй проект — на этот раз ровно в зоне комфорта (NestJS + PostgreSQL), и это позволило развернуться по-серьёзному: транзакционный... Read more

0

Habr
ksalnikova @ Habr · 05/06/2026 16:07 EDT

Пет-проект и персональные данные: как соблюсти минимальные необходимые требования и не попасть на штрафы

Этой статьей я продолжу серию постов для тех, кто только собирается запускать свой интернет-проект. Вот тут можно прочитать первую часть о том, как выбрать форму для своей деятельности (самозанятый, ИП, ООО) и начать принимать платежи: Как монетизировать пет-проект: документы, платежи, касса.Довольно сложно объяснить все законодательство о персональных данных в одной статье, поэтому в тексте есть упрощения и обобщения. Текст ориентирован на предпринимателей, а не на юристов и я постараюсь обойтись... Read more

0

Habr
DenisDenisMIS @ Habr · 05/06/2026 16:32 EDT

SmileLadder. Цикл «Память и мозг». Как формируется память

Недавно вышла в свет статья в уважаемоем научном издении Nature. Она натолкнула меня на идею показать как работает механизм внимания и как мозг формирует память. Это важно и дает ответ на вопрос о том, как вообще мы справляемся с огромным потоком задач нашего современного мира. de Sousa, A.F., Zeidler, Z.E., Almeida-Filho, D.G. et al. The prefrontal cortex controls memory organization in the hippocampus. Nat Neurosci (2026). https://doi.org/10.1038/s41593-026-02231-1 Читать далее Read more

0

Habr
aabzel @ Habr · 05/06/2026 16:48 EDT

Передача данных по лазерному лучу (BPSK)

В этом тексте я попробовал осуществить передачу данных по лазерному лучу буквально на основе подручных материалов.В тексте представлены основные идеи и решения для передачи и приёма битового потока c помощью BPSK модуляции. Читать далее Read more

0

Habr
datamafia @ Habr · 05/06/2026 18:14 EDT

[Перевод] Как ИИ потерял доверие общества в США

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

0

Habr
kobubu @ Habr · 05/06/2026 18:20 EDT

Правильная агентская архитектура в 2026 г. Часть 2. Durable state: approvals, session context и background jobs

Продолжаем строить durable ии-агента. Вторая часть пособия по созданию правильной агентской архитектуры в 2026 г. Читать далее Read more

0

Habr
nlaik @ Habr · 05/06/2026 18:43 EDT

Разбираю «Qwen3.5-21B-Claude-4.6-Opus-Heretic-Uncensored»: что на самом деле внутри файнтюна с громким именем

В телеграме завирусился пост: якобы кто-то “дообучил Qwen 3.5 до уровня Claude 4.6 Opus и убрал цензуру через Heretic”. Я открыл карточку модели на HuggingFace и провёл вечер, разбираясь, что под капотом. Спойлер: там много интересной техники, но к Claude эта модель имеет такое же отношение, как кроссовки “Adibas” к Adidas. Разбираю distillation, depth upscaling и abliteration без маркетинговой обёртки. Читать далее Read more

0

Most popular sources

  • You see 908 news out of 908.
  • Sources 61 out of 61.
Financial Times 0%
StartUp Beat 0%
ScienceDaily 0%
Irish Tech News 0%
ArcticStartup 0%
View sources »

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

13.05.2026 15:28
Last update: 15:21 EDT.
News rating updated: 22:21.

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