Estratégia de Teste do rqlite: Uma Abordagem em Pirâmide para Eficiência

2025-01-14

O rqlite, um banco de dados relacional distribuído, leve e de código aberto, construído sobre SQLite e Raft, prioriza confiabilidade e qualidade por meio de uma estratégia de teste rigorosa. Este artigo detalha como o rqlite adere à pirâmide de testes, priorizando os testes unitários como base, complementados por testes de sistema e um número mínimo de testes de ponta a ponta para eficiência e depuração. Os testes unitários dominam, garantindo a independência e a capacidade de teste dos componentes; os testes de sistema validam a interação entre o módulo de consenso Raft e o SQLite; os testes de ponta a ponta servem como uma verificação final de sanidade. O artigo também destaca a importância dos testes de desempenho e compartilha lições aprendidas, como a otimização das chamadas fsync identificadas como gargalo por meio de testes de desempenho. O sucesso do rqlite demonstra como essa estratégia mantém alta qualidade, minimizando a sobrecarga.

Leia mais

Geolocalização por Latência de Rede: Melhorando a Segurança de Pesquisas Online

2025-01-14

Uma nova técnica usa a latência da rede para verificar a autenticidade das respostas de pesquisas online. Medindo o tempo que os sinais levam para viajar entre um dispositivo e vários servidores, a localização física do dispositivo pode ser inferida. Esse método é resistente à manipulação, funcionando mesmo com os serviços de localização desativados, e fornece uma camada adicional de segurança contra fraude em pesquisas. Embora a manipulação de sinais atmosféricos ou de satélite seja teoricamente possível, requer recursos e conhecimentos significativos, tornando a manipulação em larga escala extremamente difícil. Combinado com outras medidas de segurança, como a exclusão de IPs de data centers conhecidos e a análise de padrões de resposta, isso melhora significativamente a integridade das pesquisas online.

Leia mais

structured-logprobs: Aumentando a Confiabilidade da Saída Estruturada do OpenAI

2025-01-14

structured-logprobs é uma biblioteca Python de código aberto que aprimora a confiabilidade das saídas estruturadas do OpenAI fornecendo informações detalhadas sobre a probabilidade do log de tokens. Ela funciona com o recurso de Saídas Estruturadas do OpenAI, garantindo respostas consistentes que aderem a um Esquema JSON fornecido, evitando chaves ausentes ou valores inválidos. A biblioteca oferece dois métodos para integrar probabilidades de log: adicionando-as como um campo separado ou incorporando-as diretamente no conteúdo da mensagem.

Leia mais

Como a escrita remodelou a complexidade das frases em inglês

2025-01-14
Como a escrita remodelou a complexidade das frases em inglês

Este artigo explora o impacto da escrita na complexidade das frases em inglês. Pesquisas mostram que as línguas faladas tendem a estruturas de frases mais simples, enquanto a linguagem escrita prefere orações complexas e encadeadas. Essa diferença decorre das propriedades inerentes da escrita versus fala: a escrita permite planejamento e revisão deliberados, enquanto a fala é limitada pelo tempo e pela memória. Além disso, os contextos culturais e de conhecimento de diferentes comunidades linguísticas também influenciam a complexidade das frases. A diminuição das estruturas frasais complexas no inglês moderno escrito pode estar ligada a mudanças nos hábitos de leitura e a uma demanda por linguagem mais acessível.

Leia mais

Mastodon se torna sem fins lucrativos e abraça a descentralização

2025-01-14

O Mastodon, plataforma de mídia social descentralizada, anunciou uma mudança significativa em direção à propriedade comunitária. Ativos importantes, incluindo o nome e os direitos autorais, serão transferidos para uma nova organização sem fins lucrativos na Europa. O fundador Eugen Rochko deixará o cargo de CEO para se concentrar na estratégia de produto. Essa mudança visa solidificar a independência do Mastodon de entidades únicas, garantindo sua sustentabilidade a longo prazo e priorizando a segurança e o crescimento da comunidade. Os esforços futuros se concentrarão em melhorar a experiência do usuário, fortalecer a privacidade e expandir a rede descentralizada Fediverse.

Leia mais

