Kensan
Disciple of Tsundoku š
High Assurance Software
Muen Separation Kernel https://muen.sk
Ada/SPARK
Web: https://codelabs.ch/~ken/
āļø: https://bsky.app/profile/kensan42.bsky.social
Twitter: Kensan42
High Assurance Software
Muen Separation Kernel https://muen.sk
Ada/SPARK
Web: https://codelabs.ch/~ken/
āļø: https://bsky.app/profile/kensan42.bsky.social
Twitter: Kensan42
Public Key
npub1lszdv8zhty29rqvsff9t7ew0edaxe2tk60ew8pa298g4z97jq2pqv3ezvxNIP-05 Address
kensan_at_mastodon.social@momostr.pinkProfile Code
nprofile1qqs0cpxkr3t4j9z3sxgy5j4lvh8uk7nv49md8uhrs74zn523zlfq9qsu7wk57Author Public Key
npub1lszdv8zhty29rqvsff9t7ew0edaxe2tk60ew8pa298g4z97jq2pqv3ezvx