#software-bugs — Public Fediverse posts

The Register: Patchpocalypse Now: Microsoft tops last month’s record with 622 Patch Tuesday CVEs. “Remember last month when we were awed by Microsoft’s record-setting Patch Tuesday that addressed 206 CVEs? That was a quaint era compared to this month: Redmond just rolled out patches for 622 CVEs specific to its products, slightly more than tripling last month’s all-time high.”

The Register: Patchpocalypse Now: Microsoft tops last month’s record with 622 Patch Tuesday CVEs. “Remember last month when we were awed by Microsoft’s record-setting Patch Tuesday that addressed 206 CVEs? That was a quaint era compared to this month: Redmond just rolled out patches for 622 CVEs specific to its products, slightly more than tripling last month’s all-time high.”

PC Gamer: Open source game engine Godot will no longer accept AI-authored code contributions: ‘We can’t trust heavy users of AI to understand their code enough to fix it’. “Today, after months of discussion, the Godot Foundation and its maintainers are drawing a line in the sand. In a blog post, the Foundation announced that Godot’s guidelines for contributors will soon be amended to forbid […]

PC Gamer: Open source game engine Godot will no longer accept AI-authored code contributions: ‘We can’t trust heavy users of AI to understand their code enough to fix it’. “Today, after months of discussion, the Godot Foundation and its maintainers are drawing a line in the sand. In a blog post, the Foundation announced that Godot’s guidelines for contributors will soon be amended to forbid […]

The Not Always Serendipitous Bug When Text Messaging With Spouses

I enjoy driving long distances alone. One of the benefits is that it gives me time to catch up on podcasts and audio books, so there’s the bonus. Even though that doesn’t come close to making up for the current high prices of gas or driving through summer road construction.

My wife is in the final weekend of a production of Always Patsy Cline at Hope Summer Repertory about three hours away. This morning I left Chicago before the crack of dawn to avoid the current heat wave baking our glass bubble of a car and pass through the construction zones a little easier. The trip is to catch her last two performances, then pack her up and bring us back home after what will be two months of her being away and me traveling back and forth. We’re theatre folk so we’re used to that home again, away again lifestyle.

Here’s where the serendipity begins. While listening to the post-show portion of The Accidental Tech Podcast episode #698 (I subscribe to the podcast) host Casey Liss brought up an iPhone messaging bug that I’ve encountered for quite some time. One that would pop up again on this trip.

In essence the bug is this.

When his wife texts him on a solitary thread between the two of them, he will not receive a haptic tap on his Apple Watch. He does however receive the “tap-tap” as he calls it, if she is a part of a group thread. Liss’s thinking is that this has something to do with Focus modes. In those of which he runs, he has configured his wife to be able to break through with a haptic notification on his Apple Watch when she texts.

One of his other co-hosts Marco Arment also has the same issue. The third co-host John Siracusa has the problem but in reverse. He doesn’t wear an Apple Watch, but his wife does, and she claims she never gets an Apple Watch notification when he texts either.

I have the exact same problem. Like Liss I also have a specific self-designed haptic touch configured for my wife. I have seen this bug for so long that I’ve just relegated it to another that Apple will never fix. But there is a slight difference, which I’ll get to in a moment.

This morning’s serendipity wasn’t just hearing this issue discussed and getting the satisfying momentary knowledge that if these much more sophisticated tech guys than I can’t figure it out, I’m not crazy and I’m not alone. We’ve all been there in those moments of relief with our own tech frustrations. But the story continues with a bit more zemblanity. (Today’s word search was looking up the opposite of serendipity. Everyday is a good day when you learn something new, and also discover you’re not alone in your tech woes.)

While on this early morning drive, listening to this very section of the podcast, my wife texted me, asking me to stop off at the store when I hit town before heading to her company housing to pick up a few things. I never got the notification of her text on my Apple Watch, and didn’t see the one on my iPhone until after I had reached her residence, stopped the car, and began to unload.

Yup. I had to turn around and go back to the store.

During the ATP discussion of all of this much good natured back and forth was had about one spouse or the other not receiving these text message notifications and the “fun” it can cause in spousal relations when your only and honest answer is “Honey, I didn’t get your text!” Of course the logical next response that never works is “Blame Apple.”

