What I found interesting this time

Interesting article about flexibility of programming when it comes to ideas expression. I found two quotes predicting the future of programming: "With time‑sharing, large heuristic programs will be developed and modified by several programmers, each testing them on different examples from different consoles and inserting advice independently. The program will grow in effectiveness, but no one of the programmers will understand it all. (Of course, this won’t always be successful‑the interactions might make it get worse, and no one might be able to fix it again!) Now we see the real trouble with statements like "it only does what its programmer told it to do." There isn’t any one programmer." And "Computer programs are good, they say, for particular purposes, but they aren’t flexible. Neither is a violin, or a typewriter, until you learn how to use it."

Someone created 4 billion if statements to solve isOdd problem. As something inspired by tiktok it quickly evolved to something more interesting where programmer had to write assembly code, 40Gb and then load it to virtual memory. Quite interesting topic.

Notes on how to write proofs in Lean programing language. I haven’t heard about it but it seems like an interesting project. It’s a functional programing language which allows you to write theorems and proofs.

Short summary on how applications are rendered in Linux. It’s easy to follow but you need to know a bit about the topic before you start reading.

List of programs which you can install via Pipe install.

Apparently LAION which is basen on Common Crawl has some pedophilia images embeded in it. Evidence of that was provider by Stanford university.

Research on AI generated content on Facebook. Interesting points on how they are generated. Most of the ideas are stolen from other artists and then altered with AI. For now it’s still possible to detect if the images were altered but in 5 years it could be not possible to distinguish from real artists.

Author braging on why he does not like traveling. I think most of his points are not valid and shows rather closed minded approach to visiting new places.