Motim no Capitólio: Vídeos do Parler Revelam Imagens Inéditas

2025-01-06
Motim no Capitólio: Vídeos do Parler Revelam Imagens Inéditas

A ProPublica obteve milhares de vídeos carregados por usuários do Parler durante o motim de 6 de janeiro no Capitólio. Esses vídeos, arquivados antes do Parler ser desconectado, oferecem um relato em primeira mão dos eventos, revelando as ações e a mentalidade dos participantes. A análise dessas imagens fornece uma compreensão mais abrangente deste capítulo sombrio da história americana.

Leia mais

A Trindade do Unix: dmr, kt e bwk

2025-02-12

Na história do Unix, as iniciais dmr, kt e bwk representam figuras lendárias: Dennis M. Ritchie (dmr), co-criador do Unix e da linguagem de programação C; Ken Thompson (kt), co-criador do Unix ao lado de Ritchie; e Brian W. Kernighan (bwk), co-autor de programas e livros influentes do Unix, como "A Linguagem de Programação C" e "O Ambiente de Programação UNIX". Esses três gigantes moldaram as bases do Unix e impactaram profundamente a ciência da computação moderna.

Leia mais
Desenvolvimento

Brasil proíbe projeto de escaneamento de íris de Sam Altman

2025-01-26
Brasil proíbe projeto de escaneamento de íris de Sam Altman

A empresa Tools for Humanity, cofundada pelo CEO da OpenAI, Sam Altman, foi proibida no Brasil de oferecer incentivos em criptomoedas para escaneamento de íris. A Autoridade Nacional de Proteção de Dados (ANPD) do Brasil argumenta que essa prática interfere na livre expressão da vontade dos indivíduos, afetando sua tomada de decisão autônoma sobre dados biométricos. Isso destaca as crescentes preocupações globais sobre a coleta e a privacidade de dados biométricos.

Leia mais
Tecnologia dados biométricos

Open WebUI: Simplificando o acesso a modelos de linguagem grandes

2025-01-23

Open WebUI é um projeto de código aberto que simplifica a interação do usuário com Modelos de Linguagem Grandes (LLMs). Ele fornece uma interface gráfica amigável, permitindo que até mesmo usuários não técnicos acessem e utilizem facilmente os poderosos recursos dos LLMs, como geração de texto, tradução de idiomas e resposta a perguntas. Sem a necessidade de operações complexas de linha de comando ou conhecimento de programação, o Open WebUI reduz a barreira de entrada para LLMs, abrindo o mundo da IA para um público mais amplo.

Leia mais

Libero: Liberte seu potencial de programação!

2024-12-28

Libero, uma ferramenta de software gratuita da iMatix, capacita programadores a escreverem programas melhores. Ele usa diagramas de estado visuais para o design de programas, suporta várias linguagens (incluindo C, Java, PHP) e gera estruturas de programas para prototipagem rápida. Com base na Licença Pública Geral GNU, o código-fonte do Libero é aberto e disponível gratuitamente para uso e melhoria. Embora licenças comerciais estejam disponíveis para suporte e atualizações, o núcleo do Libero permanece gratuito.

Leia mais
Desenvolvimento ferramenta de programação

Arquitetura Hexagonal no Rails: Um Caminho para o Desacoplamento

2024-12-13
Arquitetura Hexagonal no Rails: Um Caminho para o Desacoplamento

Este artigo explora a implementação da Arquitetura Hexagonal (padrão Ports and Adapters) em aplicações Rails. O autor inicialmente teve dificuldades com o padrão até perceber que 'adapter' se refere diretamente ao padrão Adapter do Gang of Four. O artigo detalha as portas de entrada e saída e como os adaptadores desacoplam a lógica da aplicação de serviços externos (bancos de dados, logs, e-mail, etc.). Controladores Rails podem servir como adaptadores HTTP, mas o autor enfatiza evitar o uso direto do ActiveRecord. Em vez disso, repositórios personalizados acessam dados, melhorando o desacoplamento e a manutenibilidade. O artigo conclui encorajando desenvolvedores Rails a adotarem a Arquitetura Hexagonal para aplicações mais robustas e manuteníveis.

