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 a restaurant chain.
Now 2024 – Atual
Software Developer
[object Object]
Custom ERP modules for HR management across a chain with a large number of units.
Day to day
From the blog
See all postsChat 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.
When 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.
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