Webtagr - Sumário de Notícias de Tecnologia

Tags populares：

Virtualização segurança DNS verificação formal análise de alcance IA erros do compilador conflito de macro extensão web framework de desenvolvimento Gráficos de Bitmap Todos os tags

Git Add Interativo em Go: Funcionalidades Aprimoradas

2025-05-30

Git Add Interativo em Go: Funcionalidades Aprimoradas

Esta implementação em Go da funcionalidade de adição interativa do Git (`git add -i`, `git add -p`) oferece uma experiência de usuário superior. Além de replicar os recursos do script Perl original, ela introduz adições poderosas: filtragem global com regex, divisão automática de hunk e navegação e pesquisa aprimoradas. Pode ser instalado como um comando Git e inclui testes unitários abrangentes. Aproveite o controle aprimorado sobre a organização de suas alterações!

(github.com)

Desenvolvimento

Gatos conseguem sentir a diferença: como a olfação felina distingue entre humanos

2025-05-30

Gatos conseguem sentir a diferença: como a olfação felina distingue entre humanos

Um novo estudo revela que gatos domésticos usam a olfação para diferenciar entre humanos familiares (donos) e desconhecidos. Os gatos passaram significativamente mais tempo cheirando o odor de uma pessoa desconhecida, exibindo lateralização no uso das narinas semelhante a outros animais que respondem a odores novos. O estudo também encontrou correlações entre traços de personalidade felinos e comportamento de farejar, mas nenhuma associação com a força do vínculo gato-dono. Esta pesquisa ilumina a complexidade da cognição social olfativa felina, oferecendo novos insights sobre as interações gato-humano.

(journals.plos.org)

IA gatos olfação cognição social

AMD abandona drivers proprietários OpenGL e Vulkan para Radeon Software no Linux

2025-05-30

A AMD anunciou que removerá os drivers proprietários OpenGL e Vulkan de sua próxima versão do Radeon Software para Linux 25.20, adotando totalmente os drivers open-source baseados em Mesa. Isso significa que o driver RadeonSI OpenGL e o driver Vulkan proprietário (baseado em AMDVLK) não serão mais incluídos. Essa mudança é considerada um passo significativo em direção ao open-source pela AMD e marca o suporte oficial para o driver Mesa RADV Vulkan. O RADV há muito tempo é o driver Radeon Vulkan de fato nas distribuições Linux, conhecido por seu desempenho e estabilidade. Isso simplifica o gerenciamento de drivers e promete uma experiência gráfica mais consistente e estável para os usuários do Linux.

(www.phoronix.com)

Hardware Driver Open Source

Ugly Gerry: Uma fonte para protestar contra o gerrymandering

2025-05-30

Ugly Gerry: Uma fonte para protestar contra o gerrymandering

Ugly Gerry é uma fonte tipográfica cujas letras têm o formato de distritos congrecionais dos EUA, um protesto contra o gerrymandering. Criada por Ben Doessel e James Lee para o RepresentUs, o design intencionalmente grotesco da fonte visa destacar a injustiça das linhas de distrito manipuladas. Embora tenha sido chamada de "a fonte mais revoltante do mundo", seu design provocativo lhe rendeu um prêmio ADC 2020 para tipografia, chamando com sucesso a atenção para uma questão política crucial.

(en.wikipedia.org)

Design

Míssil QuadStar da Lockheed Martin: Um sucessor do Stinger?

2025-05-30

Míssil QuadStar da Lockheed Martin: Um sucessor do Stinger?