Playground Online do Marimo: Compartilhamento de Notebooks WebAssembly sem Conta

2025-01-14
Playground Online do Marimo: Compartilhamento de Notebooks WebAssembly sem Conta

O Marimo lançou um playground online para criar e compartilhar notebooks Marimo gratuitamente, sem necessidade de conta. Os notebooks podem ser facilmente compartilhados via links e incorporados em outras páginas da web, como visto na própria documentação do Marimo. Atualmente, apenas notebooks WebAssembly são suportados, oferecendo compartilhamento e incorporação fáceis, mas com algumas limitações em suporte a pacotes e desempenho. Notebooks novos são criados em marimo.new, salvos localmente no navegador ou na Nuvem da Comunidade. Notebooks do GitHub podem ser abertos diretamente, e arquivos de dados podem ser incluídos. Opções de configuração como modo de somente leitura, ocultação do cabeçalho e exclusão de código oferecem flexibilidade.

Leia mais

reMarkable Digest: Resumos de Leitura Pessoais para seu reMarkable

2025-01-14
reMarkable Digest: Resumos de Leitura Pessoais para seu reMarkable

reMarkable Digest é um aplicativo de resumos de leitura pessoal projetado para o tablet reMarkable. Ele permite que os usuários extraiam trechos importantes de artigos e livros para fácil revisão e organização posterior. Aproveitando a experiência de escrita semelhante ao papel do reMarkable, o aplicativo torna a anotação natural e eficiente, melhorando a compreensão da leitura e a gestão do conhecimento.

Leia mais
Diversos anotações

Cartas de baralho satirizando CEOs causam frenesi de censura

2025-01-14
Cartas de baralho satirizando CEOs causam frenesi de censura

James Harr, dono da ComradeWorkwear, planejava lançar um baralho de cartas satirizando CEOs, provocando uma tempestade de censura nas redes sociais e plataformas de pagamento. Após uma reportagem do New York Post, Harr foi questionado pela polícia, e suas contas da empresa e pessoais foram posteriormente banidas por plataformas como TikTok e Shopify, com o PayPal parando os pagamentos. Isso destaca a natureza arbitrária e opaca da moderação de conteúdo em grandes plataformas de tecnologia e a ameaça potencial à liberdade de expressão, mesmo quando o conteúdo não viola as regras da plataforma. A experiência de Harr não é única; muitos usuários que expressaram opiniões negativas sobre grandes empresas enfrentaram tratamento semelhante.

Leia mais

DevOps: Mudança Cultural para Entrega de Software Mais Rápida

2025-01-14
DevOps: Mudança Cultural para Entrega de Software Mais Rápida

DevOps é mais do que apenas um conjunto de ferramentas; é uma filosofia cultural e um conjunto de práticas para entrega de software. Ele automatiza e conecta processos entre equipes de desenvolvimento de software e operações de TI, removendo barreiras para uma entrega de software mais rápida, como processos manuais, política de escritório e fluxos de trabalho contraproducentes. DevOps promove Integração Contínua (CI) e Entrega Contínua (CD), melhorando significativamente a velocidade e a qualidade da entrega de software por meio de ciclos de desenvolvimento mais curtos, loops de feedback mais rápidos e automação. CI automatiza as fases de construção, teste e empacotamento, enquanto CD estende a automação para todo o pipeline de entrega, permitindo acesso mais rápido do usuário ao software. A implementação bem-sucedida do DevOps concentra-se em automação, cultura de equipe e otimização de processos, começando com pequenas melhorias e escalonando gradualmente.

Leia mais
Desenvolvimento

NixOS: Um relacionamento de amor e ódio de dois anos (e um término)

2025-01-14

Esta publicação detalha a jornada de dois anos do autor usando NixOS, seu gerenciador de pacotes e linguagem. Inicialmente atraído por sua configuração declarativa e reprodutibilidade, o autor acabou encontrando mais problemas do que soluções. Embora o NixOS tenha se destacado em servidores e serviços simples, o uso em desktops se mostrou desafiador devido às complexidades no gerenciamento de pacotes, erros de compilação crípticos e consumo significativo de recursos. O autor decidiu se afastar do uso em tempo integral do NixOS, buscando um fluxo de trabalho mais simplificado.

