Skip to content

Software, systems,
and everything in between.

Home
Writing
Projects
About

EXPLORE THE ARCHIVETopics Tags Timeline

A small home on
a very big internet.

Home Categories Correctness

Category

Correctness 1

Success Means Verified Oct 23, 2026

Recently Updated

Success Means Verified
From Prediction to Action: What an AI Agent Must Verify
OpenWhisk Rust Client: one API across native and Wasm environments
ICON Bridge: messaging and token accounting on NEAR
ICON IBC Integration: bringing protocol state into CosmWasm

Trending Tags

invariants rust cryptography project-story clap cli aes architecture kernel macros

© 2026 Shreyas K S. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

invariants rust cryptography project-story clap cli aes architecture kernel macros

New content available