Hi, I'm Teerth.

A twenty year old tech lover who likes turning maths and ideas into solid code. Some of those ideas now live inside the codebases of companies like these.

WASD or arrows to slide · Shift to dash · click the snow to go there.Drag anywhere to steer. Tap a building to go there.

Display

Fixed at

Hold W to slide · A D to turn · S back · Shift dash · E open

Aether-Lang: Loops stop when their shape stops changing

Loops stop when their shape stops changing.

  • persistent homology as a language primitive
  • runtime compiles no_std to bare metal

I built a language where a loop stops because its shape stopped changing, not because a counter ran out.