Thomas Dietert
Senior Software Engineer at Nectry
Lafayette, Colorado, United States
Summary
👤
Senior🎓
Top SchoolThomas Dietert is a senior software engineer with 12 years of experience spanning compilers, programming languages, ML infrastructure, and distributed systems, now focused on agentic software engineering that orchestrates LLMs to reason about and generate type-safe code. He’s helped build compiler toolchains and hardware/software co-design platforms at Groq, Luminous Computing, and Rain, and has applied that low-level systems rigor to higher-level LLM orchestration and no-code IDEs at Nectry and Mercury. A functional programming enthusiast and generalist engineer, he blends theory-driven language and compiler design with pragmatic product work—from BootROMs and MLIR optimization passes to multi-phase agent pipelines that spawn sub-agents. As a technical advisor and founding member of AI Enablement teams, he designs AI tool usage and product agents to accelerate software delivery, reflecting a belief that we’re entering a software engineering renaissance with transformative, hard-to-predict outcomes. Based in Lafayette, Colorado, he brings a rare combination of hardware-aware compilation expertise and hands-on experience building agentic developer tooling.
12 years of coding experience
11 years of employment as a software developer
Bachelor's Degree, Computer Science, Bachelor's Degree, Computer Science at University of South Florida
English
Stackoverflow
61reputation
3kreached
1answer
0questions
Github Skills (75)
youtube10
pytorch10
cloud-haskell9
currency9
compiler9
haskell9
raft-consensus-algorithm9
non-interactive8
spock7
dsl7
distributed-systems7
mocking7
trust7
pip6
servant6
Programming languages (13)
Github contributions (5)
adjoint-io/raft
Nov 2018 - Mar 2019
Raft Consensus Algorithm
Contributions:3 releases, 114 PRs, 195 pushes in 4 months
raft-consensus-algorithm
adjoint-io/nanocoin
Aug 2017 - Mar 2018
Contributions:28 PRs, 50 pushes, 8 branches in 6 months
toycurrency
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.