As I mentioned earlier, Liss seems to think this has something to do with Focus modes. He may indeed be correct, but this happens to me whether I am running a Focus mode or not.

I long ago gave up on using Focus modes to any great degree. I just found them too complex to set up, and often not working as I expected. As an example, I no longer allow even the two I do use to flow through my chain of Apple Devices and none are turned on for my Macs. And yet, a Do Not Disturb mode will still launch on my iMac at odd hours on random days. Focus modes in my experience are just too fiddly and in my experience too buggy to be reliable.

The only Focus modes I currently use are the default Do Not Disturb and Sleep modes on the iPhone. I do have my wife, and several family members, set to break through those. Whether I’m running those modes or not, I do not get a “tap-tap” notification on my Apple Watch when my wife texts, unless, like Liss, my wife is part of a family group message thread and then those come through as designed.

During her two month gig, my wife and I have resorted to “don’t text, call” as our way of reaching each other when some level of urgency or import arises. We’ve been through a few dicey family situations during her gig where I have resorted to turning off the Sleep focus at night. Breaking my wife’s habit of always texting first is a challenge in and of itself. But that’s another story.

Note that I always receive “tap-tap” notifications from all others I’ve set to break through Do Not Disturb or Sleep, or when I’m not running either Focus mode, which the majority of the time. This only happens with my wife.

I don’t know if this is the locus of the problem or not, but I would bet it floats somewhere in Apple’s iCloud. Focus modes, like Messages, flow through iCloud (assuming you have Messaging in iCloud turned on). Liss is convinced he’s configured something wrong. How notifications flow from one device or the other for those, like I, using multiple Apple devices, is also an inconsistent issue in my experience.

My guess, is anyone experiencing this at some point may have flipped a switch in an earlier generation of the software that has since changed, but there’s a flag set somewhere in that user’s iCloud account that’s hanging around causing the problem. 

I’ve experienced several issues with my specific iCloud account that required things to be reset on Apple’s end in the past to suspect this is the case. As a little birdie told me during all my iCloud adventures, keep in mind every time Apple updates the operating system for your device, updates are happening on the backend as well.

Perhaps this is one of the many bugs Apple may be cleaning up on the backend preparing for the release of iOS 27. If not, it should be. It certainly would make for happier households that use Apple’s products.

(Image from Andrej Lišakoy on Unsplash)

Thanks for reading. You can subscribe to this blog if you care to. You can also find more of my writings on a variety of topics on Medium at this link, including in the publications Ellemeno and Rome. I can also be found on social media under my name as above. This site does not use affilate links. 

The Not Always Serendipitous Bug When Text Messaging With Spouses

I enjoy driving long distances alone. One of the benefits is that it gives me time to catch up on podcasts and audio books, so there’s the bonus. Even though that doesn’t come close to making up for the current high prices of gas or driving through summer road construction.

My wife is in the final weekend of a production of Always Patsy Cline at Hope Summer Repertory about three hours away. This morning I left Chicago before the crack of dawn to avoid the current heat wave baking our glass bubble of a car and pass through the construction zones a little easier. The trip is to catch her last two performances, then pack her up and bring us back home after what will be two months of her being away and me traveling back and forth. We’re theatre folk so we’re used to that home again, away again lifestyle.

Here’s where the serendipity begins. While listening to the post-show portion of The Accidental Tech Podcast episode #698 (I subscribe to the podcast) host Casey Liss brought up an iPhone messaging bug that I’ve encountered for quite some time. One that would pop up again on this trip.

In essence the bug is this.

When his wife texts him on a solitary thread between the two of them, he will not receive a haptic tap on his Apple Watch. He does however receive the “tap-tap” as he calls it, if she is a part of a group thread. Liss’s thinking is that this has something to do with Focus modes. In those of which he runs, he has configured his wife to be able to break through with a haptic notification on his Apple Watch when she texts.

One of his other co-hosts Marco Arment also has the same issue. The third co-host John Siracusa has the problem but in reverse. He doesn’t wear an Apple Watch, but his wife does, and she claims she never gets an Apple Watch notification when he texts either.

I have the exact same problem. Like Liss I also have a specific self-designed haptic touch configured for my wife. I have seen this bug for so long that I’ve just relegated it to another that Apple will never fix. But there is a slight difference, which I’ll get to in a moment.

