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
Bryan Metzger @ Business Insider 1 place · today 13:32 EDT

Trump says 'changes' are coming to immigration enforcement after complaints from farmers and the hospitality industry

Trump said he'd been told his immigration policies were "taking very good, long time workers away from" farmers and the hospitality industry. Read more

6,876 fresh

🔮
12.06.2025 ♓︎ Today will be a bit challenging for the Zodiac sign Pisces. In personal life, some... Read more ›
Business Insider
Peter Kafka @ Business Insider 2 place · today 16:38 EDT

Is Meta really spending $15 billion to hire a 28-year-old?

Alexandr Wang cofounded Scale AI. He's reportedly about to become a very expensive hire at Meta. Read more

2,887 fresh

Business Insider
Erica Star Domena,Selima Hussain @ Business Insider 3 place · today 14:25 EDT

Air India crash kills at least 200 people, marking the first fatal Boeing 787 plane accident

An Air India plane with more than 240 people onboard crashed into a medical college just five minutes after takeoff. Read more

2,241 fresh

Business Insider
Bryan Metzger @ Business Insider · today 16:03 EDT

Congress takes the first step in making DOGE cuts permanent

Musk may be gone and on the outs with Trump, but on Capitol Hill, DOGE continues. The House voted to cut funding to NPR, PBS, and some foreign aid. Read more

1,536 fresh

Wired
Andy Greenberg, Lily Hay Newman @ Wired 1 place · today 15:29 EDT

How to Protest Safely in the Age of Surveillance

Law enforcement has more tools than ever to track your movements and access your communications. Here’s how to protect your privacy if you plan to protest. Read more

1,359 fresh

Business Insider
Callie Ahlgrim @ Business Insider · today 14:36 EDT

This summer, people aren't just eating hot dogs — they're wearing them

Hot dogs have transformed from cheap treats to trending fashion icons, with hot dog-themed accessories and decor taking over stores and TikTok feeds. Read more

989 fresh

Gizmodo
Germain Lussier @ Gizmodo 2 place · today 12:50 EDT

The First ‘Spaceballs 2’ Teaser Confirms a Crucial Returning Star

Mel Brooks will return as Yogurt in the long-awaited sequel, due out in 2027 Read more

891 fresh

Mashable
Mashable 1 place · today 16:11 EDT

Spaceballs 2 is on its way, with Mel Brooks, Bill Pullman, and Rick Moranis reprising their roles

A "Spaceballs" sequel starring Bill Pullman, Rick Moranis, Keke Palmer, and Mel Brooks is coming in 2027. Read more

806 fresh

Gizmodo
James Whitbrook @ Gizmodo 3 place · today 11:00 EDT

‘Star Trek: Strange New Worlds’ Will End With a Fifth and Final Season

Paramount has confirmed that the U.S.S. Enterprise crew's journey is coming to an end with a truncated fifth season. Read more

804 fresh

Wired
Fernanda González @ Wired 2 place · today 13:55 EDT

Social Media Is Now a DIY Alert System for ICE Raids

The undocumented migrant community in the United States is using social networks and other digital platforms to send alerts about raids and the presence of immigration agents around the US. Read more

790 fresh

Business Insider
Alyssa Towns Swantkoski @ Business Insider · today 16:28 EDT

Bartenders share the 8 underrated cocktails they think customers should order more often

From gin 50/50 martinis to classic daiquiris, there are a number of cocktails that bartenders wish they saw people order more often. Read more

704 fresh

The Verge
Andy Baio @ The Verge 1 place · today 16:08 EDT

Chasing rainbows

Living with colorblindness feels like you're constantly being pranked by the world in subtle, irritating ways. The other day, I was booking a flight on Kayak, trying to figure out which dates are the cheapest by looking at their low fare calendar. See any issues? Oh, sorry - that's what it looks like to me. […] Read more

664 fresh

CNET
Gael Cooper @ CNET 1 place · today 16:00 EDT

Today's NYT Connections Hints, Answers and Help for June 13, #733

Here are some hints and the answers for Connections for June 13, #733. Read more

649 fresh

Business Insider
Pete Syme @ Business Insider · today 05:19 EDT

Air India Boeing 787 crashes shortly after takeoff

Air India flight 171 from the northwestern city of Ahmedabad to London's Gatwick airport was "involved in an incident," the airline confirmed. Read more

614

Tom's Hardware
Tom's Hardware 1 place · today 15:55 EDT

AMD EPYC Venice boasts 256 cores and bandwidth galore — next-gen server CPUs arrive in 2026

AMD’s Zen 6-based EPYC ‘Venice’ CPU pushes core count to 256, boosts performance by 70%, and features PCIe 6.0, 1.6 TB/s memory bandwidth, and a new SP7 packaging, according to AMD. Read more

600 fresh

Mashable
Mashable 2 place · today 15:17 EDT

Massive internet outage reported: Google services, Cloudflare, Character.AI are all down

On Thursday, June 12, Down Detector recorded widespread errors across the web, with users reporting outages at Twitch, Google, Gmail, and Discord. Read more

595 fresh

The Verge
Andrew Liszewski @ The Verge 2 place · today 16:31 EDT

Bose upgraded the adaptive ANC on its new QuietComfort Ultra earbuds

Bose has announced upgraded QuietComfort Ultra wireless earbuds with better adaptive ANC that can more smoothly adapt to sudden spikes in noise. The QuietComfort Ultra (2nd Gen) are expected to be available through Bose’s online store starting later this summer for $299 in black, white smoke, and deep plum color options. The new earbuds carry […] Read more

492 fresh

MacRumors
Joe Rossignol @ MacRumors 1 place · today 09:16 EDT

Apple to Let iPhone Users Watch Videos on CarPlay Screen While Parked

Apple this week announced that iPhone users will soon be able to watch videos right on the CarPlay screen in supported vehicles. iPhone users will be able to wirelessly stream videos to the CarPlay screen using AirPlay, according to Apple. For safety reasons, video playback will only be available when the vehicle is parked, to prevent distracted driving. The connected iPhone will be able to detect when the vehicle is... Read more

479 fresh

The most popular news from the same source for the last week
Habr Habr
Habr
aabzel @ Habr 1 place · 06/06/2025 16:47 EDT

В настоящее время акселерометры встраивают куда только можно: в часы, автомобили, самокаты, LapTop-ы и прочее.В данном тексте изложена концепция распознавания аварии по данным с MEMS акселерометра. В этом тексте Вы узнаете зачем программисту микроконтроллеров надо знать дифференциальную геометрию. Read more Read more

0

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

Most popular sources

  • You see 818 news out of 818.
  • Sources 61 out of 61.
Business Insider 42% 2
Gizmodo 8% 0
Android Authority 5% 1
MacRumors 5% 1
CNET 5% 1
View sources »

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

12.06.2025 17:55
Last update: 17:50 EDT.
News rating updated: 00:51.

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