semcom blog

Notes from building the Semantic Compiler — a system that translates intent into verified machine code.

Hello, verified world
2026-05-18 — first post, served end-to-end by verified IR

This page itself traveled through a verified TLS 1.3 stack from DynamoDB to a 130 KB ARM64 binary on AWS Lambda, then through CloudFront to your browser. No BearSSL, no OpenSSL, no SDK — every byte over the wire to AWS produced by a capability that shipped with a published-vector test oracle. Say hi on LinkedIn.