23 place 0
![[Перевод] Почему вещественные числа такие странные](https://times42.com/media/1/0/9/12176109_640x200.jpg "[Перевод] Почему вещественные числа такие странные")
В прошлом посте я писал о попытках вывести математику из принципов формальной логики. Мы начали с арифметики Пеано, в которой построение натуральных чисел выполнялось из двух произвольных конструкций: элемента, обозначающего ноль, и абстрактной функции следования S(…).Затем мы перешли к теории множеств, позволившей закодировать внутреннюю структуру этих символов. В результате получилась иерархия натуральных чисел теории множеств, называемых ординалами. Также это привело к интересному выводу: если мы допуска
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
Austria has rolled out a nationwide digital student ID through the eAusweise mobile app, giving higher-education students a smartphone-based credential linked to the country’s ID […] Read more ›
0 newcommer
California has expanded its mobile driver’s license program to Samsung Wallet, adding a fourth smartphone platform for residents to carry and present a state-issued digital […] Read more ›
0 newcommer
WhatsApp Messenger is a hugely popular international mobile chat and calling app, but it can also be used within your web browser. We show you how to do it. Read more ›
0 newcommer
The OpenID Foundation has opened a formal member vote on the Implementer’s Draft of OpenID Connect Advanced Syntax for Claims (ASC) 1.0, a specification that […] Read more ›
0 newcommer
Samsung is hosting a nice promo on eligible Galaxy Watch purchases. When you purchase a full-price Galaxy Watch, Samsung is including a Withings Smart Body Scale for free, a value of $130. Eligible watches are the Galaxy Watch 7, Watch 8, Watch 8 Classic, and Galaxy Watch Ultra. To claim, the process is very simple.... Read the original post: Buy Select Galaxy Watch, Get Free Withings Smart Scale ($130 Value) Read more ›
0 newcommer
A Chinese simulation tool modeled the B-21 using public data, claiming aerodynamic gains while raising questions about accuracy and intent. Read more ›
0 newcommer
Norwegian posted some very encouraging numbers during this first quarter but the rest of 2026 could be challenging. Read more ›
0 fresh
This week, AI is all about Elon Musk's ongoing feud with OpenAI's CEO Sam Altman. Read more ›
0 fresh
The findings highlight the nuanced ways in which early humans kept themselves well-fed. Read more ›
0 fresh
There have been 18 live-action TV shows and movies in the "Star Wars" universe, from "A New Hope" to "Andor." Here's how they rank based on critics' reviews. Read more ›
0 fresh
The exhibit is called 'Star Wars in Motion' and will focus on vehicles across the first six films in the saga. Read more ›
0 fresh
An anonymous reader quotes a report from Bloomberg's Ashley Carman: Welcome to the modern era of podcasting in which thousands of new shows are released into the world every day with a sizable portion likely being AI-generated. Figuring out exactly which ones fall into that growing category is becoming more difficult just as the industry is starting to take this issue seriously. In only the past month or so, Amazon... Read more ›
0 fresh
"We all do a tremendous amount of work with each other," said James Zelter, the president of investing giant Apollo. Read more ›
0 fresh
T-Satellite coverage can now be a safety net for T-Mobile customers roaming in Canada and New Zealand. Read more ›
0 fresh
A Japanese indie developer has been blocked from selling his game on Steam for copyright infringement, despite owning the copyright to the IPs Steam believed has been infringed. Read more Read more ›
0 fresh
If you want to give mom something that helps lighten the load, the SwitchBot Bot Rechargeable makes for a great, inexpensive gift. And now through May 10th, you can buy it for around $26.99 ($7 off) from Amazon and SwitchBot (with code FORHER20) as a part of its ongoing Mother’s Day sale, which drops the […] Read more ›
0 fresh
Большинство статей про Rust заканчиваются на borrow checker и lifetimes, как будто внутри компилятора живёт только проверяльщик заимствований и злой шрифтовый дизайнер для сообщений об ошибках. На деле там целый зоопарк механизмов, о которых редко пишут даже на конференциях. Я собрал несколько по настоящему любопытных вещей, которые меняют представление о том, как устроен язык изнутри, и подкрепил каждый сюжет кодом, который можно скопировать и проверить самому.Начнём с того, чего никто... Read more ›
0 fresh
Habr
Сегодня мы с вами поговорим о вещи, на первый взгляд, простой до банальности: почему важно хвалить сотрудников и проявлять к ним внимание. Тема, кажется, даже не заслуживает отдельного разговора - ну кто же не знает, что доброе слово приятно? Но вот парадокс: по моим личным наблюдениям (статистику я, конечно, не публикую, все взято из моей головы), компании редко хвалят коллег за сделанную работу. Я не о том, чтобы каждые две-три... Read more ›
0
Хороший спамер не использует ссылки и стоп-слова. Он пишет «обтекаемо». Большинство ботов такое не ловят — просто потому что не умеют.Это я понял после одной неприятной ночи в нашем чате. Потом потратил несколько недель, чтобы разобраться: что вообще умеют популярные Telegram-модераторы, где у каждого потолок — и есть ли хоть один, который с этим справляется.Несколько недель я наблюдал за работой каждого бота в реальных чатах — от небольших групп на... Read more ›
0
Часто происходит так, что вы пишете запрос для нейросети, но результат вас совсем не устраивает. Либо она не так отвечает на вопрос, либо просто как будто вас не понимает. А если вы пытаетесь сгенерировать картинку, то получаете человека тремя ногами и семью пальцами.Знакомо. И это происходит не потому что нейросеть глупая или вам не везёт. Это происходит по конкретным причинам, которые можно устранить. Разбираем по порядку. Читать далее Read more ›
0
1. Ожидания vs Реальность«Сир, Вы прекрасны!» — говорит лакей Ля Шене королю в фильме «Три мушкетера». И нам смешно. Но общаясь с ИИ, я наконец-то поняла, что его стиль напоминает именно этого слугу.ИИ говорит: «Какая классная презентация! Особенно вот эта мысль! Она точно произведет впечатление на аудиторию!» И вот ты предстаешь с этой презентацией перед живой аудиторией. Но люди почему-то реагируют совсем не так, как чат-бот. Кислые, отсутствующие лица. Или... Read more ›
0
Год назад у меня был legacy-проект с одним main.go на две тысячи строк. MVP: бизнес-логика, конфиг, хэндлеры, БД - всё в одном файле. Три месяца в Cursor, аккуратно, по кусочкам, с тестами на коленке, я вытянул это в нормальную структуру. Три месяца…А недавно я сел переписывать другой свой проект такого же масштаба. Claude Code, Opus, три субагента-ревьювера, тридцать скилов. Неделя. И это я ещё половину времени потратил на BDD, потому... Read more ›
0
Говорят: “выстраивать процессы”. А откуда они берутся, как это обычно происходит, и вообще, зачем это всё?Что такое процесс? Это то, как организована повторяющаяся работа, взаимодействие между участниками, ради какого-то общего результата.Процесс никогда не должен быть самоцелью. И нет никакого универсального процесса на все случаи жизни.Мы хотим достичь какой-то большой и сложной цели, или регулярно достигать какие то цели похожего типа. И чтобы делать это хорошо, эффективно, нам нужно структурировать взаи Read more ›
0
Каким запомнился VTB API Hackathon и зачем это банкуВ этой статье мои коллеги — лидеры треков VTB API Hackathon Александр Галкин, Диана Налегач и Камилла Куликова — расскажут, какие задачи моделировали, какие архитектурные решения видели у команд и почему именно такие задачи сегодня определяют развитие финтеха. Читать далее Read more ›
0
За последние два‑три года компании в РФ перестали относиться к ИИ как к «чудо машине» и начали встраивать его в рабочие процессы: от помощи специалистам контакт‑центров в чатах с клиентами и «серым» помощникам разработчиков до написания полноценных продуктов. Если раньше нельзя было сказать, что ты использовал ИИ для задачи, так как тебя закидают помидорами, сегодня — этот навык must have для каждого. В этой статье речь пойдет о безопасной разработке... Read more ›
0
Всё началось с моего друга. Он занимался разработкой игр на Unity, и в какой-то момент подкинул мне идею — точнее, жалобу, которая быстро переросла в идею.Огромное количество времени у него уходило не на саму разработку, а на редактирование JSON-файлов. Конфиги предметов, параметры врагов, таблицы балансировки, локализации — всё это JSON. И всё это нужно было либо править руками в текстовом редакторе, рискуя сломать структуру одной лишней запятой, либо писать очередной... Read more ›
0
Изначально поучаствовать в данной конференции мне предложил мой куратор, объяснив это тем, что можно получить автоматом зачёт по предмету. Перед тем как принять участие в данном “конкурсе” я решил старательно подготовить тему проекта, проверить актуальность, простоту решения и масштабируемость. Спустя неделю раздумий я дошёл до идеальной, как мне тогда казалось темы... Читать далее Read more ›
0
Most popular sources
Irish Tech News
|
0% |
Sifted
|
0% |
Tech.eu
|
0% |
ScienceDaily
|
0% |
AlleyWatch
|
0% |
| View sources » | |
LIKE us on Facebook so you won't miss the most important news of the day!
04.05.2026 15:23
Last update: 15:11 EDT.
News rating updated: 22: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.