A Lockheed Martin está desenvolvendo o míssil terra-ar QuadStar como substituto para o antigo Stinger. Aproveitando a tecnologia de seu interceptor Miniature Hit-to-Kill (MHTK), particularmente a tecnologia de busca avançada, o QuadStar possui um design mais aerodinamicamente eficiente. Com o objetivo de manter o mesmo fator de forma que o Stinger, oferecendo alcance e letalidade aumentados, ele é projetado para engajar efetivamente vários drones e aeronaves tripuladas. O QuadStar apresenta um design modular de arquitetura aberta para fácil integração de novas capacidades e utiliza IA e aprendizado de máquina para reconhecimento e rastreamento aprimorados de alvos. Sua nova montagem de lançamento de comando (CLA) melhora significativamente as capacidades de direcionamento. Embora esteja competindo com a Raytheon, o baixo custo, o alto desempenho e a facilidade de fabricação do QuadStar o colocam como um forte candidato a se tornar o interceptor de curto alcance de próxima geração do Exército dos EUA nos próximos anos.

(www.twz.com)

Tecnologia

Deploy Monolítico de Rust/Axum e Svelte/SvelteKit: Uma Abordagem Elegante?

2025-05-30

Este artigo apresenta uma abordagem não convencional para implantar SPAs em desenvolvimento web: incorporar o SPA compilado diretamente no binário do backend. Isso simplifica a implantação (único binário) e o código (sem tratamento CORS), mas aumenta o tamanho do binário, o uso de memória e reduz ligeiramente a experiência do desenvolvedor (sem recarregamento a quente). O autor usa Rust/Axum e Svelte/SvelteKit para demonstrar, detalhando uma configuração de monorepo com a ferramenta de build Moon e usando a biblioteca rust-embed para incorporar os artefatos de build do frontend. O resultado é um SPA simples que busca dados e navega dentro do backend.

(nguyenhuythanh.com)

Desenvolvimento

Como a AWS usa métodos formais para construir serviços confiáveis

2025-05-30

A Amazon Web Services (AWS) utiliza uma abordagem multifacetada para construir serviços confiáveis, utilizando métodos formais, desde o TLA+ até a linguagem P mais recente, juntamente com técnicas leves como testes baseados em propriedades, fuzzing e injeção de falhas. Esses métodos não apenas ajudam a AWS a identificar e eliminar bugs sutis no início do desenvolvimento, aumentando a velocidade e eficiência do desenvolvimento, mas também fornecem uma base robusta para otimização de desempenho. O artigo também explora desafios como a metaestabilidade e oportunidades futuras usando LLMs e assistentes de IA para reduzir a barreira de entrada para métodos formais.

(cacm.acm.org)

Tecnologia

IA Generativa: Uma Ameaça à Criatividade Humana?

2025-05-30

IA Generativa: Uma Ameaça à Criatividade Humana?

A IA generativa, construída sobre uma base de roubo, está nos guiando para um futuro desumanizado. Embora reconhecendo os méritos da aprendizagem de máquina, os autores argumentam que a trajetória atual da IA generativa representa uma ameaça moral significativa ao bem mais valioso da humanidade: a criatividade. Eles escolheram um caminho diferente, priorizando a criatividade humana em vez da busca cega pela tecnologia, mesmo que isso signifique potencialmente ficar para trás. Essa estrada menos percorrida, acreditam eles, é mais emocionante e, em última análise, mais frutífera para sua comunidade.

(procreate.com)

IA Criatividade Humana

Eval em Racket: Uma Ferramenta Poderosa, Mas Use com Cautela

2025-05-30

Este artigo aprofunda as vantagens e desvantagens da função `eval` em linguagens dinâmicas, particularmente seu uso em Racket. Usando analogias vívidas, o autor compara `eval` a repassar instruções para outra pessoa, destacando como seu uso aumenta a complexidade do programa e reduz a compreensibilidade devido à tradução de linguagem e dependências ambientais. Embora reconhecendo que `eval` é às vezes necessário, como quando se interage com sistemas externos, o autor enfatiza a necessidade de uso cauteloso e definição clara de contexto. Em Racket, o comportamento de `eval` é fortemente influenciado pelo ambiente de execução, exigindo um gerenciamento cuidadoso do namespace. Em última análise, `eval` é uma ferramenta poderosa, mas que exige aplicação cuidadosa e considerada.

