We’re talking about different kind of proofs.

Proving a program is correct requires a formal specification and a formal verification with mathematics and/or formal methods. ie proving the behavior and result perfectly match specification for all possible inputs.

A test only proves that a program 1) returns the expected output for a specific input, or limited set of inputs, and 2) appears to behave correctly, ie there may be undefined behaviour but they don’t cause an immediate crash.

Actually proving that C code is correct is not easy.

Having a human developer manually write code that is less harmful/wrong, and doesn’t require proof, is probably easier.

Mostly out of the loop, I use this fork as well. Apps distributed on the F-Droid repo are OSS, built from source, and screened for malware.

If the fork is no longer maintained I expect it to be removed from the repo, that should be announced on the blog with the regular app news.

This would not conflict with linux kernel policy, nor with other upstream use of AI. The article makes it clear:

Importantly, the ban would not apply to upstream projects that use AI, software related to artificial intelligence, or patches and security fixes from upstream sources. In other words, Debian could still package third-party software developed with AI assistance, but Debian contributors would be prohibited from using such tools for direct project work

Full moon?

It might be possible to fool it.

More important, it’s normalizing use of facial recognition in everyday situations. This is a very invasive tech and prime for abuse by increasingly totalitarian governments.

The skepticism toward acupuncture is that not only the location where the needle is inserted doesn’t matter. It doesn’t matter if inserting needle at all, ie it’s no better than sham acupuncture. This looks like the placebo effect.

A 2009 study found it’s no better than poking patients gently with toothpicks. But still still conclude acupuncture is (more) effective. That’s misleading. https://www.respectfulinsolence.com/2009/05/13/another-acupuncture-study-misinterpreted/

Would be curious to read if there was a review that does a deep dive in to see what today’s best evidence show, given randomization and blinded controls.

I looked at the first couple links you pointed me to. This is hardly cherry picking.

The author themselves write their review include low quality study, acknowledging it weakens the conclusions. It’s the author’s assessment, not mine.

Should I ignore the 2 first links, and look a another, specific one?

I looked at the first couple links given the time I have.

These article conclude there seems to be an effect while stressing the conclusions are based on low quality studies.

From Paulo Alexandre Pereira et al 2026:

acupuncture is a safe and effective alternative to medication, despite the low to moderate methodological quality of the included studies

From Chuwen Feng et al 2025:

methodological weaknesses are worth mentioning, such as diversity between studies and the inclusion of lower-quality clinical trials. Future research should consider the importance of conducting large-scale, multicenter randomized controlled trials with standardized methodology to confirm these findings

The science based medecine article I linked earlier references (reviews of) good quality trials & with strict controls, such as E. Ernst et al 2011:

numerous systematic reviews have generated little truly convincing evidence that acupuncture is effective in reducing pain. Serious adverse effects continue to be reported

There are good reasons to remain skeptical, given reseach that include low quality trials see some effect, while others don’t.

My inderstanding is that good quality trials of acupuncture did NOT find any therapeutic effect. https://sciencebasedmedicine.org/acupuncture-doesnt-work/

Is this new study showing an actual therapeutic effect? Or is this a description of cellular activity as a possible mecanism, but without evidence of a therapeutic effect?

Edit: found the original publication mentioned in the news article. High numerical aperture confocal volumetric mesoscope reveals mesoscale subcellular dynamics in vivo.

This claims an anti-inflammatory effect on mice spleen. Hopefully we’ll hear soon what the medical research community think about this trial.

Hoping a chatbot can save us is a sign of cognitive impairment.

I guess developers working on AWS are increasingly vibe coding.

Or maybe the invoices are accurate, and LLMs continue to increase memory and hosing cost for everyone.

This may explain why there are scrappers hammering the Internet using Alibaba cloud.

The US has set the bar pretty low. It would take tremendous effort to look worse than USA under Trump extremist leadership.

Why would you need to plug a console to the Internet to play solo games?

Connecting mostly bring enshittification: sending telemetry to 3rd party, ads, updates triggering a random time making it impossible to play when powering the console.

My console is offline 95% of the time, behind a slow connection 5% of the time. No physical media would mean not buying any new game. No new games means there’s no point in buying the latest console to play new games.

@suriyan Are you a bot, or rely on automation to submit comments or posts?

If so, please honor Automation guidelines, including disclosure. https://legal.programming.dev/docs/automation-guidelines/

For fuck’s sake. If that’s an undisclosed bot then it should be banned.

Scammers may not use this specific project yet, but do use tools like This with LLM integration. They absolutely will use an OSS tool if it’s good enough and cheap enough.

STIR/SHAKEN would help, but it would remain a game of cat and mouse. SPF/DKIM/… is widely deployed and enrorfced and yet spam email continue. There’s financial insentives to keep spamming one way or another.

LLMs enable spam call at a much larger scale with few to no human involved. They won’t quit nor blow the whistle on their shitty boss. LLMs are the least useful, most harmful kind of AI. It should be abandonned and/or regulated to death.

So that’s how spam bots are making tons of calls to sell their scams and harrass people.

I receive multiple calls everyday for the same scam despite being on a no-marketing list. The same AI agents are cycling through numbers to make themselves hard to block. Virturtally everyone I talk to got these calls, and increasingly avoid answering the phone.

It makes having a phone more annoying, less useful. Just like spam ruined emails.