2023-04-11

Microsoft corrige bug Defender de 5 anos, reduzindo em 75% a utilização de CPU relacionada com o Firefox

Original. Desculpe, o texto dado não está relacionado com o título ou tópico do artigo. Pode fornecer o texto correcto?

Discussion Service. A Microsoft corrigiu um bug Defender de 5 anos de idade reduzindo a utilização de CPU Firefox. Os produtos anti-vírus causaram um impacto semelhante mas menos severo no CPU. Discutida a optimização de pequenas coisas vs. pegada de CO2. Os utilizadores da Discussion Service discutem a eficiência energética dos navegadores da web, os ad-blockers, a compatibilidade dos navegadores no Windows. Desligar o "modo ambiente" do YouTube no Firefox poupa 30% do CPU num Mac. Mac vs. Linux para resolução de problemas discutidos. Críticas e sugestões para o Firefox gerando uma elevada utilização de CPU em comparação com o Chrome. Nota-se a queda de desempenho ETW bug e Defender nas operações PowerShell.

Animação sempre em expansão da vida do 796º andar de uma estação espacial

Original. Foi criada uma animação em constante expansão que mostra a vida do 796º andar de uma estação espacial. O projecto, denominado Floor796, foi realizado por um artista e programador e é uma panorâmica ficcional da rotina diária de uma estação espacial. A animação cobre áreas como a agricultura, actividades recreativas, e experiências científicas. Os criadores esperam que o projecto inspire e encoraje as gerações futuras a explorar o espaço e a promover uma visão mais optimista e positiva do futuro.

Discussion Service. Uma estação espacial de animação animada à mão, de código aberto, ganhou atenção viral pelas suas referências de cultura pop. Um utilizador da Discussion Service regista as alusões históricas russas. O projecto de animação é um esforço indie que evita o uso excessivo de estruturas e dependências. Os utilizadores sugerem melhorias, mas alguns defendem a criatividade do artista. O editor de animação utilizado é recomendado como uma ferramenta útil.

Noite do nevoeiro cerebral vivo morto ou como me pirateei melhor através de fonte aberta

Original. Um blogger partilha a sua jornada de utilização de software de código aberto para gerir a apneia grave do sono depois de experimentar vários "hacks" de higiene do sono e de ser prescrito CPAP. Descobrem uma comunidade online que utiliza software de código aberto OSCAR para obter uma visão mais profunda da métrica do sono e compra uma unidade que exporta dados no formato correcto. Outro blogger recomenda um servo-ventilador adaptativo (ASV) como tratamento mais eficaz para a apneia central do sono, com resultados positivos vistos através de padrões respiratórios restaurados e oxigenação saudável do sangue. O autor encoraja outros a procurar tratamento para a apneia não diagnosticada do sono.

Discussion Service. O percurso de um indivíduo para abordar questões de saúde evidencia a necessidade de se encarregar da saúde em vez de confiar apenas nos sistemas médicos tradicionais. Os utilizadores da Discussion Service discutem questões e barreiras em torno da adesão do sistema médico a tratamentos comprovados e a relutância em adoptar novos métodos. Os pacientes não devem confiar apenas em tratamentos não comprovados e devem incorporar os cuidados tradicionais. Os utilizadores discutem o grau aceitável de risco entre diferentes indústrias e a importância de equipamento médico aberto e acessibilidade de dados. Alguns utilizadores relatam resultados mistos com vários remédios e métodos para o sono. Post discute causas potenciais de "neblina cerebral" e a importância de dispositivos médicos abertos e de conhecimentos. Discussão pessoal de experiências positivas com o tratamento CPAP e alternativas ao CPAP. Canal YouTube que analisa dispositivos de rastreio de saúde e dificuldades na obtenção de cuidados médicos e estudos sobre o sono também discutidos. O diagnóstico e tratamento da apneia do sono pode ser um processo moroso e dispendioso. Exercícios de postura da língua e métodos de recuperação pessoal podem ajudar na gestão dos sintomas.

RePalm

Original. O projecto rePalm do Dmitry.GR é um novo emulador para PalmOS, abrangendo tópicos como o suporte de cartões SD virtuais, tradução de instruções ARM, e muito mais. Os programadores partilham conhecimentos sobre limitações de hardware e superação das mesmas, e fornecem uma imagem prévia do PalmOS 5.2.8 a correr num quadro de descoberta. Os planos futuros incluem a implementação de BT, WiFi, USB, e depuração de NVFS. As actualizações para rePalm incluem correcções e suporte de mic/Zodiac para hardware reSpring v1.3.0.0. Uma leitura técnica para aqueles interessados nas limitações de hardware de dispositivos passados.

Discussion Service. Um novo post no Hacker News discute os dispositivos RePalm e Palm com utilizadores citando formas específicas de os utilizar e alguns questionando o seu uso continuado. Alguns utilizadores recomendam a utilização de lixeiras cerebrais na codificação para se manterem concentrados, enquanto outros recordam as características únicas dos PDAs não inteligentes. Especialistas analisam os factores que levaram ao desaparecimento do PalmOS, incluindo erros de design e fraquezas técnicas, enquanto discutem o progresso lento e o valor dos progressos incrementais em projectos tecnológicos. Os utilizadores expressam nostalgia por dispositivos retrotécnicos como o Palm e continuam a utilizá-los apesar da disponibilidade da nova tecnologia. Um utilizador está a desenvolver uma versão moderna do PalmOS com alguns utilizadores sugerindo que o desenvolvimento de tecnologia semelhante é mais desafiante do que a média dos trabalhos de codificação.

