Lasm

A piece of generative artwork depicting a plasma-like space cloud is being shared online, produced by a bot that creates fractal images through procedural generation. The creator invited people to look at the result, tagging it as bot art. It is a small but typical example of the ongoing interest in automated and algorithmic art communities.

A developer has released Lasm, an open-source project that lets programmers write formally verified web applications in the Lean theorem prover and run them on Node.js, serverless platforms and edge runtimes. The project, hosted on GitHub, aims to bring mathematical proofs of correctness to ordinary web development, and it is drawing attention among programmers interested in verified software.