Not a single song by Jesus, though

This inspired me to start a new project targeted at developers (library or dev tool) using AI. We'll see where this takes me but I'm more hopeful about this than AI contributions/slop made to existing projects.

ChatGPT explains:

In my 20s, I figured it was triggered by worrying and caring deeply about two conflicting goals simultaneously. Relaxing and not worrying resolves it and prevents reoccurrence in the following months or years. (2/2)
en.wikipedia.org/wiki/Precord...
#medicine #anxiety #pain

It's sort of like a Turing machine can simulate another Turing machine but can't be it.

I'm now looking into the fact that I can't know what it is to be you. The only way for me to know [perfectly] what it is to be you would be to be you and not me. This seems a little different than incompleteness since we're considering subsystems trying to understand each other.

Somehow being able to quantify how much we can't know would be great.

Difficult concepts that really need [a reminder of] a formal definition before deserving to be in the title of a mathy paper include: understanding, consciousness, simulation

The game of matching loose intuitions with mathematical objects is what we're after but it's rarely done successfully.

The term "computation" works better than "simulation" although some folks then claim that the world is a computer which isn't the same as "the world can be modeled as a computer", computers being machines created by engineers, unlike Turing machines which are well-defined mathematical objects.

The notion of a simulation requires intentionality, opening a can of worms. Claiming a system is or isn't a simulation isn't the same as claiming that it could be simulated given enough resources. Maybe this is obvious to some folks (?). It unnecessarily invites deities to the conversation.

120 × 80 = 9600 m² = un hectare environ pour toute la pelouse. C'est le chiffre que je vais retenir 😀

105 × 68 = 7140 m² pour un match international, sans les bordures

The string "-*- tuareg -*-" is to tell emacs to use tuareg-mode (editing mode for OCaml programs). It's funny that dune reused this.

The question is whether providing functions that deal with special subproblems or use cases are easier to understand than more minimal and more generic interfaces.

For example, should a standard library provide a List.sort_alphabetically function when 'List.sort String.compare items' does the job?

I guess several people or companies are already working on this.

While we're at it, It could also design libraries and tools to target LLMs i.e. programmers with immense knowledge but shallow intelligence.