LLM이 전부 작성한 '가장 빠른 정렬 맵' bbtree, 해커뉴스에서 마케팅 논란으로 번져
- bbtree는 스스로 "가장 빠른 정렬 맵"이라 내세우며 저장소 구현 전체를 LLM이 작성하고 다른 제공사 LLM들이 교차 검증했다고 밝혀, "인간은 LLM보다 나은 코드를 쓸 수 없다"는 문장이 논쟁의 도화선이 됨
- 핵심 아이디어는 정렬 키를 인라인 접두사로 압축해 B+ 트리와 B 트리의 동작을 함께 얻는 방식이며, u64, u128, [u8], str과 그 box/vec 변형에 적용되고 InlineKey 트레이트로 사용자가 직접 구현할 수 있음
- 저자는 형식 검증, 모델 검사, 결정론적 시뮬레이션, 퍼징, 테스트로 프로덕션 준비가 됐다고 주장하며, 댓글에서는 모델 검사가 구체적으로 무엇을 검사했는지 되물음 (한 댓글은 CBMC 같은 C 바운디드 모델 체커를 예로 듦)
- 댓글 다수는 "가장 빠르다"는 표현이 도메인별 맞춤 B-트리를 무시한 마케팅이며 성능 기여분의 상당수는 프리페치이고 그 기법을 넣은 사설 구현이 이미 있다고 반박
- 작성자가 댓글에 직접 나타나 인라인 키는 모든 정수와 문자열에 적용되고 체크리스트 항목도 모두 구현돼 있으나 체크 표시를 빠뜨린 점은 실수라고 인정함
Hacker News opinions
캐시 라인에 미친 듯이 집중하고 DRAM을 비동기 블록 디바이스처럼 다루자는 얘기를 계속 해왔는데, coherence traffic 영향을 이렇게 직접 보여준 건 생각 못 했음. 시간 되면 내 기법을 bbtree에 얹어보고 싶으니 연락처 남겨줘.
LLM이 인간보다 나은 코드를 쓴다는 주장부터가 글러먹었음. 코드 뜯어보면 바로 반박되는 얘기고, 코드를 안 읽는 사람이나 쓸 수 있는 문장임.
제목 읽고 글 넘기다가 느낀 건데 이 사람 아마 학생일 거임. 박사 과정 사람이 'fastest' 같은 비과학적 표현 쓰는 게 아이러니하고, 마케팅이나 이력서용으로 보임. 프리페치가 핵심일 텐데 그거 넣은 사설 구현은 이미 있을 거임.
모델 검사가 여기서 구체적으로 뭘 뜻하는 건지 궁금하네.
아마 위키에 나오는 모델 체킹 그거일 거임. 이 분야에선 CBMC 같은 C 바운디드 모델 체커가 유명함.
한 시간 붙잡고 읽었는데 인라인 접두사 아이디어 자체는 괜찮음. B+ 트리랑 B 트리 장점을 섞는 식임. 근데 u64, u128, [u8], str 정도만 되고 저자 체크리스트에도 미완 항목으로 적혀 있더라.
읽어줘서 고맙고, 인라인 키는 모든 정수랑 문자열에 다 적용되고 InlineKey 트레이트로 직접 구현도 가능함. 체크리스트는 체크를 안 했을 뿐 항목은 다 구현돼 있음. 지적 자체는 맞음.