Webtagr - Sumário de Notícias de Tecnologia

Animando Rosetas em Ada: Um Tutorial Curto

2025-09-02

Este tutorial demonstra as capacidades da linguagem Ada criando um programa que gera rosetas animadas (hipotrocóides) como arquivos SVG. Ele utiliza recursos do Ada 2022 e aproveita o Alire, o gerenciador de pacotes do Ada, para gerenciamento de projetos. O tutorial destaca a legibilidade, a tipagem forte e a segurança do Ada, mostrando seu uso em computação geométrica e renderização SVG. O autor enfatiza a adequação do Ada como uma linguagem moderna e de propósito geral, apesar de sua reputação em aplicações críticas de segurança.

NVIDIA muda para verificação formal com SPARK: segurança aprimorada, sem perda de desempenho

2025-02-13

Diante das crescentes ameaças de segurança cibernética, a equipe de segurança da NVIDIA abandonou os testes tradicionais e adotou a verificação formal SPARK. Um projeto de prova de conceito converteu com sucesso código C sensível à segurança para SPARK em apenas três meses, demonstrando segurança aprimorada sem perda de desempenho. Atualmente, mais de cinquenta desenvolvedores da NVIDIA são treinados em SPARK, com inúmeros produtos sendo lançados com componentes SPARK. Este estudo de caso destaca a adoção bem-sucedida da verificação formal, oferecendo lições valiosas para outras organizações que buscam segurança aprimorada.

Prêmios Ada/SPARK Crate of the Year Anunciados!

2025-02-09

Os resultados dos prêmios Ada/SPARK Crate of the Year 2024 foram anunciados! Lionel Draghi venceu o prêmio Ada Crate of the Year com o BBT, uma ferramenta de linha de comando que utiliza especificações de comportamento em Markdown fáceis de entender para testes automatizados. Kevin Chadwick levou para casa o prêmio SPARK Crate of the Year com o elogs, uma biblioteca de log com segurança de memória (certificada em Nível Prata SPARK) que permite aos usuários especificar o comprimento máximo da mensagem. Por fim, o interpretador Lisp incorporável de Brent Seidel, bbs_lisp, venceu o prêmio Embedded Crate of the Year, mostrando os pontos fortes do Ada em sistemas embarcados.