Roedores argentinos prosperam em oásis de Dubai

2024-12-19
Roedores argentinos prosperam em oásis de Dubai

Uma surpreendente população de maras da Patagônia, roedores parecidos com coelhos da Argentina, estabeleceu-se no oásis de Al Qudra Lakes, nos arredores de Dubai. Esses animais de pernas longas e orelhas grandes agora vagam pela paisagem desértica, tipicamente lar de gazelas. Sua chegada permanece um mistério, possivelmente derivando de animais de estimação escapados dos ricos. Apesar do clima desértico rigoroso, o oásis fornece um habitat adequado, e a falta de predadores naturais permitiu que as maras prosperassem e se reproduzissem por vários anos. A população próspera sugere adaptação e reprodução bem-sucedidas em seu ambiente inesperado.

Leia mais

UE investirá €70 bilhões em tecnologia para superar os EUA

2025-05-19
UE investirá €70 bilhões em tecnologia para superar os EUA

O Banco Europeu de Investimentos (BEI) investirá €70 bilhões no setor de tecnologia da Europa até 2027, buscando reduzir a diferença de inovação com os Estados Unidos. Esta iniciativa, chamada TechEU, visa fortalecer a posição da Europa em tecnologias emergentes como inteligência artificial e drones militares, atraindo investimentos privados e potencialmente liberando €250 bilhões para o setor. A presidente do BEI, Nadia Calviño, destaca a disposição do banco em assumir mais riscos, acelerando o processo de financiamento de capital de risco, o que pode ser crucial para startups em um mercado em rápida mudança. O objetivo é criar um centro centralizado para solicitações de financiamento, simplificando e acelerando os processos de financiamento da UE.

Leia mais

As 46 Melhores Canetas de 2025: Guia Definitivo da JetPens

2025-01-12

A JetPens lançou seu guia definitivo para as 46 melhores canetas de 2025, uma avaliação abrangente que cobre vários tipos de canetas, de opções para iniciantes a opções de luxo, incluindo canetas esferográficas, gel, rollerball e canetas-tinteiro. Cada caneta é meticulosamente testada e comparada com base em fatores como suavidade de escrita, qualidade da tinta, durabilidade e adequação para diferentes estilos e propósitos de escrita (anotação, arte, caligrafia, etc.). O guia destaca as principais escolhas, como a versátil Uni Jetstream, a caneta-tinteiro Pilot Metropolitan para iniciantes e a precisa Sakura Pigma Micron. Completo com imagens e vídeos, este guia é um recurso inestimável para quem procura a caneta perfeita.

Leia mais

Bagels: Um poderoso rastreador de despesas para terminal

2025-01-27
Bagels: Um poderoso rastreador de despesas para terminal

Bagels é um poderoso rastreador de despesas que reside no seu terminal. Acompanhe e analise suas finanças com facilidade usando recursos como contas, subcategorias, divisões de transações, transferências e modelos de transações recorrentes. A interface limpa oferece atalhos personalizáveis e configurações padrão. Todos os dados são armazenados localmente, fornecendo privacidade e conveniência. A instalação é simples para macOS e Windows.

Leia mais
Desenvolvimento rastreador de despesas

LLMs Explicam Programas Lineares: De Projeto Paralelo a Pesquisa da Microsoft

2025-02-10

Em 2020, enquanto trabalhava na cadeia de suprimentos do Google, o autor desenvolveu um projeto paralelo para ajudar a entender programas lineares (LPs). Quando os LPs se tornam complexos, entender seus resultados é desafiador até mesmo para especialistas. A abordagem do autor envolveu modificar interativamente o modelo e comparar os resultados para explicar o comportamento do modelo, descobrindo que adicionar metadados semânticos simplificou o processo. Recentemente, pesquisadores da Microsoft publicaram um artigo usando modelos de linguagem grandes (LLMs) para traduzir consultas em linguagem natural em consultas estruturadas, obtendo um resultado semelhante. O autor acredita que os LLMs são uma ótima solução para traduzir a ambiguidade humana em consultas estruturadas, processadas por um sistema de otimização clássico robusto, com os resultados resumidos pelo LLM. Embora o trabalho anterior do autor tenha permanecido não publicado, ele argumenta que entender as explicações de sistemas mais simples é crucial para explicar sistemas de IA mais complexos.

