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

Exercício Simples Elimina Refluxo Gastroesofágico: Relato de Caso

2024-12-28

Este relato de caso descreve um novo exercício para fortalecer o esfíncter esofágico inferior (EEI) e eliminar o refluxo gastroesofágico. O exercício envolve comer enquanto ajoelhado com a cabeça mais baixa que o estômago, usando a gravidade como resistência. Após vários meses de prática diária, os sintomas de refluxo do autor cessaram e não retornaram. Este exercício simples e de baixo risco oferece uma solução potencial para algumas pessoas que sofrem de DRGE.

Leia mais
(pmc.ncbi.nlm.nih.gov)
Diversos refluxo gastroesofágico esfíncter esofágico inferior terapia de exercício

Sem Permissão: Um Manifesto para o Futuro de Tudo - Resumo

2024-12-28
Sem Permissão: Um Manifesto para o Futuro de Tudo - Resumo

Sem Permissão: Um Manifesto para o Futuro de Tudo explora o impacto do conceito 'sem permissão' no futuro. Dividido em cinco partes, o livro abrange o conceito de ausência de permissão, o problema das permissões, o papel dos guardiões, uma revolução (de certo tipo) e o manual sem permissão. O autor defende um futuro descentralizado e aberto, desafiando estruturas de poder tradicionais e mecanismos de controle, oferecendo uma perspectiva única sobre a direção do desenvolvimento social futuro.

Leia mais
(www.permissionlessbook.com)
Diversos sem permissão desenvolvimento futuro descentralização

Tipos Dependentes em Ada: Uma Coincidência Inesperada

2024-12-28
Tipos Dependentes em Ada: Uma Coincidência Inesperada

Este artigo explora o recurso de tipos dependentes pouco conhecido na linguagem de programação Ada. O autor argumenta que a meta de design do Ada de evitar alocação dinâmica de memória desnecessária levou à sua implementação única de tipos dependentes: usando uma segunda pilha não de chamada para retornar dados de tamanho desconhecido em tempo de compilação, contornando habilmente a necessidade de alocação dinâmica. Isso coincide inesperadamente com a definição formal de tipos dependentes, mostrando uma serendipidade imprevista no design do Ada. O artigo explica ainda conceitos no sistema de tipos do Ada, como tipos derivados, subtipos, registros discriminados e predicados de tipo, demonstrando como esses recursos permitem a implementação de tipos dependentes. Finalmente, o autor discute a interação interessante entre a filosofia de design do Ada e a pesquisa acadêmica sobre teoria de tipos, sugerindo que muitos dos recursos do sistema de tipos do Ada não se originaram diretamente da pesquisa em teoria de tipos, mas sim evoluíram naturalmente para atender a necessidades específicas.

Leia mais
(nytpu.com)
Desenvolvimento

Problema bizarro de PCIe com SSD NVMe Crucial T500 de 4 TB

2024-12-28
Problema bizarro de PCIe com SSD NVMe Crucial T500 de 4 TB

Um usuário encontrou um problema estranho com um SSD NVMe Crucial T500 de 4 TB em uma placa-mãe MSI PRO X670-P WIFI: o SSD funciona perfeitamente após cada inicialização, mas se torna indetectável após o desligamento, exigindo uma reconexão física. Investigações descartaram o SSD e a CPU, apontando para uma falha de design na placa-mãe. A tensão residual permanece após o desligamento, fazendo com que o controlador do SSD funcione mal. Desconectar o cabo HDMI resolveu o problema, sugerindo um problema de design de entrega de energia ou BIOS na placa-mãe.

Leia mais
(forum.level1techs.com)
Hardware SSD NVMe Problema na Placa-Mãe

Editores da Revista de Evolução Humana demitem-se em massa para protestar contra as mudanças da Elsevier

2024-12-28
Editores da Revista de Evolução Humana demitem-se em massa para protestar contra as mudanças da Elsevier

