|
Principal Software Engineer & Dev Lead at GDIT MS Computer Science (AI/ML) Currently focused on:
|
TEST FIRST, SHIP CONFIDENT
|
|
Rust-backed DI for Python PyO3 · Zero-ceremony Clean Architecture Cross-platform builds |
Functional Validation
Maybe Monad · Railway argparse · Click · Typer Pydantic integration |
Mutation Testing Fast-first approach Let the gremlins loose See which ones survive |
I build tools that make testing unavoidable, fast, and delightful.
|
Enforcing Google's hermetic testing principles
|
Fast-first mutation testing for pytest 🧬 Mutate your code 👹 Release the gremlins 🎯 Find weak tests |
Languages
| Primary | Secondary | Learning |
|---|---|---|
 |
 |
 |
 |
 |
Python Ecosystem
| Frameworks | FastAPI · Pydantic · SQLAlchemy |
| Testing | pytest · hypothesis · pytest-gremlins |
| Packaging | uv · Poetry · pip-tools |
| Type Safety | mypy · Pydantic · beartype |
Infrastructure
| Cloud | AWS (primary) · Lambda · ECS · S3 |
| IaC | AWS CDK · CDK8S · CloudFormation |
| Containers | Docker · Kubernetes · EKS |
| CI/CD | GitHub Actions · CodePipeline |
AI/ML
| Frameworks | PyTorch · TensorFlow · scikit-learn |
| Tools | Jupyter · pandas · numpy |
| Focus | Applied ML · MLOps · Model serving |
Bootstrap production-ready projects in seconds:
| Template | Purpose |
|---|---|
| cookiecutter-python-library | Modern Python libs with Poetry, pre-commit, CI/CD |
| cookiecutter-backend-service-aws | AWS CDK templates for Python services |
"The best way to predict the future is to build it."
Let's connect: mikelane@gmail.com · linkedin.com/in/lanemik