Leia mais

Além do Produto Cuneiforme: Uma Nova Decomposição do Produto Geométrico

2025-05-23

Este artigo apresenta uma nova operação chamada "produto transcuneiforme", que decompõe completamente o produto geométrico em operações fundamentais da álgebra exterior: o produto exterior, complementos esquerdo e direito e aplicação da métrica. O autor demonstra que o produto transcuneiforme gera um espectro de produtos que vão do produto exterior ao produto interior (contração), substituindo o produto comutador e oferecendo um método mais limpo para calcular o produto geométrico. Isso se aplica não apenas a três dimensões, mas também a álgebras geométricas de dimensões superiores, com aplicações práticas na álgebra geométrica conforme, como o cálculo de círculos que se intersectam ortogonalmente.

Leia mais

Resolvendo a Navegação Interna: Como a Hyper Conseguiu um GPS Interno com Precisão de 1 Metro

2025-08-01
Resolvendo a Navegação Interna: Como a Hyper Conseguiu um GPS Interno com Precisão de 1 Metro

A jornada de um desenvolvedor, de demonstrações de navegação AR virais a enfrentar o desafio de navegação interna para um varejista líder mundial, culminou na fundação da Hyper. Este artigo detalha os três desafios principais da navegação interna: mapas internos, navegação interna e localização interna. O autor explica como eles superaram as limitações de balizas Bluetooth, WiFi, magnetômetros e visão computacional, atingindo, por fim, um GPS interno com precisão de 1 metro, combinando tecnologias WiFi e SLAM e resolvendo de forma inteligente os problemas de deriva e orientação do SLAM. Sua ambição futura é expandir essa tecnologia para um bilhão de usuários.

Leia mais

Hackeando o Coletor de Lixo do Go: Armazenando Ponteiros de Assembly

2025-06-23
Hackeando o Coletor de Lixo do Go: Armazenando Ponteiros de Assembly

Este artigo mergulha nas complexidades de manipular ponteiros Go a partir de código assembly, focando na interação crucial com o coletor de lixo do Go. Manipular ponteiros diretamente requer informar explicitamente o GC através de funções como `runtime.gcWriteBarrier2` e `runtime.writeBarrier` para evitar conflitos e possíveis travamentos. O artigo também aborda o desafio de alocar memória alinhada de 128 bits para uso ideal de instruções AVX, apresentando uma solução inteligente. No entanto, alerta contra a dependência de funções internas de runtime, pois sua disponibilidade pode mudar em versões futuras do Go.

Leia mais
Desenvolvimento Assembly Go

Debcraft: Simplificando o empacotamento Debian

2025-07-19
Debcraft: Simplificando o empacotamento Debian

O empacotamento Debian é notoriamente difícil, frequentemente levando à frustração e ao esgotamento dos contribuidores. O Debcraft visa solucionar isso automatizando tarefas tediosas, melhorando a curva de aprendizado e rastreando mudanças tanto no código-fonte quanto nos artefatos de construção. Aproveitando a tecnologia de contêineres, ele remove a dependência de um sistema Debian, simplificando o processo de construção, teste e lançamento. Recursos de melhoria e atualização automatizados facilitam ainda mais a manutenção de pacotes Debian.

Leia mais
Desenvolvimento Empacotamento

OKRs x Trabalho Diário: Um Estudo de Caso

2025-01-06
OKRs x Trabalho Diário: Um Estudo de Caso

Este artigo explora o uso contrastante de Objetivos e Resultados-Chave (OKRs) em equipes de engenharia e marketing. A autora argumenta que as equipes de marketing acham mais fácil definir OKRs porque seu trabalho é mais baseado em projetos, enquanto o trabalho de engenharia é mais voltado para o produto. Os OKRs de engenharia não devem simplesmente reiterar o roadmap do produto; em vez disso, eles devem destacar o que há de único no trimestre, o que está mudando e quais desafios precisam ser enfrentados. Por exemplo, um OKR para um "lançamento suave da Observabilidade de Front-end" concentra-se não apenas no lançamento em si, mas em garantir um lançamento suave e seu impacto positivo nos negócios. O artigo enfatiza que os OKRs devem destacar áreas de foco especiais para o trimestre, e não tentar abranger tudo.

