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.

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

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...

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?

Está na minha fila pra jogar depois de Black Myth

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

Alguém em Joinville para o codecon summit? 👀

Nickk!

Felippe, e a rede que você está construindo?

Ah, eu tô preso no finalzinho do capitulo 2.

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?

Tô preso no Sábio do Vento Amarelo, onde cê tá?

Sem pornografia, sem bots, sem tigrinho.

Aparentemente aqui é realmente o céu