#softwarebugs — Public Fediverse posts

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

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

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

🚨 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

🚨 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

Your devices run your life, but what happens when the code goes rogue? From zombie subscriptions to infinite cloud billing loops, some of the weirdest tech glitches can cost you thousands before you even notice. Computers have no common sense - they just follow orders, even if those orders lead to financial ruin.

Learn how to protect your wallet from silent digital leaks: https://gwizit.com/go/dtLxmWO

#TechTips #CyberSecurity #FinTech #SoftwareBugs #TechGlitches #Automation

🥴 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

🥴 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

🥴 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.'”

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 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 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

U of A research pinpoints bugs in popular science software

A go-to software platform scientists use to do their work could become less glitchy, thanks to University of…
#NewsBeep #News #Technology #AI #Artificialintelligence #CA #Canada #COMPUTERSCIENCE #datascience #JupyterNotebook #Software #softwarebugs #ThibaudLutellier
https://www.newsbeep.com/ca/280007/

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/

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

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

draft - In google docs for Android, when we tap this area where it says "untitled document", it's supposed to auto-populate with the first sentence of what we type. However, that doesn't seem to be currently working... Anyone else having this issue ?

#googledocs
#android
#pimdata
#googledocsforandroid
#googledocsandroid
#androidgoogledocs
#pixel
#gdocs
#gdoc
#productivity
#listmaking
#writing
#chromeos
#chromebook
#softwarebugs
#softwarebug
#androidapps
#googleapps
#googleworkspace
#gsuite

#Hackers are using #AI to find #softwarebugs - but there is a downside

https://www.newscientist.com/article/2433247-hackers-are-using-ai-to-find-software-bugs-but-there-is-a-downside/?amp;utm_source=NSNS&utm_medium=RSS&utm_content=news

#Artificialintelligence models similar to #ChatGPT are able to identify errors in #computercode, letting people claim rewards for finding them - but others are using the same tools to report #bugs that don't actually exist

🎉 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

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

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/

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

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

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

🖥️ 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