Go, WebGPU
A 2D vector renderer with two independently written backends, a pure-Go f64 CPU rasterizer and an f32 WebGPU compute shader, held to each other as the main correctness gate. A differential fuzzer with automatic shrinking, property laws, and a 43-scene corpus enforce a measured tolerance budget; the differential once caught a bug in the CPU reference, not the GPU.
Java
A file server that cannot return a file before its unlock date. Each upload is encrypted with AES-GCM and its key locked behind a Rivest–Shamir–Wagner time-lock puzzle. The server discards the trapdoor, so even the operator has to wait out the sequential modular squarings.
Kotlin, Swift
An Android and iOS camera SDK for licence-plate photos. A live orientation gate keeps the shutter off until the phone is in landscape, and every capture path ends in one normalize() step, so each returned file has upright pixels and EXIF Orientation = 1 for an ANPR pipeline that ignores EXIF.
Java
A Spring-style web framework written from scratch with no runtime dependencies: annotation routing with argument binding, a DI container with request scope, its own JSON parser, bean validation, filters, sessions, gzip, and TLS.
Java 25, Spring Boot
A Spring Boot starter and Java SDK for the Click.uz payment system: signed Shop API webhooks, Merchant API and card-token clients, pluggable idempotency stores (in-memory or JPA), and a mock server for tests.