Skip to content
Shreyas K S
SOFTWARE ENGINEERING, IN PRACTICE

Built from curiosity.
Written from experience.

I’m Shreyas, a co-founder and software engineer.
I build systems and write about Rust, operating systems,
and the decisions behind the code.

Explore my writing ↗A little about me →
From a bug to a blog postAn anime-inspired Shreyas investigates duplicate jobs after a timeout. He checks an AI retry suggestion against a server commit whose reply was lost, adds a stable request key and atomic server-side deduplication, and writes up the lesson. A new idea starts the cycle again. retry.trace JOBS POST /jobs → timeout retry → 2 jobs same key → 1 job server: committed; reply lost server: atomic dedup + enqueue timeout + replay FAIL PASS INVARIANT / FIELD NOTES A timeout isn't a rollback. DRAFT SAVED Did it commit? DB? AI Try this? Backoff + retry Already committed? DUPLICATE! ; ?
ON MY RADAROperating systems ↗Database internals ↗Building with Rust ↗
01 / THE TECHNICAL JOURNAL

Some things stay invariant.

Visit INVARIANT ↗
[ ≡ ]INVARIANTLATEST ARTICLE↗
Three gates between an operation and the word success: the Phantom Check, the Wrong Question and the Borrowed Alibi.
Systems / Correctness

Success Means Verified

A crypto library, a cross-chain bridge, and an AI agent all reported success they had never verified. Three ways the wiring between a check and its success signal comes apart—and the rules that hold it together.

Read the article ↗
02 / SELECTED WORK

From architecture to implementation.

All projects ↗
01 / OPEN SOURCE↗

toon-rust

Built TOON’s Rust implementation from the format specification, separating parsing and validation from a typed Serde API and interactive tools.

Rust · SerializationRead the story →
02 / OPEN SOURCE↗

Arkeo

Rearchitected an outdated Cosmos application and guided its rewrite, updating the SDK foundation, validator rewards, deterministic processing, and network-specific signing.

Go · Cosmos SDKRead the story →
03 / OPEN SOURCE↗

DIVE

Turned recurring blockchain deployment problems into Kurtosis workflows for nodes, contracts, and bridges, with ordered setup and reuse of running infrastructure.

Go · Starlark · KurtosisRead the story →
04 / OPEN SOURCE↗

DAW Buddy

Shaped the desktop architecture and built tools for music producers, including project search, key and tempo matching, waveform trimming, and missing-sample detection.

TypeScript · Electron · Audio toolsView on GitHub ↗
03 / THE REST OF THE PICTURE

Off the clock.

a little more room to think ↴
Notes

Why I built shrys.xyz

On making engineering decisions understandable, learning from first principles, and keeping a record worth returning to.

2 min read