Leia mais
Desenvolvimento Definição de Metas

Adrian Dittmann é Elon Musk? Uma Investigação Aprofundada

2025-01-05
Adrian Dittmann é Elon Musk? Uma Investigação Aprofundada

Esta reportagem investigativa detalha uma investigação completa sobre a identidade de Adrian Dittmann, revelando uma conclusão surpreendente. Através de uma abordagem multifacetada usando violações de dados, análise de mídia social e conexões corporativas, os autores demonstram conclusivamente que Adrian Dittmann não é Elon Musk. O artigo também relata as complexidades da investigação, incluindo a colaboração com a jornalista Jackie Sweet e a falta final de crédito adequado no artigo publicado, levando a uma discussão sobre atribuição jornalística e integridade da informação.

Leia mais

Aplicativo de contagem de calorias de estudantes do ensino médio atinge US$ 2 milhões em receita mensal

2025-04-04
Aplicativo de contagem de calorias de estudantes do ensino médio atinge US$ 2 milhões em receita mensal

Zach Yadegari e Henry Langmack, estudantes do ensino médio de 18 anos, lançaram o Cal AI, um aplicativo de contagem de calorias, que conta com mais de 5 milhões de downloads em oito meses e gerou mais de US$ 2 milhões em receita no mês passado. O Cal AI usa reconhecimento de imagem para calcular calorias e macros de alimentos, aproveitando modelos de imagem grandes da Anthropic e OpenAI para 90% de precisão. A jornada empreendedora dos fundadores começou no ensino médio; Yadegari vendeu sua primeira empresa aos 16 anos. O sucesso do Cal AI mostra o dinamismo dos jovens empreendedores e o potencial da IA em aplicações práticas.

Leia mais

O Sonho Pastoral do Programador: Fugindo do Código, Abraçando a Terra?

2025-03-24

Muitos programadores sonham em largar seus teclados e abraçar o trabalho manual, como carpintaria ou agricultura. Este artigo explora as razões por trás desse fenômeno, sugerindo que ele surge do esgotamento nas práticas de trabalho modernas de software e uma reavaliação do ideal do "homem que se fez sozinho" na cultura americana. O autor, com base em sua experiência pessoal, analisa as complexidades desse anseio, reconhecendo tanto a idealização romântica da vida rural quanto suas duras realidades. Em última análise, o autor argumenta que encontrar significado no trabalho reside não apenas na produção econômica, mas também na construção da comunidade e em um espírito de serviço.

Leia mais
Desenvolvimento programadores vida rural

Código de Claude da Anthropic Revertido: Uma Nova Era na Segurança de Software

2025-03-01
Código de Claude da Anthropic Revertido: Uma Nova Era na Segurança de Software

Um pesquisador de segurança usou habilmente os LLMs Grok e Claude para reverter a engenharia do Claude Code da Anthropic, uma ferramenta de codificação de IA baseada em terminal. Explorando as poderosas capacidades de tradução de código dos LLMs, ele decompôs o arquivo `cli.mjs` de 5 MB do Claude Code em pedaços menores, fazendo engenharia reversa de cada parte para reconstruir a estrutura do código-fonte da ferramenta. Essa descoberta inovadora destaca os novos desafios e oportunidades que os LLMs apresentam na segurança de software, prenunciando uma mudança drástica no desenvolvimento de software futuro. A facilidade com que softwares com código-fonte disponível podem agora ser replicados representa riscos significativos para a segurança e os modelos de negócios de software.

Leia mais
Tecnologia

Geração Algorítmica de Autogramas: Um Jogo de Palavras para Programadores

2025-05-31

Este artigo detalha um algoritmo para gerar autogramas — frases que descrevem suas próprias contagens de caracteres. O autor primeiro explica o princípio subjacente: criar iterativamente uma sequência de frases, cada uma descrevendo as contagens de caracteres da anterior, até que um ciclo seja formado contendo o autograma. O algoritmo é refinado atualizando aleatoriamente uma única contagem de caracteres a cada iteração, melhorando a eficiência. Vários exemplos gerados são exibidos, incluindo saudações de aniversário e pangramas, juntamente com links de código e recursos.

Leia mais
Desenvolvimento autograma

Lisp-Stat: Um sistema de computação estatística baseado em Common Lisp