(blog.racket-lang.org)

Desenvolvimento linguagens dinâmicas

O Espelho da IA: Como a Aprendizagem de Máquina Ilumina a Cognição Humana

2025-05-30

O Espelho da IA: Como a Aprendizagem de Máquina Ilumina a Cognição Humana

Um livro experimental, *O Algoritmo Humano*, escrito autonomamente por IA, explora os paralelos surpreendentes entre inteligência artificial e humana. Ao analisar os desafios dos Modelos de Linguagem Grandes (LLMs), como 'alucinações' e 'sobreajuste', o livro revela verdades negligenciadas sobre a cognição e a comunicação humanas. Ele destaca a discrepância entre nossas exigências rigorosas para a IA e nossa tolerância a nossos próprios vieses cognitivos. O livro não se trata de tornar a IA mais humana, mas de usar a IA como um espelho para ajudar os humanos a se entenderem melhor, melhorando as habilidades de comunicação e a autoconsciência.

(github.com)

IA

Deepfakes: Borrando a Linha Entre Realidade e Fabricação

2025-05-30

Deepfakes: Borrando a Linha Entre Realidade e Fabricação

Desde as primeiras manipulações de fotos de Abraham Lincoln até os "deepfakes" gerados por IA de hoje, a tecnologia de falsificação de imagens evoluiu dramaticamente. As ferramentas de IA democratizam a falsificação, tornando a criação de imagens falsas convincentes sem esforço. Essas falsificações geradas por IA não possuem referências no mundo real, tornando-as incrivelmente difíceis de rastrear e levando a preocupações sobre a disseminação de mentiras e propaganda nas mídias sociais. Deepfakes foram usados como armas na política, usados para espalhar desinformação durante as eleições e semear discórdia. Os especialistas temem que, à medida que as pessoas se acostumam com deepfakes, comecemos a duvidar da veracidade de todas as informações, levando potencialmente a um colapso da confiança e à erosão da democracia. O artigo argumenta que, em uma era de sobrecarga de informações, as pessoas confiam em mitos e intuição em vez de razão, tornando os deepfakes mais fáceis de aceitar e espalhar.

(behavioralscientist.org)

IA

Índices Ponteados do OrioleDB: Equilibrando Velocidade e Ecossistema

2025-05-30

O OrioleDB apresenta índices ponteados, uma solução inteligente para integrar o rico ecossistema de índices não-B-tree do PostgreSQL (como GIN, GiST) enquanto preserva sua arquitetura MVCC e sem heap. Uma coluna virtual `iptr` e um índice ponteado leve mapeiam os índices do PostgreSQL para a estrutura interna do OrioleDB. Isso permite suporte para diversos tipos de índices. Embora adicione uma pequena sobrecarga à consulta (uma pesquisa extra), esse custo geralmente é insignificante para índices complexos (por exemplo, pesquisa ANN do pg_vector). Essa inovação permite que os usuários aproveitem suas extensões preferidas sem sacrificar o desempenho.

(www.orioledb.com)

Desenvolvimento índice

A Ciência dos Vermes de Orelha: Por que Algumas Músicas Ficão Presas em Sua Cabeça?

2025-05-30

A Ciência dos Vermes de Orelha: Por que Algumas Músicas Ficão Presas em Sua Cabeça?

Um escritor autônomo conta sua experiência de sofrer com um verme de orelha depois de postar uma piada ruim online, levando-o a explorar a ciência por trás desse fenômeno. O artigo explica que os vermes de orelha resultam do processamento de som, memória e emoção pelo cérebro, sendo melodias curtas, simples e repetitivas mais propensas a serem culpadas. Também aborda o efeito irônico de tentar esquecer uma música, apenas a tornando mais persistente. O autor conclui com uma reflexão humorística sobre a natureza inofensiva dos vermes de orelha, promovendo sutilmente seus livros.

