Kronotop: Um banco de dados de documentos distribuído e transacional compatível com Redis

2025-01-20
Kronotop: Um banco de dados de documentos distribuído e transacional compatível com Redis

Kronotop é um banco de dados de documentos distribuído e transacional compatível com Redis, com suporte do FoundationDB. Ele oferece suporte a uma linguagem de consulta semelhante ao MQL, transações ACID e um mecanismo de armazenamento em disco com um modelo de replicação primário-secundário. Embora ainda esteja em estágio inicial de desenvolvimento, com uma API instável, já possui recursos como ZMap (um armazenamento de chave-valor ordenado), namespaces e suporte parcial para estruturas de dados Redis (strings e hashes). Planos futuros incluem suporte para mais estruturas de dados Redis (listas, conjuntos, conjuntos ordenados) e uma estrutura de dados Bucket para armazenar documentos semelhantes a JSON com suporte a linguagem de consulta MQL e transações.

Leia mais
Desenvolvimento

Proposta: Efeitos Essenciais para C

2025-01-20

Esta proposta sugere aprimorar o sistema de tipos principal da linguagem C com um sistema de tipo e efeito, exigindo que funções e blocos declarem os efeitos de sua avaliação. Isso melhora a composição de metaprogramação e simplifica a definição de restrições no estilo MISRA. O sistema rastreia e verifica efeitos, mas não lida com o tratamento de efeitos dinâmicos. Três grupos principais de efeitos são propostos: Locais (por exemplo, gravação local), Persistentes (por exemplo, gravação não local) e Controle (por exemplo, transferência de controle não local). A verificação estática de efeitos é alcançada atribuindo tipo e efeito a cada instrução, expressão e corpo de função, descartando efeitos locais para garantir a ordenação correta. Boas práticas são sugeridas, como limitar a magnitude dos efeitos `mut` e `vol` e especificar verificações de efeitos para operadores e estruturas de controle. O objetivo é melhorar a segurança, legibilidade e composição da linguagem C, especialmente para metaprogramação e gerenciamento de recursos.

Leia mais
Desenvolvimento sistema de tipos

Bambu Lab Responde à Polêmica da Atualização de Segurança: Integração de Terceiros e Modo LAN Opcional

2025-01-20
Bambu Lab Responde à Polêmica da Atualização de Segurança: Integração de Terceiros e Modo LAN Opcional

A Bambu Lab respondeu à controvérsia em torno de sua atualização de segurança para impressoras da série X. A empresa negou as acusações online de desativar impressoras remotamente, restringir funcionalidades e incluir backdoors. Para equilibrar segurança e flexibilidade, eles introduziram um modo LAN opcional com um modo padrão (padrão, priorizando segurança) e um modo desenvolvedor (para usuários avançados assumirem a responsabilidade por sua segurança de rede). A Bambu Lab enfatiza que sua plataforma Connect é projetada para garantir a integração contínua de terceiros e está trabalhando ativamente com desenvolvedores como a Orca Slicer para manter a experiência do usuário e a segurança.

Leia mais

Meta processada por usar dados de torrent pirata para treinamento de IA

2025-01-20

Autores estão processando o Meta por alegadamente usar seus trabalhos protegidos por direitos autorais sem permissão para treinar seus modelos de IA. O processo afirma que o Meta usou o BitTorrent para baixar e compartilhar milhões de livros piratas da biblioteca shadow LibGen. Embora o Meta tenha admitido usar fontes não oficiais, argumentou uso justo. No entanto, os autores estão buscando os logs do cliente BitTorrent do Meta e dados de seed para provar infração intencional. Um juiz permitiu uma investigação adicional sobre o aspecto de 'seed', potencialmente impactando a defesa de uso justo do Meta e alterando significativamente a trajetória do caso.

Leia mais

Lançamento do foguete Falcon 9 da SpaceX abortado a 11 segundos do lançamento devido a jato da Delta Air

2025-01-20
Lançamento do foguete Falcon 9 da SpaceX abortado a 11 segundos do lançamento devido a jato da Delta Air