This morning’s serendipity wasn’t just hearing this issue discussed and getting the satisfying momentary knowledge that if these much more sophisticated tech guys than I can’t figure it out, I’m not crazy and I’m not alone. We’ve all been there in those moments of relief with our own tech frustrations. But the story continues with a bit more zemblanity. (Today’s word search was looking up the opposite of serendipity. Everyday is a good day when you learn something new, and also discover you’re not alone in your tech woes.)

While on this early morning drive, listening to this very section of the podcast, my wife texted me, asking me to stop off at the store when I hit town before heading to her company housing to pick up a few things. I never got the notification of her text on my Apple Watch, and didn’t see the one on my iPhone until after I had reached her residence, stopped the car, and began to unload.

Yup. I had to turn around and go back to the store.

During the ATP discussion of all of this much good natured back and forth was had about one spouse or the other not receiving these text message notifications and the “fun” it can cause in spousal relations when your only and honest answer is “Honey, I didn’t get your text!” Of course the logical next response that never works is “Blame Apple.”

As I mentioned earlier, Liss seems to think this has something to do with Focus modes. He may indeed be correct, but this happens to me whether I am running a Focus mode or not.

I long ago gave up on using Focus modes to any great degree. I just found them too complex to set up, and often not working as I expected. As an example, I no longer allow even the two I do use to flow through my chain of Apple Devices and none are turned on for my Macs. And yet, a Do Not Disturb mode will still launch on my iMac at odd hours on random days. Focus modes in my experience are just too fiddly and in my experience too buggy to be reliable.

The only Focus modes I currently use are the default Do Not Disturb and Sleep modes on the iPhone. I do have my wife, and several family members, set to break through those. Whether I’m running those modes or not, I do not get a “tap-tap” notification on my Apple Watch when my wife texts, unless, like Liss, my wife is part of a family group message thread and then those come through as designed.

During her two month gig, my wife and I have resorted to “don’t text, call” as our way of reaching each other when some level of urgency or import arises. We’ve been through a few dicey family situations during her gig where I have resorted to turning off the Sleep focus at night. Breaking my wife’s habit of always texting first is a challenge in and of itself. But that’s another story.

Note that I always receive “tap-tap” notifications from all others I’ve set to break through Do Not Disturb or Sleep, or when I’m not running either Focus mode, which the majority of the time. This only happens with my wife.

I don’t know if this is the locus of the problem or not, but I would bet it floats somewhere in Apple’s iCloud. Focus modes, like Messages, flow through iCloud (assuming you have Messaging in iCloud turned on). Liss is convinced he’s configured something wrong. How notifications flow from one device or the other for those, like I, using multiple Apple devices, is also an inconsistent issue in my experience.

My guess, is anyone experiencing this at some point may have flipped a switch in an earlier generation of the software that has since changed, but there’s a flag set somewhere in that user’s iCloud account that’s hanging around causing the problem. 

I’ve experienced several issues with my specific iCloud account that required things to be reset on Apple’s end in the past to suspect this is the case. As a little birdie told me during all my iCloud adventures, keep in mind every time Apple updates the operating system for your device, updates are happening on the backend as well.

Perhaps this is one of the many bugs Apple may be cleaning up on the backend preparing for the release of iOS 27. If not, it should be. It certainly would make for happier households that use Apple’s products.

(Image from Andrej Lišakoy on Unsplash)

Thanks for reading. You can subscribe to this blog if you care to. You can also find more of my writings on a variety of topics on Medium at this link, including in the publications Ellemeno and Rome. I can also be found on social media under my name as above. This site does not use affilate links. 

iMessages Bug in macOS 26.5.1

Discovered a frustrating macOS 26.5.1 in iMessages. While I can send and receive SMS and RCS messages to Android users on my iPhone, I can only receive them on a Mac or iPad. 

I’m not alone in this as I’ve seen several reports. Most point to the same timing of the bug appearing after macOS 26.5.1 was released, although some as early as 26.5. There is talk of it being possibly corrected in 26.6. 

Given all the attention and focus on the OS 27 releases, here’s hoping that’s correct and 26.6 rolls out soon. Because I’ve tried all of the usual and recommended steps to try and correct the issue to no avail.

I’ll write more as I discover more on this. But I guess since I only discovered this today, it tells me how few messages I’ve exchanged with Android users of late. 

