drwallace

And that type system is written in a Lisp (Scheme).

To those who lament the lack of strong types in Common Lisp: Surprise, you can define them.

The old SHRDLU had a default response to "why did you put the red block on the green block". It replied, "Because you asked me to".

Anyone who claims AI is on the verge of achieving consciousness, going rogue, or about to end humanity -- has never tried to write software with LLMs.