cubefox comments on I don’t think MIRI “gave up”

cubefox 4 Feb 2023 16:35 UTC
4 points
0
Are there any modern models which use hardcoded rules written in formal logic?
- the gears to ascension 5 Feb 2023 18:09 UTC
  2 points
  0
  Parent
  sent dm.
  - cubefox 5 Feb 2023 20:11 UTC
    1 point
    0
    Parent
    It appears I didn’t get it?
    
    Edit: Got it.