Repetição Espaçada Eficaz

Original. Um post sobre a eficácia da repetição espaçada ao recordar qualquer coisa enfatiza a importância de seguir regras para escrever flashcards, incluindo compreender primeiro, ser honesto, repetir, organizar por fonte, escrever flashcards atómicos, e fazer perguntas de múltiplas formas. Os factores limitantes incluem a formação de hábitos e a capacidade de escrita. Para reter informação, deve-se fazer perguntas numa direcção descendente e ascendente e decompor flashcards maiores em pequenos. O posto fornece flashcards e guiões para memorização e encoraja a automatização. Os tipos de notas Anki e a falta desta característica de Mochi são o foco principal, com ênfase em conceitos claros, atomicidade, simplicidade, e redundância em flashcards. O escritor convida as ofertas de trabalho para a escrita de compiladores.

Discussion Service. Um artigo sobre repetição espaçada eficaz leva os utilizadores no Hacker News a partilharem as suas experiências e a fornecerem ferramentas alternativas. Os utilizadores oferecem dicas para a utilização eficaz do Anki e discutem métodos para a utilização da repetição espaçada em diferentes campos. Alguns utilizadores procuram conselhos para memorizar assuntos específicos utilizando SRS e flashcards. Enquanto alguns consideram os flashcards pré-fabricados menos eficazes, outros desenvolvem ferramentas de automação. A importância da taxa de memorização nas estatísticas Anki é enfatizada, e o risco de incluir demasiada informação em flashcards é elevado. A eficácia dos conveses partilhados para estudantes de medicina é notada, e recomenda-se um tipo de letra que não atrapalhe a leitura. Dislexia e dislexia parcial são também discutidas.

A maior fábrica de reciclagem de baterias EV dos EUA está aberta ao comércio

Original. A Ascend Elements abriu a maior fábrica de reciclagem de baterias de veículos eléctricos (EV) da América do Norte em Covington, Geórgia, que tem a capacidade de processar 30.000 toneladas métricas de baterias de iões de lítio usadas anualmente. As instalações de reciclagem poderiam ser utilizadas para reciclar e reutilizar de forma rentável as baterias EV, que podem fornecer novos materiais de bateria sem as despesas e o impacto ambiental da nova exploração mineira. O governo dos EUA procura tornar o país mais capaz de se abastecer a si próprio com as baterias que serão parte integrante do transporte electrificante e da descarbonização da rede. Outras empresas de reciclagem, tais como a Redwood Materials e a Li-Cycle, juntaram-se a este esforço.

Discussion Service. A maior instalação de reciclagem de baterias EV dos EUA está operacional, criando uma alternativa mais sustentável à produção de novos materiais. Os utilizadores da Discussion Service informam-se sobre processos de reciclagem, custos de mão-de-obra, e a possibilidade de substituição de baterias em sistemas de armazenamento estacionário de segunda vida. Os comentários discutem a viabilidade da exploração de comboios de 20 vagões, os benefícios económicos dos sistemas de trânsito, e o estado actual da reciclagem do lítio. Os especialistas reflectem sobre a longevidade das baterias EV e os avanços na tecnologia das baterias, enquanto o processo único de reciclagem da Li-Cycle levanta questões sobre a escalabilidade e o valor do subproduto.

FTX armazenou chaves privadas para criptografia de activos em texto simples, sem controlos de acesso

Original. A Crypto Exchange FTX tem mantido as chaves privadas dos utilizadores em texto simples, sem controlos de acesso, de acordo com um relatório da ZenGo. Isto significa que os atacantes que obtêm acesso às bases de dados FTX podem facilmente roubar as chaves privadas dos utilizadores e aceder aos seus fundos. A ZenGo notificou a FTX sobre o problema e a troca resolveu desde então o problema. O incidente realça a importância de proteger devidamente as chaves privadas, que são necessárias para aceder e gerir os activos criptográficos. É também um lembrete de que mesmo as trocas bem estabelecidas podem ter vulnerabilidades que deixam os activos dos utilizadores em risco.

Discussion Service. Troca criptográfica de chaves privadas armazenadas FTX em texto simples, causando preocupações sobre a segurança. Os utilizadores de Discussion Service sugerem que o FTX utilize criptografia assimétrica e falha os sistemas bancários tradicionais. Debate sobre a utilização de criptografia fora do controlo governamental e aplicação igualitária das leis. Os protocolos de segurança da FTX são criticados; os peritos sugerem carteiras quentes e frias. Os computadores portáteis confiscados pelos executivos FTX revelam chaves privadas em texto simples no Google Drive partilhado. Incidente levanta questões sobre gestão de risco e requisitos de licenciamento para engenheiros de software. Acusações de roubo de fundos de clientes FTX.

Fixei um dreno parasítico no meu carro em 408 dias

Original. O proprietário de um automóvel partilha a sua experiência de fixação de um dreno de bateria parasita persistente no seu hatchback Mazda3 de 2013, o que levou 408 dias a diagnosticar e reparar. O problema fez com que a bateria se esvaziasse em questão de horas ou dias, e foi diagnosticado através da medição de tensões através de fusíveis no carro para encontrar componentes que consumissem energia quando o carro estivesse desligado. O proprietário desligou o sistema do computador fob chave para impedir a drenagem da bateria, que provavelmente estava a funcionar mal e a manter sistemas, tais como o computador de transmissão, ligados infinitamente por engano. O proprietário avisa que o problema era intermitente e ocorreu mesmo depois de substituir a bateria duas vezes, e desaconselha a realização de quaisquer experiências para procurar desenhos parasitas sem primeiro assegurar que o carro está trancado com as portas fechadas.