Thanks for reading. You can subscribe to this blog if you care to. You can also find more of my writings on a variety of topics on Medium at this link, including in the publications Ellemeno and Rome. I can also be found on social media under my name as above. This site does not use affilate links. 

TechCrunch: Microsoft under fire for threatening security researcher with criminal investigation. “After a security researcher published a series of unpatched bugs in Microsoft products, along with code to exploit them, the company is now threatening to take legal action and call the cops on them.”

TechCrunch: Microsoft under fire for threatening security researcher with criminal investigation. “After a security researcher published a series of unpatched bugs in Microsoft products, along with code to exploit them, the company is now threatening to take legal action and call the cops on them.”

MakeUseOf: I asked Gemini, Claude, and ChatGPT to debug the same Python error, and only two explained what actually broke. “It feels like it has gotten so common to ask an AI to fix your mistakes since it’s easier than debugging. That’s okay in most cases, but you need to go to the right AIs. I tested a few of them to see which gave a good output instead of just making a mistake or not helping […]

MakeUseOf: I asked Gemini, Claude, and ChatGPT to debug the same Python error, and only two explained what actually broke. “It feels like it has gotten so common to ask an AI to fix your mistakes since it’s easier than debugging. That’s okay in most cases, but you need to go to the right AIs. I tested a few of them to see which gave a good output instead of just making a mistake or not helping […]

Buterin (Ethereum Founder) suggests that AI-assisted “formal verification” could help secure crypto networks, smart contracts, and cryptographic systems against software flaws.

“If you formally verify end-to-end, then you are proving not just that some description of the protocol is secure in theory, but that the specific piece of code that the user runs is secure in practice." https://decrypt.co/368226/ethereum-founder-vitalik-buterin-ai-verification-secure-crypto-networks #Crypto #CryptoSecurity #Ethereum #BlockChain #Buterin #AI #Verify #SmartContracts #Cryptography #Software #Security #SoftwareBugs

Buterin (Ethereum Founder) suggests that AI-assisted “formal verification” could help secure crypto networks, smart contracts, and cryptographic systems against software flaws.

“If you formally verify end-to-end, then you are proving not just that some description of the protocol is secure in theory, but that the specific piece of code that the user runs is secure in practice." https://decrypt.co/368226/ethereum-founder-vitalik-buterin-ai-verification-secure-crypto-networks #Crypto #CryptoSecurity #Ethereum #BlockChain #Buterin #AI #Verify #SmartContracts #Cryptography #Software #Security #SoftwareBugs

Windows 11 Pursues Feature Stream, User Complaints Persist

Windows 11 users face ongoing bugs despite May 2026 security updates. Learn about performance changes and installation methods.

#Windows11, #Microsoft, #TechUpdate, #SecurityPatch, #SoftwareBugs

https://newsletter.tf/windows-11-may-2026-updates-bugs-security/

Microsoft fixed 137 security flaws in Windows 11 in May 2026, but users still report problems with features like HDR displays.

#Windows11, #Microsoft, #TechUpdate, #SecurityPatch, #SoftwareBugs
https://newsletter.tf/windows-11-may-2026-updates-bugs-security/

My Favorite Bugs: Invalid Surrogate Pairs

https://george.mand.is/2026/05/my-favorite-bugs-invalid-surrogate-pairs/

#HackerNews #MyFavoriteBugs #InvalidSurrogatePairs #SoftwareBugs #ProgrammingTechniques #WebDevelopment #CodingChallenges

My Favorite Bugs: Invalid Surrogate Pairs

https://george.mand.is/2026/05/my-favorite-bugs-invalid-surrogate-pairs/

#HackerNews #MyFavoriteBugs #InvalidSurrogatePairs #SoftwareBugs #ProgrammingTechniques #WebDevelopment #CodingChallenges

🚨 OMG, #dnsmasq is exploding! 🚨 In a shocking twist of fate, CERT drops six #CVEs on lazy vendors who didn't realize their software was a ticking time bomb. Apparently, "longstanding bugs" means "we've ignored this for years, but now it's an emergency" 😂.
https://lists.thekelleys.org.uk/pipermail/dnsmasq-discuss/2026q2/018471.html #cybersecurity #softwarebugs #vendorresponsibility #emergencyfix #HackerNews #ngated

