What I’m Working On Now
Inspired by Derek Sivers’ /now movement, this page documents my active technical focus, current software releases, and engineering priorities.
Primary Engineering Tracks
M31A v0.1.5 Hardening & cgroups v2 Sandboxing
Benchmarking the 11-stage policy gate and POSIX process confinement in M31A across Linux server environments. Expanding our test suite beyond 820 deterministic test passes.
Kyro Local Desktop Automation & Tauri v2 Core
Refining the multi-threaded Rust native core with Tauri v2 and React 19. Implementing zero-latency screen understanding and Model Context Protocol (MCP) integrations on local SQLite WAL storage.
Snigdha OS Rolling Release Package Infrastructure
Maintaining upstream PKGBUILD recipes and testing kernel switcher compatibility with Linux 6.12+ Zen and LTS builds. Supporting Tonmoy Infrastructure mirror nodes.
Research on Autonomous Systems Verification
Formalizing empirical verification protocols for autonomous development systems. Documenting mathematical proofs for non-bypassable policy gates and two-phase crash recovery.
- Formal verification of runtime policy gate invariants using SMT solvers (Z3).
- Sub-8B quantization noise in LoRA matrices across heterogeneous CUDA kernels.
- Zero-copy kernel bypass networking in POSIX systems programming.