2025-06-16
Lisp-Stat: Um sistema de computação estatística baseado em Common Lisp

O Lisp-Stat é conceitualmente semelhante ao R e será familiar à maioria das pessoas desse ecossistema. É adequado tanto para análise exploratória de dados quanto para implantações de produção em primeira linha. O Common Lisp é atualmente usado no Google em vários sistemas transacionais de alta disponibilidade e alto volume. A escolha do Common Lisp se deu por atender aos requisitos de um ambiente exploratório propício à análise e IA, robustez suficiente para funcionar em um ambiente de produção empresarial e disponibilidade sob uma licença sem restrições de código-fonte. O artigo cita um trabalho de Ross Ihaka, um dos criadores da linguagem R, sobre as deficiências do R e a incapacidade de compilar para código de máquina (entre outras questões). O mesmo se aplica ao Python. Nesse artigo, ele argumenta a favor do Lisp como uma substituição para R.

Leia mais
Desenvolvimento Computação Estatística

Como um navegador bloqueia silenciosamente a execução RWX?

2025-01-08
Como um navegador bloqueia silenciosamente a execução RWX?

Um pesquisador de segurança descobriu um mecanismo semelhante a EDR em um navegador popular que bloqueia a execução de shellcode RWX. Ao interceptar a API BaseThreadInitThunk(), o navegador verifica se os atributos de memória do shellcode são PAGE_EXECUTE_READ. Se não forem, ele redireciona a execução da thread para um 'sumidouro', impedindo a execução de código malicioso. Embora simples, esse recurso inesperado destaca as medidas de segurança proativas de um navegador, aumentando significativamente a dificuldade de explorar regiões de memória RWX.

Leia mais

Veav: Um motor de navegador web experimental com recursos limitados

2025-05-18
Veav: Um motor de navegador web experimental com recursos limitados

Veav é um motor de navegador web experimental que suporta a maioria dos tipos de exibição (exceto grade), comportamento de cascata CSS padrão, paginação usando regras @page, saída de impressão para PDF e todas as unidades CSS. Ele carrega documentos HTML e XHTML, mas possui recursos de rede muito básicos, suportando apenas http:// e file://. Informações detalhadas de compatibilidade estão disponíveis em sua página de status WPT. Instruções de instalação (usando Arch Linux como exemplo) são fornecidas, exigindo várias dependências e o compilador `clang-prefixed-release`. Um diagrama de arquitetura (formato tldraw) também está disponível.

Leia mais
Desenvolvimento

X (antigamente Twitter) parece bloquear links para Signal

2025-02-18
X (antigamente Twitter) parece bloquear links para Signal

De acordo com o jornalista Matt Binder e outros usuários, o X, a plataforma de mídia social anteriormente conhecida como Twitter, está bloqueando links para o aplicativo de mensagens criptografadas Signal. Links para Signal.me, um domínio para conectar diretamente com usuários do Signal, estão bloqueados em posts, mensagens diretas e perfis, resultando em mensagens de erro. Embora links para contas do Signal e o site principal do Signal ainda estejam funcionando, links para Signal.me postados anteriormente agora exibem um aviso. Essa medida gerou especulações sobre os motivos do X para restringir o Signal.

Leia mais
Tecnologia

Analisar, não validar: melhorando a segurança em C com segurança de tipos

2025-07-13

Esta publicação defende uma abordagem 'Analisar, não validar' na programação C. Ao definir tipos personalizados (por exemplo, email_t, name_t) e analisar entradas não confiáveis nesses tipos imediatamente, os riscos inerentes à manipulação de ponteiros e incompatibilidades de tipo em C são mitigados. Essa estratégia limita o tratamento de strings brutas aos limites do sistema, impede o uso indevido de funções internas e aproveita a verificação de tipo do compilador para detectar erros como troca de parâmetros. O resultado é um código C mais robusto e manutenível com superfície de ataque reduzida.

Leia mais
Desenvolvimento segurança em C

Nova molécula de antibiótico em forma de laço descoberta no solo

2025-04-04
Nova molécula de antibiótico em forma de laço descoberta no solo