Leia mais
Desenvolvimento Arquitetura Hexagonal

Laser ZEUS: O laser mais poderoso dos EUA chega a 2 petawatts

2025-05-21
Laser ZEUS: O laser mais poderoso dos EUA chega a 2 petawatts

A instalação do laser ZEUS da Universidade de Michigan atingiu um marco inovador, alcançando 2 petawatts (2 quatrilhões de watts) em seu primeiro experimento oficial, tornando-se o laser mais poderoso dos EUA. Embora essa imensa potência - mais de 100 vezes a produção global de eletricidade - dure apenas por um breve período de 25 quintillionésimos de segundo, suas aplicações são vastas, abrangendo medicina, segurança nacional, ciência dos materiais, astrofísica e muito mais. Como uma instalação para usuários, o ZEUS recebe equipes de pesquisa de todo o mundo para enviar propostas. O laser emprega técnicas inovadoras para gerar feixes de elétrons de alta energia e está preparado para um experimento histórico ainda este ano, com o objetivo de alcançar pulsos em escala de zettawatt.

Leia mais
Tecnologia

Desenvolvimento Guiado por Tipos: Como os Tipos Simplificam Problemas Complexos de Programação

2024-12-19
Desenvolvimento Guiado por Tipos: Como os Tipos Simplificam Problemas Complexos de Programação

Este artigo explora o conceito de "Desenvolvimento Guiado por Tipos", no qual o autor, com base na experiência com o grande projeto Heartbeat em Typescript (mais de 300.000 linhas), demonstra como o sistema de tipos do Typescript simplifica problemas complexos de programação. A ideia principal é que, ao utilizar efetivamente o sistema de tipos, permitindo que os tipos fluam livremente por todas as camadas do aplicativo, começando novos recursos com definições de tipos, tornando estados ilegais irrepresentáveis, analisando em vez de validar dados e mantendo a honestidade e especificidade do código, os bugs são drasticamente reduzidos e a eficiência do desenvolvimento é melhorada. O autor também compartilha técnicas para usar funções puras como pontes de tipos e o sistema de tipos como uma ferramenta de introspecção, reconhecendo a necessidade ocasional de contornar as restrições do sistema de tipos.

Leia mais

Tipos: A Base do Design de Software

2025-01-03
Tipos: A Base do Design de Software

O design de software é mais do que apenas escrever funções; trata-se de arquitetura de alto nível. Este artigo argumenta que os tipos são o elemento mais crucial. Os tipos definem estruturas de dados e interfaces de funções, essenciais para a compreensão e comunicação do design de software. Mesmo em linguagens com tipagem dinâmica, os tipos existem implicitamente. Um bom design de tipos melhora a legibilidade, a manutenção e a confiabilidade do código, auxiliando na abstração e na modularidade. O artigo explora as diferenças entre tipagem estática e dinâmica e como vários sistemas de tipos (como programação genérica e tipos dependentes) impactam o design.

Leia mais

Quebra-cabeça da calculadora: Números de quatro dígitos sempre divisíveis por 11?

2025-01-03
Quebra-cabeça da calculadora: Números de quatro dígitos sempre divisíveis por 11?

Uma postagem de blog apresenta um quebra-cabeça matemático envolvendo um teclado de calculadora padrão. O quebra-cabeça desafia os jogadores a pressionar quatro teclas de dígitos que formam os cantos de um quadrado ou retângulo, criando um número de quatro dígitos. A postagem prova elegantemente que, independentemente do quadrado ou retângulo escolhido, o número de quatro dígitos resultante será sempre divisível por 11. Vários métodos de prova, incluindo abordagens algébricas e baseadas em padrões, são explorados, gerando uma discussão envolvente sobre padrões matemáticos.

Leia mais

Extensão do GitHub resume artigos do Hacker News com LLMs

2024-12-12
Extensão do GitHub resume artigos do Hacker News com LLMs

O projeto GitHub `hn-tldr-extension` oferece uma extensão de navegador que usa os Large Language Models (LLMs) do OpenAI e Anthropic para resumir rapidamente artigos do Hacker News. Os usuários fornecem suas próprias chaves de API para habilitar um botão 'resumir' nas páginas do HN, fornecendo resumos concisos de artigos. O código da extensão é de código aberto e suporta navegadores como o Firefox.