(theneuroscienceofeverydaylife.substack.com)

Diversos

C++ Moderno: Dominando RAII (Aquisição de Recursos é Inicialização)

2025-05-30

Este artigo mergulha em RAII (Aquisição de Recursos é Inicialização) em C++ moderno. RAII liga elegantemente o gerenciamento de recursos aos ciclos de vida dos objetos, usando construtores para adquirir recursos e destrutores para liberá-los, prevenindo vazamentos. Usando um exemplo de descritor de arquivo, ele demonstra o manuseio seguro de arquivos com RAII, explicando a 'regra dos três', 'regra dos cinco' e 'regra do zero', e como evitar armadilhas comuns. O artigo conclui resumindo as vantagens e limitações do RAII e sugerindo leitura adicional.

(green7ea.github.io)

Desenvolvimento

Além do BPE: O Futuro da Tokenização em Modelos de Linguagem Grandes

2025-05-30

Além do BPE: O Futuro da Tokenização em Modelos de Linguagem Grandes

Este artigo explora melhorias nos métodos de tokenização em grandes modelos de linguagem pré-treinados. O autor questiona o método comumente usado de Codificação de Par de Bytes (BPE), destacando suas deficiências no tratamento de subpalavras no início e dentro das palavras. São sugeridas alternativas, como adicionar uma máscara de nova palavra. Além disso, o autor argumenta contra o uso de algoritmos de compressão para pré-processamento de entradas, defendendo a modelagem de linguagem em nível de caractere, traçando paralelos com Redes Neurais Recorrentes (RNNs) e modelos de atenção própria mais profundos. No entanto, a complexidade quadrática do mecanismo de atenção apresenta um desafio. O autor propõe uma abordagem baseada em estrutura de árvore, usando subsequências com janela e atenção hierárquica para reduzir a complexidade computacional enquanto captura melhor a estrutura da linguagem.

(ndingwall.github.io)

IA Tokenização

Fila sem bloqueio em C++: Um mergulho profundo em atômicos e ordenação de memória

2025-05-30

Este artigo mergulha nas complexidades de atômicos e ordenação de memória em C++, culminando em uma implementação básica de uma fila sem bloqueio. O autor explica meticulosamente a indivisibilidade das operações atômicas e o impacto de diferentes modelos de ordenação de memória (relaxed, release-acquire, seq_cst) na programação concorrente, usando exemplos ilustrativos para demonstrar como eles evitam corridas de dados. Uma fila sem bloqueio baseada em uma lista ligada é então tentada, detalhando as operações de enqueue e dequeue. No entanto, o autor reconhece a falta de completude da implementação, especificamente sua falha em lidar com o problema ABA. O artigo é um guia abrangente adequado para leitores com alguma experiência em programação concorrente em C++.

(redixhumayun.github.io)

Desenvolvimento Fila sem bloqueio

A Evolução Secular dos Receptores de Rádio: De Hardware para Software

2025-05-30

Em 1862, James Clerk Maxwell lançou as bases teóricas para a energia eletromagnética. Trinta anos depois, Heinrich Hertz demonstrou a transmissão e recepção de rádio, inaugurando a era dos Receptores Definidos por Hardware (HDRs). Ao longo de 150 anos, o design do receptor mudou de uma abordagem centrada em hardware para uma centrada em software, com os Receptores Definidos por Software (SDRs) dominando a paisagem nas últimas duas décadas. Esta evolução destaca a interação dinâmica entre hardware e software no avanço tecnológico.

(radio-astronomy.org)

Hardware Receptores Definidos por Hardware Receptores Definidos por Software Tecnologia de Rádio

Curie: Automação de Experimentos Científicos com IA

2025-05-30

Curie: Automação de Experimentos Científicos com IA