O lançamento de um foguete Falcon 9 da SpaceX foi abortado a apenas 11 segundos do lançamento na manhã de domingo depois que um avião da Delta Air Lines teria voado para uma área de espaço aéreo restrito perto do local de lançamento. A transmissão ao vivo do lançamento mostrou a sala de controle chamando urgentemente "Segure, segure, segure!" enquanto o lançamento foi abortado no marco de 11 segundos. Investigações revelaram que o Boeing 767 da Delta Air Lines, a caminho de Los Angeles para Honolulu, sobrevoou a Base da Força Espacial de Vandenberg, o local de lançamento do Falcon 9. A Administração Federal de Aviação (FAA) investigará como os controladores de tráfego aéreo permitiram que o voo da Delta entrasse no espaço aéreo restrito. Esta quase colisão ocorre dias depois que o foguete Starship da SpaceX explodiu, causando desvios de vôo.

Leia mais

Apreensão recorde de 'mel afrodisíaco' com Viagra na França

2025-01-20
Apreensão recorde de 'mel afrodisíaco' com Viagra na França

Funcionários da alfândega francesa anunciaram a apreensão recorde de "mel afrodisíaco" importado ilegalmente e misturado com Viagra e outros medicamentos em 2024. O mel, principalmente da Turquia, Norte da África e Sudeste Asiático, é vendido no mercado negro e em lojas noturnas como estimulante sexual natural. No entanto, frequentemente contém medicamentos ocultos como sildenafil ou tadalafil, os principais componentes do Viagra e Cialis, que podem ser perigosos quando interagem com outros medicamentos, como os usados para tratar pressão alta. Uma apreensão em Marselha em novembro passado confiscou 13 toneladas da Malásia. O FDA dos EUA também emitiu alertas em 2021 e 2022 sobre suplementos à base de mel que prometem "aumento da libido."

Leia mais
Diversos contrabando

Quebra-Cabeças Manual: Jogue com as Mãos!

2025-01-20
Quebra-Cabeças Manual: Jogue com as Mãos!

Esqueça os controladores! 'Quebra-Cabeças Manual' permite que você jogue o clássico jogo usando apenas suas mãos. O jogo usa sua webcam para rastrear os movimentos da sua palma, controlando a raquete para quebrar os tijolos. A dificuldade aumenta a cada nível, aumentando a velocidade da bola e diminuindo a largura da raquete, testando seus reflexos. Todo o processamento acontece diretamente no seu navegador, garantindo privacidade. O código do jogo é de código aberto, construído com JavaScript, canvas HTML e rastreamento de mão MediaPipe. O criador também oferece outros projetos de código aberto divertidos, como conversores de vídeo para arte ASCII.

Leia mais

Notas da Comunidade do X: Construindo uma Comunidade para Combater a Desinformação

2025-01-20

A equipe por trás das Notas da Comunidade do X (anteriormente Twitter) compartilha seu processo de design e filosofia para combater a desinformação na plataforma. Inicialmente, observando a dificuldade em acessar informações precisas online, eles foram além dos métodos tradicionais (equipes internas de revisão ou parcerias com a mídia), que sofriam de problemas de velocidade, escala e confiança. Inspirados no modelo de crowdsourcing da Wikipédia, eles desenvolveram as Notas da Comunidade: os usuários enviam notas específicas que abordam postagens individuais, e um algoritmo filtra as notas consideradas úteis em todo o espectro político. Esse algoritmo analisa o histórico de votação do usuário, identificando notas que superam as divergências mesmo entre pontos de vista opostos. Anos de iteração e testes levaram a um lançamento global, reduzindo significativamente a disseminação de desinformações e aumentando a confiança do usuário.

Leia mais

A Morte da Autenticidade: Como a 'Autenticidade' se Tornou uma Commodity

2025-01-20
A Morte da Autenticidade: Como a 'Autenticidade' se Tornou uma Commodity

Este ensaio traça a evolução da 'autenticidade' na cultura contemporânea. Da obsessão inicial dos hipsters por bens independentes e não comercializados à prevalência atual de termos de marketing como 'feito à mão' e 'pequenos lotes', a autenticidade passou de um bem escasso a um bem ubíquo. O autor argumenta que a ascensão da internet e das mídias sociais reduziu o custo da disseminação de informações, levando o valor compartilhado a substituir a escassez e inaugurando uma era 'pós-autenticidade'. As marcas não são mais simplesmente commodities, mas participantes ativos na formação da cultura, exigindo uma abordagem mais matizada para a crítica.