🚨 OMG, #dnsmasq is exploding! 🚨 In a shocking twist of fate, CERT drops six #CVEs on lazy vendors who didn't realize their software was a ticking time bomb. Apparently, "longstanding bugs" means "we've ignored this for years, but now it's an emergency" 😂.
https://lists.thekelleys.org.uk/pipermail/dnsmasq-discuss/2026q2/018471.html #cybersecurity #softwarebugs #vendorresponsibility #emergencyfix #HackerNews #ngated

🥴 Oh, the joys of bug reporting with Apple: it's like playing whack-a-mole where the moles gaslight you into thinking they're fixed unless you constantly babysit them. Developers suggest boycotting the Feedback Assistant – but who can resist the thrill of shouting into the void, hoping for a miracle? 🤪🔧
https://lapcatsoftware.com/articles/2026/3/11.html #bugreporting #Apple #FeedbackAssistant #developerstruggles #softwarebugs #techhumor #HackerNews #ngated

🥴 Oh, the joys of bug reporting with Apple: it's like playing whack-a-mole where the moles gaslight you into thinking they're fixed unless you constantly babysit them. Developers suggest boycotting the Feedback Assistant – but who can resist the thrill of shouting into the void, hoping for a miracle? 🤪🔧
https://lapcatsoftware.com/articles/2026/3/11.html #bugreporting #Apple #FeedbackAssistant #developerstruggles #softwarebugs #techhumor #HackerNews #ngated

TechCrunch: For open source programs, AI coding tools are a mixed blessing. “Earlier this month, developer Mitchell Hashimoto launched a system that would limit GitHub contributions to ‘vouched’ users, effectively closing the open-door policy for open source software. As Hashimoto put it in the announcement, ‘AI eliminated the natural barrier to entry that let OSS projects trust by default.'”

TechCrunch: For open source programs, AI coding tools are a mixed blessing. “Earlier this month, developer Mitchell Hashimoto launched a system that would limit GitHub contributions to ‘vouched’ users, effectively closing the open-door policy for open source software. As Hashimoto put it in the announcement, ‘AI eliminated the natural barrier to entry that let OSS projects trust by default.'”

The Register: Curl shutters bug bounty program to remove incentive for submitting AI slop. “The maintainer of popular open-source data transfer tool cURL has ended the project’s bug bounty program after maintainers struggled to assess a flood of AI-generated contributions.”

The Register: Curl shutters bug bounty program to remove incentive for submitting AI slop. “The maintainer of popular open-source data transfer tool cURL has ended the project’s bug bounty program after maintainers struggled to assess a flood of AI-generated contributions.”

The Antigravity A1 drone: 8K 360-degree video, FPV goggles, and controls that feel like you're playing GTA 5. Seriously.
It even *magically* removes itself from footage! But don't worry, the "press-once-press-it-again-and-hold-and-pray" pairing ritual for its software issues keeps things grounded.
Would you trade cutting-edge features for bulletproof stability, or is the future always a bit buggy?
#DroneLife #TechReview #FPV #SoftwareBugs #Innovation
Link: https://www.engadget.com/cameras/antigravity-a1-drone-review-140026021.html?src=rss

Waymo's robotaxi decided school bus rules were optional, prompting regulators to ask questions. Naturally, Waymo's already pushed a 'software update.' Because isn't that always the first line of defense? What's the most *critical* bug fix you've deployed that totally wasn't a hotfix?

#Waymo #Robotaxi #TechNews #SoftwareBugs #DevLife
Link: https://techcrunch.com/2025/10/20/regulators-probe-waymo-after-its-robotaxi-drove-around-a-stopped-school-bus/

Ah, another *riveting* tale of tech wizards turning software quirks into security nightmares 🎩✨. NVIDIA's drivers are as stable as a unicycle on a tightrope, and #Quarkslab is here to make sure everyone knows it, because apparently, there are not enough blogs to repeat their name 🥱📝.
https://blog.quarkslab.com/./nvidia_gpu_kernel_vmalloc_exploit.html #techsecurity #softwarebugs #NVIDIA #cybersecurity #tales #HackerNews #ngated

