주제 · 개념
오픈 소스
단순한 라이선스가 아니라 작업의 목적 그 자체로서의 오픈 소스.
- 상위
- 열린 웹
- 페이지
- 3
지도에서 페이지 3개와 주변 주제
2026
- 13 분
The Proof You Only Have to Write Once
Generation is cheap, so verification is the bottleneck — and we throw the verification away every time. What if a proof, once written, could be named, shared, and vouched for? A content-addressed commons for verified Haskell, and the move I left for after the semantic-artifact trilogy.
- 19 분
Why We Built a Haskell Package Manager in Rust
hx is a fast, opinionated Haskell toolchain built in Rust, following the playbook astral.sh used to modernize Python.
2022
- 1 분
Hello and outlook
The first post on raskell.io. What this site is for and what I planned to write about.