Post #1880513
2026-03-17 14:37 UTC
I'm ready for the "new ways to precisely and deterministically express your intent to a machine" revolution. It used to be called "programming languages" but that's boring. Maybe we should call it..."symbolic AI". https://tldr.nettime.org/@tante/116218320430326758
Replies (2)
-
@emc2@indieweb.social 2026-03-17 14:42
@lindsey@recurse.social I have actually toyed with the idea of referring to automated deduction as "structural AI", and interactive provers as something similar.
-
@wiersdorf@fosstodon.org 2026-03-17 14:59
@lindsey@recurse.social I hate this so much but I bet I could do a lot of good with all the grant money that that would bring in so…