Entry 021 진행Lasm: 증명한 Lean 코드를 Node 에서 실행하기
exit 0실행함작동한다. Lean 으로 작성한 서버가 응답했고, 잘못된 정리를 넣자 빌드가 실패했다.
- 3일활발
- 7일예정
- 15일예정
- 30일예정
- 90일예정
- 180일예정
- 365일예정
최근 확인 3일, 2026.11.02 월
- 런칭 이후 커밋
- 0 → 76
- 스타
- 79 → 88
- 최신 릴리스
- v0.3.6
- 마지막 커밋
- 2026.11.01
- HN 득표
- 34 → 38
시점별 수치
| 시점 | 확인한 날 | 상태 | 런칭 이후 커밋 | 스타 | 릴리스 | 컨트리뷰터 | 마지막 커밋 |
|---|---|---|---|---|---|---|---|
| 1일 | 2026.10.31 토 | 0 | 79 | 14 v0.3.5 | 2 | 2026.10.28 | |
| 3일 | 2026.11.02 월 | 활발 | 76 | 88 | 15 v0.3.6 | 2 | 2026.11.01 |
| 7일 | 예정일 2026.11.06 금 | 예정 | |||||
| 15일 | 예정일 2026.11.14 토 | 예정 | |||||
| 30일 | 예정일 2026.11.29 일 | 예정 | |||||
| 90일 | 예정일 2027.01.28 목 | 예정 | |||||
| 180일 | 예정일 2027.04.28 수 | 예정 | |||||
| 365일 | 예정일 2027.10.30 토 | 예정 | |||||
바뀐 것
3일 2026.11.02 월
- 저장소를 새로 클론한 상태에서도 `--target vercel-edge` 로 빌드한 앱을 Vercel 에 배포할 수 있다. 이전에는 빌드로 생성된 Vercel 함수 파일이 배포에 포함되지 않았다(v0.3.6).
- 예제 Conduit 이 Netlify, Fastly, wasmtime, Spin 에서도 실행된다. Conduit 의 증명에 정리를 추가해, 회원 가입 때 비밀번호는 해시만 저장하고 응답에는 비밀번호를 포함하지 않는다는 것을 증명했다.
- Lean 에서 JavaScript 콜백을 동기적으로 호출할 때 멈추던 문제를 수정했다. 제작자에 따르면 이 수정을 포함한 0.3.7 은 배포하지 않았고, 0.3.8 로 공개할 예정이다.