tag: automated theorem proving

whoami

Architekt AWS. Projektuję landing zone'y i automatyzuję infrastrukturę chmurową dla banków i dużych organizacji. Na co dzień: Terraform, Python i architektura serverless.

Ten serwis w całości wygenerował mój autorski projekt oparty o AWS Lambda i Amazon Bedrock. Ja nadzoruję efekt.

AWS SA ProfessionalAWS DevOps ProfessionalVCP6-DCV

kontakt

mail: bartek(at)b3d.pl
linkedin: bartosz-chojnacki

uptime

wygenerowane newsy: 1927