Nícolas Roberto de Queiroz
Software Engineer in Brasília.
Software developer with around 4 years of backend experience in Python, Django, PostgreSQL, and Google Cloud Platform. I build ERP modules, services consumed over REST APIs, and asynchronous integrations for the digital ecosystem of Coco Bambu.
Now 2024 – Atual
Software Developer
Coco Bambu
Backend work on the internal products of a chain with more than 90 stores. The same challenge shows up in every project: ship a new capability without duplicating code and without stopping what is already in production, so almost everything becomes a decoupled, configurable service consumed over an API.
Day to day
From the blog
See all postsWhen building it yourself gets cheaper than buying it
A McKinsey survey found nearly a third of companies skipped buying software because AI coding agents let them build the same thing in-house.
Chat is just the laziest interface you can build for an AI agent
The 'Beyond the Chatbox' framework argues for task-specific screens and visible reasoning over generic chat, predicting 40% of enterprise apps will have agents by end of 2026.
A machine-checked Fermat: what it reminds me about my own code
Anthropic says Claude translated an existing proof of Fermat's Last Theorem into Lean and got it fully machine-verified in 11 days.
Contact
Email is the fastest way to reach me.
- Phone
- (61) 98618-0872
- Location
- Brasília, Distrito Federal, Brasil
- GitHub
- github.com/Nicolas-Queiroz