Leia mais
Desenvolvimento

Teclado Cosmos: Projete seu teclado ergonômico perfeito

2025-01-14

Cosmos é um software revolucionário de design de teclado que permite criar um teclado personalizado e ergonômico ao escanear sua mão. Ele suporta uma ampla gama de componentes, incluindo vários switches, keycaps e complementos como trackballs e displays OLED. Cosmos possui verificação de erros e correção automática para impressão 3D suave e exporta em formatos STL e STEP para modificação posterior. Com a maior parte de seu código sendo open-source, visa fornecer a todos a tecnologia para aliviar e prevenir dores na digitação.

Leia mais
Hardware ergonomia

Glicol: Um Gerador de Imagens de IA Revolucionário

2025-01-14

Glicol é mais do que um gerador de imagens; é um artista digital. Usando algoritmos e modelos exclusivos, ele transforma descrições de texto em imagens com estilos diversos e detalhes ricos. Ele vai além dos estilos de imagem comuns, produzindo resultados impressionantes com ajustes sutis do usuário. Glicol anuncia uma nova era na geração de imagens de IA, oferecendo ferramentas criativas sem precedentes para artistas e designers.

Leia mais

Glossário de GPU: Um Guia Completo para a Arquitetura de GPU

2025-01-14
Glossário de GPU: Um Guia Completo para a Arquitetura de GPU

A equipe Modal criou um glossário abrangente de GPU para resolver a natureza fragmentada da documentação de GPU. Este dicionário online interativo conecta conceitos em diferentes níveis da pilha, desde a arquitetura CUDA até os sinalizadores do compilador nvcc. Os usuários podem navegar por meio de hiperlinks ou ler linearmente. O glossário abrange hardware de dispositivo (arquitetura CUDA, multiprocessadores de streaming, etc.), software de dispositivo (modelo de programação CUDA, PTX, etc.) e software de host (CUDA C++, drivers NVIDIA, etc.), fornecendo aos desenvolvedores um recurso abrangente e fácil de entender para o conhecimento de GPU.

Leia mais
Desenvolvimento Computação Paralela

Tipos Teórico-Conjuntos do Elixir: Resolvendo o Problema da Evolução de Dados para Bibliotecas

2025-01-14

Este artigo explora como os tipos teórico-conjuntos no Elixir podem resolver os desafios de compatibilidade com versões anteriores da evolução de definições de dados públicos em bibliotecas em linguagens com tipagem estática. O autor ilustra as limitações dos sistemas de tipos existentes ao lidar com a evolução de estruturas de dados com um exemplo de interoperabilidade entre bibliotecas C e Rust. Uma solução baseada em subtipagem estrutural e revisão é proposta, permitindo que as bibliotecas estendam estruturas de dados sem quebrar os usuários existentes. Essa solução utiliza o compilador para verificação automática de segurança de tipo e suporta a coexistência de diferentes versões de dados entre bibliotecas e aplicativos.

Leia mais
Desenvolvimento Evolução de Dados

Folclore da Internet: De Falhas na Impressora a Falhas na Segurança Nacional

2025-01-14

Esta coleção reúne anedotas hilárias da internet, desde problemas de impressão do OpenOffice às terças-feiras até uma violação da segurança nacional causada pelo Gravador de Sons do Windows, o ressurgimento de uma fonte de 25 anos e vários malfuncionamentos de hardware e bugs de software bizarros. Essas histórias destacam o lado divertido do mundo da tecnologia e refletem os desafios, muitas vezes cômicos, enfrentados por programadores e usuários.

Leia mais

Biden assina ordem executiva: assegurando a liderança dos EUA em infraestrutura de IA

2025-01-14
Biden assina ordem executiva: assegurando a liderança dos EUA em infraestrutura de IA

O presidente Biden assinou uma ordem executiva com o objetivo de consolidar a liderança dos EUA em infraestrutura de IA. A ordem descreve um plano para construir data centers avançados de IA em terras federais, enfatizando a colaboração com o setor privado, a utilização de energia limpa, a segurança nacional e a competitividade econômica. O plano envolve a criação de pelo menos três data centers de IA de ponta em terras federais, juntamente com instalações de energia limpa para atender às suas necessidades massivas de energia. A ordem também se compromete a garantir um cenário justo e competitivo e a beneficiar os trabalhadores e as comunidades americanas.

