Topics · Concept
Open source
Open source as the point of the work, not just its licence.
- Within
- The open web
- Pages
- 4
On the map 4 pages and the topics around it
2026
-
articleIT Intelligence: The Missing Data Layer of Enterprise ITEN中한
Business intelligence tells a company how it sells. Nothing tells it how its IT fits together. Why I started building an Enterprise Context Platform.
50 min read · 21 chapters
-
articleThe 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.
13 min read · 7 chapters
-
articleWhy 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.
19 min read · 8 chapters
2022
-
articleHello and outlook
The first post on raskell.io. What this site is for and what I planned to write about.
1 min read · 3 chapters