Discussion Service. Um utilizador do Hacker News resolveu um esgotamento da bateria de um carro parasita causado por uma porta semi-fechada, com outros a partilharem experiências semelhantes. A especialização na resolução de problemas electrónicos poderia ser benéfica para os mecânicos, mas é um valor comercial baixo. As discussões envolvem a manutenção de baterias de automóveis durante períodos de não utilização, resolução de problemas eléctricos, e dicas práticas e experiências relacionadas com a manutenção de automóveis. Alguns utilizadores expressam frustrações com a complexidade dos automóveis modernos e componentes electrónicos que podem ser desafiantes e dispendiosos de reparar. Os utilizadores fornecem soluções práticas, sustentabilidade a longo prazo, e transporte alternativo em cidades com possibilidade de andar a pé.

Como começar a soldar

Original. A soldadura é um hobby acessível e uma habilidade útil, sendo a melhor dica a de aquecer o ferro, evitando ao mesmo tempo a fusão de componentes. O processo, estanhagem, envolve a adição de solda tanto ao arame como à almofada a ser soldada. A prática é fundamental, mas os erros não são prejudiciais para a electrónica a ser soldada.

Discussion Service. Os utilizadores do Hacker News debatem se é melhor começar com ferramentas baratas ou caras ao soldar, com alguns a sugerirem a regra de Adam Savage 'comprar primeiro barato', enquanto os profissionais sugerem tratar algumas ferramentas como consumíveis. Especialistas aconselham a compra da ferramenta mais barata que faz o trabalho e o investimento em ferramentas de qualidade, conforme necessário. Advertem contra a utilização de alternativas baratas e sugerem, em vez disso, marcas de confiança. As dicas incluem a utilização de fluxo e evitar solda sem chumbo, e uma boa ventilação e eliminação de resíduos são essenciais. Os utilizadores recomendam investir em ferro de soldar de alta qualidade, fluxo chipquik, e pontas laminadas. Há uma necessidade de competências práticas e de promover produtos de melhor qualidade.

Ensinar o ChatGPT a falar a língua inventada pelo meu filho

Original. Um pai e um filho ensinam a um computador a linguagem única Kłeti através da tecnologia chatbot, demonstrando o progresso da tecnologia em tornar a ficção científica uma realidade. A língua tem o seu próprio alfabeto e uma ordem de palavras SOV, tornando o uso de cópulas e partículas crucial para refinar a compreensão do chatbot. Uma experiência utilizando ChatGPT para traduzir do inglês para Kłeti resultou em traduções parcialmente correctas e uma pontuação de 6,5 em 12, mostrando o potencial da tradução da língua AI no futuro. O autor espera que os avanços na tecnologia de tradução de línguas AI ofereçam benefícios substanciais.

Discussion Service. Os utilizadores de Discussion Service discutem a aprendizagem e flexibilidade no contexto do ChatGPT, ao mesmo tempo que salientam limitações e capacidades; a Microsoft pode ser capaz de capitalizar o loop de feedback humano. Os especialistas questionam a compreensão da linguagem e limitações do ChatGPT relativamente às emoções e jogos. O GPT-4 mostra potencial na aprendizagem de línguas e no processamento simbólico. Os utilizadores relatam resultados mistos com ChatGPT e GPT-4 em várias tarefas.

Al Jaffee, rei da revista Mad, morreu

Original. Lamentamos, mas não há nenhum texto a resumir como referência. Por favor, forneça o conteúdo do texto a resumir.

Discussion Service. Al Jaffee, lenda da Mad Magazine e criador do dobd-in, faleceu aos 99 anos. Muitos lamentaram, recordando o seu impacto no pensamento crítico e no humor. Alguns notaram a questão da destruição de revistas para fazer o desdobramento. Os fãs lembraram-se de compreender as instruções e da publicação de Donald Knuth na Mad Magazine. O impacto de Jaffee na cultura popular foi generalizado e apreciado globalmente.

O inferno nunca acaba em x86: A História do Hiperespaço, Continuada, Tipo de

Original. A HP substituiu a sua versão instantânea do Linux QuickWeb por uma nova versão baseada no Hyperspace. O QuickWeb esteve disponível em todas as suas máquinas durante vários anos. Os computadores portáteis HP têm um botão separado, QuickLook, que lança uma aplicação de e-mail e calendário. No entanto, a aplicação depende de um plugin do Outlook e não acede directamente ao ficheiro de dados do Outlook. A HP aproveitou o SMM para conseguir algo que deveria ser impossível. A Dell e os fornecedores de placas-mãe não podem oferecer características para além dos componentes padronizados. A HP lutou para diferenciar os seus produtos e oferecer "Características para Executivos". Um trabalhador de suporte técnico criou uma shell utilizando o comando efibootmgr do Linux para fácil acesso em caso de falha do sistema. A maioria das placas-mãe de PC têm algo único, mas estas características podem aplicar-se apenas a utilizadores de nicho. O artigo destaca as experiências frustrantes dos utilizadores com a tecnologia, incluindo os ventiladores de GPU defeituosos da HP, entre outras coisas.

