Lean 4 for the JavaScript and WebAssembly world. Lasm compiles ordinary Lean 4 programs ahead of time to WebAssembly. One Lean code base can become […]
Tag: Write
How to Write an Email
This is not about grammar. It is about speed, clarity, and judgment. We write emails so the reader can understand the point in seconds, decide […]
I write about online scams. A fake Nvidia livestream still almost fooled me
Image: Nvidia Summary created by Smart Answers AI In summary: PCWorld reports on how AI-powered deepfake livestreams are making online scams increasingly sophisticated, with even […]
How to Write Unmaintainable Code (1999)
Last updated Thursday, 18-Nov-1999 20:27:28 PDT by Roedy Green ©1997-1999 Canadian Mind Products. This essay is also available in Spanish. In the interests of creating […]
X will let AI write Community Notes
In what was probably an inevitable conclusion, X has announced that it will allow AI to author Community Notes. With a pilot program beginning today, […]
