home.social

#gofai — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #gofai, aggregated by home.social.

fetched live
  1. pretty sure it's killed research and funding into all the pre-LLM methods—that actually work

    #gofai

  2. This is some of the best brain food on YouTube.

    The way Triska develops a failing draft through analysis, improvement, into success is masterful teaching.

    & it's nice to see how patterns like Iterative Deepening (e.g. in Norvig) translate to #Prolog.

    #gofai #computerscience
    youtu.be/vdabv9EkYrY

    Sparrows on Eagles: Delegate y...

  3. Yeah on my phone the background was faux 3d; „shared“ it‘s figure/ground such as #gofai spent decades and millions on, now I get it on my comms device without wanting it. #AAMAS

  4. Yeah on my phone the background was faux 3d; „shared“ it‘s figure/ground such as #gofai spent decades and millions on, now I get it on my comms device without wanting it. #AAMAS

  5. Yeah on my phone the background was faux 3d; „shared“ it‘s figure/ground such as #gofai spent decades and millions on, now I get it on my comms device without wanting it. #AAMAS

  6. Yeah on my phone the background was faux 3d; „shared“ it‘s figure/ground such as #gofai spent decades and millions on, now I get it on my comms device without wanting it. #AAMAS

  7. Yeah on my phone the background was faux 3d; „shared“ it‘s figure/ground such as #gofai spent decades and millions on, now I get it on my comms device without wanting it. #AAMAS

  8. The COSMAC 1802 microprocessor (1976) had approximately 5,000 transistors, and 16x16-bit internal registers. The MOS 6502 (1975) had even fewer transistors, yet went on to power most of the early PC era.

    A human brain weighs 3lbs and draws 30W.
    Are we scaling in the wrong direction?

    #GenAI vs #GOFAI

  9. #GOFAI will be here long after LLM bullshit has sunk into an ineffectual obscurity

  10. #GOFAI will be here long after LLM bullshit has sunk into an ineffectual obscurity

  11. Coding exercise ———————– Given this map (you choose an input representation), assign colours to regions A–F so that no adjacent regions have the same colour. Choose your favourite prog language. #logicprogramming #computerscience #gofai Based on Triska's lovely #Prolog video youtu.be/6XD7vBbywMc

  12. Coding exercise ———————– Given this map (you choose an input representation), assign colours to regions A–F so that no adjacent regions have the same colour. Choose your favourite prog language. #logicprogramming #computerscience #gofai Based on Triska's lovely #Prolog video youtu.be/6XD7vBbywMc

  13. 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

  14. 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

  15. 45+ years ago, I met the Canadian physicist who wrote Microchess at his little lab in east Toronto. That short chat started me on my A.I. journey.

    #GOFAI #Chess #ComputationalThinking

  16. 45+ years ago, I met the Canadian physicist who wrote Microchess at his little lab in east Toronto. That short chat started me on my A.I. journey.

    #GOFAI #Chess #ComputationalThinking

  17. 45+ years ago, I met the Canadian physicist who wrote Microchess at his little lab in east Toronto. That short chat started me on my A.I. journey.

    #GOFAI #Chess #ComputationalThinking

  18. 45+ years ago, I met the Canadian physicist who wrote Microchess at his little lab in east Toronto. That short chat started me on my A.I. journey.

    #GOFAI #Chess #ComputationalThinking

  19. 45+ years ago, I met the Canadian physicist who wrote Microchess at his little lab in east Toronto. That short chat started me on my A.I. journey.

    #GOFAI #Chess #ComputationalThinking

  20. "Laziness in doing stupid things can be a great virtue"
    - Chang from Lost Horizon (1933) by James Hilton

    or, more sarcastically,
    A thousand lemmings can't be wrong.

    #GenAI vs #GOFAI

  21. The Fritz Thyssen Foundation has fully granted our application for a publication cost subsidy for the volume 'What was Artificial Intelligence? contours of a research field 1975-2000 in Germany', which is based on the conference that took place at HU Berlin in 2022.

    The book is edited by Martin Schmitt (Uni Paderborn) and me and will be published in the #ComputerArchaeology series this year.

    #ArtificialIntelligenz #GOFAI #ComputerHistory

  22. The Fritz Thyssen Foundation has fully granted our application for a publication cost subsidy for the volume 'What was Artificial Intelligence? contours of a research field 1975-2000 in Germany', which is based on the conference that took place at HU Berlin in 2022.

    The book is edited by Martin Schmitt (Uni Paderborn) and me and will be published in the #ComputerArchaeology series this year.

    #ArtificialIntelligenz #GOFAI #ComputerHistory

  23. The Fritz Thyssen Foundation has fully granted our application for a publication cost subsidy for the volume 'What was Artificial Intelligence? contours of a research field 1975-2000 in Germany', which is based on the conference that took place at HU Berlin in 2022.

    The book is edited by Martin Schmitt (Uni Paderborn) and me and will be published in the #ComputerArchaeology series this year.

    #ArtificialIntelligenz #GOFAI #ComputerHistory

  24. The Fritz Thyssen Foundation has fully granted our application for a publication cost subsidy for the volume 'What was Artificial Intelligence? contours of a research field 1975-2000 in Germany', which is based on the conference that took place at HU Berlin in 2022.

    The book is edited by Martin Schmitt (Uni Paderborn) and me and will be published in the #ComputerArchaeology series this year.

    #ArtificialIntelligenz #GOFAI #ComputerHistory

  25. The Fritz Thyssen Foundation has fully granted our application for a publication cost subsidy for the volume 'What was Artificial Intelligence? contours of a research field 1975-2000 in Germany', which is based on the conference that took place at HU Berlin in 2022.

    The book is edited by Martin Schmitt (Uni Paderborn) and me and will be published in the #ComputerArchaeology series this year.

    #ArtificialIntelligenz #GOFAI #ComputerHistory

  26. #UI #HCI #programming aitch, see I have a point about the #useability discussions from cognitive #gofai good-old-fashioned-ai from Sandewall because honestly who else are you expecting me to paraphrase.

    We want computer programs to be smart in the same way humans are smart, but the way we make computer programs use computers is very different to how humans use computers in the first place.

    The idea would be that both computer programs and humans should use literally the same expert systems.

  27. #UI #HCI #programming aitch, see I have a point about the #useability discussions from cognitive #gofai good-old-fashioned-ai from Sandewall because honestly who else are you expecting me to paraphrase.

    We want computer programs to be smart in the same way humans are smart, but the way we make computer programs use computers is very different to how humans use computers in the first place.

    The idea would be that both computer programs and humans should use literally the same expert systems.

  28. #UI #HCI #programming aitch, see I have a point about the #useability discussions from cognitive #gofai good-old-fashioned-ai from Sandewall because honestly who else are you expecting me to paraphrase.

    We want computer programs to be smart in the same way humans are smart, but the way we make computer programs use computers is very different to how humans use computers in the first place.

    The idea would be that both computer programs and humans should use literally the same expert systems.

  29. #UI #HCI #programming aitch, see I have a point about the #useability discussions from cognitive #gofai good-old-fashioned-ai from Sandewall because honestly who else are you expecting me to paraphrase.

    We want computer programs to be smart in the same way humans are smart, but the way we make computer programs use computers is very different to how humans use computers in the first place.

    The idea would be that both computer programs and humans should use literally the same expert systems.

  30. @rat though because I was concerned that showing people that /I/ figured out how to do something was not having that high transmission to /others/ also happily doing those things when they want to. Whence my sojourn back to software individuals. If I can teach a software individual of mine to do something, you can do the same thing I did to teach your software individual, then when you want that your software individual is the one who knows how to do the thing if that makes sense. #GOFAI

  31. @rat though because I was concerned that showing people that /I/ figured out how to do something was not having that high transmission to /others/ also happily doing those things when they want to. Whence my sojourn back to software individuals. If I can teach a software individual of mine to do something, you can do the same thing I did to teach your software individual, then when you want that your software individual is the one who knows how to do the thing if that makes sense. #GOFAI

  32. @rat though because I was concerned that showing people that /I/ figured out how to do something was not having that high transmission to /others/ also happily doing those things when they want to. Whence my sojourn back to software individuals. If I can teach a software individual of mine to do something, you can do the same thing I did to teach your software individual, then when you want that your software individual is the one who knows how to do the thing if that makes sense. #GOFAI

  33. @rat though because I was concerned that showing people that /I/ figured out how to do something was not having that high transmission to /others/ also happily doing those things when they want to. Whence my sojourn back to software individuals. If I can teach a software individual of mine to do something, you can do the same thing I did to teach your software individual, then when you want that your software individual is the one who knows how to do the thing if that makes sense. #GOFAI

  34. @rat though because I was concerned that showing people that /I/ figured out how to do something was not having that high transmission to /others/ also happily doing those things when they want to. Whence my sojourn back to software individuals. If I can teach a software individual of mine to do something, you can do the same thing I did to teach your software individual, then when you want that your software individual is the one who knows how to do the thing if that makes sense. #GOFAI

  35. #lispyGopherClimate #technology #lisp #podcast #tomorrow

    Okay, tomorrow I'm just going to present where I kinda suddenly got to this past week with Sandewall's #Leonardo #SoftwareIndividuals, which is quite far really.

    These are basically the most advanced point cognitive good-old-fashioned-a-i got to in my opinion, concluding with Sandewall's 2 unpublished open access books in 2014. #gofai #ai #cai

    codeberg.org/tfw/pawn-75

    If anyone wants to join the call for whatever topic, let me know.

  36. #lispyGopherClimate #technology #lisp #podcast #tomorrow

    Okay, tomorrow I'm just going to present where I kinda suddenly got to this past week with Sandewall's #Leonardo #SoftwareIndividuals, which is quite far really.

    These are basically the most advanced point cognitive good-old-fashioned-a-i got to in my opinion, concluding with Sandewall's 2 unpublished open access books in 2014. #gofai #ai #cai

    codeberg.org/tfw/pawn-75

    If anyone wants to join the call for whatever topic, let me know.

  37. #lispyGopherClimate #technology #lisp #podcast #tomorrow

    Okay, tomorrow I'm just going to present where I kinda suddenly got to this past week with Sandewall's #Leonardo #SoftwareIndividuals, which is quite far really.

    These are basically the most advanced point cognitive good-old-fashioned-a-i got to in my opinion, concluding with Sandewall's 2 unpublished open access books in 2014. #gofai #ai #cai

    codeberg.org/tfw/pawn-75

    If anyone wants to join the call for whatever topic, let me know.

  38. #lispyGopherClimate #technology #lisp #podcast #tomorrow

    Okay, tomorrow I'm just going to present where I kinda suddenly got to this past week with Sandewall's #Leonardo #SoftwareIndividuals, which is quite far really.

    These are basically the most advanced point cognitive good-old-fashioned-a-i got to in my opinion, concluding with Sandewall's 2 unpublished open access books in 2014. #gofai #ai #cai

    codeberg.org/tfw/pawn-75

    If anyone wants to join the call for whatever topic, let me know.

  39. And if you have a little time, then Markus Triska has created an extraordinary series on modern #Prolog that is also a fascinating course on #GOFAI (the useful kind of 'ai', that we had before the scammers showed up) youtu.be/5KUdEZTu06o #computerscience

    RE: https://bsky.app/profile/did:plc:osg2vzhifd2tjfsvfwua7scy/post/3lib2wsrvlk2v

    Sudoku in Prolog

  40. What we wanted: The Peter Norvig future What we got: The Sam Altman dystopia #gofai #aifraud