What I found interesting this time

by: Artur Dziedziczak

December 29, 2023

WHY PROGRAMMING IS A GOOD MEDIUM FOR EXPRESSING POORLY UNDERSTOOD AND SLOPPILY­FORMULATED IDEAS, n.d. https://web.media.mit.edu/ minsky/papers/Why%20programming%20is–.html

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."

“4 Billion If Statements,” n.d. https://andreasjhkarlsson.github.io/jekyll/update/2023/12/27/4-billion-if-statements.html

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.

“A Beginner’s Companion to Theorem Proving in Lean 4,” n.d. https://lean-lang.org/

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.

“The Linux Graphics Stack in a Nutshell, Part 1,” n.d. https://lwn.net/SubscriberLink/955376/b3fba3bbfabbc411/

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.

“Pipe Install,” n.d. https://kubikpixel.github.io/pipeinstall/

List of programs which you can install via Pipe install.

“Largest Dataset Powering AI Images Removed After Discovery of ‘Suspected’ Child Sexual Abuse Material,” n.d. https://www.404media.co/laion-datasets-removed-stanford-csam-child-abuse/

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

“Facebook Is Being Overrun With Stolen, AI-Generated Images That People Think Are Real,” n.d. https://www.404media.co/facebook-is-being-overrun-with-stolen-ai-generated-images-that-people-think-are-real/

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.

“On Traveling and Monotony of Life,” n.d. https://blog.royalsloth.eu/posts/on-traveling-and-monotony-of-life/

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.