Leia mais

Aquisição da Cray pela Sun: Um Negócio Transformador

2025-05-18

Um grupo de engenheiros de San Diego, muitos ex-funcionários da NCR, fundou uma empresa para construir computadores massivamente paralelos usando processadores Sparc. Após diversas aquisições e reestruturações, foram adquiridos pela Cray, culminando no desenvolvimento do servidor CS6400 (SuperDragon). O CS6400, com recursos inovadores como Domínios de Sistema Dinâmicos e Roteamento Alternativo, ganhou tração. Mais tarde, a SGI vendeu essa divisão da Cray para a Sun por US$ 50 milhões. A Sun reconheceu o potencial da tecnologia e, com base nela, desenvolveu o Ultra Enterprise Server 10000 (Starfire), alcançando um sucesso comercial fenomenal e gerando bilhões em receita para a Sun. É considerado uma das melhores aquisições desde que a Microsoft comprou o DOS, mostrando o poder da inovação tecnológica aliada a uma estratégia de mercado inteligente.

Leia mais
Tecnologia

Estudante universitária descobre novo fungo com potencial para tratar diversas condições médicas

2025-06-13
Estudante universitária descobre novo fungo com potencial para tratar diversas condições médicas

Corinne Hazel, estudante de microbiologia ambiental da West Virginia University (WVU), descobriu uma nova espécie de fungo, Periglandula clandestina, que produz alcaloides do ergot semelhantes ao LSD. O LSD é uma droga semissintética usada para tratar condições como depressão, TEPT e vício. A descoberta de Hazel, feita enquanto estudava glórias da manhã, foi confirmada por meio de sequenciamento de genoma. Essa descoberta abre possibilidades empolgantes para o desenvolvimento farmacêutico e novas áreas de pesquisa.

Leia mais
Tecnologia

Um Charango, uma Saga Pai-Filha

2025-01-20
Um Charango, uma Saga Pai-Filha

Este artigo explora o relacionamento complexo entre a autora e seu pai, usando um instrumento andino tradicional, o charango, como fio condutor da narrativa. O pai, um músico habilidoso, toca histórias de amor e violência, risos e lágrimas no charango. A autora relembra os ensinamentos rígidos do pai, a violência na família e sua virtuosidade musical, revelando o amor e o ódio entrelaçados entre pai e filha, e a exploração da autora de sua própria identidade.

Leia mais
Diversos música

Desafio Raspberry Pi RP2350 Quebrado: Ataque de Glitch Ignora a Segurança

2025-01-05
Desafio Raspberry Pi RP2350 Quebrado: Ataque de Glitch Ignora a Segurança

O engenheiro Aedan Cullen pode ter vencido o desafio de hacking de US$ 20.000 da Raspberry Pi e Hextree RP2350. Ele conseguiu isso realizando um ataque de glitch de injeção de tensão no pino 53 do chip RP2350. Isso contornou vários recursos de segurança, incluindo Secure Boot, TrustZone e detectores de glitch, permitindo que ele lesse o segredo armazenado na memória One-Time Programmable (OTP). O ataque de Cullen explorou uma vulnerabilidade para habilitar os núcleos RISC-V normalmente desabilitados e sua porta de acesso de depuração. Isso demonstra que mesmo os recursos de segurança supostamente 'permanentemente desabilitados' não são infalíveis, destacando as complexidades e os desafios do design de segurança de hardware.

Leia mais
Tecnologia Hacking de Hardware

Claude Code: Meu Assistente de Terminal com IA me Economiza Uma Hora por Dia

2025-06-03
Claude Code: Meu Assistente de Terminal com IA me Economiza Uma Hora por Dia

