主题 · 概念
开源
开源是这项工作的意义所在，而不只是它的许可证。
- 属于
- 开放网络
- 页面
- 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.