https://re-st.github.io/blog/repost/ Recent content in Repost on Park, Geon (re-st) Hugo ko-kr Copyright © 2026, Geon Park. Tue, 28 Apr 2026 17:58:08 +0900 https://re-st.github.io/logs/why-lean-4-replaced-ocaml-as-my-primary-language.md/ Fri, 29 Aug 2025 12:00:00 +0900 https://re-st.github.io/logs/why-lean-4-replaced-ocaml-as-my-primary-language.md/ <ul> <li>Ocaml은 보수적 언어로, 안정적이지만 변화가 더디다.</li> <li>Jane Street가 개발한 Dune 같은 도구가 생태계를 발전시켰지만, 언어 자체는 크게 바뀌지 않는다.</li> <li>반면, Lean은 더 자주 바뀌고 매크로 작성이 쉬워 변화에 빠르게 대응할 수 있다.</li> <li>Ocaml 숙련자들은 매크로 변수 이름 충돌 같은 문제는 걱정하지 않지만, Lean은 이러한 걸 직접 해결해주고, 또한 매크로 작성도 훨씬 쉽다.</li> </ul> https://re-st.github.io/logs/%EB%8B%B9%EC%8B%A0%EA%B3%BC-%EB%8B%B9%EC%8B%A0%EC%9D%98-%EC%97%B0%EA%B5%AC.md/ Mon, 26 Feb 2024 00:30:46 +0900 https://re-st.github.io/logs/%EB%8B%B9%EC%8B%A0%EA%B3%BC-%EB%8B%B9%EC%8B%A0%EC%9D%98-%EC%97%B0%EA%B5%AC.md/ <ul> <li>28p <mark>소리 스폰지가 되지 않도록 하자</mark></li> <li>29p <img src="https://re-st.github.io/logs%5c" alt="내 시간의 반은 발표를 어떻게 잘하느냐에 씁니다.png"/></li> <li>요약본 <a href="https://johngrib.github.io/wiki/You-and-Your-Research/">https://johngrib.github.io/wiki/You-and-Your-Research/</a> <ul> <li><img src="https://re-st.github.io/logs%5c" alt="10퍼센트 더 공부하면 2배의 연구결과.png"/></li> <li><img src="https://re-st.github.io/logs%5c" alt="내 분야가 어디로 갈지를 생갹해야 한다.png"/></li> </ul> </li> </ul>