Discussion Service. O artigo discute complexidades na escrita de aplicações UEFI e o tratamento do comportamento do sono por parte da BIOSes. Alguns utilizadores recuam nas afirmações do autor. OEMs de computadores portáteis expõem funcionalidades valiosas através de chamadas WMI ACPI pré-definidas. Alguns vêem o Windows como inchado, e o ambiente EFI tem uma vaga semelhança com um MS-DOS de 32/64 bits. O processo de arranque dos PCs x86 ainda é lento. Os botões capacitivos nos computadores portáteis falham. A HP concebeu um SO sem o seu próprio programador que é carregado no TE em tempo de execução. Alguns utilizadores de Discussion Service debatem se este é um hipervisor ou um manipulador de interrupções. O posto gerou diversas reacções.

Precisamos de falar sobre Vercel

Original. Discussão recente em torno da Vercel realçou a sua pesada marca sobre a AWS Lambda, custos de fuga surpresa, e deficiências técnicas com o seu produto Content Delivery Network. Embora o valor acrescentado da Vercel possa valer a pena para alguns, a sua falta de apoio e de resposta a questões técnicas é preocupante. O CDN da Vercel modula o cabeçalho Cache-Control e não respeita os valores configurados conforme anunciado. As respostas de apoio de primeira linha têm sido desdenhosas de questões, e o CEO da Vercel defende o comportamento conforme necessário para proteger os utilizadores. A AWS investe fortemente no sucesso do cliente, em contraste com a Vercel. Consequentemente, o autor vai passar da Vercel.

Discussion Service. Uma investigação à Vercel levantou preocupações sobre o seu serviço ao cliente, preços, e questões de escala, com fornecedores alternativos como GitHub Actions, DigitalOcean, e Cloudflare sugeridos. Foram feitas críticas a mensagens enganosas, documentação inadequada, e tempos de resposta deficientes. Alguns utilizadores do Next.js debatem a renderização do lado do servidor versus a geração de sítios estáticos, com críticas sobre o design da Vercel e o facto de não fornecerem uma especificação. Foram também feitas críticas ao preço, práticas comerciais e de facturação da Vercel, com sugestões de alternativas mais baratas como o BunnyCDN ou o R2. O apoio da Vercel é criticado, apesar dos seus esforços de marketing. Alguns elogiam a sua experiência de desenvolvedor e as suas implementações por filial.

Filmagens do Dashcam mostram carros sem condutor a entupir São Francisco

Original. As empresas automóveis autónomas, incluindo a Waymo e a General Motors' Cruise, têm causado atrasos e perigo potencial para autocarros, comboios e passageiros em São Francisco desde Setembro de 2022, com 92 paragens não planeadas causando atrasos significativos no trânsito. Apesar das tentativas de acrescentar mais robotaxis às ruas de São Francisco, os funcionários da cidade expressam a sua preocupação com o aumento do caos causado pelos veículos autónomos e apelam à necessidade de progresso na resolução de falhas antes de autorizar as operações. Os defensores do trânsito de São Francisco estão a propor medidas, tais como a criação de faixas só de trânsito e a aplicação de multas a empresas que causam atrasos, para diminuir o impacto dos veículos autónomos. A Agência Municipal de Transportes de São Francisco está em discussões com empresas de veículos autónomos para minimizar as interrupções.

Discussion Service. As filmagens do Dashcam mostram carros sem condutor causando congestionamento de trânsito em São Francisco. Alguns temem o congestionamento dos preços, enquanto outros vêem potencial para novas infra-estruturas e trânsito em massa. Existem preocupações com situações imprevistas e carros excessivamente vazios a entupir as ruas; contudo, veículos autónomos poderiam reduzir as taxas e custos de estacionamento, e eliminar a posse de automóveis. Existem soluções tais como estações de cobrança e limitação do congestionamento através da fixação de preços e regulamentos. O impacto potencial dos automóveis autónomos nos transportes públicos, densidade urbana, habitação, estacionamento, e mercados de trabalho são debatidos. Existe cepticismo, mas as possibilidades são intrigantes. Os automóveis auto-conduzidos podem conduzir a frotas em vez de propriedade individual, optimizando a utilização e tornando-se rentáveis. A tecnologia de autocondução pode melhorar os transportes públicos e reduzir as emissões, mas existem potenciais desvantagens. A gestão do tráfego em tempo real, a redução da poluição e o transporte mais barato parecem promissores, com a necessidade de sistemas de transporte mais seguros e mais eficientes. Os funcionários de São Francisco culpam os carros sem condutor pelo congestionamento, mas os peritos afirmam o contrário. O artigo destaca questões com regras de autocarros tanto como a tecnologia sem condutor.

OpenBSD 7.3

Original. O OpenBSD 7.3 apresenta melhorias no kernel, actualizações do sistema, mmap desbloqueado, e suporte de hardware. O OpenBSD também introduz várias técnicas de mitigação e alterações na pilha da rede para evitar falhas e melhorar o desempenho. A versão inclui várias características do terreno do utilizador, correcções de bugs, e melhorias de segurança tais como a prevenção da leitura da memória e a execução de binários apenas para memória. Além disso, novos controladores foram adicionados, melhorados, ou retrabalhados. A actualização inclui também melhorias para nc, LibreSSL versão 3.7.2, e OpenSSH 9.3 e 9.2. O lançamento oferece suporte para o reencaminhamento dinâmico de portas remotas e pacotes pré-construídos para diferentes arquitecturas. O mailing listports@openbsd.org fornece mais informações para os utilizadores.

