Austin Seipp
Overengineer at East River Source Control
Austin, Texas, United States
Summary
🤩
Rockstar🎓
Top SchoolAustin Seipp is a versatile software engineer with 18 years of experience focused on programming languages, compilers, cryptography, hardware design, and low-level systems. He is one of the rare commercial Haskell specialists, having used Haskell for nearly all of his recent projects and served as lead release engineer/maintainer for the Glasgow Haskell Compiler for roughly three years. His work spans FPGA/RTL design via the Clash compiler, distributed systems (notably contributions to FoundationDB), VLSI tooling, and security research, reflecting a comfort moving between high-level abstractions and silicon-near engineering. Austin is experienced in shepherding large open-source projects and communities, bringing both release-infrastructure and governance insight from roles like Haskell Prime committee membership. He combines deep technical craftsmanship with practical build/CI and packaging expertise, often addressing cross-platform build and performance issues that quietly accelerate developer velocity. Based in Austin, Texas, he’s open to interesting remote opportunities that leverage his unusual blend of formal methods, compiler internals, and hardware-software co-design.
18 years of coding experience
11 years of employment as a software developer
BS Computer Science, BS Computer Science at University of Houston
English
Github Skills (43)
foundationdb10
debugging10
verilog10
debug10
c-language10
multiplatform10
back-end-development10
nix10
scripting10
compiler-development10
bash10
cross-platform10
cicd10
type-system10
automation10
Programming languages (26)
Github contributions (5)
B-Lang-org/bsc
Feb 2020 - Feb 2021
Bluespec Compiler (BSC)
Role in this project:
Backend & Automation Engineer
Backend & Automation EngineerContributions:17 commits, 20 PRs, 55 comments in 1 year
Contributions summary:Austin primarily contributed to the Bluespec compiler (BSC) project by addressing build system and configuration issues, focusing on cross-platform compatibility and simplifying dependencies. Their work involved modifying shell scripts and build files to accommodate diverse operating system environments, specifically addressing issues with shebangs and dependencies on external tools like `tclsh`. The user also made changes to remove deprecated workarounds for specific compiler implementations and cleaned up integration with external tools, enhancing the project's maintainability and portability.
bsccompilerelectrical-engineeringhardwarebluespec
jj-vcs/jj
May 2023 - Apr 2025
A Git-compatible VCS that is both simple and powerful
Role in this project:Back-end & DevOps Engineer
Back-end & DevOps EngineerContributions:1 release, 588 reviews, 338 PRs in 1 year 10 months
Contributions summary:Austin primarily contributes to the build and infrastructure aspects of the project. They optimized compile times within the CI/CD pipelines, specifically for Nix builds, by reducing debug information and enabling incremental compilation. Additionally, they implemented enhancements to the Nix packaging, including enabling watchman support and utilizing mold for faster linking. They also addressed configuration issues and performed code refactoring to remove outdated elements.
hacklangvcsversion-controlsubversiongit-client
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.