Quase todos os editores do Journal of Human Evolution (JHE), uma publicação da Elsevier, renunciaram em massa, protestando contra as ações da Elsevier que, segundo eles, prejudicam a qualidade e a integridade da revista. A Elsevier eliminou o suporte de edição, implementou edição por IA que introduziu erros nos artigos e unilateralmente controlou a estrutura e a compensação do conselho editorial. Altas taxas de processamento de artigos, muito superiores às de revistas comparáveis, aumentaram ainda mais o descontentamento dos editores. Esta é a 20ª renúncia em massa de editores de revistas desde o início de 2023, gerando preocupações sobre as práticas do setor editorial.

Leia mais
(retractionwatch.com)
Diversos edição de IA

Explicando decisões de modelos de linguagem grandes usando valores de Shapley

2024-12-28
Explicando decisões de modelos de linguagem grandes usando valores de Shapley

Modelos de linguagem grandes (LLMs) oferecem possibilidades empolgantes para simular o comportamento humano, mas seus processos de tomada de decisão carecem de transparência. Este artigo apresenta uma nova abordagem baseada em valores de Shapley para interpretar o comportamento de LLMs e quantificar a contribuição de cada componente de prompt para a saída do modelo. Por meio de dois casos de aplicação, o estudo revela que as decisões de LLM são suscetíveis a "ruído de token", onde o modelo reage desproporcionalmente a tokens com conteúdo informativo mínimo. Isso levanta preocupações sobre a robustez e a generalização de insights de LLMs na simulação de comportamento humano, destacando a necessidade de engenharia cuidadosa de prompts e uma compreensão mais matizada de suas limitações quando usados em pesquisa.

Leia mais
(arxiv.org)
IA Valores de Shapley Explicabilidade

Cuidado com a Super Abstração: Os Custos Ocultos no Desenvolvimento de Software

2024-12-28
Cuidado com a Super Abstração: Os Custos Ocultos no Desenvolvimento de Software

O uso excessivo de camadas de abstração no desenvolvimento de software pode levar à degradação do desempenho e à complexidade do código. O artigo argumenta que boas abstrações devem ocultar a complexidade subjacente, como o protocolo TCP. No entanto, muitas das chamadas abstrações simplesmente adicionam camadas extras de indireção sem fornecer valor real, aumentando a carga cognitiva, a dificuldade de depuração e a sobrecarga de desempenho. O autor aconselha os desenvolvedores a usar abstrações com cautela, priorizando a simplicidade do código e o desempenho, e evitando a abstração pela abstração.

Leia mais
(fhur.me)
Desenvolvimento abstração

Mixin: Uma poderosa estrutura de tecelagem de bytecode Java

2024-12-28
Mixin: Uma poderosa estrutura de tecelagem de bytecode Java

Mixin é uma estrutura de traços/mixins e tecelagem de bytecode para Java usando ASM, conectando-se ao processo de carregamento de classes em tempo de execução por meio de serviços plugáveis. Ele suporta o sistema LegacyLauncher da Mojang (obsoleto em favor do ModLauncher mais extensível), e é compatível com Java 8 e posterior. Mixin oferece documentação extensa, repositórios Maven e ferramentas, incluindo um processador de anotações para lidar com tarefas de ofuscação, e integração com Eclipse e IntelliJ IDEA. Seu histórico de versões detalha adições de recursos e correções de bugs, ajudando os desenvolvedores a escolherem a versão apropriada.

Leia mais
(github.com)
Desenvolvimento estrutura Mixin

Fábrica da TSMC no Arizona Começa a Produzir Chips Avançados

2024-12-28
Fábrica da TSMC no Arizona Começa a Produzir Chips Avançados

A fábrica de produção de chips avançados da TSMC no Arizona começará a produção em massa em 2025, marcando um retorno significativo da fabricação de chips avançados aos EUA. A fábrica, que utiliza tecnologia de 4 nanômetros, apresenta rendimentos maiores do que suas contrapartes taiwanesas. Esse desenvolvimento serve como um teste crucial da eficácia da Lei de Chips e Ciência de 2022 na estabilização da cadeia de suprimentos de semicondutores. Embora o financiamento do governo desempenhe um papel, as preocupações geopolíticas e a demanda dos clientes também impulsionaram a decisão da TSMC de diversificar sua base de fabricação e mitigar os riscos associados à dependência exclusiva de Taiwan. No entanto, desafios como conflitos culturais e escassez de mão de obra permanecem.