Discussion Service. OpenBSD 7.3 lançado com melhor detecção de bugs, pode ser usado como NAS/router/home server; correcção para editor Unix. O OpenBSD tem um desempenho possivelmente superior ao do Linux, de acordo com o utilizador Discussion Service. Ao OpenBSD falta .NET, Mono procura suporte BSD. A filtragem de pacotes do OpenBSD é roscada, com hardware modesto capaz de fazer roteamento 1G+PF+VLAN. Sem suporte Bluetooth, falta o driver ENA, processo de lançamento do OpenBSD discutido por Theo DeRaat.

Concierge Pessoal Usando o ChatGPT do OpenAI via Telegramas e Mensagens de Voz

Original. Um novo telegrama bot, utilizando o ChatGPT do OpenAI, LangchainJS, OpenAI's Whisper API, e Play.ht, permite serviços de concierge personalizados através de voz e chat. Para utilizar, os utilizadores devem adquirir uma ficha de telegrama bot e uma chave OpenAI API, e depois seguir os passos listados no GitHub. O bot é um desenvolvimento novo e excitante para aqueles que procuram serviços de assistente mãos-livres, e tem atraído a atenção em sites de redes sociais, tais como Twitter e Hacker News.

Discussion Service. Um concierge pessoal usando ChatGPT ganhou atenção no Hacker News, levando a discussões sobre eficácia, preços, e potenciais usos. Os utilizadores estão interessados em melhorar a produtividade com IA, mas há preocupações sobre armazenamento de dados e custos elevados. O ChatGPT e tecnologia semelhante estão a ser integrados em mais projectos, mas existem preocupações sobre privacidade. OpenAI esclarece as suas políticas de retenção de dados e procura proteger os dados quando se utilizam produtos de consumo.

EditAnything: Segment Anything + ControlNet + BLIP2 + Stable Diffusion

Original. O projecto em curso, Edit Anything, utiliza Segment Anything, ControlNet, BLIP2, Stable Diffusion e muito mais para "Editar e Gerar Qualquer Coisa" em imagens, com foco em contribuições e sugestões divertidas. As características incluem controlo de granulação fina com ControlNet pré-treinado e máscaras SAM não relacionadas com categorias, e controlo sem guia de texto BLIP2. Os objectivos em curso incluem a adição de controlo interactivo para edição de imagens e chatGPT edição guiada de imagens. Os indivíduos interessados podem criar um ambiente seguindo as instruções de configuração fornecidas e treinar os seus próprios modelos, ou utilizar os modelos pré-treinados disponíveis. O projecto é baseado em vários outros projectos incríveis, pelos quais os criadores expressam a sua gratidão.

Discussion Service. A 'EditAnything' utiliza Segment Anything, ControlNet, BLIP2, e Stable Diffusion. Os utilizadores da Discussion Service querem uma explicação ELI5. Segment Anything é impressionante devido à sua exactidão. A segmentação da imagem é impressionante. ControlNet fornece novas condições, conjuntos de dados, sem esquecimento catastrófico. O conjunto de dados foi gerado por humanos e automatizado. Os exemplos não impressionam alguns indivíduos. Segmento Qualquer coisa funciona com precisão em imagens abstractas. Os utilizadores elogiam a tecnologia. Há uma discussão sobre o código de formação/ afinação.

Agentes Generativos: Simulacra Interactiva do Comportamento Humano

Original. Os investigadores introduziram "agentes generativos", agentes de software computacional que simulam o comportamento humano credível usando uma arquitectura que estende modelos de linguagem de grandes dimensões para armazenar um registo completo das experiências do agente usando linguagem natural, sintetizar essas memórias ao longo do tempo em reflexões de nível superior, e recuperá-las dinamicamente para planear o comportamento. Numa avaliação, estes agentes generativos produzem comportamentos individuais credíveis e sociais emergentes num ambiente interactivo de caixa de areia inspirado em The Sims. A investigação introduz padrões arquitectónicos e de interacção para permitir simulações credíveis do comportamento humano.

Discussion Service. "Agentes Generativos: O artigo "Interactive Simulacra of Human Behavior" ganha a atenção da Discussion Service na redução do comportamento e programação de bot. A discussão inclui 'voz interior' e a dependência de inteligência profunda do ambiente. Limitações dos modelos de linguagem citados, com foco em algoritmos de nível superior para controlo. A IA 'Dreamer' do Google suscita o debate sobre a tomada de decisões éticas. A experiência da IA simula agentes alimentados por LLM numa pequena cidade, concentrando-se no desenvolvimento da memória e da personalidade, exigindo uma simulação dispendiosa.

Peste Dançante de 1518

Original. Em 1518, um grupo de 50-400 pessoas em Estrasburgo, a Alsácia começou a dançar durante semanas depois de uma mulher ter começado a dançar na rua, mas a causa do fenómeno é desconhecida. Fontes históricas descrevem o evento como um caso de mania da dança, enquanto teorias modernas sugerem histeria em massa induzida pelo stress ou intoxicação alimentar causada por fungos do ergot. Há controvérsia sobre se a peste levou a mortes, com algumas fontes a afirmar que matou cerca de 15 pessoas por dia durante o surto. A Peste Dançante tem inspirado obras da cultura pop, incluindo uma canção de Florença e a Máquina.