Por dois meses, tenho executado o Claude Code no modo "dangerously-skip-permissions" no macOS, ignorando todas as solicitações de permissão. Embora arriscado (uso backups robustos), ele me economizou cerca de uma hora por dia. O Claude Code não é apenas uma linha de comando mais inteligente; é uma interface de computador universal. Eu o uso para tudo, desde migrar Macs e converter postagens de blog até gerar dados de teste, gerenciar Git e automatizar tarefas do sistema. Seu design priorizando a linha de comando e sua capacidade de entender o contexto o tornam altamente eficiente, embora o tempo de resposta possa ser uma limitação. Ao contrário do Warp, o "modo perigoso" do Claude permite um fluxo de trabalho contínuo sem solicitações constantes de permissão. Isso representa uma mudança de paradigma nas ferramentas para desenvolvedores - da execução de comandos à compreensão de intenções e ação. Não se trata de IA substituindo desenvolvedores, mas de desenvolvedores se tornando orquestradores de sistemas poderosos.

Leia mais

Avaliando a capacidade de geração de código de LLMs: Apresentando o MultiCodeBench

2024-12-30
Avaliando a capacidade de geração de código de LLMs: Apresentando o MultiCodeBench

Assistentes de programação baseados em IA e alimentados por Large Language Models (LLMs) de código tornaram-se cada vez mais comuns, aumentando significativamente a produtividade dos desenvolvedores. No entanto, os benchmarks existentes de geração de código focam principalmente em cenários de uso geral, deixando o desempenho dos LLMs em domínios de aplicativos específicos em grande parte desconhecido. Este artigo apresenta o MultiCodeBench, um novo benchmark composto por 2.400 tarefas de programação em 12 domínios populares de desenvolvimento de software e 15 linguagens de programação. Experimentos em onze LLMs principais revelam seu desempenho na geração de código em diferentes domínios, oferecendo insights práticos para desenvolvedores na seleção de LLMs e orientação para desenvolvedores de modelos para melhorar as capacidades de geração de código específicas do domínio.

Leia mais
Desenvolvimento Geração de Código

Firefox resiste ataques duplos no pwn2own

2025-05-18

Na competição de hacking pwn2own deste ano, duas equipes atacaram o Firefox, mas ambas falharam em violar sua proteção de sandbox. A equipe da Mozilla respondeu rapidamente, lançando atualizações em menos de um dia após o anúncio da segunda vulnerabilidade, mostrando sua resposta de segurança robusta e práticas de segurança maduras. Embora os ataques tenham tido impacto limitado, a Mozilla recomenda que todos os usuários atualizem o Firefox imediatamente. Este evento valida ainda mais o sandbox do Firefox e destaca o compromisso da Mozilla com a segurança.

Leia mais
Tecnologia

Visualizando Concorrência: Um Guia para Entender o Espaço de Estado do Programa

2024-12-20

A programação concorrente é notoriamente complexa devido à dificuldade de enumerar todos os estados possíveis. Este artigo utiliza a visualização para explicar como entender a mecânica da execução de programas concorrentes. Começa introduzindo o conceito de estado do programa, que é uma combinação de valores de variáveis e localização de instruções, e depois demonstra o processo de transição de estados do programa e a geração do espaço de estado usando um exemplo simples de programa semelhante ao C. O artigo então introduz programas concorrentes e, usando dois programas concorrentes, P e Q, explica como representar o estado de um programa concorrente e a construção do espaço de estado. Finalmente, o artigo explora como usar a ferramenta de verificação de modelo SPIN e a linguagem LTL para verificar a correção de programas concorrentes, destacando o importante papel da verificação de modelo em garantir a correção de programas concorrentes.

Leia mais

Quantus: Plataforma de Trading Quantitativo Revolucionária

2024-12-12

Quantus é uma plataforma de trading quantitativo avançada, projetada para fornecer soluções de trading eficientes e confiáveis para traders profissionais e investidores institucionais. Integra poderosas ferramentas de análise de dados, recursos flexíveis de backtesting e um sistema de execução de baixa latência, permitindo que os usuários capitalizem melhor as oportunidades de mercado e melhorem os retornos de investimento. Com sua tecnologia robusta e interface amigável, Quantus está se tornando rapidamente uma estrela em ascensão no cenário de fintech.

Leia mais

A Ascensão do Lixo de IA: Como Contratar e Lucrar

2025-01-26
A Ascensão do Lixo de IA: Como Contratar e Lucrar