Leia mais
(spectrum.ieee.org)
Tecnologia EUA

Kwai utiliza cluster único de 400 TB do OceanBase para lidar com dados massivos

2024-12-28

O Kwai, um aplicativo de vídeos curtos com mais de 10 milhões de usuários ativos diariamente, enfrentou desafios com sua solução de sharding do MySQL existente à medida que o volume de dados e as solicitações concorrentes cresceram. Gargalos de armazenamento e operações complexas se tornaram problemas importantes. Migrando para o banco de dados distribuído OceanBase, o Kwai construiu um cluster único de 400 TB que suporta com sucesso a verificação de transações e serviços de pagamento. O alto desempenho, a escalabilidade e a facilidade de uso do OceanBase resolveram os problemas de armazenamento e consulta de dados do Kwai, melhorando significativamente a estabilidade e a eficiência do sistema e reduzindo os custos operacionais.

Leia mais
(oceanbase.github.io)
Tecnologia banco de dados distribuído alta concorrência

Carlsen desclassificado do Campeonato Mundial de Rápido e Blitz por usar jeans

2024-12-28
Carlsen desclassificado do Campeonato Mundial de Rápido e Blitz por usar jeans

A lenda do xadrez Magnus Carlsen foi desclassificado do Campeonato Mundial de Rápido e Blitz por violar o código de vestimenta da FIDE ao usar jeans. Carlsen expressou sua frustração com a FIDE, dizendo que estava 'cansado' de suas regras e se recusou a mudar. Isso gerou um debate sobre códigos de vestimenta e autoexpressão em esportes profissionais.

Leia mais
(www.timesnownews.com)
Diversos código de vestimenta

Conferência 38C3: Engenharia Reversa do Stack Wi-Fi do ESP32 para Desbloquear seu Potencial

2024-12-28
Conferência 38C3: Engenharia Reversa do Stack Wi-Fi do ESP32 para Desbloquear seu Potencial

Na conferência 38C3, Frostie314159 e Jasper Devreker apresentaram uma palestra sobre engenharia reversa do stack Wi-Fi do ESP32. Ao fazer engenharia reversa do stack Wi-Fi de código fechado, eles construíram uma alternativa de código aberto, desbloqueando todo o potencial do ESP32. Isso permite que o ESP32 seja usado como uma ferramenta de teste de penetração, um roteador de malha B.A.T.M.A.N., um cliente AirDrop e muito mais. O projeto destaca a versatilidade do ESP32 e fornece experiência valiosa para esforços semelhantes de engenharia reversa.

Leia mais
(media.ccc.de)
Hardware Engenharia Reversa Wi-Fi de Código Aberto

Concurso Global: Dê um nome à quase-lua da Terra!

2024-12-28

A Radiolab e a União Astronômica Internacional (IAU) lançaram um concurso global de nomes para a quase-lua da Terra, (164207) 2004 GU9. O concurso, que vai até 1º de janeiro de 2025, convida votos para um nome que será oficialmente certificado pela IAU. Os finalistas incluem nomes retirados da mitologia, como Bakunawa (dragão filipino), Cardea (deusa romana) e Ehaema (Mãe do Crepúsculo estoniana), cada um oferecendo uma perspectiva cultural única. Este concurso transcende a mera nomeação; é uma celebração da troca intercultural, fundindo mitologia antiga com astronomia moderna.

Leia mais
(radiolab.org)
Tecnologia quase-lua concurso de nomes União Astronômica Internacional

Emulador de terminal Ghostty atinge a versão 1.0: Uma jornada de desafios e triunfos

2024-12-28

A jornada de Mitchell Hashimoto para lançar o Ghostty 1.0, seu emulador de terminal, durou dois anos e superou inúmeros desafios. Inicialmente um projeto pessoal para explorar Zig e programação de gráficos, o Ghostty inesperadamente ganhou grande tração. Para equilibrar a vida familiar e o desenvolvimento, Hashimoto empregou um beta privado, gerando feedback valioso da comunidade, mas também causando frustração entre aqueles que ficaram de fora. O Ghostty 1.0 se diferencia por sua pilha de tecnologia única (núcleo Zig e GUIs específicos da plataforma) e desempenho impressionante. Os planos futuros incluem a disponibilização de código aberto da biblioteca principal, libghostty, para expandir ainda mais o impacto do Ghostty.