Leia mais
Tecnologia Energia Limpa

Doom em um arquivo PDF: Uma demonstração de proeza de programação

2025-01-14
Doom em um arquivo PDF: Uma demonstração de proeza de programação

Programadores conseguiram portar o clássico jogo Doom para um arquivo PDF! Isso não é uma simples incorporação; ele usa as capacidades JavaScript do PDF para renderizar Doom usando uma manipulação inteligente de caracteres ASCII dentro de um leitor de PDF. Embora a taxa de quadros não seja alta, é suficientemente jogável para proporcionar uma experiência nostálgica. Essa façanha demonstra o potencial latente do formato PDF e serve como um lembrete de que arquivos PDF aparentemente estáticos podem conter surpresas ocultas.

Leia mais
Jogos

Guix Shepherd 1.0 Lançado: Um Gerenciador de Serviços Minimalista Atingindo a Versão 1.0

2025-01-14

Após 21 anos em desenvolvimento, o gerenciador de serviços Guix Shepherd finalmente atingiu a versão 1.0! O Shepherd é um gerenciador de serviços minimalista, porém poderoso, que monitora, inicia, interrompe e reinicia serviços. Ele suporta ações personalizadas e a visualização de dependências de serviços. Escrito em Guile Scheme, o Shepherd possui uma configuração simples e intuitiva, tornando-o acessível mesmo para quem não é especialista em Scheme. A versão 1.0 introduz serviços cronometrados, exibição de status de serviço aprimorada, um serviço de rotação de logs e um serviço de log do sistema. O código é notavelmente conciso e eficiente, com apenas 7.4K linhas de código Scheme. O desenvolvimento futuro visa um gerenciador de serviços distribuído e baseado em capacidades.

Leia mais
Desenvolvimento gerenciador de serviços

Apple receberá em breve chips 'fabricados nos EUA' da fábrica do TSMC no Arizona

2025-01-14
Apple receberá em breve chips 'fabricados nos EUA' da fábrica do TSMC no Arizona

A fábrica do TSMC no Arizona está se aproximando da produção em massa de chips para a Apple, com entregas esperadas já no primeiro trimestre. Isso representa um passo significativo para a independência de chips dos EUA, que antes dependiam fortemente de Taiwan. Embora o encapsulamento inicial dos chips ainda ocorra em Taiwan, esse desenvolvimento mitiga preocupações sobre riscos geopolíticos e desastres naturais que interrompem a cadeia de suprimentos. A TSMC está recrutando ativamente talentos americanos e se associando à Arizona State University para promover o crescimento da indústria de chips americana.

Leia mais

NASA adota estratégia dupla para retorno de amostras de Marte

2025-01-14
NASA adota estratégia dupla para retorno de amostras de Marte

Para maximizar as chances de trazer com sucesso as primeiras amostras de rochas e sedimentos marcianos para a Terra, a NASA anunciou uma nova abordagem para seu programa de retorno de amostras de Marte (MSR). A agência perseguirá duas arquiteturas de pouso em paralelo, aproveitando a tecnologia de guindaste aéreo existente e explorando novas capacidades comerciais. Essa estratégia de duplo caminho visa reduzir custos e prazos, ao mesmo tempo em que aumenta o sucesso da missão. O objetivo final é desvendar os mistérios de Marte, investigar a possibilidade de vida passada e preparar o caminho para futuras explorações humanas. Uma decisão final sobre a arquitetura do programa é esperada na segunda metade de 2026.

Leia mais

Allstate processada por rastrear secretamente motoristas por meio do GasBuddy e outros aplicativos

2025-01-14
Allstate processada por rastrear secretamente motoristas por meio do GasBuddy e outros aplicativos

