190 place 0
![[Перевод] Ранняя история алгебраических типов данных](https://times42.com/media/0/4/5/11428045_640x200.jpg "[Перевод] Ранняя история алгебраических типов данных")
Это началось со статьи "Алгебраические типы данных на самом деле не такие страшные". Мы знаем о типах-суммах и типах-произведениях. Но задумывались ли вы когда-нибудь о том, откуда они получили такие имена, и как вообще были открыты они и их свойства? Я провел последнюю неделю в кроличьей норе истории, и я просто обязан поделиться тем, что я нашёл. Читать далее
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
September marked a record for single-month Pixel sales, according to industry research. Read more ›
3,161 fresh
Pixel ringtone customization goes wild — with birds, frogs, and even deer sounds. Read more ›
1,781 fresh
The analysts wrote in a note on Friday that consumers have covered about 50% to 70% of the cost of tariffs to date. Read more ›
1,550 fresh
Despite a trade truce, Trump has just made it clear that Nvidia's flagship AI GPUs from its Blackwell lineup will not be allowed to be sold to China. Read more ›
1,326 fresh
Saints Row 1 design director Chris Stockman has revealed he wants to revive the open-world crime series following developer Volition's poorly recieved 2022 reboot, and claims publisher Embracer Group has reached out to hear more. Read more Read more ›
1,042 fresh
As the New York City mayoral election enters the final stretch, with the Muslim American Democratic Party nominee Zohran Mamdani maintaining a sizable lead in all of the polls, a familiar beast has reared its head: blatant Islamophobia. Most of those dabbling in outright bigotry are unsurprising: right-wing shock-jocks and the pro-Trump New York Post. […] Read more ›
908 fresh
Several smartphone makers, including Samsung, Tecno, Apple, and Motorola, have all released slim phones this year, and Huawei is also positioning itself in the mix with the upcoming Mate 70 Air. The device already leaked in a carrier listing and a more recent poster which revealed its design, but the latest bit of info comes from a Xiaohongshu user who shared live images of the Mate 70 Air. Mate 70... Read more ›
845 fresh
The thing about dental insurance is that it isn’t really insurance — it’s more like a half-helpful discount plan with a maximum. And once you reach the maximum, you’re on your own, often to the tune of hundreds and thousands of dollars. As though going to the dentist needed to be less fun. In the […] Read more ›
766 fresh
If you’re signing up for Medicare benefits this open enrollment, odds are you aren’t actually enrolling in the traditional government program that people may envision. More than half of Medicare beneficiaries are now choosing an alternative version of the program administered by private companies. Medicare, the paragon of America’s welfare state, is undergoing a subtle […] Read more ›
748 fresh
A man living near Pattison Lake in Washington State has been arrested for manufacturing ghost guns with his 3D printing equipment. Read more ›
694 fresh
Lossmaking start-up commits to spending close to $1.5tn as it gobbles up processing power Read more ›
629 fresh
I'm on my third career change and still looking for a job that will pay the bills. I refuse to give up even though rejections still sting. Read more ›
617 fresh
The warning notifications have spiked post the One UI 8 Watch update. Are you experiencing the same? Read more ›
574 fresh
Palantir launched a fellowship that recruited high school graduates directly into full-time work, bypassing college entirely. The company received more than 500 applications and selected 22 for the inaugural class. The four-month program began with seminars on Western civilization, U.S. history, and leaders including Abraham Lincoln and Winston Churchill. Fellows then embedded in client teams working on live projects for hospitals, insurance companies, defense contractors, and government agencies. CEO Ale Read more ›
563 fresh
Today, I’m talking with David Risher, who is the CEO of Lyft. I’ll just say from the jump: I think you’ll like this one, since David is refreshingly direct and doesn’t pull a lot of punches. He has on the board of Lyft for years, but he only stepped in as CEO just a couple […] Read more ›
547 fresh
After a slow summer for Las Vegas, hotel-casino execs say a turnaround is on the horizon. For now, the city continues to trail 2024 benchmarks. Read more ›
499 fresh
All of the notable Grand Theft Auto games have been set in fictional versions of American cities, but there was once an expansion pack that showed us a glimpse of somewhere else. Somewhere, if you're me, very close to home: London. Read more Read more ›
433 fresh
AMD has confirmed that Zen 5's RDSEED random number generator is failing, causing it to generate potentially predictable cryptography keys for attackers to exploit. Mitigations for the security flaw are launching throughout the next few months for consumer and datacenter versions of AMD's Ryzen 9000 series CPUs. Read more ›
401 fresh
Before 'Breaking Bad' and 'Pluribus,' the acclaimed TV creator cut his teeth on the classic '90s sci-fi series. Read more ›
400 fresh
Habr
Пятьдесят лет он создавал искусственный интеллект. Теперь говорит, что машины могут уничтожить человечество. Безработица, кибератаки, подтасовка выборов, вирусы, роботы-убийцы — далеко не полный список, что нас ждет. Что делать людям в таком мире? Учиться на сантехника. Пока... пока не появятся гуманоиды. Читать далее Read more ›
39
Вчера вечером я впервые после детства взяла в руки рассказ «Я, робот» Эндо Биндера, опубликованный в январе 1939 года в журнале Amazing Stories.Именно Эндо Биндера (псевдоним братьев Эрла и Отто Биндеров) — а не Айзека Азимова. Это тот самый рассказ, чьё название Азимов «позаимствовал» одиннадцать лет спустя для своего знаменитого сборника 1950 года, причём сам Азимов протестовал против этого решения издателя, понимая, что название уже занято. А фильм 2004 года... Read more ›
36
Так были ли такие ловушки в гробницах, и если да, то какие именно? Ведь на самом деле — раз древние египтяне вместе с усопшим царем хоронили несметные сокровища (в одной только весьма скромной гробнице Тутанхамона нашли более тонны золота!), то им стоило позаботиться о защите этих сокровищ. В том числе и установив ловушки для тех, кто мог посягнуть на вечный сон царя — на его жизнь после смерти. Читать далее Read more ›
7
Все знают о Leetcode — его можно любить, ненавидеть, презирать или даже бояться, но равнодушным точно не останется никто.Эта статья — впечатления о моём 600-дневном марафоне на этой платформе, динамике моих скилов и ответе на главный вопрос «надо ли решать там задачи?».Все было спокойно, пока мы с другом не заключили спор — сможем ли мы решить 100 задач до конца 2023 года? А это было 50 задач всего за 1... Read more ›
3
Космос — самый дорогой стартап в истории человечества, поэтому неудивительно, что его технологии давно окупаются на Земле. И хотя мы привыкли к историям о космических материалах, беспроводных наушниках и системе навигации GPS, NASA сделала кое-что более близкое разработчикам — выложила в Open Source фреймворк, который управляет космическими миссиями.core Flight System (cFS) зародился как инструмент для управления спутниками и марсоходами, но довольно быстро превратился в модульную платформу, которая позволя Read more ›
3
Alright. I pose the same question to an LLM in various forms. And this statistical answer generator, this archive of human knowledge, provides responses that sometimes seem surprisingly novel, and other times, derivative and banal.On Habr, you'll find arguments that an LLM is incapable of novelty and creativity. And I'm inclined to agree.You'll also find claims that it shows sparks of a new mind. And, paradoxically, I'm inclined to agree... Read more ›
2
![[Перевод] Ошибки, которые инженеры совершают при код-ревью](https://times42.com/media/8/5/3/11402853_640x200.jpg "[Перевод] Ошибки, которые инженеры совершают при код-ревью")
Код-ревью стало ключевым этапом в разработке: генерация кода с помощью LLM упростилась, а вот проверка его качества по-прежнему требует инженерной экспертизы. В новом переводе от команды Spring АйО эксперты сообщества подробно и на собственном опыте рассказали про нюансы код-ревью. Читать далее Read more ›
2
Попробуйте вспомнить, что у вас стояло на рабочем столе лет 20-25 лет назад. Абсолютное большинство тех программ вы скорее всего уже даже не вспоминаете, не говоря уже о том, чтобы продолжать ими пользоваться. За эти годы поменялись не только наши личные предпочтения, но и рабочие сценарии. Тем интереснее будет вспомнить о приложениях, которые когда-то были основой софтового парка Windows-компьютеров. Читать далее Read more ›
2
На юге Италии (в окрестностях города Альтамуры) мужчина провалился в расщелину и с высоты почти 15 м упал на груду земли и останков животных, провалившихся здесь до него. Он выжил, хотя сломал руку и повредил лопатку. В темноте пещеры человек безуспешно пытался найти выход, пока не присел обессилевший в одном из дальних тупиков. Здесь его и нашли спелеологи 7 октября 1993 года. Увы, помощь безнадежно опоздала – примерно на 150... Read more ›
2
В конце октября 2025 Anysphere представила Cursor 2.0 — крупное обновление AI-IDE с параллельными агентами и новой моделью Composer. Идея проста: вы ставите цели, а агенты пишут и проверяют код, тестируют и готовят диффы, а разработчик смещается к роли менеджера ИИ-процесса. В статье разбираемся, что именно появилось, на чем это работает и какие ограничения важно учесть. Читать далее Read more ›
2
Most popular sources
Business Insider
|
30% 6 |
Vox
|
9% 4 |
Tom's Hardware
|
7% 11 |
Slashdot
|
7% 3 |
Gizmodo
|
7% 4 |
| View sources » | |
LIKE us on Facebook so you won't miss the most important news of the day!
03.11.2025 12:11
Last update: 12:06 EDT.
News rating updated: 19:01.
What is Times42?
Times42 brings you the most popular news from tech news portals in real-time chart.
Read about us in FAQ section.
popular
