What Happens When Formalization Becomes Cheap?yangky11.github.io1 point·matt_d··0 commentsOpen articleSaveView on HN