Wyrm Math - Solve algebra by touch on an open-source soundness engine
Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine
Wyrm Math는 사용자가 방정식의 항을 드래그하거나, 거듭제곱을 탭하여 전개하고, 공통 인수를 추출하는 등 촉각적 제스처로 대수 문제를 풀 수 있게 해주는 혁신적인 앱입니다. 그 뒤에는 순수 TypeScript로 작성된 오픈소스 엔진 'wyrm-math'가 있으며, 이 엔진은 '법적 이동은 가능하고, 불법 이동은 불가능하다'는 핵심 원칙 아래 조건부로 건전한(sound) 기호 대수 시스템을 제공합니다. 모든 변환은 규칙 기반으로 이루어지며, 나눗셈과 같은 조건부 연산은 가시적인 '가정(Assumptions)'으로 처리되어 방정식과 함께 이동합니다. 이 엔진은 DOM 의존성이 없어 Node, 브라우저, 웹 워커 등 어디서든 실행 가능하며, MIT 라이선스로 제공됩니다. 웹 데모와 iOS/Android 앱을 통해 직접 경험해보세요.
핵심 불변식: 합법적인 이동은 가능하고, 불법적인 이동은 불가능하다. 방정식은 결코 검증되지 않으며, 오직 재작성 규칙에 의해서만 변환되므로 도달 가능한 모든 상태는 구조적으로 건전하다.