Tim D

Principal Logotect & Founder at Axiosophic Systems

Colorado Springs, Colorado, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Tim D is a Principal Logotect, founder, and systems architect with eight years of hands-on experience designing crash-proof, self-hosted infrastructure and high-assurance Rust backends. He led site reliability and sidechain efforts at IOHK, improving production availability to 99.9%, migrating services to Kubernetes, and building CI/CD and IaC workflows for cost-efficient, declarative operations. As a long-time Nix contributor and NixOS release manager, he brings deep expertise in reproducible builds and deploy tooling—evidenced by impactful contributions to helix-editor (Nix integration and LSP fixes) and deploy-rs (CLI and threading robustness). Tim blends low-level engineering (memory-safe Rust, cryptographic consulting) with strategic sovereignty work, helping teams shed fragile dependencies in favor of robust self-hosted architectures. He’s as comfortable shipping fixes in a popular editor repo as advising CTOs on consensus and authentication design, and he often bridges the gap between academic rigor and production pragmatism. Based in Colorado Springs, he favors durable, auditable systems over brittle convenience.
code8 years of coding experience
job5 years of employment as a software developer
bookUnfinished Bachelor's, Computer Science, Unfinished Bachelor's, Computer Science at University of the People
stackoverflow-logo

Stackoverflow

Stats
742reputation
266kreached
14answers
1question
github-logo-circle

Github Skills (26)

tooling10
deploying10
text-editor10
nix10
command-line-interface10
flake10
development-tools10
f10
command-line10
rust10
developer-tools10
cli10
tree-sitter9
io9
language-server8

Programming languages (29)

CElmGoHTMLReasonTypeScriptShellCUE

Github contributions (5)

github-logo-circle
helix-editor/helix

Jun 2021 - Jan 2023

A post-modern modal text editor.
Role in this project:
userFull-stack Developer
Contributions:22 reviews, 15 commits, 13 PRs in 1 year 7 months
Contributions summary:Tim primarily worked on improving the Helix text editor, focusing on integrating and enhancing its Nix configuration and syntax highlighting capabilities. They implemented features for integrating Nix, including binary cache support and language injection, which enables better code completion and syntax highlighting for various languages. They also updated the Nix grammar and improved query rules, adding features such as language injection based on file extensions and shebang lines. Additionally, the user addressed a bug within the LSP transport, preventing panics.
modalvimkakounerusttext-editor
serokell/deploy-rs

Jul 2021 - Nov 2021

A simple multi-profile Nix-flake deploy tool.
Role in this project:
userAutomation Engineer / Build & Release Engineer
Contributions:7 commits, 4 PRs, 5 comments in 4 months
Contributions summary:Tim primarily focused on enhancing the deployment process and command-line interface of the Nix flake deployment tool. Their contributions involved modifying the `src/cli.rs` file to expose options and parameters for greater user control. Additionally, they made changes to the `src/deploy.rs` and build scripts, ensuring correct threading management. These changes contribute to the tool's configurability and reliability during the deployment process.
nix-flakedeploymentflakeflakesnixos
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.
Request Free Trial