542 place 0

647 The myth of error-free programming

Habr
rsashka @ Habr 1 place · 02/28/2025 09:37 EDT

The myth of error-free programming

There have been many discussions about which programming language is better in terms of security and correctness of source code (by "correctness and security" we mean the absence of various errors in the program that manifest themselves at the stage of its execution and lead to the issuance of an incorrect result or unexpected behavior). And some programming languages, such as SPARK or OCaml, were even specially developed to facilitate the proof of program correctness.
Is it possible to write programs with

To see detailed statistics for the news please log in »

Read the original

Add your comment
You must be logged in with Facebook to read and write comments.

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.

or register

LIKE us on Facebook so you won't miss the most important news of the day!

News from the same source
Habr Habr
Business Insider
Kelsey Baker @ Business Insider 1 place · today 16:49 EDT

200 Marines head to downtown LA, in the Corps' most politically fraught mission

Infantry Marines arrived in LA with minimal training to counter civilians protesting the Trump administration's immigration crackdown. Read more

5,994 fresh

🔮
13.06.2025 ♎︎ Today, a balance between various areas of your life will be especially noticeable for Libras.... Read more ›
Wired
Dell Cameron @ Wired 1 place · today 16:45 EDT

'No Kings' Protests, Citizen-Run ICE Trackers Trigger Intelligence Warnings

Army intelligence analysts are monitoring civilian-made ICE tracking tools, treating them as potential threats, as immigration protests spread nationwide. Read more

3,216 fresh

Gizmodo
Lucas Ropek @ Gizmodo 1 place · today 16:40 EDT

The Plane That Crashed Yesterday Was the Same One a Dead Boeing Whistleblower Warned About

Critics of Boeing have long expressed criticisms of the 787 Dreamliner and the company's standards. Read more

2,024 fresh

Business Insider
Erica Star Domena,Selima Hussain @ Business Insider 2 place · today 16:10 EDT

Why did Israel unleash hundreds of warplanes against Iran?

Israel launched 200 warplanes on some of Iran's core nuclear and missile programs in what's been dubbed the "Rising Lion" operation. Read more

1,813 fresh

CNET
Taylor Leamey @ CNET 1 place · today 16:37 EDT

Alaska, Where Only 2% of Homes Have AC, Just Issued Its First Heat Advisory Ever

Unseasonable warmth coming soon to Alaska has prompted the first-ever heat advisory for residents. Read more

1,008 fresh

Vox
patrick.reis @ Vox 1 place · today 17:35 EDT

A court ordered Trump’s team to free an activist. They refused.

This story appeared in The Logoff, a daily newsletter that helps you stay informed about the Trump administration without letting political news take over your life. Subscribe here. Welcome to The Logoff: The Trump administration is defying a federal judge’s order that it free a pro-Palestinian activist, attacking both the rule of law and the Constitution’s guarantee of […] Read more

945 fresh

Business Insider
Tom Porter,Jake Epstein @ Business Insider 3 place · today 15:20 EDT

5 key questions on Israel's strikes, Iran's response, and the risk of a wider war

Israel's widespread airstrikes against Iran's nuclear program are stoking fears of a larger confrontation. Read more

804 fresh

Business Insider
Jake Epstein @ Business Insider · today 11:22 EDT

Israel's trying to wipe out Iran's nuke program. It won't be an easy kill.

Iran has many scientists with nuclear expertise and has stored its most critical facilities in bunkers that may be beyond the reach of Israel's bombs. Read more

684 fresh

Business Insider
Jordan Hart @ Business Insider · today 15:03 EDT

Check out these newly released notes from Steve Jobs to himself — including his thoughts on parenting

Newly released emails and notes from Steve Jobs reveal his ideas on intuition, morality, and growth, leading up to his Stanford speech. Read more

597 fresh

Wired
Lily Hay Newman @ Wired 2 place · today 11:48 EDT

CBP's Predator Drone Flights Over LA Are a Dangerous Escalation

Custom and Border Protection flying powerful Predator B drones over Los Angeles further breaks the seal on federal involvement in civilian matters typically handled by state or local authorities. Read more

524 fresh

Vox
Katherine Kelaidis @ Vox 2 place · today 07:30 EDT

The old “religious right” is dead. The new one is stranger — and harder to fight.

For over six decades, the “religious right” in America was boomer “Christian nationalism,” straight out of The Handmaid’s Tale. It was about “keeping God in the schools” and the National Prayer Breakfast. It was traditionalist, mindful of theology, and, well, theocratic, which is to say it wanted to take the standards of a religious tradition […] Read more

471

Business Insider
Samantha Grindell Pettyjohn @ Business Insider · today 16:28 EDT

Photos show how Kate Middleton's style has evolved over the years

Kate Middleton's fashion has transformed throughout her time as a royal. Here's a look at the Princess of Wales' outfits over the years. Read more

442 fresh

The Verge
Jay Peters @ The Verge 1 place · today 15:00 EDT

Mel Brooks is returning for Spaceballs 2

