Skip to content
View NasitSony's full-sized avatar

Block or report NasitSony

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
nasitsony/README.md

Hi, I'm Nasit Sony 👋

Distributed Systems & AI Infrastructure Engineer

I build correctness-first distributed systems—from storage engines and consensus protocols to AI orchestration platforms.

My work focuses on one question:

How can distributed systems remain correct under crashes, retries, network delays, and adversarial failures?

Featured Projects

  • VeriFlow — Kubernetes-native AI workload orchestrator with GPU-aware scheduling.
  • VeriProtocol — Scheduler-aware framework for consensus experimentation and protocol evaluation.
  • VeriStore — Crash-consistent storage engine with WAL, recovery, snapshots, and replication.
  • LLM Serving Cache — Cache control plane for efficient LLM inference.
  • SmartSearch — Fault-tolerant semantic ingestion and retrieval platform.

Open Source

kubernetes-sigs/kueue

Kubernetes batch scheduling system. Eight merged PRs.

  • #14954 — concurrent admission cleanup. Found and fixed a quota leak where variant workloads kept their reservations after a cluster queue's policy no longer applied. Backported to release-0.19 and release-0.20.
  • #14997 — MultiKueue: reset the admission check when a remote workload finishes as OwnerNotFound, rather than propagating a worker-side orphan-detection race to the manager.
  • #15619, #15142 — integration test infrastructure for the StatefulSet and LeaderWorkerSet integrations, including wiring the generic pod integration into a suite that had never enabled it.
  • #12795 — fixed errors being logged but not propagated in the populator reconciler; cherry-picked to release-0.17.
  • #14951 — config validation for qualified names.

In review: KEP-14672 — opt-in deletion of finished Job owners after a retention period. Design and implementation.

Reported: #15838 (flavor removal evicts running workloads), #16736 (a job can inherit a deleted predecessor's finished workload and escape quota management).

tikv/tikv

  • #19798 — added timeout enforcement to async_snapshot, which could otherwise hang indefinitely if the raftstore never invoked the callback.

temporalio

Three merged PRs to the Temporal CLI.

Research Interests

  • Distributed Systems
  • Consensus Protocols
  • Storage Systems
  • AI Infrastructure
  • Reliability Engineering

Tech Stack

Languages: Rust, Go, Java, C++, Python

Infrastructure: Kubernetes, Kafka, PostgreSQL, Docker

Distributed Systems: Consensus, WAL, Replication, Scheduling, Recovery

📚 Google Scholar: https://scholar.google.com/citations?user=mBIQ1-0AAAAJ&hl=en

🔗 LinkedIn: https://www.linkedin.com/in/nasitsony

Pinned Loading

  1. veriflow-control-plane veriflow-control-plane Public

    Checkpoint-aware, fault-tolerant Kubernetes job orchestrator for AI training workloads

    Go

  2. kubernetes-sigs/kueue kubernetes-sigs/kueue Public

    🚦 Kubernetes-native Job Queueing and Scheduling

    Go 3.1k 890

  3. VeriStore VeriStore Public

    Correctness-first C++ storage engine with WAL durability, crash recovery, Raft replication, and a minimal S3-style object store.

    C++

  4. SmartSearch SmartSearch Public

    Production-style semantic search and RAG backend built as a distributed system. Features async ingestion (Kafka), embedding pipelines, pgvector search, and strong reliability guarantees — including…

    Java

  5. llm-serving-cache llm-serving-cache Public

    Distributed inference cache using VeriStore

    C++

  6. veriprotocol veriprotocol Public

    Rust