O blogueiro Ben Congdon observa a proliferação de conteúdo de baixa qualidade gerado por IA, que ele chama de "lixo de IA", na internet. Embora pareça convincente à primeira vista, uma inspeção mais detalhada revela sua natureza formulaica e falta de originalidade. Ele argumenta contra copiar e colar diretamente o conteúdo gerado por IA, sugerindo que os criadores devem usar ferramentas de IA para assistência, mas editar meticulosamente e manter uma voz pessoal única. Ele também propõe que a criação de conteúdo de alta qualidade e a construção de uma marca pessoal são essenciais para permanecer competitivo na era da IA, e que influenciar os conjuntos de dados de treinamento de IA pode até moldar a direção futura da IA.

Leia mais

Renderização Forward Impulsionada por GPU: 27.000 Dragões de Stanford, 10.000 Luzes, Mais de 60 FPS!

2025-05-20
Renderização Forward Impulsionada por GPU: 27.000 Dragões de Stanford, 10.000 Luzes, Mais de 60 FPS!

Este artigo detalha um renderer forward impulsionado por GPU usando sombreamento agrupado, atingindo mais de 60 FPS na renderização de 27.000 dragões de Stanford com 10.000 luzes em uma GPU GTX 1070. O alto desempenho é alcançado armazenando dados de entidades em buffers de GPU contíguos e usando chamadas de desenho múltiplas indiretas para minimizar as chamadas de desenho. O autor explica meticulosamente técnicas como remoção de objetos invisíveis, gerenciamento de buffers e sombreamento agrupado, mostrando estratégias de otimização, como contadores atômicos e cédulas para compactação eficiente de buffers. O artigo fornece dados de desempenho e exemplos de código, oferecendo insights valiosos sobre renderização de alto desempenho.

Leia mais
Desenvolvimento sombreamento agrupado

TB Tilde: Uma Alternativa Disruptiva ao LLVM?

2025-01-24

TB Tilde, desenvolvido por Yasser, visa substituir o LLVM, oferecendo maior velocidade de compilação e menor tamanho. Testes iniciais mostram seu pré-processador duas vezes mais rápido que o do Clang. TB Tilde utiliza uma IR de 'Mar de Nós', possui um sistema de tipos simples e módulos seguros para threads, suporta compilação JIT e AOT, e até mesmo gera executáveis ​​diretamente. O projeto está em desenvolvimento ativo, com o objetivo de auto-hospedar o compilador Cuik no Windows em março de 2024, e aprimoramentos do otimizador a seguir.

Leia mais
Desenvolvimento

Jogue DOOM para provar que você é humano: um CAPTCHA diferente de todos

2025-01-01
Jogue DOOM para provar que você é humano: um CAPTCHA diferente de todos

Este projeto, DOOM CAPTCHA, permite que você jogue uma versão miniaturizada do DOOM para verificar se você é humano. Ele usa Emscripten para compilar uma porta mínima do DOOM para WebAssembly, permitindo a comunicação entre o loop do jogo baseado em C e uma interface do usuário CAPTCHA em JavaScript. Modificações foram feitas para adicionar eventos como nascimento do jogador, morte e mortes de inimigos, cruciais para a funcionalidade do CAPTCHA. O projeto usa a versão shareware legalmente acessível do DOOM e ajusta os parâmetros do jogo para aumentar a dificuldade (nível de habilidade Pesadelo!, jogabilidade mais rápida), pulando o menu e iniciando diretamente o nível. Para passar, os jogadores devem matar pelo menos 3 monstros dentro de um limite de tempo.

Leia mais
Jogos

Kando: Ferramenta de Eficiência que Redefine a Produtividade

2024-12-27
Kando: Ferramenta de Eficiência que Redefine a Produtividade

Kando é uma ferramenta de eficiência de código aberto e gratuita, disponível para Windows, macOS e Linux. Ela usa reconhecimento de gestos para permitir que você selecione ferramentas e ações em milissegundos, mesmo navegando por menus profundamente aninhados com facilidade. Kando torna toda a sua tela um alvo clicável; não mais precisa mirar precisamente em botões minúsculos! A versão mais recente possui um novo ícone fantástico, com detalhes do processo de design disponíveis no Ko-fi. Experimente hoje!

