Hyunjoon Kim @d01c2@hackers.pub5/30/2025, 6:28:03 AMPublic와 오랜만에 다시 이쪽 분야 보니까 formalization이 팍팍하네... 공부 많이 해야겠음