____      _            _   _
|  _ \ ___| |_ _ __ ___| \ | | _____      _____
| |_) / _ \ __| '__/ _ \  \| |/ _ \ \ /\ / / __|
|  _ <  __/ |_| | | (_) | |\  |  __/\ V  V /\__ \
|_| \_\___|\__|_|  \___/|_| \_|\___| \_/\_/ |___/
            

grep -r "memoria" /noticias/

• O que Vale me ensinou sobre Tipos Lineares, Empréstimos e Segurança de Memória
  Verdagon (Vale lang + memory safety) [email protected] (Evan Ovadia) 01/06/2023 13:04
  O autor Evan Ovadia traz uma reflexão interessante sobre a relação entre a segurança de memória e os tipos lineares, utilizando uma analogia com hieróglifos egípcios. A descoberta de 'verdades ocultas' através do modelo de aliasing linear do Vale é como decifrar um código que ninguém sabia que era valioso. Isso tudo nos faz pensar se a busca pela segurança de memória pode estar mais relacionada a um trabalho de arqueólogo do que um simples exercício de programação. Afinal, quem diria que a segurança de memória poderia ser tão intrigante?
  #desenvolvimento #backend #seguranca #arquitetura #memoria
  https://verdagon.dev/blog/linear-types-borrowing