#GOFAI
Suing OpenAI because their stupid clanker told me to carry the goat then the beans to the other side of the river and when I brought back the fox, the fucking beans were gone
#gofai
January 7, 2026 at 8:08 PM
like LeCun's comments here remind me of how so many people though GOFAI would be able to achieve intelligence in the 60s/70s
January 2, 2026 at 2:02 PM
Preprint on the Stanford #RNA 3D folding Kaggle challenge is out. My scientific new year’s resolution is to brush up on template-based modeling. #gofai
www.biorxiv.org/content/10.6...
Template-based RNA structure prediction advanced through a blind code competition
Automatically predicting RNA 3D structure from sequence remains an unsolved challenge in biology and biotechnology. Here, we describe a Kaggle code competition engaging over 1700 teams and 43 previous...
www.biorxiv.org
December 31, 2025 at 2:38 PM
Cory Doctorow talks of 'enshittification'. I'm starting to use 'ensloppification' - more polite.

#GOFAI #CanadianAI
November 28, 2025 at 3:23 PM
it's a great piece of cold war history and one of the more creative applications of GOFAI
February 4, 2025 at 5:51 PM
Curious how GOFAI approaches hold up to IMO tasks. Wouldn't Wolfram Alpha make hash of these problems? Having to translate into a formal notation also reminds me of the General Problem Solver.
February 17, 2025 at 5:47 PM
GOFAI system architecture diagrams about to make a comeback?
February 20, 2024 at 4:50 PM
Baltkrievijas tenisiste un pasaules ranga līdere Arina Sabaļenka atvainojusies amerikānietei Korijai Gofai par izteikumiem pēc zaudējuma Francijas atklātā čempionāta finālā.
Ranga līdere Sabaļenka atvainojas par saviem izteikumiem pēc zaudējuma "French Open" finālā
Ranga līdere Sabaļenka atvainojas par saviem izteikumiem pēc zaudējuma "French Open" finālā
jauns.lv
June 17, 2025 at 11:30 AM
With many asymptotic changes, the wisdom that came before is immediately and totally expunged.

#GOFAI #SymbolicReasoning #ComputationalThinking
August 10, 2025 at 7:07 PM
Probably the biggest self own in her post is saying that the current AI boom is based on technologies "from the 80s" when in fact transformers were invented de novo by a team at Google DeepMind in *2017*. GOFAI methods are basically not used anymore, and *that* would be the 80s tech.
November 27, 2024 at 4:19 PM
Agree with this to an extent, especially returning to an earlier standard of aiming to build systems that offer performance guarantees (a la symbolic/GOFAI systems). But trying to move on is apparently very difficult. We only have one example of whatever we think "general intelligence" is!
July 31, 2025 at 4:05 PM
I know a GOFAI-era AI skeptic (mentioned in other thread) and one of his leftover points is that "world models" aren't real and people mostly don't model things unless they have to - you have to know how clothes work to fold them but don't need to know what's in a garbage bag to throw it out
August 17, 2025 at 8:00 AM
GOFAI-syndicalist resistance
April 5, 2025 at 4:55 PM
When this AI Slop wave finally recedes, the world will belong to textual learners who absorb and grasp knowledge via reading and writing.

Text offers the best balance between 'knowledge velocity' and friction, in an analog to how complexity lives at the twilight between order and chaos.

#GOFAI
October 8, 2025 at 2:32 PM
what I would say is that the early AI researchers — Minsky and so forth — had a robust and comprehensive definition of what “AI” was and it failed to work so thoroughly that you couldn’t get it funded,which is why people started talking about ML; what is happening now is much more like ML than GOFAI
June 3, 2024 at 11:31 PM
ok but gofai (across its many different phases and subfields) was deliberate PR too. do you think that the average person in this field from 1956-present was doing work that deserved to be conflated with the hazy aspirational fantasy of 'artificial intelligence'?
May 7, 2025 at 8:42 PM
It kinda dates the analogy in that when he came up with the term it was more GOFAI stuff with some Bayesians lurking over in the corner
May 12, 2025 at 9:13 PM
If you have any time, please please join the GOFAI discourse and post your wonderful pics in the legacy thread. These machines sparked a DIY A.I. scene that led to the modern age, and they get almost no credit or love. Simple minds written in BASIC and FORTH.
gofai.discourse.group/t/legacy-com...
Legacy Computers
The dawn of small computers saw myriad machines, a few of which were perfect for exploring GOFAI.
gofai.discourse.group
July 15, 2025 at 4:07 PM
Self-modifying code may not be sound engineering, but it's at the core of evolutionary models. It's analogous to procedural vs declarative or even functional programming. This is why I'm not a fan of 'vibe' coding - it's chaos disguised as engineering.

#Forth #GOFAI
November 6, 2025 at 7:48 PM
The predictability of GOFAI is really handy in "prompt engineering" in Lean 4. i.e. nudging (`have`, `suffices`, `calc`, `rw`, `refine`) the goal(s) into state(s) that can be killed by tactics (`simp`, `fun_prop`, `ring`). This golfing art is more reliable and satisfying than prompting Copilot.
February 16, 2024 at 11:34 AM
Incorporated a Turing Machine into our synth setup to help generate random sequences 🤩 GOFAI music
November 20, 2024 at 5:41 AM
this is kind of like how professors in the GOFAI era thought intelligence = solving symbolic logic equations and then their mobile robots could barely navigate classrooms and hallways. just like senpai!
March 1, 2025 at 5:06 PM
Scheier 2001). We claim that the AI-powered robots are only weakly embodied and inherit some of the problems of GOFAI. Moreover, we review and critically discuss the possibility of cross-embodiment learning (Padalkar et al. 2024). We identify [3/4 of https://arxiv.org/abs/2505.10705v1]
May 19, 2025 at 5:54 AM