Discussion Service. A Peste da Dança de 1518 envolveu danças incontroláveis com possíveis factores médicos e sociais. Danças descontroladas semelhantes ao longo da história podem ter sido devidas a doenças psicogénicas em massa. A medicina moderna esforça-se por explicar tais fenómenos. Os comentários discutem referências históricas à "dança" e especulam sobre as causas das doenças. O artigo oferece uma ligação a eventos históricos intelectualmente estimulantes.

O QI americano baixou rapidamente, provando o efeito 'Reverse Flynn'.

Original. A nova pesquisa da Northwestern University sugere que os resultados do QI americano estão em declínio após décadas de aumentos constantes conhecidos como o "efeito Flynn". O estudo examinou dados de inteligência de 2006 a 2018 e descobriu que as pontuações em três dos quatro "domínios cognitivos" - raciocínio verbal, raciocínio matricial, e séries de letras e números - estavam a diminuir. No entanto, as pontuações no raciocínio espacial (conhecido como rotação 3D) mostraram uma tendência ascendente. Os investigadores não estão seguros das razões por detrás desta tendência, mas sugerem que poderia ser uma mudança nos valores sociais, a influência da educação STEM, ou um menor interesse em certas áreas do inquérito.

Discussion Service. Os resultados do QI americano estão a diminuir, indicando o "efeito Flynn inverso". As variações anuais das pontuações de QI podem apontar para problemas com validade de medição. Os utilizadores de Discussion Service debatem se as pontuações em bruto nos testes de QI podem ser comparadas ao longo do tempo e dos testes. Os académicos em humanidades lutam para definir o pensamento crítico, afastando-se do ensino nas escolas. A hereditariedade do QI está a ser discutida na secção de comentários, com alguns utilizadores a salientarem que a hereditariedade não significa necessariamente que estejam em jogo factores genéticos ou biológicos. Especialistas debatem o papel do QI na sociedade e na investigação da IA. As pontuações de QI nos países desenvolvidos diminuíram desde os anos 70, com possíveis factores, incluindo jogos de vídeo e desigualdade de rendimentos. Não há um tema central claro ou novas informações significativas nos comentários do post.

Usando RP2040 PIO para conduzir uma displa mal desenhada

Original. Dmitry.GR desenvolveu um controlador sem CPU com RP2040 PIO para um ecrã que suporta múltiplos modos e ecrã táctil. No entanto, o ecrã está mal concebido e o código de amostra é um desafio. Apesar de algumas limitações, os dados tácteis podem ser copiados para a memória para posterior utilização. Um artigo discute diferentes modos utilizando um controlador de ecrã, maquinaria DMA e PIO, e questões de encadeamento DMA. O ecrã táctil coloca desafios devido ao ruído e à amostragem e partilha inadequada de um barramento SPI com um cartão SD. A configuração envolve SPI de bit-banging usando GPIO com API para funções de visualização, com código licenciado BSD 2-clause disponível para download e modificação.

Discussion Service. Um utilizador Discussion Service partilhou como utilizar o RP2040 PIO para conduzir um ecrã mal concebido com toque no mesmo autocarro SPI. Outros discutiram resolução temporal, sobreamostragem, e DMA. O post oferece detalhes técnicos únicos e uma nova solução para um problema antigo. Os PIOs podem gerir criativamente vários recursos de hardware periféricos utilizando eficientemente o CPU. Os comentários discutem o overclocking do RP2040 e sugerem ecrãs e MCUs alternativos.

Algoritmo de Ranking Hacker News

Original. O autor propõe um algoritmo de classificação alternativo para o Hacker News (Discussion Service), onde o algoritmo actual apenas considera o número de upvotes para uma ligação, mas o novo algoritmo também considera upvotes para comentários. O algoritmo proposto utiliza PageRank e uma penalização de bandeira para promover discussões e perfis saudáveis com pontuações HackerRank mais elevadas. A ideia principal é classificar as mensagens com base não só na popularidade da hiperligação, mas também na qualidade da discussão. O autor convida os leitores a partilharem as suas ideias sobre como teriam concebido o algoritmo Discussion Service.

Discussion Service. Os utilizadores discutem os prós e os contras do algoritmo de classificação Hacker News e PageRank, sugerem novas métricas e personalizam PageRank, advertem contra potenciais manipulações, e propõem gráficos bipartidos. Alguns utilizadores questionam a necessidade do sistema de classificação/votação e sugerem que se dê prioridade a comentários populares e de alta qualidade. A natureza ambígua do botão upvote sugere duas dimensões para a qualidade e o alinhamento. Alguns utilizadores notam insuficiências na classificação dos comentários e discutem a detecção/gerenciamento de mensagens manipuladas. O artigo adverte contra a politização e encoraja a curiosidade; o Discussion Service é melhor deixar inalterado.

O corte da energia nuclear poderia aumentar a poluição atmosférica: estudo

Original. O encerramento das centrais nucleares dos EUA pode aumentar a poluição atmosférica em mais de 5.000 mortes, alertaram os investigadores do MIT. O aumento da poluição será devido à utilização de carvão, petróleo, e gás. As energias renováveis em substituição das centrais nucleares, contudo, podem reduzir as mortes relacionadas com a poluição. A comunidade negra será a mais exposta ao aumento da poluição, uma vez que estes grupos tendem a viver mais perto das centrais de combustíveis fósseis. O estudo do MIT indica que a qualidade do ar não tem sido totalmente abordada nas conversas sobre o encerramento de centrais nucleares.

