Skip to content
View Khanhtnq's full-sized avatar
1 follower · 0 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report Khanhtnq

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Khanhtnq/README.md

Khanh Tran (@Khanhtnq)

Compiler & Systems Engineering ? Distributed Runtime Architecture ? Protocol & Smart Contract Security

Core Engineering Focus

  • Compilers, Static Analysis & Language Runtimes: Rust, Go, C++ ? type-checker soundness, borrow/loan escape analysis, AST/SSA code generation, and differential fuzzing oracles.
  • Distributed Systems & Observability: TypeScript, Go, Temporal, OpenTelemetry, Podman/Docker, WebGL2 ? deterministic workflow replay, OTLP span pipelines, rootless container engines, and high-throughput 60 FPS graph visualization.
  • DeFi & Smart Contract Security: Solidity, Foundry, EVM ? ERC-223 / Uniswap V3 pool validation, router fund-loss prevention, options accounting, and cross-chain allowance hardening.

Selected Open-Source Contributions & Landings

  • Hybrid Compiler (limitlessprojects/Go-Hybrid):
    • Merged (#648): Implemented [N]T{...} and [...]T{...} fixed-size array composite literals across hy-syntax, hy-check, and hy-emit.
    • Merged (#641): Preserved make/new type shapes, validated closure builtins, and enforced forward file-level constant checking (HYB-E6003).
    • Merged (#559): Closed O8 map-slot loan sibling-branch handoff and shadowing binder last-use soundness gaps in hy-emit.
    • MOONSHOT Ledger Intake W-023 (#577): Designed and built the Go toolchain differential oracle (INVARIANT 4) and M1/M2 seeded Go-decidable fuzzing harness (hyfuzz).
    • Pareto Land Candidate (#591): Closed constant-folding, type-alias, and slice/index/make bound soundness gaps across HYB-E6001?HYB-E6005.
  • SpaceApp Distributed Stack (oll4com/spaceapp):
    • OTLP Telemetry (#145) & Deterministic Replay (#150): Exported Temporal workflow/activity spans over OTLP and gated deterministic workflow replay on the time-skipping test server.
    • WebGL2 3D Memory Graph (#152) & Container Runtime (#144, #146, #148): Built a 50k-node 60 FPS WebGL2 renderer, rootless Podman support, and multi-stage runtime image budgets.
  • Protocol Security (EthereumCommonwealth/Dex223-contracts#114, useverdex/verdex#9):
    • Prevented canonical pool hijacking and ERC-223 router fund loss; hardened partial swap fills, options accounting, and multi-chain transaction allowances.

Popular repositories Loading

  1. ubiquity-dollar ubiquity-dollar Public

    Forked from ubiquity/ubiquity-dollar

    Ubiquity Dollar (UUSD) smart contracts and user interface.

    Solidity

  2. foundry-storage-check foundry-storage-check Public

    Forked from ubiquity/foundry-storage-check

    🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests!

    TypeScript

  3. Khanhtnq Khanhtnq Public

    Systems Architecture, Smart Contract Security & Open-Source Engineering

  4. spaceapp spaceapp Public

    Forked from oll4com/spaceapp

    Self-hosted workspace that runs several AI coding CLIs (OpenCode, Codex, Claude Code, Gemini) side by side in persistent rooms.

    TypeScript

  5. argon-web3-ai-benchmarks argon-web3-ai-benchmarks Public

    2026 Empirical Multi-Chain JSON-RPC Latency, Cloud GPU Compute & Data Infrastructure Benchmarks

  6. argon-multichain-security-sdk argon-multichain-security-sdk Public

    Open-Source Multi-Chain SPL & EVM Token Security Inspector SDK for Solana & Ethereum Developers

    Python