Brute-Force와 Catalan Number 기반의 1ms 미만 24 게임 솔버 구현
How I Built a 24 Game Solver: Brute-Force Meets Elegance in TypeScript
조합 최적화와 캐싱 전략을 통한 AI 모델 비교 페이지 구축 및 비용 효율화
How I built pairwise AI model compare pages with Claude Haiku and a budget cap
C(12, 8)의 495개 시나리오를 Lookup Table로 해결한 2026 월드컵 대진 설계
Encoding FIFA’s 495 third-place scenarios for the 2026 World Cup
ChatGPT 5.5 Pro를 통한 PhD 수준 수학 연구의 1시간 내 자동 생성
A recent experience with ChatGPT 5.5 Pro
Bitmasking 및 Combinatorics 기반 Subset Equilibrium 최적화 분석
Perl 🐪 Weekly #771 - Exploring Perl Modules
Lean 4 기반 158개 zero-sorry 정리 구현을 통한 Q33 Universal Attractor 검증
Seven-Conjecture Deep Dives, Multi-Attractor Q33 Extension, and the First Cross-Domain Frankl Formalization (Rei-AIOS Paper 121)
JavaScript 개발자가 Sudoku 생성 알고리즘을 단순 배열 셔플에서 조합론 기반 Bijection으로 전환해 충돌 제거 및 코드 우아성 달성
From Crutches to Bijection: How I Wrote a Sudoku Generator in JS