629 place 0
Hey! My name's Kirill Ziborov and I'm a member of the Distributed System Security team at Positive Technologies. In this article, I'll be continuing the discussion of methods and tools for the formal verification of smart contracts and their practical application to prevent vulnerabilities. The main focus will be on the deductive verification method, or more precisely, the ConCert framework for testing and verifying smart contracts. Read more
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
Chipmakers agree to unusual arrangement to secure export licences from Trump administration Read more ›
2,014 fresh
It may have been decades since you last heard the crunching screeches of connecting with dial-up Internet, but AOL said it will discontinue its dial-up service on September 30, officially marking the end of an era in Internet history. As first spotted by PC Gamer, AOL made the surprising announcement in a post buried in its AOL Help pages. Along with the dial-up service, AOL Dialer software and AOL Shield... Read more ›
328 fresh
"What happens when cybercriminals stop thinking small and start thinking like a Fortune 500 company?" asks a blog post from Koi Security. "You get GreedyBear, the attack group that just redefined industrial-scale crypto theft." "150 weaponized Firefox extensions [impersonating popular cryptocurrency wallets like MetaMask and TronLink]. Nearly 500 malicious executables. Dozens of phishing websites. One coordinated attack infrastructure. According to user reports, over $1 million stolen." They upload 5-7 i Read more ›
241 fresh
Microsoft has "assured players that Turn 10 and Playground Games will continue to support Forza Motorsport and Forza Horizon 5". Read more Read more ›
226
After disastrous sales and crashing resale values, the cheapest version of Tesla's sci-fi pickup suddenly has a multi-week wait time. Is this the start of a comeback or just a last-gasp buying frenzy? Read more ›
219
Linux creator Linus Torvalds has publicly dismissed a RISC-V code contribution from a Google engineer as 'garbage.' Read more ›
216
Apple is testing a revamped version of Siri with select third-party apps, including Uber, AllTrails, Threads, Temu, Amazon, YouTube, Facebook, WhatsApp, and a few games, according to the latest word from Bloomberg's Mark Gurman. Apple also continues to test the new Siri with its own apps, he said. Apple's own example was an iPhone user asking Siri about their mother's flight and lunch reservation plans based on info retrieved from... Read more ›
214 fresh
Imagine this. Lightning sparks a wildfire, but "within seconds, a satellite dish swirling overhead picks up on the anomaly and triggers an alarm," writes the Los Angeles Times. "An autonomous helicopter takes flight and zooms toward the fire, using sensors to locate the blaze and AI to generate a plan of attack. It measures the wind speed and fire movement, communicating constantly with the unmanned helicopter behind it, and the... Read more ›
167 fresh
It was long rumored that Apple would release the first MacBook Pro models with OLED displays next year, but that timeframe is a little less certain now. In his Power On newsletter today, Bloomberg's Mark Gurman said he expects the MacBook Pro to gain an OLED display "between the end of 2026 and early 2027." Compared to current MacBook Pro models with LCD screens, benefits of OLED technology would include... Read more ›
127
AI is already powerful enough to replace millions of jobs. The only thing stopping the mass layoffs isn't technology. It's that no CEO wants to be the first one to face the political firestorm. Read more ›
115 fresh
"You can learn from everywhere, but you have to do it from scratch," ChatGPT's Nick Turley said. "That trait tends to make someone effective at OpenAI." Read more ›
115
Hopefully 'Avengers: Doomsday' does like 'X-Men '97' and lets Cyclops be cool and right when he's on screen. Read more ›
111 fresh
Since 2023 the Python Software Foundation has had a Security Developer-in-Residence (sponsored by the Open Source Security Foundation's vulnerability-finding "Alpha-Omega" project). And he's just published a new 11-page white paper about open source's "phantom dependencies" problem — suggesting a way to solve it. "Phantom" dependencies aren't tracked with packaging metadata, manifests, or lock files, which makes them "not discoverable" by tools like vulnerability scanners or compliance and policy tools. S Read more ›
111 fresh
"It sounds like science fiction: a spacecraft, no heavier than a paperclip, propelled by a laser beam," writes this report from ScienceDaily, "and hurtling through space at the speed of light toward a black hole, on a mission to probe the very fabric of space and time and test the laws of physics." "But to astrophysicist and black hole expert Cosimo Bambi, the idea is not so far-fetched." Reporting in... Read more ›
94 fresh
Nvidia and AMD will give the U.S. government a 15% cut of the sales of their chips in China, in exchange for receiving export licenses for the Chinese market, The Financial Times reported. The unusual arrangement will affect China sales of Nvidia’s H20 and AMD’s MI308 chips, for which the U.S. ... Read more ›
92 fresh
Mo Gawdat thinks the next 12-15 years will be dark, not because of robots but because of our own “stupidity.” Read more ›
85
A social media account linked to China state media says that users should avoid Nvidia chips. Read more ›
80
Firefox rolled out update 141 last month with AI enhanced tab groups, but an issue simmering under the hood has only now come to a head. Read more ›
78
Every charge cycle takes a tiny toll on your iPhone's battery health. Here's how regular use slowly wears it down over the years. Read more ›
73 fresh
A looming deadline to claim the $7,500 federal EV tax credit has sparked a buying frenzy, and Tesla is already reaping the benefits. Read more ›
68
Habr
На прошлой неделе команда исследователей-безопасников Google Project Zero сообщила об изменениях в процедуре раскрытия информации об уязвимостях. Ранее, еще в 2021 году, Project Zero приняла существующую модель раскрытия информации: поставщикам ПО, в котором была обнаружена уязвимость, давалось 90 дней на выпуск патча, плюс 30 дней отводилось на распространение заплатки клиентам и партнерам. Теперь к этой процедуре добавился еще один пункт: через неделю после уведомления вендора о проблеме, Google Project Z Read more ›
23
![[Translation] Getting started with pgpro-otel-collector](https://times42.com/media/6/3/1/10938631_640x200.jpg "[Translation] Getting started with pgpro-otel-collector")
Now that pgpro-otel-collector has had its public release, I’m excited to start sharing more about the tool — and to kick things off, I’m launching a blog series focused entirely on the Collector.The first post is an intro — a practical guide to installing, configuring, and launching the collector. We’ll also take our first look at what kind of data the collector exposes, starting with good old Postgres metrics. Read... Read more ›
0
We are living through an ecological catastrophe. Only this one isn't happening in the Amazon rainforest, but in the digital ecosystem of the internet. AI assistants have become the apex predators of the digital savannah. They are radically reshaping the entire ecosystem in their own image: instead of antelopes and zebras, information sites are going extinct. Instead of hyenas and jackals, content aggregators are disappearing. In place of a once-rich... Read more ›
0
Today I’ll show you how to use ChatGPT-5 in the Cursor IDE and use it to take a messy app and make it much better. We’ll go step-by-step, from turning on GPT-5 model to using it for real coding tasks. Read more Read more ›
0
DocLing in Working with Texts, Languages, and Knowledge — an in-depth overview of the open-source DocLingtoolkit for extracting, structuring, and analyzing data from documents. The article covers approaches to processing multilingual texts, building language- and domain-specific knowledge models, and integrating DocLing into AI and NLP projects. Includes practical examples and recommendations for developers working with large volumes of unstructured data. Read more Read more ›
0
Most popular sources
Business Insider
|
17% 12 |
Financial Times
|
16% |
Tom's Hardware
|
16% 16 |
Gizmodo
|
8% 1 |
Android Authority
|
6% 0 |
| View sources » | |
LIKE us on Facebook so you won't miss the most important news of the day!
10.08.2025 23:12
Last update: 23:05 EDT.
News rating updated: 06:00.
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