drwallace··on Why Common Lisp is now the best programming languageAnd that type system is written in a Lisp (Scheme).
drwallace··on Why Common Lisp is now the best programming languageTo those who lament the lack of strong types in Common Lisp: Surprise, you can define them.
drwallace··on Coding is not solvedThe 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".
drwallace··on Coding is not solvedAnyone 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.