Edward Amsden
Staff Software Engineer at Temporal Technologies
Tyler, Texas, United States
Summary
🤩
Rockstar🎓
Top SchoolEdward Amsden is a Staff Software Engineer with 11 years of experience specializing in correctness-critical distributed systems, consensus protocols, and systems programming in Rust, Haskell, and C. He has repeatedly owned end-to-end production systems where downtime, forks, or state corruption were unacceptable—most notably as the architectural owner of a Layer-1 proof-of-work blockchain responsible for consensus correctness and safe upgrades under adversarial conditions. Edward combines hands-on runtime and DevOps work (contributions to projects like haskell.nix and Urbit Docker tooling) with product leadership roles including CTO at a startup, demonstrating both operational rigor and strategic technical direction. He is experienced in building long-lived, safety-critical control systems over unreliable networks and in shipping secure build and deployment infrastructure across diverse platforms, including cross-compilation and CI/CD automation. Based in Tyler, Texas, he prefers small, high-impact teams and long-horizon system evolvability over quick wins, making trade-offs that prioritize survivability in adversarial environments.
11 years of coding experience
11 years of employment as a software developer
Masters, Computer Science, Masters, Computer Science at Rochester Institute of TechnologyComputer Science, Computer Science at Indiana University Bloomington
Github Skills (23)
s-expressions10
github-ci10
docker10
nix10
containerization10
dockers10
cicd10
expression10
build-automation10
build-tools10
githubaction-workflow10
haskell10
crossbuild9
bash9
urbit9
Programming languages (15)
Github contributions (5)
input-output-hk/haskell.nix
May 2019 - Jan 2020
Alternative Haskell Infrastructure for Nixpkgs
Role in this project:
Back-end Developer & DevOps Engineer
Back-end Developer & DevOps EngineerContributions:9 commits, 13 PRs, 42 comments in 9 months
Contributions summary:Edward contributed to the infrastructure of the project, focusing on build and deployment processes using Nix and related tooling. They added features like shell hooks and functionalities to build stack projects, demonstrating a deep understanding of build systems. Additionally, the user fixed a critical bug related to component builds and modified the LLVM versions, further highlighting their ability to maintain and improve the project's core build infrastructure. They also made changes related to Aarch32 cross-compilation, improving the overall build process.
ghcnix-expressionshaskellinfrastructurenixos
urbit/urbit
Jan 2021 - Sep 2022
An operating function
Role in this project:DevOps Engineer
DevOps EngineerContributions:19 reviews, 37 commits, 22 PRs in 1 year 8 months
Contributions summary:Edward primarily focused on building and deploying Docker images for the Urbit project. Their contributions included creating a 'smart' Docker image capable of loading keyfiles or piers and booting ships. They also implemented CI/CD integration by modifying the build workflow to build and push the Docker image to Docker Hub upon tag creation. Furthermore, they enhanced the Docker image's functionality, ensuring it can run correctly in interactive and non-interactive environments.
nockrustoperating-systemp2phoon
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.