king butcher
Senior Internet Protocol Engineer at Syndica
Kansas City Metropolitan Area United States
Summary
🤩
Rockstar🎓
Top SchoolKing Butcher is a Senior Internet Protocol Engineer with seven years of hands-on experience building low-level systems, scalable server-side software, and automation across startups and open-source projects. Based in the Kansas City area, he has shipped Windows drivers, contributed production-grade concurrency primitives to the Zig language (including spinlocks, mutex rework, and a ThreadParker), and driven protocol and performance work at companies like TigerBeetle and Syndica. He blends deep systems expertise—compilers, threading, and hardware-adjacent optimization—with pragmatic product engineering for reliable distributed systems. An active member of the Zig Software Foundation, he favors clean, efficient designs that make complex concurrency predictable and maintainable. Colleagues know him for pairing technical rigor with accessible communication, from streamed tech talks to developer-focused tooling.
7 years of coding experience
7 years of employment as a software developer
University of Central Missouri
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (11)
condition-variable10
zig10
thread10
spinlock10
mutex10
concurrency10
mux10
system-programming9
compiler7
lang7
compiler-compiler7
Programming languages (8)
Github contributions (5)
ziglang/zig
Nov 2019 - Apr 2022
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:105 reviews, 69 commits, 50 PRs in 2 years 6 months
Contributions summary:King contributed extensively to the `ziglang/zig` repository, focusing on the implementation and refinement of low-level concurrency primitives. Their commits primarily involve the creation, modification, and optimization of spinlocks, mutexes, and condition variables. The user also implemented a `ThreadParker` to manage thread parking operations and re-architected the `Mutex` implementation to utilize the `ThreadParker`.
purposecompilertoolchainzigprogramming-language
kprotty/zig
Nov 2019 - Jun 2022
robust, optimal, and maintainable programming language
Contributions:352 commits, 1 PR, 255 pushes in 2 years 6 months
compilerprogramming-languageinterpretermaintainableoptimal
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.