r/BabelForum

https://preview.redd.it/cr6e8eorvfjh1.png?width=706&format=png&auto=webp&s=1595d42caf668ae42f16e686441e1998d2b11dc0

Hi there,

I am a huge fan of Borges’s short stories and have written a ten part drama that is set in The Library of Babel universe. It has been on sale on Amazon since Dec 2025. Although it’s a fantastic piece of work that does much to expand on the original concept it has received very little attention. This being a Borges subreddit I think it should be of interest to at least some of you and would like to offer free paperback copies (shipping included) to five people willing to provide honest reviews on Amazon.

For those interested please click on the following link.

https://denim-lychee-k6bm.squarespace.com/babel-review

Thank you very much for your time:)

Yesterday I watched a Ted talk on using math to find what is ‘true.’ During the talk, the presenter mentioned Lean (a programming language) and Mathlib (library of formalized mathematics). The mentioned library uses Lean language to verify its contents; it is sorta of a Library of Mathematical Truths.
This reminded me of Library of Babel. Thus, I had a chat with AI on it, and - in theory - Lean language could actually be used to find what is mathematically true! But of course, it would take the ages of a multiverse to go through the books of the Library of Babel. Still, I thought this is cool!

go to this book 26heaolq7rvg7d8x3s9tgwd1zl52f7laprc46yqtsj...-w2-s4-v20

i'm just curious