Leia mais

O Paradoxo das Linguagens de Programação Elegantes: Por que a Simplicidade Pode Ser uma Maldição

2025-01-13

Algumas linguagens de programação falham em ganhar tração devido à obscuridade ou a designs excessivamente ambiciosos. O artigo explora os desafios enfrentados por linguagens concisas e elegantemente projetadas, como BF e Scheme, onde os desenvolvedores muitas vezes priorizam a construção de suas próprias implementações em vez de usar as existentes. O autor argumenta que um equilíbrio entre simplicidade e praticidade é crucial. Implementações múltiplas são benéficas apenas quando existe uma forte comunidade de usuários e há demanda por implementações diversas. O sucesso do Clojure e do Racket sugere que as linguagens precisam atingir uma massa crítica para atrair usuários que se concentram no desenvolvimento de aplicativos, em vez da implementação.

Leia mais
Desenvolvimento

FCC Propõe Marca de Confiança Cibernética dos EUA para Dispositivos Inteligentes

2025-01-11
FCC Propõe Marca de Confiança Cibernética dos EUA para Dispositivos Inteligentes

A Comissão Federal de Comunicações (FCC) está buscando o registro de seu logotipo proposto de "Marca de Confiança Cibernética dos EUA", que faz parte de um programa de rotulagem de segurança cibernética para dispositivos inteligentes. Este programa visa ajudar os consumidores a identificar dispositivos inteligentes que atendem a padrões de segurança mais elevados. A FCC divulgou o design do logotipo e está buscando comentários públicos. O uso do logotipo requer consentimento explícito por escrito da FCC.

Leia mais

Anomalia na Instrução SHLX do Alder Lake: Um Mistério de Desempenho 3x

2025-01-02

O blogueiro Tavian Barnes descobriu uma estranha peculiaridade de desempenho nos processadores Intel Alder Lake relacionada à instrução SHLX. Sob certas condições, essa instrução roda significativamente mais lenta — três vezes mais lenta do que o esperado. Testes de benchmark revelaram que inicializar o registrador de contagem de deslocamento usando um valor imediato de 64 bits causa a lentidão, enquanto instruções de 32 bits ou outros métodos de inicialização não. Essa discrepância é intrigante, já que SHLX usa apenas os 6 bits inferiores do registrador de contagem de deslocamento. A causa raiz permanece um mistério, mas essa descoberta destaca uma possível falha de otimização na microarquitetura Alder Lake.

Leia mais

Inseto robótico do MIT: um salto em direção à polinização robótica

2025-01-21
Inseto robótico do MIT: um salto em direção à polinização robótica

Pesquisadores do MIT revelaram um inseto robótico inovador projetado para polinização artificial, potencialmente revolucionando a agricultura indoor. Pesando menos de um grama, este robô ágil imita o voo batendo asas de um inseto real, alcançando tempos de voo sem precedentes de quase 17 minutos – uma melhoria de 100 vezes em relação a modelos anteriores. A visão é uma fazenda indoor de vários níveis que maximiza o rendimento e minimiza o impacto ambiental, com enxames desses robôs realizando missões de polinização sincronizadas. Embora ainda precise de melhorias em velocidade e resistência em comparação com as abelhas, este avanço representa um passo significativo em direção a uma agricultura sustentável e de alto rendimento.

Leia mais

Little Snitch: O Guardião da Segurança de Rede do seu macOS

2024-12-30
Little Snitch: O Guardião da Segurança de Rede do seu macOS

Little Snitch é um monitor de rede e firewall de aplicativos pessoal para macOS que lhe dá controle sobre quais aplicativos se conectam à internet. Ele alerta você sobre cada tentativa de conexão, permitindo que você permita ou negue o acesso, garantindo que seus dados permaneçam seguros. Os recursos incluem modo silencioso, um gráfico de tráfego visual, gerenciamento de regras flexível, criptografia DNS integrada e identificação de processo criptográfico para frustrar malware. Monitore e gerencie a atividade de rede do seu Mac com facilidade, protegendo sua privacidade.

Leia mais
Desenvolvimento
1 2 581 582 583 585 587 588 589 595 596