Blog · English
Writing about a language for agents
Benchmarks, design decisions and how-tos: automatic HTTPS, installable apps, agentic servers, capability security. Every post is also Markdown — add .md to its URL.
2 results for confidential-computing
-
The best language for a TEE
A trusted execution environment hides your data from the operator. It does not stop your own code from leaking it, and it does not tell the client what is running inside. Synsema does both — information-flow labels and attestation are part of the language, not a library.
-
Build an app that runs inside a TEE
A walkthrough, from an empty file to a service whose client verifies the code before sending anything — labels on, an attested identity, and the same checks running in CI with the development driver.