Ah, another *riveting* tale of tech wizards turning software quirks into security nightmares 🎩✨. NVIDIA's drivers are as stable as a unicycle on a tightrope, and #Quarkslab is here to make sure everyone knows it, because apparently, there are not enough blogs to repeat their name 🥱📝.
https://blog.quarkslab.com/./nvidia_gpu_kernel_vmalloc_exploit.html #techsecurity #softwarebugs #NVIDIA #cybersecurity #tales #HackerNews #ngated

When your car's too smart for its own good: NHTSA is probing Tesla over door handles that *aren't* opening. Nine reports, including kids stuck inside. Is this a bug or an extreme anti-theft measure? What's the weirdest tech glitch you've encountered?
https://techcrunch.com/2025/09/16/tesla-probed-for-potentially-faulty-door-handles/
#Tesla #EV #TechNews #SoftwareBugs #CarSafety

Déjà vu! The DOJ has filed *another* lawsuit against Uber for alleged discrimination against riders with disabilities, especially those with service animals or wheelchairs. Uber insists on its zero-tolerance policy.

When will this 'feature' be truly fixed?
#UberLawsuit #DisabilityRights #TechForGood #SoftwareBugs #Accessibility
https://www.engadget.com/transportation/the-doj-sues-uber-again-for-allegedly-discriminating-against-people-with-disabilities-195442362.html?src=rss

🖥️ OMG, CPU cores can be odd? Who knew? 🧐 Apparently, Xe Iaso just discovered software has bugs, shocking absolutely no one in the history of computing. We eagerly await their next revelation that water is wet. 💧🔍
https://anubis.techaro.lol/blog/2025/cpu-core-odd/ #CPUcores #SoftwareBugs #TechNews #ComputingHumor #XeIaso #HackerNews #ngated

🖥️ OMG, CPU cores can be odd? Who knew? 🧐 Apparently, Xe Iaso just discovered software has bugs, shocking absolutely no one in the history of computing. We eagerly await their next revelation that water is wet. 💧🔍
https://anubis.techaro.lol/blog/2025/cpu-core-odd/ #CPUcores #SoftwareBugs #TechNews #ComputingHumor #XeIaso #HackerNews #ngated

Ah, yes, the Therac-25 incident... because who doesn't enjoy a quick jaunt down memory lane to when a software bug was (literally) a killer feature? 💀🖥️ It's like the article took a wrong turn into a time machine and forgot to get out, leaving us with a listicle more scrambled than an amateur coder's first Python script. 🙄⌨️
https://thedailywtf.com/articles/the-therac-25-incident #Therac25 #SoftwareBugs #TechHistory #ProgrammingFails #KillerFeature #HackerNews #ngated

Ah, yes, the Therac-25 incident... because who doesn't enjoy a quick jaunt down memory lane to when a software bug was (literally) a killer feature? 💀🖥️ It's like the article took a wrong turn into a time machine and forgot to get out, leaving us with a listicle more scrambled than an amateur coder's first Python script. 🙄⌨️
https://thedailywtf.com/articles/the-therac-25-incident #Therac25 #SoftwareBugs #TechHistory #ProgrammingFails #KillerFeature #HackerNews #ngated

Do AI models help produce verified bug fixes?

"Abstract: Among areas of software engineering where AI techniques — particularly, Large Language Models — seem poised to yield dramatic improvements, an attractive candidate is Automatic Program Repair (APR), the production of satisfactory corrections to software bugs. Does this expectation materialize in practice? How do we find out, making sure that proposed corrections actually work? If programmers have access to LLMs, how do they actually use them to complement their own skills?

To answer these questions, we took advantage of the availability of a program-proving environment, which formally determines the correctness of proposed fixes, to conduct a study of program debugging with two randomly assigned groups of programmers, one with access to LLMs and the other without, both validating their answers through the proof tools. The methodology relied on a division into general research questions (Goals in the GoalQuery-Metric approach), specific elements admitting specific answers (Queries), and measurements supporting these answers (Metrics). While applied so far to a limited sample size, the results are a first step towards delineating a proper role for AI and LLMs in providing guaranteed-correct fixes to program bugs.

These results caused surprise as compared to what one might expect from the use of AI for debugging and APR. The contributions also include: a detailed methodology for experiments in the use of LLMs for debugging, which other projects can reuse; a finegrain analysis of programmer behavior, made possible by the use of full-session recording; a definition of patterns of use of LLMs, with 7 distinct categories; and validated advice for getting the best of LLMs for debugging and Automatic Program Repair"