Leia mais

SRCL: Uma biblioteca de componentes React com estética de terminal

2025-01-20
SRCL: Uma biblioteca de componentes React com estética de terminal

SRCL é um repositório de componentes e estilos React de código aberto que ajuda você a construir aplicativos web, aplicativos de desktop e sites estáticos com estética de terminal. Ele possui uma coleção abrangente de componentes, incluindo barras de ação, sanfona, botões, banners de alerta, avatares, emblemas, carregadores, postagens de blog, breadcrumbs, cards, caixas de seleção, tabuleiros de xadrez, blocos de código, caixas combinadas, tabelas de dados, seletores de data, dashboards, exemplos de banco de dados, menus suspensos, estados vazios, campos de entrada, formulários, links, listas, mensagens, modais, barras de navegação, popovers, barras de progresso, botões de rádio, seletores, barras laterais, controles deslizantes, tabelas, áreas de texto, dicas de ferramenta e visualizações de árvore, todos estilizados com uma aparência e sensação retrô de terminal.

Leia mais

Engenharia Reversa de um Post Viral no Hacker News

2025-01-20
Engenharia Reversa de um Post Viral no Hacker News

Este post de blog detalha o sucesso inesperado de um artigo no Hacker News. O autor relata como uma simples postagem de blog sobre uma técnica de 'encontre a diferença', intitulada "Adquiri um novo superpoder", inesperadamente atraiu mais de 100.000 leitores. Os fatores-chave que contribuíram para sua viralidade incluíram: confiar na sua intuição sobre um tópico interessante, criar um título simples, porém intrigante, empregar um estilo de escrita pessoal e envolvente e incorporar um elemento 'experimente você mesmo' para encorajar a participação do leitor.

Leia mais
Diversos conteúdo viral

YC Anuncia o Lote da Primavera de 2025: X25

2025-01-20
YC Anuncia o Lote da Primavera de 2025: X25

A Y Combinator está lançando seu primeiro lote de primavera, o X25, elevando o número total de lotes anuais para quatro (Inverno, Primavera, Verão, Outono). A designação 'X', escolhida por seu uso comum na programação, reflete as raízes tecnológicas da YC. Essa programação de lotes mais frequente visa melhor acomodar os prazos dos fundadores e financiar rapidamente o aumento de startups impulsionadas por IA. As inscrições estão abertas até 11 de fevereiro, 20h PT, com o programa acontecendo de abril a junho e culminando em um Demo Day presencial.

Leia mais
Startup

Lista de Desejos de Suporte a Dispositivos ROCm: Entrada da Comunidade para Compatibilidade Futura de GPU

2025-01-20
Lista de Desejos de Suporte a Dispositivos ROCm: Entrada da Comunidade para Compatibilidade Futura de GPU

A plataforma de computação de código aberto ROCm da AMD está buscando a contribuição da comunidade para determinar quais GPUs receberão suporte de driver no futuro. Atualmente, o ROCm suporta placas selecionadas AMD Instinct e Radeon, mas muitos usuários estão solicitando suporte para mais modelos, particularmente aqueles com 16 GB ou mais de VRAM, e a restauração do suporte para GPUs AMD mais antigas que perderam a compatibilidade com o ROCm. Um tópico de discussão no GitHub gerou um engajamento significativo da comunidade, com usuários votando ativamente em seu suporte de GPU desejado.

Leia mais

Funcionários de startups falidas correm risco de roubo de dados pessoais por meio de logins antigos do Google

2025-01-20
Funcionários de startups falidas correm risco de roubo de dados pessoais por meio de logins antigos do Google

Um pesquisador de segurança descobriu uma vulnerabilidade crítica que expõe funcionários de startups extintas a roubos significativos de dados. Ao adquirir domínios expirados, os atacantes podem explorar o "Entrar com o Google" para acessar softwares de nuvem da empresa, roubando potencialmente mensagens do Slack, números do Seguro Social e dados de contas bancárias. Embora a configuração do OAuth do Google inclua salvaguardas, a implementação incorreta por alguns provedores de SaaS deixa a vulnerabilidade explorável. Dezenas de milhares de ex-funcionários e milhões de contas de SaaS correm risco. O Google atualizou sua documentação, aconselhando as empresas a desligar adequadamente os serviços em nuvem, mas o problema permanece sem solução.