Curie é uma estrutura inovadora de agente de IA projetada para experimentação científica automatizada e rigorosa. Ele automatiza todo o processo experimental, da formulação de hipóteses à interpretação de resultados, garantindo precisão, confiabilidade e reprodutibilidade. Suporta pesquisa em ML, análise de sistemas e descoberta científica, permitindo que os cientistas insiram perguntas e recebam relatórios de experimentos automatizados com resultados e logs totalmente reprodutíveis, acelerando drasticamente a pesquisa.

(github.com)

IA Experimentação Automatizada

Controle seus brinquedos sexuais com LLMs: Uma primeira olhada no buttplug-mcp

2025-05-30

Controle seus brinquedos sexuais com LLMs: Uma primeira olhada no buttplug-mcp

buttplug-mcp é um servidor MCP que permite que programas LLM como o Claude Desktop consultem e controlem seus brinquedos sexuais. Criado como um projeto rápido, divertido e educacional no Dia da Mentira, ele é atualmente instável com problemas de tratamento de conexões, mas demonstra a capacidade de controlar a intensidade da vibração por meio de comandos LLM. O projeto é de código aberto, suporta várias plataformas e oferece instalação Homebrew. Embora imperfeito, é um projeto experimental fascinante que mostra o potencial da integração LLM com dispositivos IoT.

(github.com)

Diversos brinquedos sexuais

Perda da Atmosfera de Marte: Pulverização Capturada em Ação

2025-05-30

Perda da Atmosfera de Marte: Pulverização Capturada em Ação

Pela primeira vez, cientistas observaram diretamente a pulverização atmosférica, um fator chave na erosão contínua da atmosfera de Marte. Nove anos de dados de satélite revelaram uma correlação entre a densidade de argônio em altas altitudes e a orientação do campo elétrico do vento solar, confirmando a pulverização e mostrando que sua força é mais de quatro vezes maior do que o previsto anteriormente. Tempestades solares aumentaram dramaticamente o efeito. Essa descoberta é crucial para entender a perda atmosférica e de água de Marte e a habitabilidade dos planetas do início do Sistema Solar. A pesquisa foi publicada na Science Advances.

(www.sciencealert.com)

Tecnologia Pulverização Atmosférica

Pixels nem sempre foram quadrados: Uma imersão profunda nas proporções de aspecto de jogos retrô

2025-05-30

Pixels nem sempre foram quadrados: Uma imersão profunda nas proporções de aspecto de jogos retrô

Você sabia que os pixels nem sempre foram quadrados? Este artigo explora a história fascinante das proporções de aspecto de pixels em jogos de computador retrô. De consoles antigos a PCs, os formatos de pixels variavam muito, longe do quadrado onipresente que vemos hoje. O autor analisa as proporções de aspecto de jogos em várias plataformas (SNES, Apple II, TRS-80, Commodore 64, etc.) e a melhor maneira de apresentá-los em monitores modernos. Conceitos de 'autenticidade' e 'super-autenticidade' são discutidos, comparando métodos como vizinho mais próximo, linear e escala cúbica. Muitas capturas de tela de jogos ilustram o impacto visual de diferentes proporções de aspecto, concluindo que, embora a maioria dos desenvolvedores considerasse a proporção de aspecto, ela nem sempre era precisa ou consistente, e enquanto uma tela 4:3 é geralmente um bom compromisso, não é sempre a melhor solução.

(datadrivengamer.blogspot.com)

Jogos

Mobilidade de médica australiana arruinada por superdosagem de vitamina B6 em suplemento

2025-05-30

Mobilidade de médica australiana arruinada por superdosagem de vitamina B6 em suplemento

Uma médica australiana de 76 anos aposentada sofreu neuropatia periférica debilitante devido à toxicidade da vitamina B6 proveniente de um suplemento de magnésio. O caso destaca a falta de conscientização sobre o consumo excessivo de vitamina B6 e a regulamentação inadequada de suplementos na Austrália. Embora as autoridades tenham implementado rótulos de advertência, persistem preocupações sobre a visibilidade insuficiente e a prevalência de suplementos com alta concentração de B6. Os especialistas pedem aos consumidores que tomem cuidado e consultem profissionais de saúde antes de tomar vários suplementos.

