415 place 0 fresh
![[Перевод] Решение головоломки NYTimes Pips с помощью решателя ограничений](https://times42.com/media/6/6/3/11639663_640x200.jpg "[Перевод] Решение головоломки NYTimes Pips с помощью решателя ограничений")
Кажется, что головоломка NYT Pips — это просто игра с домино и цветными клетками. Но если взглянуть на неё как на задачу удовлетворения ограничений, она превращается в удобный полигон для современных решателей вроде MiniZinc. В статье автор показывает, как описать Pips не в виде алгоритма перебора, а в виде системы ограничений: сетка, домино, суммы по областям, симметрии и «мусорные» решения. По ходу дела выясняется, что войти в мир constraint solving можно буквально за пару часов, а заодно на практике поня
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
Presented by SAPWhen SAP ran a quiet internal experiment to gauge consultant attitudes toward AI, the results were striking. Five teams were asked to validate answers to more than 1,000 business requirements completed by SAP’s AI co-pilot, Joule for Consultants — a workload that would normally take several weeks.Four teams were told the analysis had been completed by junior interns fresh out of school. They reviewed the material, found it... Read more ›
2,151,006 fresh
Amazon said Wednesday that it plans to invest more than $35 billion in India by 2030, as the tech giant looks to further expand its e-commerce and cloud computing businesses in one of its largest markets outside the U.S. Amazon’s new investment plan underscores India’s importance to global tech ... Read more ›
3,227 fresh
President Donald Trump is touring swing states to defend his tariffs and sell the message that the economy is booming. Read more ›
971 fresh
Elon Musk said he wouldn't participate in the DOGE office again, adding that it was only "somewhat" successful in saving taxpayer money. Read more ›
719 fresh
Pixel Watch 4's new gestures are fun and intuitive, but not everything works as expected right now. Read more ›
714 fresh
Save up to 87% with a Surfshark coupon code, 3 months of VPN free today, and more December 2025 discounts from WIRED. Read more ›
637 fresh
Australia has officially barred all under-16s from social media. With major platforms like Instagram, TikTok, and Reddit, among others, now legally required to block young users, countries across Europe, Asia and the US are reassessing their own policies. Experts in India say the real solution may lie in education, awareness and behavioural reform Read more ›
553 fresh
Rivian CEO RJ Scaringe said EV adoption in the US was hampered by a "shocking lack of choice," compared to Europe or China. Read more ›
479 fresh
If you've been unhappy with the direction Microsoft has taken Windows, offering no meaningful improvements beyond AI and aesthetics, then, well, not much can be done about that. But, at least you can disable all the AI features that seem to have populated every corner of the OS, with a simple script from GitHub. Read more ›
355
The battlefield is still dominated by aerial drones, which Syrski said are carrying out 60% of all strikes against Russian targets in the war. Read more ›
270 fresh
Or has it become yet another Android smartphone manufacturer lost in the crowd? Read more ›
258 fresh
Don't want to root your Android phone to get deep AirPods integration? A long-standing Android bug is to blame. Read more ›
225 fresh
A blended-wing body aircraft is essentially one giant wing with the cabin built inside. Two California companies are racing Airbus to market. Read more ›
208
Beijing encouraged purchase of Huawei and Cambricon processors before Trump’s move to allow Nvidia exports Read more ›
201 fresh
The Game Awards 2025 edition of the Day of the Devs digital showcase goes live on Wednesday, December 10 at 1PM ET on Twitch and YouTube. That’s more than 30 hours before The Game Awards itself kicks off, which makes perfect sense. It is called Day of the Devs, after all, and if we’re judging by past appearances, the event absolutely deserves its own full 24 hours in the spotlight.This... Read more ›
191 fresh
The two chip companies have signed a term sheet according to sources with direct knowledge of the agreement. Read more ›
143
Google's latest update for its Pixel Watch 4 brings with it two new features. First, you get more gestures. These were revealed recently through a deep dive into some code. You can now double pinch and use a wrist turn to control various features of the watch without ever touching the screen. Examples include scrolling through notifications, dismissing them, snoozing alarms, managing a timer or stopwatch, pausing music, selecting a... Read more ›
130 fresh
Sam Altman’s appearance on The Tonight Show is part of a larger charm offensive currently being waged by the tech establishment. Read more ›
124 fresh
Habr
Кажется как будто сто лет я не писал ничего на Хабр про свое любимое старое железо (последний раз это была хабра-ода любимому компаньону). Но сейчас, провозившись несколько недель с еще одним компаньоном (поменьше первого, но не менее горячо любимым) я решил написать и о нем. О Thinkpad X220В принципе, все сказанное по отношению к данному ноутбуку запросто масштабируется на близкородственные ноутбуки серий X и T. Заходите под кат, если вас... Read more ›
72
Думаю, что среди читательской аудитории Хабра многих бывших (а возможно, и действующих) олимпиадников, поэтому решил поделиться с сообществом наблюдениями и размышлениями об актуальных проблемах олимпиадного движения в стране. Коротко о том, какое я имею отношение к олимпиадному движению и почему считаю себя в праве публично высказываться на эту тему: я сам бывший олимпиадник (призёр Всероса по информатике), 15 лет веду кружки по информатике и программированию и, в том числе, готовлю... Read more ›
50
Роботизация Китая побила все мировые рекорды и растёт по экспоненте. О стратегии Made in China 2025 и о том, как новая сверхдержава перекраивает мировую экономику вопреки главному конкуренту. Читать далее Read more ›
37
Преодоление пути от точки А до точки Б может быть весьма увлекательным приключением, которое может стать куда более важно самого пункта назначения. Однако, чаще всего присутствует желание как можно быстрее преодолеть этот путь. В работах жанра фэнтези и научная фантастика часто встречается технология (или заклинание) для моментального переноса человека из одно место в другое — телепортация. Теоретически, это вполне возможно реализовать, но пока нам до этого еще очень далеко. А... Read more ›
30
![[Перевод] ИИ убил не литературу. Он убил иллюзию, что каждый может быть писателем](https://times42.com/media/4/9/4/11606494_640x200.jpg "[Перевод] ИИ убил не литературу. Он убил иллюзию, что каждый может быть писателем")
Настоящая беда не в технологии. Она в потопе сгенерированных машиной черновиков, которые под видом готовых романов, мемуаров и «экспертных» книг выбрасываются на рынок, лишённый всякого отбора, - рынок, где читатели больше не могут отличить то, что создано с любовью, от того, что скопировано, и того, что и вовсе не знало руки редактора.Каждые несколько месяцев очередное эссе провозглашает смерть литературы. В этих повествованиях ИИ неизменно предстаёт злодеем, обвинённым в уплощении подлинности... Read more ›
30
Самые интересные новости финансов и технологий в России и мире за неделю: РКН заблокировал FaceTime, Snapchat и Roblox, безвиз с Китаем и Саудовской Аравией, Россию внесли в черный список отмывания денег ЕС, в Южной Корее взломали домашние камеры наблюдения, Твиттер Маска оштрафовали в Европе, а также слухи о «чесночной» модели от OpenAI. Читать далее Read more ›
21
![[Перевод] Конец эпохи паяльника или как гаражные энтузиасты случайно создали многомиллиардный бизнес](https://times42.com/media/6/5/5/11621655_640x200.jpg "[Перевод] Конец эпохи паяльника или как гаражные энтузиасты случайно создали многомиллиардный бизнес")
В 1977 году занавес поднялся, и на сцену, расталкивая локтями кустарные поделки энтузиастов, вышла знаменитая тройка микрокомпьютеров: Apple II, Commodore PET и TRS-80 от Tandy/Radio Shack. В то время Apple выглядела в этой компании, прямо скажем, гадким утенком, которому еще только предстояло расправить крылья и затмить конкурентов.Современники не были слепы. Журналисты той эпохи сразу почуяли ветер перемен: на смену суровым машинам, требующим от оператора инженерных навыков и паяльника, пришел «бытовой»... Read more ›
18
![[Перевод] Секрет, который скрывают создатели ИИ: почему галлюцинации — это не сбой, а заложенная функция](https://times42.com/media/3/6/7/11615367_640x200.jpg "[Перевод] Секрет, который скрывают создатели ИИ: почему галлюцинации — это не сбой, а заложенная функция")
Галлюцинации - одна из самых коварных проблем, терзающих современные большие языковые модели (LLM). Этим словом, заимствованным из психиатрии, мы описываем текст, который выглядит безупречно правдоподобно, но по сути своей является чистым вымыслом.Эти цифровые миражи бросают тень на надёжность и безопасность реальных приложений на базе ИИ, подтачивая саму основу доверия к ним. Но какова природа этих призраков в машине? Что заставляет их появляться?В этой статье мы попытаемся заглянуть за кулисы этого... Read more ›
18
![[Перевод] Что нового в PyCharm 2025.3](https://times42.com/media/2/7/6/11632276_640x200.jpg "[Перевод] Что нового в PyCharm 2025.3")
Команда Python for Devs подготовила краткий разбор нового релиза PyCharm 2025.3. В этой версии JetBrains объединяет пользователей Community с основным дистрибутивом, полностью поддерживает Jupyter при удалённой разработке, делает uv менеджером окружений по умолчанию, внедряет упреждающий анализ данных и расширяет поддержку LSP-инструментов — от Ruff и Pyright до Pyrefly. Читать далее Read more ›
12
Помню, как в школе мне впервые задали сделать презентацию на классный час. Тогда я едва дружил с этими сервисами, и весь процесс казался настоящим испытанием. Я сидел несколько часов за красным фоном, пытаясь поставить текст и подобрать картинки. Волновался, переживал, и, честно говоря, результат был далёк от идеала. Проходит время, а мы видим, как быстро всё меняется. Сегодня презентации можно создавать почти мгновенно, а нейросети умеют сами подбирать тексты, искать... Read more ›
9
Most popular sources
Business Insider
|
27% 14 |
Tom's Hardware
|
16% 7 |
Gizmodo
|
8% 1 |
Android Authority
|
8% 5 |
The Verge
|
6% 25 |
| View sources » | |
LIKE us on Facebook so you won't miss the most important news of the day!
10.12.2025 03:15
Last update: 03:10 EDT.
News rating updated: 10:12.
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