Leia mais
Tecnologia

Novo aplicativo de livestreaming da Canon não suporta câmeras Canon

2025-01-20
Novo aplicativo de livestreaming da Canon não suporta câmeras Canon

A Canon lançou o "Live Switcher Mobile", um novo aplicativo de livestreaming para iOS que suporta até três visualizações de câmera. Curiosamente, ele funciona apenas com dispositivos Apple e, no momento, não suporta as próprias câmeras Canon. A versão gratuita é limitada a 720p com anúncios e marcas d'água. Uma assinatura paga de US$ 18 mensais desbloqueia 1080p, remove anúncios e adiciona recursos como imagem em imagem. Embora tenha menos recursos que alternativas gratuitas como OBS Studio, a Canon promete suporte para câmeras Canon em breve.

Leia mais

A Rebelião Silenciosa de uma Pequena Vida: Rejeitando a Ascensão Sem Fim, Abraçando o Mundano

2025-01-20
A Rebelião Silenciosa de uma Pequena Vida: Rejeitando a Ascensão Sem Fim, Abraçando o Mundano

Este ensaio questiona a definição moderna de sucesso e a ideia equivocada da sociedade sobre aqueles que escolhem uma vida tranquila. O autor argumenta que o verdadeiro valor não está na escala das conquistas, mas na profundidade da experiência vivida. Referenciando o Mito de Sísifo de Camus e os conceitos de Kierkegaard sobre a vida estética e ética, a peça encoraja a autorreflexão e a busca pela paz interior e realização. Compartilhando experiências e insights pessoais, o autor defende a apreciação das pequenas alegrias da vida, rejeitando as pressões sociais para o sucesso e escolhendo uma existência simples, mas significativa.

Leia mais

China sediará a primeira maratona humano-robô do mundo

2025-01-20
China sediará a primeira maratona humano-robô do mundo

Pequim sediará a primeira meia maratona humano-robô do mundo em abril, com dezenas de robôs humanoides competindo ao lado de 12.000 corredores humanos em uma corrida de 21 km. Este evento demonstra o esforço da China para desenvolver IA e robótica para lidar com o envelhecimento da população, a queda da taxa de natalidade e competir com os EUA em avanços tecnológicos. Robôs de mais de 20 empresas participarão, com prêmios para os melhores colocados.

Leia mais

Lesmas Voxel em um Cubo: Uma Animação Interativa

2025-01-20
Lesmas Voxel em um Cubo: Uma Animação Interativa

O artista Japhy Riddle criou uma animação cativante com três lesmas coloridas se movendo pelas arestas de um cubo invisível, sem nunca se tocarem. Inspirado por isso, o desenvolvedor Matt Sephton construiu uma versão interativa usando Love2D, permitindo que os usuários manipulem os parâmetros do cubo e o comportamento das lesmas. Essa versão interativa não apenas replica o charme do original, mas expande suas possibilidades, como aumentar o número de lesmas. Os usuários podem baixar e explorar as possibilidades por si mesmos.

Leia mais
Jogos

WordPecker: Aprendizado de idiomas personalizado com lições no estilo Duolingo e vocabulário personalizado

2025-01-20
WordPecker: Aprendizado de idiomas personalizado com lições no estilo Duolingo e vocabulário personalizado

WordPecker é um aplicativo de aprendizado de idiomas personalizado que combina aulas no estilo Duolingo com suas próprias listas de vocabulário selecionadas. Adicione palavras de livros, artigos ou vídeos sem problemas e revise-as por meio de questionários interativos e aulas geradas por LLM. O aplicativo aborda os pontos problemáticos da aquisição de vocabulário no aprendizado de idiomas tradicional, conectando o aprendizado ao contexto, aumentando a eficiência e a retenção. Atualmente com vários tipos de perguntas, o desenvolvimento futuro inclui rastreamento de progresso, compartilhamento de listas e muito mais.