Leia mais
(mitchellh.com)
Desenvolvimento

Caravan: Um sistema de log flexível baseado em transporte para JavaScript/TypeScript

2024-12-28
Caravan: Um sistema de log flexível baseado em transporte para JavaScript/TypeScript

Caravan é um sistema de log flexível e baseado em transporte para aplicações JavaScript/TypeScript. Ele suporta múltiplos transportes (console, arquivo, Datadog, BetterStack, etc.), filtragem de nível de log, vinculação de contexto através de loggers ramificados e ocultação de dados. Os desenvolvedores podem facilmente registrar mensagens básicas, metadados e informações sensíveis ao contexto, melhorando a depuração e o monitoramento. Seu design priorizando TypeScript aprimora a experiência do desenvolvedor.

Leia mais
(github.com)
Desenvolvimento sistema de log

Otimização do Compilador SBCL: Acelerando a Compilação de (lambda () nil)

2024-12-28
Otimização do Compilador SBCL: Acelerando a Compilação de (lambda () nil)

O compilador SBCL recebeu uma otimização significativa que melhora drasticamente a velocidade de compilação de funções vazias como `(lambda () nil)`. Anteriormente, a compilação gerava muitas funções redundantes. Essa otimização identifica e trata esses casos especiais, retornando diretamente uma função vazia predefinida, evitando assim cálculos desnecessários e aumentando significativamente a velocidade de compilação. Essa melhoria é especialmente eficaz ao lidar com grandes quantidades de código contendo funções vazias, reduzindo o tempo de compilação e aumentando a produtividade do desenvolvedor.

Leia mais
(github.com)
Desenvolvimento otimização do compilador função lambda

Arquivos Políglota HTML/ZIP/PNG: Uma Fusão Inteligente de Formatos

2024-12-28

Este artigo descreve um método inteligente para criar arquivos políglota HTML/ZIP/PNG. Aproveitando a estrutura flexível do formato ZIP e a tolerância a falhas do HTML, juntamente com as características dos arquivos PNG, páginas da web e seus recursos são empacotados em um arquivo PNG auto-extraível. O artigo explica detalhadamente como lidar com a codificação de caracteres, leitura de dados e problemas de compatibilidade entre formatos, atingindo, por fim, um esquema de arquivamento da web eficiente e compacto. Isso demonstra a engenhosidade do programador e um profundo entendimento dos formatos de dados.

Leia mais
(gildas-lormeau.github.io)
Desenvolvimento arquivos políglota arquivamento web

Queijo Camembert Pode Melhorar o Declínio Cognitivo

2024-12-27
Queijo Camembert Pode Melhorar o Declínio Cognitivo

Um novo estudo descobriu que as amidas de ácidos graxos presentes no queijo Camembert podem melhorar o declínio cognitivo em camundongos. Os pesquisadores usaram o teste de reconhecimento de objetos e descobriram que a administração oral de queijo Camembert melhorou o declínio cognitivo induzido por uma dieta rica em gordura. Investigações posteriores revelaram que a miristamida (MA), uma amida de ácido graxo produzida durante a fermentação do queijo Camembert, melhorou o declínio cognitivo, enquanto sua contraparte não amida, o ácido mirístico, não o fez. Isso sugere que a amidação de ácidos graxos pode ser crucial para essa atividade fisiológica. Além disso, a MA aumentou a expressão do fator neurotrófico derivado do cérebro (BDNF) no hipocampo.

Leia mais
(www.sciencedirect.com)
IA Queijo Camembert Declínio Cognitivo Amidas de Ácidos Graxos

Oscilação Phugoid: Um Pesadelo para Pilotos

2024-12-27