Discussion Service. Um estudo do MIT revela que o encerramento de centrais nucleares poderia levar a um aumento da poluição atmosférica. Os comentadores do Hacker News estão divididos quanto ao grau e natureza da poluição do ar causada pela energia nuclear, comparando os EUA com outros países. As opiniões sobre energia nuclear estão polarizadas com preocupações sobre poluição radioactiva, regulamentação e segurança, mas alguns consideram-na uma opção mais limpa e mais eficiente do que os combustíveis fósseis. Há uma necessidade de investimento em energias renováveis e estratégia energética a longo prazo. O potencial da energia de fusão é discutido, e são levantadas preocupações sobre a forte dependência da China na cadeia de fornecimento solar.

O mergulho da Apple em carregamentos de PC é o mais acentuado entre os principais fabricantes de computadores

Original. Os carregamentos de PC da Apple registaram um declínio de 40,5%, o maior desde 2000, devido a uma procura lenta e a um excesso de oferta em toda a indústria. Este declínio contribuiu para uma quebra global de 29% nos envios de PC entre as marcas líderes, à medida que a procura de trabalho à distância aumentava devido a restrições pandémicas. A Lenovo e a Dell registaram quedas de mais de 30%, e nenhuma marca importante foi poupada do abrandamento. O lançamento da vacina COVID-19 e o declínio das tendências de trabalho remoto podem estar a facilitar uma mudança para longe dos PCs, mas ainda não está claro se esta tendência irá continuar a longo prazo.

Discussion Service. A Apple experimenta uma queda significativa nos envios de PC, mas a procura de modelos M1 disparou durante a pandemia. Os aumentos de desempenho dos modelos M1 foram incrementais com o Air a mostrar o salto mais significativo. Os utilizadores relutantes em actualizar devido à maior duração da bateria dos modelos M1 e a não necessidade de actualizar durante algum tempo. As remessas de Mac aumentaram enquanto alguns ainda utilizam modelos pré-2016 ou patch Catalina. A memória soldada aumenta o desempenho enquanto o armazenamento soldado é uma limitação do espaço de armazenamento. As verificações de estímulos correlacionadas com o salto nas vendas de Macbooks. Opiniões variadas sobre a actualização e utilização de produtos Apple à luz de factores económicos e tecnológicos. Políticas de preços para MacBooks criticadas como demasiado íngremes. MacBooks elogiado pela longevidade, e Asahi Linux uma grande opção para aqueles que preferem um sistema operativo orientado para o trabalho.

Se angariou capital de risco, tem de pagar a si próprio

Original. Este não é o texto correcto para resumir, uma vez que é apenas uma mensagem de erro. Não é necessário um resumo.

Discussion Service. Os utilizadores da Discussion Service discutem os salários dos fundadores após o financiamento de capital de risco. Sistema de remuneração graduada sugerido com base no crescimento das receitas. Os empregados não fundadores podem não beneficiar de capital próprio tanto como as empresas estabelecidas. As cooperativas sugeridas como uma forma de partilhar recompensas. Alguns empregados sobrevalorizam o capital inicial. O CEO da Startup recomenda que se pague a si próprio o suficiente para se concentrar no crescimento do negócio. Os fundadores são encorajados a pagar aos empregados mais perto da taxa de mercado. Difícil de equilibrar a estabilidade financeira da empresa com uma remuneração razoável. Pagar a si próprio de forma equitativa, mas iniciar um negócio lucrativo de arranque é arriscado. Os fundadores devem evitar o esgotamento, pagando um salário que imite o que seria pago a um empregado assalariado. Cuidado aconselhado com o capital de risco. Os fundadores devem ser generosamente compensados se o salário não drenar excessivamente os fundos da empresa. Discutiram-se experiências pessoais com compensação e investimento inicial. Os empregados da indústria tecnológica devem concentrar-se em obter o que é melhor para eles.

O rio Kissimmee foi trazido de volta à vida, e a vida selvagem está a prosperar

Original. O rio Kissimmee na Florida foi devolvido ao seu estado natural após décadas de desvio para um canal recto, o que traz consigo uma série de vida selvagem. As planícies aluviais serpenteantes do rio outrora abrigavam zonas húmidas sazonais com uma pletora de vida, mas nos anos 40 foram convertidas numa rede de canais e cursos de água pelo Corpo de Engenheiros do Exército. No entanto, desde então, foi restaurada à sua forma original e as suas várias espécies de aves, mamíferos e peixes estão a regressar lenta mas seguramente.

Discussion Service. O rio Kissimmee foi submetido a uma restauração dispendiosa e bem sucedida, com a vida selvagem a prosperar. Os utilizadores recomendam o documentário 'Path of the Panther'. O Governador DeSantis foi criticado por políticas sobre o ambiente e as alterações climáticas. Apesar da geração de gás natural, a Florida dá prioridade à gestão da água e das zonas húmidas. As perdas de energia nuclear na Flórida tornam os eleitores cautelosos. A FPL foi apanhada a envolver-se em comportamentos políticos pouco éticos. Riqueza em metade vulnerável, falta de recursos. As receitas fiscais da Flórida. Preocupação com a atribuição de orçamento. As políticas da EPA inclinam-se para as grandes empresas. Desconhece-se a relação custo-eficácia da drenagem de terras.