Leia mais
Desenvolvimento aprendizagem personalizada

Tolerância à Frustração: A Chave para Sobreviver em Grandes Organizações

2025-01-20
Tolerância à Frustração: A Chave para Sobreviver em Grandes Organizações

Em grandes organizações, as ambições muitas vezes colidem com a realidade. Este artigo explora a 'tolerância à frustração', um fator crucial que determina o sucesso na navegação de complexidades organizacionais, conflitos e progresso lento. Alta tolerância à frustração permite que os indivíduos vejam os desafios como gerenciáveis, enquanto baixa tolerância leva à desistência, negatividade e esgotamento. Quatro causas principais da baixa tolerância à frustração são identificadas: demandas por conforto, justiça, realização e controle emocional. Reformular o atrito organizacional como um catalisador para inovação permite o desenvolvimento de maior tolerância à frustração e prosperidade em ambientes complexos.

Leia mais

Uso do ChatGPT por adolescentes para trabalhos escolares dobra

2025-01-20
Uso do ChatGPT por adolescentes para trabalhos escolares dobra

Uma nova pesquisa do Pew Research Center mostra um aumento significativo no número de adolescentes usando o ChatGPT para tarefas escolares. 26% dos alunos com idades entre 13 e 17 anos agora usam o chatbot de IA para trabalhos de casa, o dobro dos 13% relatados em 2023. A aceitação do ChatGPT varia de acordo com a tarefa; 54% acham aceitável para pesquisa, mas apenas 18% para redação de ensaios. Muitos distritos escolares relaxaram ou revogaram as proibições do ChatGPT, mas as preocupações permanecem em relação à integridade acadêmica e ao acesso equitativo, especialmente devido à falta de regulamentação em torno da IA ​​nas escolas.

Leia mais
Educação Educação

Vida nas Profundezas da Terra: Mais Diversificada do que Imaginávamos

2025-01-20
Vida nas Profundezas da Terra: Mais Diversificada do que Imaginávamos

Uma nova pesquisa está remodelando nossa compreensão da distribuição da vida na Terra. Cientistas descobriram que a diversidade de micróbios nas profundezas do subsolo rivaliza, e às vezes supera, a de florestas tropicais e recifes de coral. Esses micróbios prosperam em ambientes de energia extremamente baixa, florescem mesmo em profundidades onde o fornecimento de energia é muito menor do que para os organismos da superfície. Os pesquisadores sugerem que os ecossistemas subterrâneos podem abrigar mais da metade de todas as células microbianas. Essa descoberta não apenas aprofunda nossa compreensão das formas de vida da Terra, mas também oferece novas perspectivas na busca por vida extraterrestre.

Leia mais

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

Mixxx: Software Gratuito e de Código Aberto para DJs de Todos os Níveis

2025-01-20
Mixxx: Software Gratuito e de Código Aberto para DJs de Todos os Níveis

Mixxx é um software de mixagem de DJ gratuito e de código aberto para Windows, macOS e Linux. Com recursos poderosos como detecção de BPM e tonalidade, trava de sincronização, suporte a controladores de DJ, efeitos e até controle de vinil, o Mixxx atende a DJs de todos os níveis. Impulsionado por uma comunidade internacional apaixonada de DJs e programadores, o Mixxx está em constante atualização e melhoria. A versão mais recente, Mixxx 2.5, promete uma experiência de DJ ainda mais emocionante.

Leia mais

Ovos de Jacaré: Um Jogo que Ensina Cálculo Lambda

2025-01-20

Em 2007, Bret Victor criou "Ovos de Jacaré", um jogo de quebra-cabeça que traduz engenhosamente os conceitos abstratos do cálculo lambda em uma mecânica de jogo divertida. Jacarés famintos representam abstrações lambda, jacarés velhos representam parênteses e ovos representam variáveis. O processo de jacarés comendo outras famílias de jacarés corresponde à redução beta, a regra de cores corresponde à conversão alfa e a regra de morte de jacarés velhos corresponde à eliminação de parênteses. Os jogadores resolvem uma série de quebra-cabeças para entender gradualmente os conceitos centrais do cálculo lambda, como redução beta e conversão alfa. O jogo não apenas fornece uma maneira divertida para as crianças aprenderem cálculo lambda, mas também oferece uma ferramenta intuitiva para entender e calcular o cálculo lambda.