https://www.arxiv.org/abs/2507.15822

#AI #GenerativeAI #LLMs #Debugging #Programming #APR #SoftwareDevelopment #SoftwareBugs

Do AI models help produce verified bug fixes?

"Abstract: Among areas of software engineering where AI techniques — particularly, Large Language Models — seem poised to yield dramatic improvements, an attractive candidate is Automatic Program Repair (APR), the production of satisfactory corrections to software bugs. Does this expectation materialize in practice? How do we find out, making sure that proposed corrections actually work? If programmers have access to LLMs, how do they actually use them to complement their own skills?

To answer these questions, we took advantage of the availability of a program-proving environment, which formally determines the correctness of proposed fixes, to conduct a study of program debugging with two randomly assigned groups of programmers, one with access to LLMs and the other without, both validating their answers through the proof tools. The methodology relied on a division into general research questions (Goals in the GoalQuery-Metric approach), specific elements admitting specific answers (Queries), and measurements supporting these answers (Metrics). While applied so far to a limited sample size, the results are a first step towards delineating a proper role for AI and LLMs in providing guaranteed-correct fixes to program bugs.

These results caused surprise as compared to what one might expect from the use of AI for debugging and APR. The contributions also include: a detailed methodology for experiments in the use of LLMs for debugging, which other projects can reuse; a finegrain analysis of programmer behavior, made possible by the use of full-session recording; a definition of patterns of use of LLMs, with 7 distinct categories; and validated advice for getting the best of LLMs for debugging and Automatic Program Repair"

https://www.arxiv.org/abs/2507.15822

#AI #GenerativeAI #LLMs #Debugging #Programming #APR #SoftwareDevelopment #SoftwareBugs

🚨 Behold, the pinnacle of human achievement: a newsletter glorifying bugs that can't even travel 500 miles—email surely is the new frontier of epic fails! 😂 Harley Hicks brings us the riveting tales of software nightmares, because who needs stability when you can have chaos? 📉 Sign up now, because who doesn't want to relive the glory of broken systems weekly! 📬
https://500mile.email/ #humanachievement #emailfail #softwarebugs #chaosnews #newsletterfun #HackerNews #ngated

🚨 Behold, the pinnacle of human achievement: a newsletter glorifying bugs that can't even travel 500 miles—email surely is the new frontier of epic fails! 😂 Harley Hicks brings us the riveting tales of software nightmares, because who needs stability when you can have chaos? 📉 Sign up now, because who doesn't want to relive the glory of broken systems weekly! 📬
https://500mile.email/ #humanachievement #emailfail #softwarebugs #chaosnews #newsletterfun #HackerNews #ngated

🎉 Breaking News: CPUs are magic and can predict the future! 🧙‍♂️ Forget about pesky bugs, who needs software that works when you have a "predictor" that sounds like a character from a bad sci-fi movie? 😂
https://blog.nelhage.com/post/ittage-branch-predictor/ #CPUsareMagic #FuturePrediction #BadSciFiTech #TechHumor #SoftwareBugs #HackerNews #ngated

🎉 Breaking News: CPUs are magic and can predict the future! 🧙‍♂️ Forget about pesky bugs, who needs software that works when you have a "predictor" that sounds like a character from a bad sci-fi movie? 😂
https://blog.nelhage.com/post/ittage-branch-predictor/ #CPUsareMagic #FuturePrediction #BadSciFiTech #TechHumor #SoftwareBugs #HackerNews #ngated

Why Property Testing Finds Bugs Unit Testing Does Not (2021)

https://buttondown.com/hillelwayne/archive/why-property-testing-finds-bugs-unit-testing-does/

#HackerNews #PropertyTesting #UnitTesting #SoftwareBugs #BugHunting #ProgrammingInsights

Why Property Testing Finds Bugs Unit Testing Does Not (2021)

https://buttondown.com/hillelwayne/archive/why-property-testing-finds-bugs-unit-testing-does/

#HackerNews #PropertyTesting #UnitTesting #SoftwareBugs #BugHunting #ProgrammingInsights

An online exhibition of pretty software bugs

https://glitchgallery.org/

#HackerNews #onlineexhibition #softwarebugs #glitchgallery #techart #digitalart

