Path: Home > List > Load (obsidian.systems)

Summary
This organization ensures open-source infrastructure for Haskell and Rust work, covering functional reactive programming, ledger wallet toolchains, and their broader ecosystem. They manage strategy through ideation and architecture planning to define clear boundaries between different data models and system constraints. Specification is crucial, requiring strict real rules, workflows, and integrations that drive production systems. Implementation focuses on generating explicit ownership for code in production, while integration partners handle counterparts, operators, and legacy systems effectively. The final stage involves running systems in an institution with a clear problem definition, ensuring every team reaches the production phase consistently.
Title
Obsidian Systems | High-Assurance Software Engineering
Description
We build the hard parts of regulated capital markets, AI safety, and the infrastructure they depend on.
Categories
NS Lookup
A 34.199.140.213
Dates
Created 2026-04-12
Updated 2026-10-21
Summarized 2026-10-21

Query time: 396 ms