"Are these (Large Language / Reasoning) models capable of generalizable reasoning, or are they leveraging different forms of pattern matching"
https://arxiv.org/abs/2506.06941
#AI #Computability
A Formal Grammar in AI Programming
I am giving a lot of thought to how AI will change the principles of programming. One thing that I am exploring is a way of establishing core principles / specs to bind the erratic behavior of AI tools. Some (meta)language along the lines of https://typespec.io/ or https://typeapi.org/ perhaps?
#AI #SoftwareEngineering #DeveloperTools
Dart is a strong typed Python
I wonder why Dart doesn't get more love. It has been a while, but I remember it feeling almost as typed Python when I last used it.
#Dart #Programming
Some AI Systems May Be Impossible to Compute
https://spectrum.ieee.org/deep-neural-network
The limits of our current approach to AI. The halting problem in the context of neural networks.
#AI #Computability
Hello World
Calibrating a new signal. An experiment in distilling thoughts from the constant stream of data.
#babble