Remix.run Logo
e3bc54b2 8 hours ago

> LLMs are the first step in the movement away from (...) the logic based language

This dumb thing again.. The logic based language was and remains a major improvement [0] in being able to build abstractions because it allows the underlying implementations to be 'deterministic'. The natural language misses that mark by such a wide margin that it is impossible to explain in nicer language. And if one wants to make the argument that people achieve that anyway, perhaps you reading through one [1] will put that thought to rest :)

[0] www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html

[1] https://www.congress.gov/bill/119th-congress/house-bill/1/te...

JustBreath 6 hours ago | parent [-]

Very true, the whole point of logic and programming is that language is itself subjective and vague.

A deterministic program given the same inputs will always give the same outputs.

We can debate about what is cool, cold or freezing but a thermometer will present the same numeric value to everyone.