Skip to content
View minh-tg's full-sized avatar
🎯
Focusing
🎯
Focusing

Highlights

  • Pro

Block or report minh-tg

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. Markdown is supported. 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
minh-tg/README.md

Hi 👋, I'm Minh

Software Engineer · Computer Science PhD Student · Systems Tinkerer

Security · Distributed systems · Developer tools · Local AI

Born and raised in Germany with Vietnamese roots. Currently doing my PhD in Canada.

Available for part-time remote contracting · $70/hour

Rainbow cat

I like building things, taking systems apart, and finding out why something behaves differently from what I expected. Sometimes that leads to a useful tool. Sometimes it just leads to another project.

For my PhD, I'm working on distributed key management for storage systems. A lot of that means writing prototypes, running benchmarks, and seeing what happens when the system is under load or parts of it fail.

In my free time I've been messing with coding agents and their harnesses. Lately I've been looking into skills: do they actually make agents better at particular tasks, or are we sometimes just adding more instructions and hoping for the best?

There's also my homelab, which runs on Proxmox and regularly gives me something new to tinker with. I tend to try a tool, run into one annoying limitation, and start wondering whether I should build my own. This may explain the number of unfinished projects.



🔭 What I'm building (and what I've built)

💸 Arc Payables

agents Arc USDC Solidity Python

An accounts-payable agent I built for the Tameion Agents Hackathon. It can recommend payments, but it can't approve its own spending. A budget contract on-chain makes that decision instead. I'd rather not let an agent talk its way around a spending limit.


🔐 Distributed KMS

distributed systems storage security performance

Part of my PhD research. I'm comparing different ways to build key management services for distributed storage and testing how they behave.

Generating a key is usually the easy bit. Things get more interesting when requests pile up, a node disappears, or recovery doesn't go quite as planned.


🛠️ Ground Control

infrastructure control plane automation systems

A commissioned prototype for managing different hypervisor platforms through one interface. It supports Proxmox and Xen Orchestra, with room for additional providers.

The prototype is complete and has been handed off to the requesting organization's R&D team. It's not an open-source project.


🧠 Small-model coding agents

local AI agents LLMs benchmarking

I keep wondering how much of a coding agent's performance comes from the model itself and how much comes from everything around it.

I've been experimenting with smaller local models, tool use, context handling, and delegation. More recently, I've been trying to figure out which agent skills actually help and which ones just add noise.


🐧 Reproducible systems

NixOS Linux containers homelab

My NixOS configuration stopped being just a configuration a while ago. It's now where I experiment with multi-machine setups and self-hosted services.

I like being able to rebuild a machine without having to remember every little thing I changed six months ago. Whether I always manage that is another question.



🌱 Open source

I maintain Specht, and I also contribute fixes upstream when I run into problems. Sometimes the fix is tiny. Figuring out why it's needed usually isn't.

A few examples:


📚 Publications


⚙️ Toolbox

Go Python Linux NixOS Docker PostgreSQL Kubernetes Git C# .NET TypeScript JavaScript Vue.js React AWS

Most days I write Go or Python. The rest depends on what I'm trying to make work.


📊 GitHub

Minh's GitHub statistics

GitHub streak

GitHub contribution snake

🤝 Connect

If you're working on something interesting, have a weird bug, or just want to compare notes, feel free to reach out.

LinkedIn ORCID Discord: minh_tg


Probably working on another side project.

Pinned Loading

  1. xiufengsun/TokenTracker xiufengsun/TokenTracker Public

    Local-first AI token usage & cost tracker for 31 coding tools incl. Claude Code, Codex, Cursor, Gemini & DeepSeek Harness—with native apps. Never reads prompts.

    JavaScript 2k 203

  2. NousResearch/hermes-agent NousResearch/hermes-agent Public

    The agent that grows with you

    Python 252k 54.6k

  3. NixOS/nixpkgs NixOS/nixpkgs Public

    Nix Packages collection & NixOS

    Nix 26.4k 20.3k

  4. ilyamiro/serpantinum ilyamiro/serpantinum Public

    A shell for wayland compositors

    QML 7.3k 313

  5. specht specht Public

    Developer-first vulnerability management. Ingest SARIF/SBOM scans, gate CI/CD with smart waivers, and query via CLI, API, or MCP.

    Go 1

  6. arc-payables arc-payables Public

    Accounts payable on Arc: an agent that recommends payments it cannot authorize, under a budget enforced by a contract it cannot argue with.

    Python