Spaceballs, which was first released nearly 40 years ago, is getting a sequel in 2027 from Amazon MGM Studios. A Spaceballs 2 announcement trailer posted Thursday doesn’t have any solid details besides the date, though it does poke fun at the entertainment industry’s obsession with franchises and spinoffs by listing many of them out. (I […] Read more

377 fresh

Vox
Zack Beauchamp @ Vox 3 place · today 16:45 EDT

The Israel-Iran war hinges on three big things

Last night, Israel went to war with Iran — launching a bombing raid targeting Iran’s senior military leadership and top nuclear scientists. The strikes were a tactical triumph for Israel: The heads of both Iran’s entire military and its Revolutionary Guards were killed in the opening hours, and Iranian air defenses took a massive hit. […] Read more

364 fresh

Vox
Joshua Keating @ Vox · today 14:25 EDT

Will the US get drawn into the Israel-Iran war?

In announcing Israel’s strikes against Iran’s military leadership and nuclear program last night, Prime Minister Benjamin Netanyahu made the case that Israel had “no choice but to act, and act now” in response to recent advances in Iran’s capabilities that put his country at risk of a “nuclear holocaust.” It’s far from clear that the […] Read more

355 fresh

MacRumors
Juli Clover @ MacRumors 1 place · today 13:15 EDT

Apple Seeds Revised iOS 26 Developer Beta

Apple today provided developers with a revised version of the first iOS 26 beta for testing purposes. It's not clear what's new in the updated beta, but it may address a critical bug or two. The update is only available for the iPhone 15 and iPhone 16 models, so if you're running ‌iOS 26‌ on an iPhone 14 or earlier, you won't see the revised beta. Registered developers can download... Read more

340 fresh

Gizmodo
Rhett Jones @ Gizmodo 3 place · today 10:55 EDT

Trump’s Crypto Is Crushing MAGA’s Pocketbook

The meme coin launched by the President-elect on January 18, just two days before his return to the White House, has lost more than half its value in less than five months. Read more

284 fresh

The most popular news from the same source for the last week
Habr Habr
Habr
VEG @ Habr 2 place · 06/09/2025 03:17 EDT

Neat defer macro for C++17

Manual resource management in low level C-style C++ code might be annoying. It's not practical to create good enough RAII wrappers for every single C API you use, but approaches with goto cleanup or loads of nested if (success) hurt readability.A defer macro to the rescue! The deferred lambda will be executed on scope exit, no matter how it happens: you can return from any point, throw an exception (if... Read more

0

Habr
melanny20 (Postgres Professional) @ Habr 1 place · 06/09/2025 07:00 EDT

SQL Server vs. PostgreSQL query optimization: room for improvement?

For years, we’ve studied Oracle to make PostgreSQL a more migration-friendly option. We introduced tools similar to SQL profile and SQL plan baseline as AQO and sr_plan extensions. In some cases, PostgreSQL even outperforms Oracle, especially in automatic re-optimization.Migrations from Oracle to PostgreSQL are usually smooth performance-wise, and we’ve even developed session variable extensions to make the transition easier. While many enterprise-only features exist, PostgreSQL often integrates popular sol Read more

0

Habr
Tzimie @ Habr 1 place · 06/10/2025 09:17 EDT

Coloring a T-SQL Procedure Listing with Metric Values

We append the following metrics to the T-SQL procedure statements: execution count (x), CPU time in milliseconds (c), duration in microseconds (d), number of reads (r), number of writes (w), and @@rowcount value (n). You can display these as absolute values or percentages. Read more Read more

0

Habr
suncru (Selectel) @ Habr 2 place · 06/12/2025 04:07 EDT

Как устроены LLM-агенты: архитектура, планирование и инструменты

Всем привет! С вами Кирилл Филипенко, сисадмин из Selectel, и сегодня мы погрузимся в тему LLM-агентов. Сейчас об этих самых «агентах» кричат буквально из каждого утюга, поэтому пришло время наконец-то разобраться, что это такое, как они работают и с чем их, собственно, едят. Прыгайте под кат, будет интересно! Read more → Read more

0

Habr
profleaddev @ Habr 1 place · 06/12/2025 10:47 EDT

OpenAI Codex: A Software Engineering Agent

A few weeks ago, OpenAI announced that Codex is available for Plus users, and I didn’t miss a chance to try it. And today, I’m excited to share a guide to OpenAI’s Codex. As a developer, I’ve found it to be a powerful and practical tool. Read more Read more

0

Most popular sources

  • You see 690 news out of 690.
  • Sources 61 out of 61.
Business Insider 42% 3
Gizmodo 9% 1
Wired 7% 0
Vox 5% 4
Tom's Hardware 5% 1
View sources »

LIKE us on Facebook so you won't miss the most important news of the day!

13.06.2025 19:39
Last update: 19:11 EDT.
News rating updated: 02:30.

What is Times42?

Times42 brings you the most popular news from tech news portals in real-time chart.
Read about us in FAQ section.


Times42 © 2025