cmrx64

I’m an avid but amateur birdwatcher since some mental health struggles some years ago. I would go on long walks and eventually all these damn birds punctured my rumination and I tried making bird noises and they made bird noises back (I later learned these were Grackles, and they had arrived as a group to one of their preferred haunts). Once I started paying attention and interacting with more birds I got hooked.

It really is a very different cognitive mode. And when LLMs later came out I took my birdwatching-stance into it, which felt like a natural way to encounter some new entities.

I find it easy to believe that birdwatching is fairly distinctive in how it organizes the brain. Many sibling comments were wondering “is it the bird watching or is it an isolatable factor.” Bird watching is an extremely distinctive sensory integration, prediction, classification, etc task with lots of subproblems yes but also binding them in an irreducible way with agency detection (a vital part of cognition that modern environments are impoverished of) and attention.

(btw what ended up being the resolution of your great grandfather’s ring? I was flipping through your history to see what you work on :)

It was exploited publicly even before the wide publicity following your post so the ultimate negative impact that you may be imagining, is actually quite small. Once it is publicly exploited the benefit of coordinated disclosure delays is hard to square with the risk.

About time, too. I studied formal software and hardware verification “before AI” and automated reasoning and cognitive architectures were just in need of scale. People are struggling with the inherent meaningmaking of taking formalism seriously in the world. It’s easy to roll your eyes (and I do a lot of that myself) but I have a lot of sympathy. It took many years of dedicated focus for me to convince myself the validity of automated reasoning / externalized cognition.

You could search “decompilation into logic.”

I did but honestly didn’t see it. My connection was struggle to load all the billions of ads.

hi rain :) Anthropic’s post reminded me a lot of your work, glad this is getting some visibility. do you think the “time has come” for some of these ideas that previously may not have spread because they need too much learning to appreciate? I wonder what new norms will emerge in creative collectives.

thank you for sharing this story :) I’ve recently been enthralled with ACL2

you’re deeply confused but the words “validation” and “qualification” may help untangle the web, there’s a lot more to assurance than what your model seems to hold (and you’re drawing batshit deductions from it)

try it and see :) check out that Goose language. you’ll quickly realize your agents are idiots and need reams of PDFs that YOU don’t know how to select and filter down to even have good ideas, and then will drift forever failing to “seam” the contracts between the storage, query planning, and compilation layers.

(hi kvark, long time!) it’s a clever algorithm, if you’re curious about other factorizations of referentiality frames I’ve been tinkering with analyzer across interpretation boundary like the gpu command queue :) I need to get some writing together. the techniques like from this post are a little “cute” compared to what real systems need.

Stephenson’s Anathem solves some of these problems with cloistered groups (“maths”) that only interact on an epicyclic basis so that old wisdom becomes stabilized with new knowledge has supports for metabolization. I would enter a math.