Uma oscilação phugoid é um movimento de aeronave caracterizado por um ciclo repetitivo de subida e descida, acompanhado de mudanças na velocidade. Causada por variações de arfagem e um ângulo de ataque quase constante, pode ser desencadeada por fatores como entrada do elevador ou mau funcionamento das superfícies de controle. Embora às vezes seja um incômodo administrável, os phugoids não controlados foram implicados em numerosos acidentes de aviação, incluindo o devastador acidente do voo 123 da Japan Airlines. A compreensão da dinâmica phugoid é crucial para a segurança do voo.

Leia mais
(en.wikipedia.org)
Tecnologia segurança de voo acidentes de aviação dinâmica de voo

Vulnerabilidades de segurança na nova função de espelhamento do iPhone da Apple reveladas

2024-12-27
Vulnerabilidades de segurança na nova função de espelhamento do iPhone da Apple reveladas

No Chaos Communication Congress 38C3, a apresentação de Aaron Schlitt expôs vulnerabilidades de segurança no novo recurso de espelhamento do iPhone da Apple. Esse recurso permite que os usuários controlem remotamente seus iPhones bloqueados a partir de seus Macs, o que torna as fronteiras de segurança do ecossistema iOS mais tênues. A palestra demonstrou métodos de desvio encontrados em versões iniciais do iOS 18 beta, explicando como eles funcionam e os riscos de segurança envolvidos, levantando preocupações sobre a segurança dos dispositivos Apple.

Leia mais
(media.ccc.de)
Tecnologia vulnerabilidades de segurança Espelhamento do iPhone

Desvendando os Protocolos Comuns de Depuração de Microcontroladores

2024-12-27
Desvendando os Protocolos Comuns de Depuração de Microcontroladores

Esta palestra mergulha nos protocolos comuns de depuração de microcontroladores, como JTAG e SWD. Começando pelos sinais físicos, ela explica como esses protocolos funcionam, cobrindo mecanismos comuns para gerenciar processadores embutidos e interagir com vários microcontroladores. A apresentação explora o significado da depuração de software embutido, construindo uma lista de requisitos para um ambiente de depuração confortável e referenciando abordagens de depuração personalizadas existentes. Exemplos variam de núcleos FPGA a pequenos microcontroladores de 8 bits. Abstrações comuns como ADI da ARM e RISC-V DMI também são abordadas, unindo a lacuna entre protocolos e controle central. Finalmente, explica tarefas comuns como programação flash, pontos de observação e depuração passo a passo.

Leia mais
(media.ccc.de)
Desenvolvimento Depuração de Microcontroladores

Rastreador de Exercícios Minimalista: Um arquivo HTML para treinos semanais

2024-12-27
Rastreador de Exercícios Minimalista: Um arquivo HTML para treinos semanais

O exerciseminimilism é um rastreador de exercícios minimalista criado com um único arquivo HTML e armazenamento local do navegador. Ele acompanha sete conjuntos fixos de exercícios diários por uma semana, focando na simplicidade para incentivar o uso consistente. Apenas o treino de hoje e o peso do dia anterior são exibidos. Não inclui recursos complexos ou configuração. Você pode personalizar os exercícios editando o arquivo HTML; um temporizador simples ajuda a controlar os períodos de descanso. Os dados são armazenados localmente no navegador, eliminando a necessidade de contas. É simples, fácil de usar e compatível com a maioria dos navegadores modernos.

Leia mais
(github.com)
Diversos acompanhamento de exercícios armazenamento local

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
(kando.menu)
Desenvolvimento ferramenta de eficiência reconhecimento de gestos

A Tendência Crescente de Morar Perto dos Amigos

2024-12-27
A Tendência Crescente de Morar Perto dos Amigos

No mundo acelerado de hoje, manter amizades próximas pode ser desafiador. Este artigo explora a crescente tendência de pessoas se mudarem para perto de seus amigos mais próximos. Através de entrevistas com vários indivíduos e famílias, o artigo destaca os benefícios da proximidade, incluindo recursos compartilhados, socialização conveniente e apoio mútuo aos cuidados com as crianças. Esses 'mini-bairros' promovem laços fortes, combatem a solidão e criam ambientes ricos para criar filhos, oferecendo uma alternativa convincente aos aspectos isolados da vida moderna.