O Texas está processando a Allstate, alegando que a seguradora e sua subsidiária de dados, Arity, usaram dados de aplicativos como GasBuddy e Life360 para rastrear secretamente motoristas e ajustar ou cancelar apólices. O processo afirma que a Allstate pagou milhões a esses aplicativos para instalar softwares de rastreamento, coletando trilhões de milhas de dados de localização de mais de 45 milhões de pessoas, violando a Lei de Privacidade e Segurança de Dados do Texas. Esta é a primeira ação estatal a atingir violações abrangentes de privacidade de dados, levantando sérias preocupações sobre a privacidade de dados na indústria de seguros.

Leia mais

Milhões de Contas Vulneráveis Devido a Falha no OAuth do Google

2025-01-14
Milhões de Contas Vulneráveis Devido a Falha no OAuth do Google

Um novo estudo revela uma vulnerabilidade crítica no fluxo de autenticação "Entrar com o Google" do Google, potencialmente expondo dados de milhões de americanos. Atacadores podem comprar domínios de startups extintas, recriar contas de e-mail de ex-funcionários e acessar vários serviços SaaS vinculados a essas contas, incluindo sistemas de RH e plataformas de bate-papo contendo informações confidenciais. O pesquisador relatou o problema ao Google, que inicialmente o marcou como "não corrigirá". Somente depois que a palestra do pesquisador na Shmoocon foi aceita, o Google reabriu o problema e pagou uma recompensa. Enquanto o Google está trabalhando em uma solução, milhões de contas permanecem vulneráveis.

Leia mais
Tecnologia OAuth do Google

dbt Labs adquire SDF Labs para acelerar a experiência do desenvolvedor dbt

2025-01-14
dbt Labs adquire SDF Labs para acelerar a experiência do desenvolvedor dbt

A dbt Labs anunciou a aquisição da SDF Labs, uma empresa com tecnologia de ponta em compreensão de SQL. Essa aquisição melhorará significativamente a experiência do desenvolvedor dbt, incluindo velocidades de compilação muito mais rápidas, autocompletar no IDE e linhagem de dados de alta fidelidade. A tecnologia da SDF permite que o dbt compreenda o SQL escrito pelo usuário de forma mais profunda, possibilitando recursos mais poderosos e um fluxo de trabalho de desenvolvimento mais suave, descrito como um 'momento React' para o mundo de dados.

Leia mais
Desenvolvimento desenvolvimento de dados

A Obsessão do Homeschooling na Elite da Tecnologia: Recusando a Média?

2025-01-14
A Obsessão do Homeschooling na Elite da Tecnologia: Recusando a Média?

Este artigo explora a crescente tendência de homeschooling entre profissionais de tecnologia. O autor, um ex-aluno de homeschooling, relata sua experiência e observa a mudança no status social do homeschooling. Embora reconhecendo os argumentos a favor e contra o homeschooling, o autor argumenta que a principal motivação é o desejo de 'recusar' a interação com pessoas comuns, acreditando que isso equipará melhor as crianças para mudar o mundo. No entanto, são levantadas preocupações sobre o possível isolamento social e a falta de empatia. Por fim, o autor escolhe manter seus filhos na escola tradicional, destacando os benefícios de navegar pelos desafios sociais para um desenvolvimento saudável.

Leia mais

Remova os pedais: Uma abordagem revolucionária para ensinar crianças a andar de bicicleta

2025-01-14
Remova os pedais: Uma abordagem revolucionária para ensinar crianças a andar de bicicleta

O método tradicional de ensinar crianças a andar de bicicleta – correr ao lado e soltar – muitas vezes leva à frustração e lágrimas. Este artigo apresenta uma abordagem revolucionária: remova os pedais! Ao focar primeiro no equilíbrio, as crianças podem dominar essa habilidade crucial antes de adicionar a complexidade da pedalada. Este método torna a aprendizagem muito mais fácil e menos assustadora, resultando em menos frustração e experiências mais bem-sucedidas. A anedota do autor destaca uma lição simples, mas profunda, sobre como quebrar tarefas complexas em etapas menores e gerenciáveis – um princípio aplicável muito além do ciclismo.

Leia mais

O Clássico de Chicago: A Ascensão e Queda (e Ascensão Novamente) de Jeppson's Malört

2025-01-14
O Clássico de Chicago: A Ascensão e Queda (e Ascensão Novamente) de Jeppson's Malört

