Viewing profile — bgwalter

[flagged]

[flagged]

[flagged]

Professors elsewhere can verify the proof, but not how it was obtained. My assumption was that the focus here is on how "AI" obtains the proof and not on whether it is correct. The…

[flagged]

The FSF also ignored the SaaS revolution. They put out the AGPL but did not really market it or convert FSF projects to it.

DDT has been banned, cigarettes are all but banned, leaded fuel has been banned. Nuclear energy has been banned in Germany. The industry wanted all of that and did not get its way …

It is everywhere now. Musk censors his X responses, Grok defends billionaires, the all-in podcast has only positive comments in suspiciously perfect English since a month or so. Pr…

Modern cryptography should also not allow users to activate a sketchy linked device feature by scanning a QR code: "Because linking an additional device typically requires scanning…

Accidentally replying in plaintext is a user error, scanning a QR code is a user error. Yet one system is declared secure (Signal), the other is declared insecure. Despite the fact…

People who do not wish to get killed may care.

How can I express in a non cynical way that I think LLMs are theft? Even if courts decide in the future that they think it is not, it is still a protected opinion in the same manne…

Yes, it is odd that this criticism is only allowed for gpg while worse Signal issues are not publicized here: https://cloud.google.com/blog/topics/threat-intelligence/rus... Some U…

[flagged]

I no longer respond if you use Simple Sabotage Field Manual tactics. EDIT: The submission was flagged from the front page seconds after this reference.

Of course you omit the QR code issue in your response, just like tptacek tried to deflect in the other subthread after his Cryptocat objection was refuted.

The tangent explicitly talks about generic messaging services. Whatsapp and Signal have more money than gpg. Thinking about it more, it is not even a tangent, because TFA says: "Us…

[flagged]

[flagged]

https://en.wikipedia.org/wiki/Cryptocat#Reception_and_usage "In June 2013, Cryptocat was used by journalist Glenn Greenwald while in Hong Kong to meet NSA whistleblower Edward Snow…

How does this help people who are not following this issue regularly? gpg protected Snowden, and this article promotes tools by one of the cryptographers who promoted non-hybrid en…

[flagged]

Google gives a pittance even for full ossfuzz integration. Which is why many projects just have the bare minimum fuzz tests. My original point was that even with these bare minimum…