Leia mais

Revolucionando o Cronometragem de Corridas: Demonstração do StoryTiming

2025-01-20

StoryTiming reinventa o cronometragem de corridas, priorizando as informações de tempo e deixando a ação da corrida seguir. Esta demonstração, usando dados da IMSA Rolex 24 de 2024, mostra uma experiência interativa inovadora. Os usuários navegam na corrida sem esforço por meio de atalhos de teclado ou controles do mouse, visualizando dados por meio de várias perspectivas, incluindo uma sobreposição de rastreador de driver. Destinado a aprimorar as transmissões digitais, este projeto é o trabalho de um desenvolvedor de software independente e ainda está em desenvolvimento.

Leia mais

A Magia Matemática por Trás dos Problemas de Divisibilidade na Graduação

2025-01-20
A Magia Matemática por Trás dos Problemas de Divisibilidade na Graduação

Esta postagem de blog explora a origem de problemas comuns em cursos de matemática de graduação, como provar que um polinômio é sempre um múltiplo de um determinado inteiro. O autor destaca que esses problemas derivam da contagem combinatória, especificamente da contagem de Pólya-Redfield. Este método usa a fórmula de contagem de órbitas sob ação de grupo para conectar o valor de um polinômio à contagem de uma determinada estrutura combinatória, garantindo que o polinômio seja sempre um múltiplo de um inteiro específico. O artigo usa dois exemplos, contagem de pulseiras e contagem de tabuleiros de jogo da velha, para explicar como a contagem de Pólya-Redfield é usada para construir esses problemas. Também propõe uma conjectura sobre se todos esses polinômios se originam da contagem de Pólya-Redfield.

Leia mais

Desenvolvedor Indie Usa C para um Jogo Comercial de 2025: Um Relatório

2025-01-20

A Cowleyfornia Studios lançou seu jogo de gerenciamento de trens, *Iron Roads*, em 2025, surpreendentemente escrito em C puro (C99) em vez de C++. A escolha se deveu ao desejo de portabilidade, simplicidade e, mais importante, clareza de código para gerenciar alocação de memória e desempenho. Protótipos em Haskell, Go e Rust foram explorados, mas, em última análise, foram escolhidos C (aproximadamente 40.000 linhas de código) e Lua (aproximadamente 8.000 linhas para lógica de nível superior). O desenvolvedor descobriu que a rápida compilação e a facilidade de otimização do C eram benéficas para o fluxo de trabalho, mas admitiu desafios com serialização e código repetitivo. Embora esteja satisfeito com o resultado, é improvável que repita o processo, inclinando-se para linguagens modernas de alto nível que compilam para C, como Nim, para projetos futuros.

Leia mais

Os Últimos Mestres de Botas de Cowboy de El Paso

2025-01-20
Os Últimos Mestres de Botas de Cowboy de El Paso

No bairro Segundo Barrio, em El Paso, José Contreras e Victor Rodriguez, dois artesãos na casa dos sessenta anos, mantêm viva a tradição de botas de cowboy feitas à mão. Conhecidos como 'Agujas de oro', eles representam uma arte em extinção. Este artigo conta a história deles, destacando suas habilidades incríveis e os desafios e esperanças para o futuro desse ofício.

Leia mais

Protesto FOSDEM '25: Contra Jack Dorsey e Block, Inc.

2025-01-20

Um blogueiro está organizando um protesto na FOSDEM '25 contra Jack Dorsey e sua empresa, Block, Inc., por sua participação na conferência. Os manifestantes argumentam que o papel de Dorsey na venda do Twitter e as práticas comerciais da Block, Inc. ameaçam os valores da comunidade de código aberto. Eles planejam uma ocupação pacífica do horário da palestra de Dorsey em 2 de fevereiro para impedir sua apresentação, enfatizando que o protesto não é contra a FOSDEM em si. O objetivo é melhorar a transparência e a inclusão da FOSDEM, defendendo um processo de tomada de decisão mais aberto.

Leia mais
Diversos Protesto
1 2 506 507 508 510 512 513 514 595 596