poteto@poteto

의 이 발표에는 에이전트를 위해 코드베이스를 개선하는 팁과 명언이 정말 많아 • 에이전트는 피드백에서 성장하고, 타입은 그중 최고 중 하나 • 타입으로 불가능한 상태를 표현할 수 없게 만들면 코드베이스 전체에 전역 규칙이 강제돼 • 프로퍼티 기반 테스트, 퍼징, 심지어 전체 시스템 결정론적 시뮬레이션 테스트 • expect 테스트: 그냥 출력을 찍어서 테스트에 캡처해. 동작이 읽히게 돼. 컴파일러의 픽스처 테스트랑 아주 비슷하고, 리뷰 범위가 줄어들어 • 형식 기법은 예전엔 엄청 비쌌어: seL4는 C 코드 약 8,700줄에 25인년 정도, C 한 줄당 23줄의 증명. 그런데 에이전트가 ROI를 바꿔 놨어

so many gems and great tips in this talk from @yminsky about how to improve your codebase for agents • agents thrive on feedback, and types are one of the best kinds • make illegal states unrepresentable with types, and it enforces global rules across your codebase • property based tests, fuzzing, and even full-system deterministic simulation testing • expect tests: just print stuff out and capture it in the test. makes behavior legible. it's very similar to how compilers have fixture tests, it reduces the review surface area • formal methods used to be very expensive: seL4 is about 8,700 lines of C and took around 25 person-years, with 23 lines of proof for every line of C code, but agents change the roi https://www.youtube.com/watch?v=rUYP4C29yCw