Leia mais
(www.architecturaldigest.com)
Diversos amizade vizinhança

Pseudonimidade em Publicações Acadêmicas: Uma Edição na Wikipédia Gera Debate

2024-12-27

Um artigo sobre a edição de matemática na Wikipédia gerou um debate sobre o pseudonimato nas publicações acadêmicas. Um dos autores usou o pseudônimo do Wikipédia "XOR'easter", mas a American Mathematical Society (AMS) se recusou a publicar o artigo porque não conhecia a identidade real do autor. Isso destaca o conflito entre o pseudonimato na internet e o modelo tradicional de publicação acadêmica, e a questão de quão prontamente a academia aceita publicações anônimas. Os autores argumentam que a política de pseudonimato da Wikipédia protege os editores e que a academia precisa repensar o significado da publicação anônima.

Leia mais
(11011110.github.io)
Desenvolvimento publicação acadêmica pseudonimato

Relatório PlasticList: impulsionando a economia circular

2024-12-27
Relatório PlasticList: impulsionando a economia circular

A plataforma PlasticList lançou um relatório que destaca os desafios e oportunidades na reciclagem de plástico. O relatório observa o crescente problema da poluição plástica e as baixas taxas de reciclagem eficaz. A PlasticList visa conectar produtores, recicladores e reaproveitadores de resíduos plásticos, criando um sistema de reciclagem transparente e eficiente para impulsionar uma economia circular para plásticos. Por meio de dados e suporte tecnológico, a PlasticList ajuda as empresas a melhorar a eficiência da reciclagem e reduzir os custos ambientais, visando, em última análise, construir um modelo de gestão de plástico sustentável.

Leia mais
(www.plasticlist.org)
Tecnologia reciclagem de plástico economia circular tecnologia ambiental

NeatShift: Uma ferramenta moderna de organização de arquivos para Windows

2024-12-27
NeatShift: Uma ferramenta moderna de organização de arquivos para Windows

NeatShift é um aplicativo moderno para Windows que ajuda você a organizar arquivos e pastas de forma eficiente e segura usando links simbólicos. Possui uma interface limpa, funcionalidade de arrastar e soltar, gerenciamento de links e prevenção de erros. O aplicativo é fácil de instalar e executar, sem exigir dependências adicionais. Atualmente em fase de testes, ele inclui a criação automática de pontos de restauração do sistema para segurança, embora backups manuais sejam fortemente recomendados.

Leia mais
(github.com)
Desenvolvimento gerenciamento de arquivos links simbólicos utilitário do Windows

Mapa de Qualidade do Ar do Chile: Monitoramento em Tempo Real, Protegendo a Saúde

2024-12-27

O Mapa de Qualidade do Ar do Chile é uma plataforma de monitoramento da qualidade do ar em tempo real que fornece informações precisas e confiáveis sobre a poluição do ar aos cidadãos chilenos. Através da interface do mapa, os usuários podem visualizar os níveis do Índice de Qualidade do Ar (IQA) para diferentes regiões e tomar precauções apropriadas com base nas concentrações de poluentes. Esta plataforma melhora a conscientização ambiental pública e fornece dados para apoiar as políticas governamentais de controle da poluição do ar, visando, em última análise, proteger a saúde pública e criar um ar mais limpo.

Leia mais
(calidaddelairecl.vercel.app)
Tecnologia qualidade do ar monitoramento ambiental

Doodle Dreams: Dê vida aos seus desenhos

2024-12-27

Doodle Dreams é um aplicativo que transforma seus rabiscos feitos à mão em animações. Basta desenhar os personagens desejados em papel, escaneá-los usando o aplicativo e ele reconhecerá e criará animações. Você pode escolher diferentes fundos, músicas e efeitos para tornar seus rabiscos mais vívidos e envolventes. Este aplicativo é adequado para todas as idades; quer você seja um artista experiente ou um iniciante, poderá criar facilmente suas próprias obras animadas.

Leia mais
(doodledreams.cc)
Jogos animação rabisco criação
1 2 … 534 535 536 538 540 541 542 … 568 569