Pesquisadores descobriram uma nova molécula de antibiótico em uma amostra de solo, mostrando potente atividade antibacteriana contra uma ampla gama de bactérias causadoras de doenças, incluindo aquelas resistentes aos tratamentos atuais. Este peptídeo em forma de laço, produzido por uma espécie de Paenibacillus, atinge de forma única os ribossomos bacterianos, tornando difícil o desenvolvimento de resistência. A descoberta oferece um farol de esperança na luta contra a crescente crise de resistência a antibióticos.

Leia mais

Aplanando ASTs: Ganhos de desempenho em estruturas de dados de compiladores

2025-01-10
Aplanando ASTs: Ganhos de desempenho em estruturas de dados de compiladores

Este artigo explora a otimização de desempenho de estruturas de dados de compiladores através do achatamento de Árvores de Sintaxe Abstrata (ASTs). O autor constrói um interpretador de expressões aritméticas simples, implementando-o tanto com ponteiros tradicionais quanto com uma abordagem de array achatado, comparando seu desempenho. Os resultados mostram uma aceleração de 2,4x com a versão achatada, atribuída à melhor localidade de memória, tamanhos de referência menores e alocação/desalocação mais baratas. O achatamento também simplifica o gerenciamento de memória e facilita a desduplicação. O artigo apresenta ainda um interpretador iterativo que explora a representação achatada para ganhos adicionais de desempenho.

Leia mais

A Afirmação de Elon Musk sobre o FSD da Tesla: Um Acidente à Espera de Acontecer?

2025-04-28
A Afirmação de Elon Musk sobre o FSD da Tesla: Um Acidente à Espera de Acontecer?

Elon Musk se gaba de que o Full Self-Driving (FSD) da Tesla pode percorrer 10.000 milhas sem intervenção, aproximadamente uma vez por ano. No entanto, isso não é positivo; sugere que seus robotaxis são inseguros. Proprietários médios de Teslas relatam a necessidade de intervenção a cada 500 milhas, muito menos do que a afirmação de Musk. Mesmo aceitando os números de Musk, seus robotaxis ainda teriam pelo menos um acidente anualmente! Motoristas humanos têm em média um acidente a cada 100.000 milhas, enquanto a Waymo se orgulha de uma taxa de um acidente a cada 2,3 MILHÕES de milhas. Além disso, como um passageiro deve evitar um acidente em um robotaxi?

Leia mais
Tecnologia Autonomia

ISC: Mais de 800 jogadores online, Scrabble grátis!

2025-05-15

O Internet Scrabble Club (ISC) é o melhor lugar para jogar Scrabble online ao vivo! Atualmente, 843 jogadores estão conectados, com 320 jogos em andamento. Jogue Scrabble grátis, sem anúncios ou downloads, contra amigos, pessoas do mundo todo ou oponentes de computador. Revise seus jogos ou assista a outros. O ISC usa apenas dicionários oficiais e está disponível em iOS, Android e desktop.

Leia mais
(isc.ro)
Jogos jogo online

Fortnite Offline em todo o mundo: Epic Games x Apple - Round 2

2025-05-16
Fortnite Offline em todo o mundo: Epic Games x Apple - Round 2

A tentativa da Epic Games de trazer o Fortnite de volta aos dispositivos iOS foi bloqueada pela Apple, deixando o popular jogo battle royale indisponível em iPhones e iPads em todo o mundo. Isso decorre de uma batalha legal de 2020, iniciada quando a Epic Games violou as regras da App Store. Apesar da submissão por meio de uma conta subsidiária, a Apple permanece inflexível. O CEO da Epic, Tim Sweeney, expressou frustração, citando a falta de resposta da Apple e questionando a velocidade do processo de revisão. A batalha legal em andamento destaca o desacordo contínuo sobre pagamentos dentro do aplicativo e comissões.

Leia mais
Jogos

Ohm: Um Kit de Ferramentas de Análise Baseado em PEG

2025-02-11

Ohm é um poderoso kit de ferramentas de análise que consiste em uma biblioteca e uma linguagem específica de domínio (DSL). Ele permite que você analise formatos de arquivo personalizados ou crie rapidamente analisadores, interpretadores e compiladores para linguagens de programação. A linguagem Ohm é baseada em Gramáticas de Expressão de Análise (PEGs), uma maneira formal de descrever sintaxe semelhante a expressões regulares e gramáticas livres de contexto. A biblioteca Ohm fornece uma interface JavaScript para criar analisadores, interpretadores e muito mais a partir das gramáticas que você escreve.

