Show HN: Axiom – 수학 기반 OS, x²를 유효 구문으로 사용 (처음부터 제작)

발행: 7시간 전 (2026년 2월 18일 오후 11:30 GMT+9)

1 분 소요

Source: Hacker News

부팅 로그

12:00 PM

키 입력에서 실행까지 명령을 입력하고 Enter 키를 누르면 프로그램이 밀리초 단위로 시작됩니다. 운영 체제는 일련의 단계들을 조율합니다.

소개 프로그래밍 언어의 기본 이론 — λ‑calculus 3 axioms, Turing machines, 그리고 그 위에 구축된 type theories — 모두 공유한다...

원래 AICtrlNet 블로그에 게시되었습니다.

정리된 Markdown