오늘 가장 뜨거웠던 서비스: MathCode
HN TRACTION RADAR
🚀 오늘 HN에서 뜬 유사 서비스 1건
해커뉴스 프론트페이지에서 골라낸 서비스 트랙션 분석
🚀 분석 1건📡 후보 풀 30건
"AI coding"와 맞닿은 서비스 중 오늘 해커뉴스에서 반응이 특히 뜨거웠던 것들을 골라, 각 서비스 페이지를 직접 읽고 무엇을 하는 서비스인지·왜 떴는지 분석했어요.
오늘의 트랙션 톱3
| 🥇 | MathCode ▲ 49 · 💬 13 · ⚡ 시간당 11.1 |
| 🚀 트랙션 분석 | 1 |
🚀 트랙션 분석1
1. MathCode ↗
터미널 기반 AI 코딩 어시스턴트로, 자연어로 입력한 수학 문제를 Lean 4 정리(theorem)로 변환하고 형식적 증명(formal proof)을 자동으로 시도한다. Obsidian 지식 그래프와 병렬 서브목표 분해도 지원. AI 코딩과 수학 형식 증명을 결합한 독창적 접근이 주목받았으며, Lean REPL 컴파일 속도를 ~30s → ~0.4s로 단축한 기술적 구체성이 HN 개발자 커뮤니티의 관심을 끌었다. — 📊 성과 신호: GitHub 저장소 공개, Lean REPL 컴파일 속도 ~0.4s(워밍업 후), 기존 대비 ~30s에서 단축
▲ 49 · 💬 13 · ⚡ 시간당 11.1
👉 카드를 클릭하면 해당 서비스 페이지로 이동합니다.
트랙션 지수는 해커뉴스의 실제 추천·댓글 반응(시간당 화력)을 기준으로 계산됩니다. 분석 범위는 해커뉴스 프론트페이지입니다.