Leia mais
Desenvolvimento

Torres medievais italianas: um legado de disputas faccionais e planejamento urbano

2025-03-25

Restos de torres medievais pontuam a paisagem italiana, testemunhos de um passado tumultuado. Inicialmente construídas por famílias ricas como mini-fortalezas e símbolos de status, essas estruturas às vezes levavam a táticas devastadoras, como incendiar as casas de rivais. Florença, lutando contra o caos e os perigos de incêndio resultantes, implementou restrições de altura, deixando para trás tocos de pedra distintos como um legado. Essas torres truncadas, agora uma parte única da paisagem urbana, sussurram histórias de disputas familiares medievais e evolução urbana.

Leia mais

Bebidas açucaradas ligadas a milhões de casos de doenças cardíacas e diabetes

2025-01-12
Bebidas açucaradas ligadas a milhões de casos de doenças cardíacas e diabetes

Um novo estudo revela uma ligação alarmante entre bebidas açucaradas e milhões de novos casos de diabetes e doenças cardíacas a cada ano. Mais de 2,2 milhões de novos casos de diabetes e 1,1 milhão de novos casos de doenças cardíacas são atribuídos ao consumo de bebidas açucaradas anualmente. O problema é particularmente agudo em países de baixa e média renda, onde essas bebidas são comercializadas agressivamente e muitas vezes são mais acessíveis do que alternativas mais saudáveis. A América Latina e o Caribe viram quase 24% dos novos casos de diabetes tipo 2 em 2020 ligados a bebidas açucaradas, enquanto a África Subsaariana experimentou o maior aumento percentual em casos de diabetes em três décadas, com bebidas açucaradas contribuindo para 21% dos novos casos de diabetes e 11% dos casos de doenças cardíacas. Os riscos para a saúde decorrem do alto teor de açúcar e da falta de valor nutricional, levando a picos de açúcar no sangue, aumento de peso, resistência à insulina e aumento do risco de diabetes tipo 2 e doenças cardiovasculares. As soluções incluem campanhas de saúde pública, impostos sobre bebidas açucaradas e regulamentos de publicidade mais rigorosos, como visto na bem-sucedida implementação do imposto sobre açúcar no México em 2014. No entanto, muito mais ações são necessárias, especialmente em regiões como América Latina e África, onde o impacto é mais severo.

Leia mais

Correção de bugs de concorrência no plugin AWS SSM permite o SSH remoto do VS Code

2025-02-12
Correção de bugs de concorrência no plugin AWS SSM permite o SSH remoto do VS Code

Um recém-formado da Stanford na Formal, ao solucionar um problema de cliente com a conexão SSH remota do Visual Studio Code para instâncias AWS EC2 para aprendizado de máquina, inesperadamente descobriu e corrigiu vários bugs de concorrência na biblioteca de referência do AWS SSM. O problema decorreu da falta de suporte de encaminhamento de porta TCP/IP no Conector Formal, impedindo que o VS Code inicializasse corretamente o ambiente de desenvolvimento remoto. A correção envolveu mergulhos profundos nos protocolos SSH e SSM, resolvendo, em última análise, corridas de dados e problemas de numeração de sequência modificando o plugin AWS Session Manager. Isso agora permite conexões SSH remotas seguras do VS Code por meio do Conector Formal.

Leia mais

A IA da Apple: Mais propaganda do que substância?

2025-01-07
A IA da Apple: Mais propaganda do que substância?

Os recursos de IA muito divulgados da Apple estão enfrentando críticas significativas devido a uma série de erros embaraçosos. Desde deturpar manchetes de notícias até produzir resumos sem sentido em aplicativos do dia a dia, o desempenho da IA fica muito aquém das expectativas. Isso lembra o desastre anterior do Maps da Apple, destacando uma possível falha na avaliação de prontidão tecnológica da empresa. Embora a Apple afirme estar trabalhando em melhorias, a confiabilidade de sua IA permanece questionável, potencialmente prejudicando sua imagem de marca e a confiança do usuário.

Leia mais
Tecnologia Falhas técnicas
1 2 523 524 525 527 529 530 531 595 596