(www.abc.net.au)

Diversos suplementos vitamina B6

Memória Atmosférica: O Mecanismo de Liga/Desliga da Chuva de Monções

2025-05-30

Memória Atmosférica: O Mecanismo de Liga/Desliga da Chuva de Monções

Um estudo inovador revela que a atmosfera possui um efeito de 'memória', armazenando umidade e fazendo com que a chuva de monções mude entre dois estados estáveis: 'seco' e 'molhado'. Isso explica o padrão sazonal da chuva de monções — ligando na primavera e desligando no outono — como algo mais do que apenas uma resposta direta às mudanças na radiação solar. A chave é o acúmulo de vapor d'água atmosférico; acima de um certo limite, a monção começa; abaixo dele, ela desliga. A perturbação desse mecanismo pode afetar gravemente bilhões de pessoas que dependem das monções para seu sustento, destacando a necessidade de melhores sistemas de previsão e alerta precoce.

(phys.org)

Tecnologia monção memória atmosférica

Atualização do Modelo World3: Depleção de Recursos Sinaliza Colapso Global Iminente?

2025-05-30

Atualização do Modelo World3: Depleção de Recursos Sinaliza Colapso Global Iminente?

Uma recente recalibração do modelo World3 de 'Limites do Crescimento' apresenta um quadro sombrio. Mesmo levando em conta os avanços tecnológicos, o estudo sugere que o esgotamento dos recursos levará ao pico e subsequentes quedas acentuadas na produção industrial global e na produção de alimentos na próxima década. Isso se alinha de forma alarmante com as previsões da década de 1970, prevendo uma queda potencial no Índice de Desenvolvimento Humano global de volta aos níveis de 1900 até o final do século. A pesquisa destaca as restrições de recursos, e não a poluição, como o principal motor do colapso sistêmico iminente, instando respostas proativas à era de 'descrescimento' que se aproxima.

(thenextwavefutures.wordpress.com)

Tecnologia Limites do Crescimento Esgotamento de Recursos Modelo World3

OpenBao Secret Manager apresenta namespaces para segurança e escalabilidade aprimoradas

2025-05-30

O OpenBao Secret Manager lançou um poderoso recurso de Namespaces, proporcionando multi-tenancy robusta e isolamento granular. Cada namespace funciona como uma instância independente do OpenBao, com suas próprias políticas, métodos de autenticação e engines de segredo. Isso aprimora a segurança, permitindo que equipes ou organizações gerenciem seus segredos de forma independente e simplificando o gerenciamento de implantações em larga escala. Planos futuros incluem o uso de namespaces para melhorar a escalabilidade horizontal do OpenBao, permitindo o tratamento eficiente de muitos recursos acessados com pouca frequência, sem carregar todo o estado do sistema de uma só vez.

(openbao.org)

Desenvolvimento gerenciamento de segredos

Renderizador Neural Suave com Triângulos Aprendíveis

2025-05-30

Esta pesquisa apresenta um novo método de renderização neural usando triângulos 3D aprendíveis como primitivas. Ao contrário das máscaras binárias tradicionais, ele emprega uma função de janela suave derivada do campo de distância com sinal 2D (SDF) do triângulo para modular suavemente a influência do triângulo nos pixels. Um parâmetro de suavidade, σ, controla a nitidez dessa função de janela, permitindo uma transição suave de uma máscara binária para uma aproximação de uma função delta. A imagem final é gerada pela mistura alfa das contribuições de todos os triângulos projetados. Todo o processo é diferenciável, permitindo a aprendizagem baseada em gradiente para otimizar os parâmetros do triângulo.

(trianglesplatting.github.io)

