Viewing profile — lioeters

And nobody learned a thing.

The best kind of propaganda is when people believe they're "thinking on their own" while repeating some convenient lie to keep the grift going. If you think that doesn't apply to y…

> A growing number of theorists explore the possibility that space is not continuous, but rather discrete at the smallest scales. > This discreteness hypothesis implies that given …

"The sooner you can be broken out of your denial about all this the better, and we can start actually taking you seriously."

Sad to see formerly talented software developers become mediocre and bland, losing their unique flavor and personality. Maybe there's still some insight or idea that's their own cr…

There have been experiments in "digital primordial soup", where primitive programs are cultivated under conditions with evolutionary pressure. Computational Substrates: How Well-fo…

Intelligent tulip on the phone: "Put down 10K tokens on OpenHumans, Inc! It's Monkey Mania out there."

That's an unintelligent thing to say about tulips.

> may never be useful at all Nobody is qualified to judge the usefulness of mathematical, scientific, artistic, or any other kind of research that people choose to dedicate their t…

That's illuminating, thank you for a generous reply. The point about real numbers and their representation (or lack thereof) in programming languages is a great example of the gulf…

> would be an issue even if it were humans writing I see what you mean, that the conversion of TLA+ specs to code is error-prone in any case, regardless of who or what does the con…

> designing stuff with TLA+, then feeding the spec into Claude That seems to defeat the purpose of using TLA+ in the first place. It's taking a rigorously logical and proven specif…

The Curry-Howard correspondence applies to all programs and computation, regardless of language. Some languages, such as dynamically typed ones, expose only a higher level abstract…