bartek@aws: ~/news

$ whoami

Bartek Chojnacki

$ AWS Architect · DevOps · Cloud

idea news linkedin instagram facebook contactPL

tag: LLM coordination

2026-11-12Kiro's MAESTRO Makes Formal Proof Development Way Less Painful

whoami

AWS Architect. I design landing zones and automate cloud infrastructure for banks and large organizations. My daily tools: Terraform, Python and serverless architecture.

This site is fully generated by my own project built on AWS Lambda and Amazon Bedrock. I supervise the results.

AWS SA ProfessionalAWS DevOps ProfessionalVCP6-DCV

contact

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

tags

AWS (521)Amazon Bedrock (277)machine learning (156)AI agents (114)AWS Lambda (76)security (68)Amazon EC2 (59)Amazon Bedrock AgentCore (54)Amazon Quick (54)serverless (54)Apache Iceberg (53)EC2 (50)AWS GovCloud (48)Amazon RDS (47)AgentCore (46)data engineering (44)Amazon SageMaker (41)AWS Glue (41)Amazon Redshift (39)cloud security (39)

› more (3541)

uptime

generated news: 1929

© Bartek Chojnacki · Powered by OpenSource