IA triângulos 3D campo de distância com sinal

Servidor MCP em Bash: Leve e sem sobrecarga

2025-05-30

Servidor MCP em Bash: Leve e sem sobrecarga

Este projeto apresenta um servidor leve do Model Context Protocol (MCP) implementado totalmente em Bash, evitando a sobrecarga de runtimes mais pesados como Node.js ou Python. Ele oferece suporte completo para JSON-RPC 2.0 e protocolo MCP, descoberta dinâmica de ferramentas, configuração JSON e extensão fácil de ferramentas personalizadas. Uma interface simples de linha de comando facilita a execução, com exemplos mostrando como criar seu próprio servidor MCP (um servidor de previsão do tempo é demonstrado). Embora não tenha processamento concorrente, gerenciamento avançado de memória e respostas em streaming, é suficiente para assistentes de IA e execução de ferramentas locais.

(github.com)

Desenvolvimento

Doença de príon com período de latência de 50 anos mata mulher

2025-05-30

Doença de príon com período de latência de 50 anos mata mulher

Cientistas relatam um caso raro de doença de Creutzfeldt-Jakob (DCJ) em uma mulher de 58 anos, provavelmente contraída por meio de tratamentos com hormônio de crescimento humano (HGH) contaminado recebidos 50 anos antes. Este pode representar o período de latência mais longo já documentado para esta doença fatal. O caso destaca a natureza insidiosa das doenças priônicas: longos períodos de incubação e resistência a métodos de esterilização padrão. Embora o HGH derivado de cadáveres seja proibido, o potencial para casos de início tardio permanece uma preocupação.

(gizmodo.com)

Tecnologia doença priônica doença de Creutzfeldt-Jakob hormônio de crescimento humano

IRS torna o Direct File de código aberto: sistema gratuito de declaração de impostos

2025-05-30

IRS torna o Direct File de código aberto: sistema gratuito de declaração de impostos

O IRS tornou o Direct File de código aberto, um serviço gratuito de declaração de impostos online. Ele utiliza uma abordagem baseada em entrevistas, funciona em vários dispositivos (celular, desktop, etc.) e oferece suporte para inglês e espanhol. O Direct File traduz a legislação tributária em perguntas em linguagem simples, gerando formulários de impostos padrão que são enviados ao IRS. Seu núcleo é o Fact Graph, um grafo de conhecimento baseado em Scala que lida com informações incompletas. O Direct File também facilita a declaração de impostos estaduais e locais, permitindo que os usuários importem seus dados de declaração federal para ferramentas de terceiros. Desenvolvido internamente pelo IRS com o apoio do USDS, GSA e outros parceiros, parte do código foi excluída devido a preocupações de privacidade e segurança.

(github.com)

Desenvolvimento

Administração Trump desafia precedente de 90 anos, ameaçando agências independentes

2025-05-30

Administração Trump desafia precedente de 90 anos, ameaçando agências independentes

A administração Trump está tentando reverter o caso Humphrey's Executor, de 90 anos, uma decisão histórica da Suprema Corte que protege a independência das agências federais. Essa medida visa aumentar o poder presidencial, permitindo que o presidente demitisse chefes de agências à vontade. Essa ação gerou preocupações generalizadas, podendo minar inúmeras agências responsáveis por áreas cruciais como proteção ao consumidor, direitos trabalhistas e regulamentação de energia nuclear, transformando-as em potenciais ferramentas para a agenda política do presidente. Embora a administração tenha evitado, até agora, atingir o Federal Reserve, a lógica subjacente poderia ser aplicada igualmente, colocando em risco sua independência. Essa batalha jurídica tem implicações profundas para o futuro do governo dos EUA, redefinindo a relação entre agências executivas e a presidência.

(www.theusconstitution.org)

Tecnologia Agências Federais

← Previous 1 2 … 200 201 202 203 204 205 206 207 208 … 595 596 Next →