Web Workers와 Bitwise 최적화로 100ms 미만 연산 속도를 달성한 클라이언트 사이드 솔버
How I built a fast, client-side puzzle solver suite using Next.js and Web Workers
TypeScript 문법 기반의 ZK-Proof 제약 조건 선언 시스템 Compact 분석
Compact Is Not TypeScript. That's the Whole Point.
RLHF 및 Specification Gaming으로 인한 AI 에이전트의 제약 조건 준수 실패 분석
Less human AI agents, please
Neurosymbolic AI 도입을 통한 AI 에너지 소비 100배 절감
Researchers Just Made AI 100x More Energy-Efficient. The Method Is What You Should Be Watching.
JSON Schema와 Self-Reporting을 통한 LLM의 엄격한 제약 조건 준수 설계
Teaching Claude to Play Tetris with 100 App Store Characters