An online exhibition of pretty software bugs

https://glitchgallery.org/

#HackerNews #onlineexhibition #softwarebugs #glitchgallery #techart #digitalart

How a 20 year old bug in GTA San Andreas surfaced in Windows 11 24H2

https://cookieplmonster.github.io/2025/04/23/gta-san-andreas-win11-24h2-bug/

#HackerNews #GTA #SanAndreas #Windows11 #TechNews #Gaming #SoftwareBugs

How a 20 year old bug in GTA San Andreas surfaced in Windows 11 24H2

https://cookieplmonster.github.io/2025/04/23/gta-san-andreas-win11-24h2-bug/

#HackerNews #GTA #SanAndreas #Windows11 #TechNews #Gaming #SoftwareBugs

Oh look, it's another genius idea: deliberately inject bugs 🐞 and cross your fingers that your tests just, you know, magically catch them. Because who needs stable code when you can have a zombie apocalypse of software errors? 🧟‍♂️🔧
https://github.com/sourcefrog/cargo-mutants #geniusideas #softwarebugs #testingfailures #codingnightmare #techhumor #HackerNews #ngated

Oh look, it's another genius idea: deliberately inject bugs 🐞 and cross your fingers that your tests just, you know, magically catch them. Because who needs stable code when you can have a zombie apocalypse of software errors? 🧟‍♂️🔧
https://github.com/sourcefrog/cargo-mutants #geniusideas #softwarebugs #testingfailures #codingnightmare #techhumor #HackerNews #ngated

Mashable: An iOS 18.4 bug seems to be resurrecting zombie apps for some users . “If old, long-deleted apps are showing up on your iPhone after you’ve upgraded to iOS 18.4, you’re not alone. Several reports on Reddit, as well as on Apple’s Community hub, talk about apps being installed on user’s iPhones after the update. In many cases, these are apps that were once installed on the phone, but […]

https://rbfirehose.com/2025/04/04/mashable-an-ios-18-4-bug-seems-to-be-resurrecting-zombie-apps-for-some-users/

Pew Research Center: How a glitch in an online survey replaced the word ‘yes’ with ‘forks’. “Dating back to at least early 2023, a bizarre and alarming technical glitch – and yes, a hilarious one – started popping up in some organizations’ online surveys and forms, including our 2024 survey. A few Reddit users shared screenshots from a variety of surveys, where questions that […]

https://rbfirehose.com/2025/03/26/pew-research-center-how-a-glitch-in-an-online-survey-replaced-the-word-yes-with-forks/

VentureBeat: AI can fix bugs—but can’t find them: OpenAI’s study highlights limits of LLMs in software engineering. “In a new paper, OpenAI researchers detail how they developed an LLM benchmark called SWE-Lancer to test how much foundation models can earn from real-life freelance software engineering tasks. The test found that, while the models can solve bugs, they can’t see why the […]

https://rbfirehose.com/2025/02/20/ai-can-fix-bugs-but-cant-find-them-openais-study-highlights-limits-of-llms-in-software-engineering-venturebeat/

VentureBeat: AI can fix bugs—but can’t find them: OpenAI’s study highlights limits of LLMs in software engineering. “In a new paper, OpenAI researchers detail how they developed an LLM benchmark called SWE-Lancer to test how much foundation models can earn from real-life freelance software engineering tasks. The test found that, while the models can solve bugs, they can’t see why the […]

https://rbfirehose.com/2025/02/20/ai-can-fix-bugs-but-cant-find-them-openais-study-highlights-limits-of-llms-in-software-engineering-venturebeat/

Sources: Apple's Siri overhaul hits engineering roadblocks and software bugs; some features, originally set for April 2025, may be delayed until May or beyond. #Apple #Siri #TechNews #SoftwareBugs #EngineeringChallenges #iOSUpdates #Apple2025 #TechDelays

https://posivi.com/apples-siri-overhaul-hits-engineering-roadblocks-and-software-bugs/

I don’t know if anyone else gets giddy about this, but I do.

After contacting @panic support about a bug, they said they confirmed and would fix it. Next release, I see my bug in the release notes.

It’s pretty cool to see that kind of response. And to see my specific issue on the list.

#Software #ReleaseNotes #SoftwareBugs #Support