Carlos
@carlossantos.dev
Passionate Software Developer, Front-end Specialist, Developer @ SuperViz, Computer Science Stutend @ IFMA
Reposted by Carlos
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.
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 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.…
arxiv.org
April 1, 2025 at 4:05 PM
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.
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.
Reposted by Carlos
The Software Engineering Identity Crisis - Annie Vella
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.…
annievella.com
March 24, 2025 at 8:38 AM
The Software Engineering Identity Crisis - Annie Vella
Reposted by Carlos
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?
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?
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' ...
github.com
March 13, 2025 at 12:53 AM
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?
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?
Bluesky now has over 10 million users, and I was #2,234,691!
September 17, 2024 at 1:21 PM
Bluesky now has over 10 million users, and I was #2,234,691!
Alguém em Joinville para o codecon summit? 👀
September 5, 2024 at 3:02 PM
Alguém em Joinville para o codecon summit? 👀
Reposted by Carlos
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?
Salva o link aí: www.youtube.com/watch?v=fuVA...
O que quer saber?
September 2, 2024 at 4:01 PM
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?
Salva o link aí: www.youtube.com/watch?v=fuVA...
O que quer saber?