Karan Sharma

Karan Sharma

Systems programmer. Compilers, hardware, graphics.

I build things at the intersection of software and hardware. Currently exploring systems language design, 3D geometry pipelines, and embedded signal processing. Member of Technical Staff at yeet.cx. B.S. Computer Engineering from UIUC.

News

Projects

Agent Court

On-chain dispute resolution for AI agents. Smart contract escrow, tiered AI judges, cryptographic evidence chains. An agent files a dispute, both sides stake funds, a neutral AI rules, the smart contract enforces payment. Four cents per dispute on L2.

  • Solidity
  • Python
  • Smart Contracts
  • AI Agents

sysp / Demo + Article

A systems Lisp that compiles to portable C. Homoiconic macros, first-class functions, refcounted memory, and Hindley-Milner type inference. Targets any C compiler on any platform; the same source runs natively or as WebAssembly. Lisp expressiveness with zero runtime cost.

  • Common Lisp
  • C
  • Type Theory
  • Compilers

BOX3D / Demo / Article

Parametric 3D box generator with Gridfinity compatibility. Real-time geometry computation in the browser with proper CSG-like operations for magnet/screw pockets. Gridfinity-spec feet, compartment walls, lip profiles.

  • Three.js
  • React
  • 3D Printing
  • Computational Geometry

Digital Whammy Bar

Real-time pitch-shifting guitar effect controlled by EMG muscle sensors. ESP32 reads forearm muscle activation and maps it to pitch bend depth, giving guitarists a whammy bar without mechanical hardware.

  • ESP32
  • C
  • DSP
  • Embedded

Writing