Jeppson's Malört, um licor amargo de estilo sueco conhecido por seu gosto intensamente amargo, é uma instituição de Chicago. Criado na década de 1930 pelo imigrante sueco Carl Jeppson, enfrentou quase a extinção antes de ser revivido em 2018 pela CH Distillery. Apesar de ser descrito como 'a pior bebida de todos os tempos', o Malört tornou-se uma pedra angular da cultura de Chicago, um rito de passagem peculiar, e suas vendas aumentaram constantemente, expandindo-se além de seu mercado inicial de Chicago para uma distribuição mais ampla nos EUA.

Leia mais

Priorizando carros sobre pessoas: como uma interseção de uma cidade universitária se tornou mais perigosa

2025-01-14
Priorizando carros sobre pessoas: como uma interseção de uma cidade universitária se tornou mais perigosa

Um redesenho de uma interseção em Orange, Califórnia, uma cidade universitária com boas condições para pedestres, destaca uma tendência preocupante: priorizar a velocidade dos carros em detrimento da segurança dos pedestres. O que antes era uma parada de quatro vias segura foi substituído por um sinal de trânsito, supostamente para 'melhorar o fluxo de tráfego e reduzir conflitos'. No entanto, a atualização atrasou os pedestres, adicionou inconvenientes e só economizou alguns segundos aos motoristas, enquanto aumentava significativamente o risco de acidentes devido a motoristas passando o sinal vermelho. Essa 'melhoria' de US$ 600.000 mostra uma priorização falha da eficiência do veículo sobre a segurança e o conforto dos pedestres, refletindo um desalinhamento comum de valores no projeto de ruas nos EUA.

Leia mais

A Nova Renda Extra de US$ 30.000: Indicando Vagas para Estranhos

2025-01-14
A Nova Renda Extra de US$ 30.000: Indicando Vagas para Estranhos

Um funcionário de tecnologia ganhou cerca de US$ 30.000 em 18 meses indicando mais de 1.000 candidatos a empregos, muitos deles desconhecidos, para sua empresa. Dezenas de indicações resultaram em contratações bem-sucedidas. Isso reflete o competitivo mercado de trabalho, com candidatos buscando qualquer vantagem. Plataformas como Blind e Refermarket conectam candidatos a empregos com funcionários anônimos dispostos a fornecer indicações, mas essa prática também apresenta riscos para os empregadores, que podem ser inundados com candidatos não examinados.

Leia mais

Truques CSS para elementos HTML Dialog

2025-01-14
Truques CSS para elementos HTML Dialog

Esta postagem compartilha duas dicas de CSS para melhorar o elemento HTML ``. Primeiro, mostra como desfocar sutilmente o plano de fundo atrás da caixa de diálogo usando `backdrop-filter: blur(2px);` aplicado ao pseudo-elemento `::backdrop`. Segundo, mostra como evitar a rolagem da página enquanto a caixa de diálogo está aberta usando o seletor `body:has(dialog[open]) { overflow: hidden; }`. Isso evita que a página subjacente se mova enquanto interage com a caixa de diálogo. Essas adições simples de CSS melhoram a experiência do usuário.

Leia mais
Desenvolvimento

Proton arrecada mais de US$ 1 milhão para apoiar uma internet melhor

2025-01-14
Proton arrecada mais de US$ 1 milhão para apoiar uma internet melhor

A arrecadação anual de caridade da Proton, uma rifa para Contas Vitalícias, arrecadou mais de US$ 1 milhão, um valor recorde, para apoiar organizações que lutam pela privacidade, liberdade de expressão e direitos humanos em todo o mundo. Isso eleva o total arrecadado nos últimos sete anos para mais de US$ 4 milhões. Os fundos serão destinados a 10 organizações escolhidas pela comunidade Proton, além das apoiadas em anos anteriores. Além das contribuições financeiras, a Proton fornece serviços gratuitos em regiões com ameaças à privacidade, apoia projetos de código aberto e combate ativamente a censura online. Esse sucesso destaca o poder da ação comunitária para construir um futuro digital melhor.

Leia mais
1 2 520 521 522 524 526 527 528 595 596