ColinWright 的提交内容

Terence Tao: Using modern tools to semi-automatically formalize a proof in Lean

The Monster in the Forest

CryptPad: An Alternative to the Google Suite

UK government websites to replace passwords with secure passkeys

Wikipedia's Nonprofit Host Brings Legal Challenge to New Online Safety Act Regs

Installing PostmarketOS with full disk encryption on a OnePlus 6

Why is English so weirdly different from other languages?

People trust legal advice generated by ChatGPT more than a lawyer – new study

The Fish Doorbell

We're building a dystopia just to make people click on ads [video]

Category Theory [pdf]

Sign the Petition: It's Time to Defend Encryption Worldwide

Silence Isn't Consent (2023)

Wife of wrongly deported Maryland man Kilmar Abrego Garcia doxxed by government

Jedi Blue