I’ve added a search page here. Some notes: Searching baty.net
We celebrated my grandson’s 1st birthday yesterday. He’s so great.
There were 75 people there to help celebrate. Everyone had fun. We ate, played games, and watched Lincoln open gifts (with mom’s help). The weather was beautiful, but then it started to thunder, so we took down the tent and put everything away. Shortly after that, it began to pour, so that was a wrap. Perfect timing, actually.
I don’t know anyone who thought that LLMs do “formal reasoning”, so snickering about the new research is something you can do, but you shouldn’t expect responses other than, “Duh!”
I left my desk yesterday with all my favorite, long-term apps running: Tinderbox, TheBrain, Emacs, DEVONthink, etc.. This morning, I did my weekly computer cleanup, rebooted, and now I’m only running a terminal, Emacs, and Safari. It won’t last, because I love software too much, but this is how I wish I worked.
My advice, to those using WordPress or other Automattic tools, is to let the current drama play out for a while. Everyone jumping ship now might end up regretting it if things work themselves out. If you feel you must jump in and hate on Matt, though, go for it I guess. We’ll probably end up feeling like the whole thing was a tempest in a teacup in six months, anyway.