Tag: sicm

created: 2025-04-05; tags: agent, autholog, autopilot, bib, evaluation, lisp, prompt, repl, sicm, verification

선택지로 말을 닫지 않고, 자연어에서 함께 빚은 Lisp 블록을 제한된 REPL 평가·증거·재평가의 대상으로 삼으려는 2026-09-09 출근길 날것. 담당자 검수로 네 축 가운데 무엇이 서 있고 무엇이 아직 아닌지를 갈랐고, 같은 날 오후 실측이 날것의 걱정 하나에 영수증을 붙였다. prime-agent의 Clojure/SCI, SICM의 공존언어, 베리코딩의 신뢰 경계, entwurf 형제 대화를 한 자리에서 잇는다.

created: 2026-03-03; tags: botlog, mechanics, physics, sicm, sicp

SICM을 출발점으로 장회익·서스먼·최무영의 물리학과 심우십도를 잇는 앎의 구도. 수식=코드와 턴 기록으로 공개된 모름을 삭힌다.

created: 2025-02-12; tags: autholog, coevolution, emacs, intelligence, learning, lisp, mechanics, physics, sicm, vericoding

케빈 켈리에서 제이컵 예이츠와 학습역학으로 흘러온 하루의 날것. AI 연구자가 아니라 모델 사용자라는 자리에서, 수식을 에이전트와 공유하는 중간 언어로 놓고 SICM·리스프·gptel·베리코딩을 한 사슬로 잇는다.

created: 2024-12-04; tags: bib, classicalmechanics, mathematics, mechanics, sicm

미분기하학의 엄밀한 표기와 다양체 감각이 라그랑주 역학의 수학적 서술과 어떻게 만나는지 가늠하게 한다.

created: 2023-09-09; tags: bib, computer, interpretation, lisp, meta, programs, scheme, sicm, sicp, structure

SICP를 중심으로 컴퓨터 과학의 핵심 개념, 스킴 실습, 관련 강의와 노트 자원을 묶는다.

created: 2024-12-05; tags: bib, education, sicm

clj-tiles는 클로저 기반 시각 도구로 수학·과학·코딩을 손으로 만지는 듯 배우게 하는 융합교육 실험을 보여준다.

created: 2024-11-11; tags: clojure, sicm

Emmy와 SICM-utils를 통해 클로저 기반 컴퓨터대수학 시스템의 가능성을 살피는 노트이다.

created: 2024-11-10; tags: bib, clojure, person, sicm

샘 리치는 클로저 기반 수학·물리 시스템을 만들며 계산적 모델링과 프로그래밍의 만남을 실험하는 개발자다.

created: 2024-11-11; tags: bib, emacs, scheme, sicm

SICM과 MIT Scheme을 설치하고 이맥스에서 활용하려는 경로를 정리한 노트이다.

created: 2024-10-30; tags: bib, guru, person, sicm, sicp

제럴드 제이 서스먼은 SICP와 고전역학 교육을 통해 계산적 사고와 유연한 설계 감각의 표준을 세운 스승이다.