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 Tags traits

Tag

traits 1

Traits: Behavioral Contracts the Compiler Enforces Mar 10, 2026

Recently Updated

Nothing Starts Clean
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

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