Carlos's Avatar

Carlos

@carlossantos.dev

Passionate Software Developer, Front-end Specialist, Developer @ SuperViz, Computer Science Stutend @ IFMA

70
Followers
183
Following
9
Posts
29.11.2023
Joined
Posts Following

Latest posts by Carlos @carlossantos.dev

The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap Large Language Models (LLMs) have emerged as a transformative AI paradigm, profoundly influencing daily life through their exceptional language understanding and contextual generation capabilities.…

Whether we like LLM coding or not, it is a reality already.

I think the most productive think to do at this point is to try figuring out how we can ensure that LLM coding is done in safe ways.

This might be the time for formal methods to shine.

01.04.2025 16:05 πŸ‘ 6 πŸ” 3 πŸ’¬ 1 πŸ“Œ 0
Preview
The Software Engineering Identity Crisis - Annie Vella Many of us became software engineers because we found our identity in building things. Not managing things. Not overseeing things. Building things. With our own hands, our own minds, our own code.…

The Software Engineering Identity Crisis - Annie Vella

24.03.2025 08:38 πŸ‘ 15 πŸ” 6 πŸ’¬ 3 πŸ“Œ 1
Preview
Thoughts about my life and the objective with this blog Reflecting on my journey as a developer, sharing knowledge, and establishing a learning framework to document my growth and give back to the tech community

www.carlossantos.dev/blog/2025-an...

23.03.2025 20:28 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
cmd/compile: slow escape analysis in large package in the typescript compiler Β· Issue #72815 Β· golang/go Go version go version go1.24.1 linux/amd64 Output of go env in your module/workspace: AR='ar' CC='gcc' CGO_CFLAGS='-O2 -g' CGO_CPPFLAGS='' CGO_CXXFLAGS='-O2 -g' CGO_ENABLED='1' CGO_FFLAGS='-O2 -g' ...

TypeScript team: rewrites compiler in Go.

Go community: what do you mean your new compiler takes more than a minute to compile? Unacceptable. Dishonorable even. We are so sorry for this sub par experience. Not how we do things around here.

Two days later: WIP 5x speedup.

HN: why pick Go anyway?

13.03.2025 00:53 πŸ‘ 670 πŸ” 126 πŸ’¬ 14 πŸ“Œ 12

EstΓ‘ na minha fila pra jogar depois de Black Myth

24.09.2024 22:44 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

Bluesky now has over 10 million users, and I was #2,234,691!

17.09.2024 13:21 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

AlguΓ©m em Joinville para o codecon summit? πŸ‘€

05.09.2024 15:02 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Nickk!

03.09.2024 01:50 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Felippe, e a rede que vocΓͺ estΓ‘ construindo?

03.09.2024 01:00 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Ah, eu tΓ΄ preso no finalzinho do capitulo 2.

02.09.2024 17:46 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Post image

Agora Γ© oficial: quinta Γ s 21:30 eu entrevistarei (em inglΓͺs) o @pfrazee.com, CTO aqui dessa rede, lΓ‘ no meu canal.

Salva o link aΓ­: www.youtube.com/watch?v=fuVA...

O que quer saber?

02.09.2024 16:01 πŸ‘ 681 πŸ” 180 πŸ’¬ 58 πŸ“Œ 57

TΓ΄ preso no SΓ‘bio do Vento Amarelo, onde cΓͺ tΓ‘?

02.09.2024 16:55 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Sem pornografia, sem bots, sem tigrinho.

Aparentemente aqui Γ© realmente o cΓ©u

02.09.2024 16:50 πŸ‘ 4 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0