Dan G.

Rust, Scala 3, ZIO, Apache Pekko; low-latency distributed systems, zero-allocation runtime design, type-level invariants, regulatory infrastructure, and deterministic systems.

Formal verification of runtime invariants, deterministic kernel design, post-quantum TLS, and photonic interconnect and routing architectures.

Sha'ar by Masora; research into deterministic tri-runtime kernel architecture, formally verifiable execution constraints, and advanced photonic routing infrastructure.

Open-source collaboration, AI engineering, infrastructure security, PostgreSQL, and discussions about making AI-generated code verifiable.