Tiernan Lindauer
Software Programmer at Brokk, Inc.
Austin, Texas Metropolitan Area United States
Summary
🤩
Rockstar🎓
Top SchoolTiernan Lindauer is a software engineer and founder with nine years of hands-on experience blending AI, machine learning, and systems engineering, currently based in the Austin metro area. A dual Computer Science and Physics graduate from Texas A&M with a 4.0 GPA, he built LindauerAI’s Gyro—an educational AI that pairs Socratic personalization with citation-aware responses and watermarking for academic integrity—and is now exiting the company. His internships at DataStax produced production-facing vector search work, GPU-accelerated product quantization, and a best-in-class OSS vector DB effort, while open-source contributions span practical UX and Git workflow improvements in high-profile repos like GitHub Desktop and the GitHub CLI. He holds multiple patents on ML training optimization and education-focused AI systems, and is driven by hard technical problems with a long-term interest in advancing intelligence and space exploration. An unexpected detail: beyond algorithms, he’s deeply motivated by pedagogy—designing systems that both teach and detect AI-generated work.
9 years of coding experience
1 year of employment as a software developer
Bachelor of Science - BS, Computer Science & Physics Dual Degree, 4.0, Bachelor of Science - BS, Computer Science & Physics Dual Degree, 4.0 at Texas A&M UniversityENGINEERING, ENGINEERING at Vista Ridge High School
Github Skills (20)
git10
electron10
typescript10
github-desktop10
ui-design10
uid10
go10
front-end-development10
typescript-types10
typescripts10
react10
cli10
command-line-interface9
github9
command-line9
Programming languages (7)
Github contributions (5)
desktop/desktop
Jul 2017 - Feb 2020
Focus on what matters instead of fighting with Git.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:4 reviews, 196 commits, 58 PRs in 2 years 7 months
Contributions summary:Tiernan primarily contributed to the `desktop/desktop` repository by integrating and modifying the application's core functionality, including refactoring app store, modifying menus, and implementing authentication messaging updates. The contributions also involve UI updates, such as adding keyboard shortcuts to the Help menu and changes to the "No changes" screen. Further, the commits indicate the user worked with Git-related logic and workflows, given the changes in the `dispatcher.ts` file.
fightingelectronmattersgithub-desktoptypescript
cli/cli
Nov 2019 - Apr 2020
GitHub’s official command line tool
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:18 commits, 12 PRs, 2 pushes in 4 months
Contributions summary:Tiernan primarily focused on enhancing the user interface and improving the overall user experience within the `cli/cli` repository. They consistently updated the user interface by changing text labels and button names, as well as implementing other improvements. Moreover, the user addressed consistency issues by standardizing the use of "browser" and "pull request" throughout the project. The user corrected typos.
golangcommand-line-toolgocommand-linecli
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.