Use acções GitHub para tornar o seu perfil GitHub dinâmico

Original. Os utilizadores do GitHub podem tornar o seu perfil dinâmico usando as Acções GitHub criando um repositório com um ficheiro README.md contendo informação de perfil desejada, adicionando pastas para conteúdo dinâmico, e adicionando uma nova subpasta para o script que raspa os dados de um website e modificando-os no ficheiro README.md; o conteúdo para o perfil é encontrado indo ao github.com/[nome de utilizador] num navegador web, sendo o repositório a fonte da página de perfil; a nova subpasta para o fluxo de trabalho é instalada em [fluxos de trabalho] dentro do directório raiz, e é definido um horário para executar o script uma vez por semana; os utilizadores podem usar diferentes linguagens, incluindo Ruby, TypeScript, JavaScript, e Python para fazer um perfil dinâmico; esta técnica melhora o perfil GitHub de um indivíduo, tornando-o um exemplo mais dinâmico e em constante mudança.

Discussion Service. Um post do Hacker News discute os perfis dinâmicos do GitHub através das Acções GitHub. Os comentários variam de cepticismo a elogios.

O que aprendi sobre métodos formais em meio ano

Original. O escritor partilha a sua experiência na aprendizagem de métodos formais e na utilização de técnicas matemáticas para verificar as propriedades do software. O artigo discute as vantagens dos métodos formais, incluindo métodos leves como a Liga e a Forja, e fornece um exemplo utilizando a Liga para verificar a implementação de um sistema de ficheiros. Explora diferentes abordagens aos assistentes de prova, tais como Lean e os benefícios e desvantagens da sua utilização. O artigo discute também a semântica da linguagem de programação e o significado de refinamento em matemática relacionada com a verificação de software, mostrando os conhecimentos do autor e a utilização de Lean. Além disso, o autor explica o conceito de métodos formais e fornece uma visão geral das técnicas de verificação adequadas para sistemas de alto e baixo nível. O posto pode interessar a especialistas em programação e informática.

Discussion Service. Um utilizador da Discussion Service partilha os seus conhecimentos sobre métodos formais, com comentadores que fornecem as suas experiências e opiniões. Frama-C e SPARK são recomendados, juntamente com o TLA+, para um início rápido. Os métodos formais são úteis para a verificação de hardware, mas são um nicho para a maioria do software. Os testes contratuais e a análise do fluxo de dados ajudam a evitar erros no arranque. Sistemas de IA como o ChatGPT podem validar o código contra os requisitos do sistema. A notação matemática é mais eficiente do que as expressões de linguagem natural em provas formais. A democratização do conhecimento é vital na indústria tecnológica.

Pergunte à Código aberto LLM para uso comercial?

Um utilizador da Discussion Service perguntou se poderia utilizar legalmente uma ferramenta LLM de código aberto para uso comercial. Alguns utilizadores recomendaram verificar a licença específica da ferramenta. Outros sugeriram contactar um advogado ou utilizar uma ferramenta alternativa com uma licença comercial. Um utilizador salientou que a utilização de código aberto para fins comerciais é possível com algumas licenças, mas é essencial cumprir com os termos da licença.

Discussion Service. Um utilizador da Discussion Service procura LLM comercial de código aberto para o seu projecto ML. Os modelos de flan têm um desempenho ligeiramente pior do que o GPT-3/4. Estão disponíveis outros modelos de código aberto, mas a formação é dispendiosa. Espera-se que a Nvidia liberte modelos iniciais de base para LLMs. As empresas podem publicar modelos de base, mas o valor real é de 5-10 camadas acima. O OpenAI não utiliza dados de clientes para formar modelos, mas algumas empresas precisam de sigilo. Os modelos de aprendizagem de máquinas provavelmente não têm protecção de direitos de PI. As alternativas GPT como o BERT e as séries opt podem ser aperfeiçoadas a baixo custo. A equipa GPT4all trabalha na formação GPT-J como uma alternativa aberta. Existem preocupações sobre a responsabilização dos LLMs.

Zoomable, scatterplots animados no browser que escalam mais de um bilião de pontos

Original. Deep Scatterplots for the Web é uma biblioteca em evolução para exibir grandes quantidades de dados com alto desempenho utilizando o formato Apache Arrow feather e WebGL. A biblioteca também lida com a maioria das transformações gramaticais de gráficos na GPU, permitindo transições interpoladas com cálculos paralelos. Os exemplos incluem mais de um milhão de documentos do arxiv.com e de cada pessoa nos Censos 2010 e 2020 dos EUA, entre outros. A biblioteca funciona em configurações completamente estáticas que podem ser alojadas nas Páginas Github. A API imita Vega-Lite, e a biblioteca oferece métodos de jitter tais como círculo, espiral, e tempo.

Discussion Service. Os gráficos de dispersão animados e com zoom da IA nómica escalam mais de mil milhões de pontos no navegador via webGPU, e as questões de GitHub são bem-vindas; contudo, o mapa de fundo pode nem sempre ser exacto, e os gráficos de fundo têm um módulo semelhante, mas com menos pontos. O Nomic AI também lançou o gpt4all, e bibliotecas como GRAPE e nodevectors poderiam produzir melhores resultados para a incorporação à escala. Os fãs da visualização podem estar interessados em Galapix, Pix-image-viewer, e GGVec, mas podem surgir problemas de renderização com dispositivos móveis.