Henrik Laxhuber
Co-Founder at Sigma Squared Society
New York City Metropolitan Area United States
Summary
👤
Senior🎓
Top SchoolHenrik Laxhuber is a Co-Founder and software engineer with 9 years of experience building frontier AI and developer tooling, currently leading Rome AI to apply advanced models to enterprise supply chains. A former founder of Flike and an ETH Zürich computer science alumnus with Y Combinator experience, he blends product-building instincts with low-level engineering rigor. Henrik contributes to prominent open-source projects such as Rust’s Cargo—improving build-script linker handling for cross-compilation—and has deep debugging and full‑stack chops from work on Doom Emacs. He pairs practical systems expertise with research-minded curiosity, evidenced by prior machine‑learning research on diagnosing pediatric oculomotor diseases. Based in the New York City area, he’s equally at home refactoring build pipelines as he is sailing or arguing in favor of breaking things to learn how they work.
9 years of coding experience
2 years of employment as a software developer
Y CombinatorBachelor of Science - BS Computer Science, Bachelor of Science - BS Computer Science at ETH Zürich
English, German
Github Skills (15)
testing10
package-manager-tool10
debugging10
debug10
package-manager10
cargo10
rust10
emacs10
emacs-lisp10
build-automation9
crossbuild9
cross-compiling9
configurations8
configuration-file8
environment-variables8
Programming languages (13)
Github contributions (5)
rust-lang/cargo
Apr 2018 - Apr 2018
The Rust package manager
Role in this project:
Backend Developer & Test Automation Engineer
Backend Developer & Test Automation EngineerContributions:8 commits, 4 comments in 4 days
Contributions summary:Henrik primarily contributed to the Cargo package manager by modifying and testing build script functionality. They introduced and refined the `RUSTC_LINKER` environment variable, enabling build scripts to access the linker path. The user implemented tests to verify the correct behavior of this environment variable, including cross-compilation scenarios and adjustments for Windows hosts. Their work ensured that Cargo correctly passes linker information to build scripts, improving the build process for Rust projects, especially in cross-compilation contexts.
rustpackage-managercargo
doomemacs/doomemacs
Feb 2021 - Mar 2021
An Emacs framework for the stubborn martian hacker
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:5 commits, 1 PR, 3 comments in 1 day
Contributions summary:Henrik primarily focused on debugging and enhancing the Emacs debugger functionality within the Doom Emacs framework. Their contributions include fixing issues related to DAP-based debuggers, updating the debugger configuration storage, and handling potential edge cases in the debugger's completion process. Additionally, the user made minor adjustments to the `packages.el` file to incorporate a missing dependency and removed a dependency on the `dash` library, improving code maintainability. The user's work directly addresses core debugging features in the framework.
vimemacs-configurationmartianemacsemacs-lsp
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.