9 place 0 fresh
![[Перевод] Введениев в микроядро Sel4](https://times42.com/media/5/5/0/12455550_640x200.jpg "[Перевод] Введениев в микроядро Sel4")
Предлагаю вашему вниманию перевод seL4 Whitepaper, который является хорошим введением в одно из самых известных микроядер для ОС — seL4 (лицензия GPLv2).Здесь не только специфика seL4 и микроядер, но и много полезного материала в целом по безопасности, формальной верификации, виртуализации и системам жёсткого реального времени. Читать далее
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
A UC San Diego study found GPT-4.5 was judged human more often than real people in live chats, raising sharper questions about AI disclosure, trust, and online identity. Read more ›
0 newcommer
There are few animals humans fear more than sharks. This is understandable: Sharks are big, dramatic creatures that have been permanently lodged in our culture as underwater killers since Jaws. They also kill about six people in a given year. Snakes, on the other hand, kill roughly 100,000. After mosquitoes, which spread diseases like malaria, […] Read more ›
0 newcommer
RARE India's partnership with SAMHI Hotels is a measured bet on a familiar problem: how to build commercial infrastructure around a product that derives its value from resisting it. The opportunity lies in scaling access while preserving the experience — without standardizing it. Read more ›
0 newcommer
Need a BBQ for Memorial Day? You're spoiled for choice — here's where to shop for the biggest deals. Read more ›
0 newcommer
Apple has announced that the Apple Sports app, introduced in 2024, is now available to download from the App Store in more than 170 countries and regions, following its expansion into over 90 new markets. Apple is also making it easier for fans to follow the FIFA World Cup 2026, kicking off on June 11, by allowing them to explore tournament groupings and customize their scoreboards just by following the... Read more ›
0 newcommer
Steven Soderbergh’s AI-assisted John Lennon documentary has turned into one of Cannes’ biggest controversies. Read more ›
0 newcommer
Edtech major upGrad turned PAT profitable in the first 11 months of the fiscal year FY26 ahead of its proposed… Read more ›
0 fresh
Prelude, a Paris-based onboarding and trust infrastructure platform helping companies verify and protect users across their entire lifecycle, has raised €17.2 million ($20 million) in a Series A funding round. The funding round was led by 20VC, with participation from Singular, Seedcamp, Deel, and FDJ Ventures. Angel investors such as Steffen Tjerrild (COO and co-founder, ... Read more ›
0 fresh
With its clever new algorithm, the latest Hypershell exoskeleton powers your legs without making you feel like a puppet on a string. Read more ›
0 newcommer
Sony has just announced its next State of Play, which will return on 2nd June - kicking off the Summer Games Fest week with an hour-long showcase that will reveal more information about Marvel's Wolverine, as well as "news and updates on upcoming PS5 games". The wording on the PlayStation Blog more specifically reveals "updates, announcements, and gameplay reveals" will follow "a closer look at Marvel's Wolverine". Read more Read more ›
0 fresh
Предыстория Добрый день, уважаемый читатель. Как и в других моих статьях, я решил что-то собрать полностью с нуля. Несколько лет назад я участвовал в соревнованиях по электронике и очень вдохновился интересным подходом и вовлеченностью разработчиков заданий. Прошло время, стал ездить на соревнования в качестве эксперта и в какой-то момент решил разработать устройство для одного из этапов соревнований – «программирование». В статье я немного расскажу про этапы соревнований, про идею и... Read more ›
0 fresh
![[Перевод] Apple (II) для учителя](https://times42.com/media/9/9/1/12455991_640x200.jpg "[Перевод] Apple (II) для учителя")
К началу 1980 года Apple II, который поначалу уступал Commodore PET и Tandy/Radio Shack TRS-80, добился невероятного успеха, во многом благодаря VisiCalc от Personal Software. IPO Apple в конце года подтвердило этот факт, создав сотни новых миллионеров. Два главных сооснователя Apple Computer, Стив Возняк и Стив Джобс, отреагировали на свой внезапный успех совершенно по-разному. Читать далее Read more ›
0 fresh
Neurosoft Bioelectronics, a neurotechnology company developing scalable and minimallyinvasive brain-computer interfaces (BCIs), has raised $7.5 million in anoversubscribed seed funding round led by Sk... Read more ›
0 fresh
SciGraph показывает, почему GraphRAG для научных статей — это не только про графы и LLM, но и про честные метрики. В статье — разбор системы, которая связывает PDF, авторов, методы и цитирования, а заодно показывает, как красивая архитектура ломается на реальных вопросах исследователя. Читать кейс Read more ›
0 fresh
Привет, Хабр! С вами Евгений Соловьев. Сегодня представляю вашему вниманию очередную историческую статью по мотивам моей книги «ПЛАТЕЖНЫЕ СИСТЕМЫ – ВЧЕРА, СЕГОДНЯ И… ЗАВТРА?»В третьей статье мы разберемся в предпосылках и истории становления некоторых мультибанковских карточных платежных систем. Одни из них изначально не были мультибанковскими, а некоторые стали такими от рождения. Читать далее Read more ›
0 fresh
The RTX 5090D V2 GPU Nvidia specifically built for China to comply with U.S. export controls just received the ban hammer from Beijing. Although this GPU is primarily designed for gaming and 3D animation, it's also powerful enough that many AI developers also use it. Read more ›
0 fresh
WhatsApp is testing a new feature that can automatically delete messages once they’ve been read. Read more ›
0 fresh
Habr
Известный факт, что при выборе новой работы, мы в первую очередь обращаем внимание на уровень дохода и прозрачность компании. Это логично, так как каждый хочет быть уверенным в завтрашнем дне. Однако, когда проходит какое то время после трудоустройства, премии и бонусы становятся базой и чем-то само собой разумеющимся. Со стороны работодателя, мы давно замечаем на практике, что финансы играют большую роль на входе в компанию, но этого недостаточно для удержания... Read more ›
0
Если вы занимаетесь аналитикой в маркетплейсах, вы знаете, что GMV (Gross Merchandise Value) — это «священная корова». Она понятна: сколько денег прошло через платформу. Но у GMV есть критический изъян: она показывает только то, что уже случилось.GMV — это «метрика результата», а не «метрика здоровья». Она не видит упущенных возможностей, разочарованных пользователей и зон, где ваш бизнес вот-вот сломается.Предлагаю взглянуть на маркетплейс как на систему мэтчинга (совмещения) и вывести North... Read more ›
0
Когда старый монолит начинает мешать процессам в разработке, первое, что обычно приходит в голову командам — это переезд на новый стек. Логика понятна: сделаем новый UI, почистим код, а дальше и разработка пойдет бодрее. Чаще всего такое решение — очень дорогая иллюзия. Потому что в бигтехе проблема обычно не в UI, а в связности компонентов, зависимости фронта от бэка, сложных релизах и фичах, которые требуют синхронной работы команды.Мы — разработчики... Read more ›
0
Привет, Хабр! Я SDET-инженер в SimbirSoft Александр, в этой статье я предлагаю вам:Рассмотреть основы Kafka, ее архитектуру и как она работает.• Выяснить, как тестируются сообщения в топиках, какие инструменты для этого используются. Приведу примерные сценарии. • Обсудить роль Kafka в интеграционном тестировании, покажу пример интеграционного теста.• Материал будет полезен для новичков в области тестирования ПО, как ручного, так и автоматизированного. Читать далее Read more ›
0
Новый подход к конструкции и методу калибровки стенда, различия между форматами объектно-ориентированного звука и объёмного стерео, метод записи иммерсивного контента при помощи бинаурального стенда и стереокамер. Читать далее Read more ›
0
![[Перевод] Как устроен нефтеперерабатывающий завод](https://times42.com/media/4/0/0/12421400_640x200.jpg "[Перевод] Как устроен нефтеперерабатывающий завод")
Хоть ветровая и солнечная генерация продолжают отъедать всё большие доли в мировом энергоснабжении, современный мир по-прежнему работает на нефтепродуктах, и в обозримом будущем ситуация не поменяется. Мир потребляет более 100 миллионов баррелей нефти в сутки. На 2023 год нефть отвечала за 30% от всей энергии, используемой в мире, её доля выше, чем у других источников (хоть и постепенно снижается). В химической отрасли использование нефтепродуктов ещё критичнее: целых 90% сырья химической... Read more ›
0
13-й выпуск IT-новостей от OpenIDE! Неделя получилась плотной: Grok потерял $175 тыс. без единой строки эксплойт-кода, европейские регуляторы выписали крупный GDPR-штраф «дочке» Яндекса, а Anthropic подписала сделку с куда более неожиданным партнёром. А ещё обновления маркетплейса OpenIDE, новая архитектура SubQ и 423 закрытых бага в Mozilla благодаря Claude Mythos. Читать далее Read more ›
0
Продолжение первой статьи про электромагнитную катапульту в космос (минус 3 рейтинга, тег ненаучная фантастика — заслуженно). Пересобрал концепт по числам после критики комментаторов.Что изменилось от v3.2 → v4.0 → v4.2: площадка с горы Народная → Кольский (67°) → Ясный (51°, Оренбург, рядом 13-я ракетная дивизия РВСН и Ириклинская ГРЭС 2,4 ГВт). Маховики 700 тонн «класса JET» были фантазией — в мире нет таких роторов. Заменил на 20 серийных турбогенераторов 400... Read more ›
0
Мартовский анонс DLSS 5 стал настоящей лакмусовой бумажкой. Вся «аналитика» так называемых лидеров мнений сводилась к сбору фактов и мнений под заранее заданную теорию. Просмотры крутятся, лайки мутятся, а вводишь ты свою аудиторию в заблуждение или нет — вообще плевать.Никто даже не попытался разобраться в истории вопроса. Никто не поискал мнений профильных экспертов, которые занимаются современной высокотехнологичной графикой в играх (а не просто имеют отношение к индустрии). Все почему-то забыли... Read more ›
0
Для разработчиков умных камер, умных видеорегистраторов и нейросетевой видеоаналитики ПО видеонаблюдения нужна нейросеть, способная работать в реальных условиях наших улиц. А там никто с профессиональной камерой не ходит, правильный ракурс не настраивает, свет не выставляет, без сжатия не снимает и вообще все делает вопреки здравому смыслу учебников ВГИК. Гамбит, конечно, подойдет для любых других задач, но здесь сделан упор на удобство сбора материала ИЗ систем видеонаблюдения и на разметку датасета... Read more ›
0
Most popular sources
StartupNation
|
0% |
StartUp Beat
|
0% |
AlleyWatch
|
0% |
Mobile ID World
|
0% |
150sec
|
0% |
| View sources » | |
LIKE us on Facebook so you won't miss the most important news of the day!
20.05.2026 08:41
Last update: 08:35 EDT.
News rating updated: 15:32.
What is Times42?
Times42 brings you the most popular news from tech news portals in real-time chart.
Read about us in FAQ section.
