Esta tese, publicada em 1999, é um trabalho de mestrado do Departamento de Engenharia Elétrica e Ciência da Computação do MIT. Inclui referências bibliográficas e foi publicada pelo MIT. A tese se enquadra na categoria de Engenharia Elétrica e Ciência da Computação.
Leia mais
A série de TV britânica Peep Show, exibida de 2003 a 2015, oferece uma perspectiva única sobre o mal através de seus protagonistas, Mark e Jez. Eles não são vilões, mas sim reflexos da autodepreciação, covardia e escapismo que residem em cada um de nós. A perspectiva em primeira pessoa e os monólogos internos da série mergulham o espectador em suas experiências, revelando as motivações por trás de suas ações e como suas inseguranças se traduzem em comportamentos autodestrutivos e prejudiciais. A 'banalidade do mal' retratada não é impulsionada pela malícia, mas sim pela fraqueza, evasão e egoísmo – uma combinação verdadeiramente assustadora.
Leia mais
O presidente Trump assinou uma aguardada ordem executiva sobre criptomoedas, estabelecendo uma agenda federal para trazer os negócios de ativos digitais dos EUA para uma supervisão mais amigável. A ordem cria um grupo de trabalho para revisar as regulamentações existentes e propor modificações ou revogações em 180 dias. Também proíbe o desenvolvimento de uma moeda digital do banco central dos EUA (CBDC). A medida é vista como positiva para o setor de criptomoedas, causando um breve aumento no preço do Bitcoin antes de uma retração.
Leia mais
Este artigo explora o uso de Modelos de Linguagem Ampla (LLMs) para gerar planejadores Prolog, aproveitando as capacidades de busca combinatória do Prolog. Os autores argumentam que os LLMs são mais adequados para traduzir linguagem natural para Prolog do que para planejar diretamente. Sua abordagem envolve solicitar a um LLM que traduza descrições de problemas para código Prolog, que é então usado por um mecanismo Prolog para executar o planejamento. Um guia de solicitação detalhado é fornecido, focando na geração de fatos de estado, predicados de ação e predicados de verificação. Esta abordagem contorna as limitações dos LLMs no planejamento direto, enquanto utiliza os pontos fortes do Prolog em raciocínio lógico e busca combinatória. O método mostrou ser eficaz em vários problemas de planejamento de brinquedo.
Leia mais
Cogitator é um poderoso kit de ferramentas Python para experimentar e utilizar métodos de prompts de cadeia de pensamento (CoT) em modelos de linguagem grandes (LLMs). Os prompts CoT melhoram o desempenho do LLM em tarefas complexas (como perguntas e respostas, raciocínio e resolução de problemas) guiando os modelos para gerar etapas de raciocínio intermediárias antes de chegar à resposta final. Também melhora a interpretabilidade do LLM, oferecendo insights sobre o processo de raciocínio do modelo. Este kit de ferramentas simplifica o uso de estratégias e estruturas CoT populares para pesquisa ou integração em aplicativos de IA. Inclui uma estrutura de benchmarking personalizável e extensível para avaliar o desempenho de diferentes estratégias CoT em vários conjuntos de dados.
Leia mais
A Câmara aprovou a versão do Senado da Lei 'Um Grande Projeto Belo' (OBBBA) em 3 de julho de 2025, remodelando drasticamente a política tributária federal. Essa mudança legislativa prioriza a produção doméstica e iniciativas pró-negócios. As mudanças principais incluem a restauração da depreciação bônus de 100%, a reinstituição da despesa imediata para P&D com sede nos EUA, a eliminação de vários programas de energia limpa da Lei de Redução da Inflação e a extensão permanente dos cortes de impostos individuais. A lei também introduz novos incentivos para famílias de classe média e fabricantes.
Leia mais
O projeto Wasm-agents visa revolucionar a acessibilidade de agentes de código aberto, empacotando-os como arquivos HTML executáveis diretamente no seu navegador, eliminando a necessidade de ferramentas ou frameworks externos. Utilizando WebAssembly e Pyodide, este projeto permite a execução em velocidade próxima à nativa de agentes de IA baseados em Python dentro de um sandbox do navegador. Atualmente suporta APIs OpenAI e modelos auto-hospedados (como os servidos via Ollama), o Wasm-agents fornece exemplos de arquivos HTML demonstrando agentes conversacionais simples, sistemas multi-agentes e agentes avançados com ferramentas integradas. Embora existam limitações, como a dependência da estrutura openai-agents e considerações de CORS, este projeto oferece uma nova abordagem para o desenvolvimento e compartilhamento de agentes de IA, pronta para exploração.
Leia mais
Um professor sênior de Ciência da Computação relata dois incidentes que destacam problemas de desempenho em roteadores domésticos causados por fontes de alimentação inadequadas. O primeiro envolveu o roteador doméstico do autor, que apresentou lentidão ao ser alimentado por um inversor solar. O segundo ocorreu em Kiribati durante um projeto financiado pela ISIF Ásia. Usando um osciloscópio, o autor observou o roteador consumindo corrente excessiva durante quedas de tensão, levando à instabilidade. Adicionar capacitores para estabilizar a fonte de alimentação resolveu os problemas, destacando como problemas de energia aparentemente menores podem causar falhas significativas na rede.
Leia mais
Este artigo explora como os cineastas criavam cenas épicas de batalha antes do advento do CGI. Examina as técnicas empregadas por vários diretores, desde o uso inovador de montagem e efeitos de fumaça por D.W. Griffith até a manipulação magistral de ângulos de câmera e pós-produção por Sergei Eisenstein para criar a ilusão de exércitos massivos. O artigo contrasta diferentes interpretações da Guerra e Paz de Tolstói, mostrando os desafios e soluções criativas envolvidas na representação de batalhas em larga escala com recursos limitados. Embora a precisão histórica às vezes tenha sofrido, a engenhosidade e a escala desses esforços pré-CGI são notáveis.
Leia mais
Uma onda de nostalgia varreu recentemente a internet, com muitos ansiando por um mundo online mais amigável e simples de 20 anos atrás. No entanto, este artigo argumenta que essa nostalgia ignora a toxicidade inerente e os problemas que já existiam naquela época. Ele explora a evolução da internet, como as plataformas se tornaram dominadas por grandes empresas e a proliferação de discurso de ódio e extração de dados. Alguns veem a internet como uma utopia fracassada, enquanto outros permanecem esperançosos, defendendo soluções como a recuperação da soberania digital e o apoio a projetos auto-organizados para reconstruir um espaço online mais gentil e justo.
Leia mais
O novo livro de Tae Kim, 'O Caminho da Nvidia', narra a notável jornada da Nvidia, de uma pequena empresa fundada em um restaurante Denny's a uma das mais valiosas do mundo. De projetos iniciais de placas de vídeo à liderança na revolução da IA, o sucesso da Nvidia não foi acidental. O livro detalha fracassos iniciais, destacando a inovação implacável e a tomada de riscos do CEO Jensen Huang, culminando em avanços como o RIVA 128. Uma estratégia única combinando hardware e software, juntamente com uma cultura corporativa distinta, impulsionou a Nvidia para a liderança em IA. No entanto, desafios futuros permanecem.
Leia mais
Cansado das longas esperas no xadrez por turnos? Um desenvolvedor criou um tabuleiro de xadrez físico em tempo real que elimina completamente os turnos. Cada peça tem um tempo de espera individual, imposto por eletrônicos e eletroímãs, impedindo trapaças. Os designs de PCB e o firmware do projeto são de código aberto, mas o autor observa problemas como distribuição de energia inadequada e tolerâncias apertadas.
Leia mais
Este ensaio aprofunda as complexidades da propriedade de direitos autorais em Software Livre e de Código Aberto (FOSS). Tradicionalmente, muitos projetos FOSS atribuem direitos autorais a organizações sem fins lucrativos, mas essa prática se tornou controversa. O autor argumenta que a maioria dos contribuidores de FOSS, na verdade, tem seus direitos autorais detidos por seus empregadores, enfraquecendo a proteção oferecida pelas licenças copyleft. Mudar a atribuição centralizada de direitos autorais pode deixar as empresas no controle, potencialmente dificultando a aplicação do GPL. O artigo incentiva os contribuidores de FOSS a considerarem cuidadosamente a propriedade dos direitos autorais, sugerindo medidas proativas para proteger seus direitos e manter os interesses da comunidade de código aberto, impedindo que o copyleft se torne ineficaz.
Leia mais/cdn.vox-cdn.com/uploads/chorus_asset/file/23952202/HT009_facebook_0008.jpg)
Este guia abrangente o orienta no processo de exclusão permanente de sua conta do Facebook. Ele começa enfatizando a importância de baixar seu arquivo de dados, detalhando como acessar e salvar suas fotos, logs de bate-papo, endereços IP e outras informações pessoais. O guia, então, fornece um passo a passo do processo de exclusão da conta por meio do Centro de Contas, cobrindo opções como desativação temporária versus exclusão permanente e explicando como fornecer um motivo para sair. Finalmente, ele lembra os usuários de excluir suas contas em outros serviços da Meta (como Instagram e WhatsApp) e observa que algumas informações podem persistir mesmo após a exclusão.
Leia mais
A grade Cardan é um método antigo de esteganografia que usa uma grade perfurada para ocultar mensagens secretas em cartas comuns. No Renascimento, Girolamo Cardano inventou uma grade simples onde as mensagens eram escritas através dos buracos. A grade era então removida, e os espaços restantes eram preenchidos para criar uma carta aparentemente inocente. Embora lento e exigindo habilidade, isso ocultava mensagens de forma inteligente dentro de texto comum, evitando a criptoanálise direta. Embora em grande parte obsoleto no final do século XVII, a grade Cardan permanece um exemplo histórico fascinante de esteganografia.
Leia mais
Uma nova análise revela que as emissões de CO2 da China caíram 1,6% ano a ano no primeiro trimestre de 2025 e 1% nos últimos 12 meses. Isso é atribuído ao crescimento da energia eólica, solar e nuclear que superou o crescimento da demanda de eletricidade, levando à redução da geração de energia a carvão. Apesar disso, as emissões permanecem ligeiramente abaixo do pico, e quaisquer flutuações de curto prazo podem fazer com que as emissões aumentem novamente. A trajetória futura depende fortemente das metas de energia limpa da China em seu próximo plano quinquenal e de sua resposta econômica à política comercial dos EUA.
Leia mais
O Tailwind CSS v4.0 chegou! Esta versão é uma reformulação completa da estrutura, com melhorias significativas de desempenho e maior flexibilidade. As compilações completas são até 5 vezes mais rápidas, e as compilações incrementais são mais de 100 vezes mais rápidas. Aproveitando recursos de CSS de ponta, como camadas em cascata, propriedades personalizadas e a função `color-mix()`, o v4.0 foi projetado para a web moderna. A configuração foi simplificada com menos dependências, configuração zero e uma única linha de CSS. Uma nova configuração priorizando CSS permite a personalização diretamente no seu CSS, juntamente com variáveis de tema CSS, valores de utilitários dinâmicos e variantes. Outras adições significativas incluem uma paleta de cores P3 modernizada, consultas de contêiner, novos utilitários de transformação 3D, APIs de gradiente expandidas e suporte a `@starting-style`. Esta versão melhora significativamente a eficiência do desenvolvedor e a experiência do usuário.
Leia mais
Cansado de banners irritantes de consentimento de cookies? A extensão do Chrome Rejeitar Cookies rejeita automaticamente cookies não essenciais e fecha pop-ups. Embora inicialmente tenha usado o Cursor para desenvolvimento, a abordagem mudou para um método mais direcionado, focando em fornecedores específicos como o OneTrust para maior precisão. A extensão está em desenvolvimento e recebe feedback do usuário e contribuições para expandir sua cobertura de fornecedores de cookies.
Leia mais
Devido a um histórico pessoal, o autor enfrentou uma série de problemas na plataforma de compartilhamento de carros Turo: o carro reservado teve um pneu furado, a substituição chegou atrasada; o cancelamento falhou; o novo carro estava sujo e problemas de registro levaram a uma parada policial; cobranças adicionais foram feitas na devolução. Este artigo destaca os riscos potenciais da economia compartilhada: falta de supervisão da plataforma, operadores individuais irresponsáveis e dificuldade em proteger os direitos do consumidor. Embora o autor tenha recebido um reembolso, todo o processo foi demorado e trabalhoso, destacando as deficiências da economia compartilhada em termos de falta de regulamentação eficaz e mecanismos de proteção ao consumidor.
Leia mais
Pesquisadores do ETH Zurich e EPFL, em colaboração com o Centro Nacional de Supercomputação da Suíça (CSCS), estão prestes a lançar um modelo de linguagem amplo (LLM) totalmente de código aberto. Este modelo, que suporta mais de 1000 idiomas, apresenta dados de treinamento transparentes e reprodutíveis e será lançado sob a licença Apache 2.0. A iniciativa visa promover a inovação aberta em IA e apoiar a adoção ampla em ciência, governo, educação e setor privado, respeitando as leis suíças de proteção de dados e as obrigações de transparência da Lei de IA da UE. O treinamento utilizou o supercomputador "Alpes" do CSCS, com mais de 10.000 superchips NVIDIA Grace Hopper e utilizando eletricidade 100% neutra em carbono.
Leia mais
O PiEEG-24 é uma interface cérebro-computador (ICC) de 24 canais, de baixo custo e código aberto, baseada no Raspberry Pi. Ele mede dados de EEG, EMG, EKG e EOG, oferecendo resolução espacial aprimorada, qualidade de sinal e localização da fonte em comparação com sistemas com menos canais. Suas vantagens incluem flexibilidade na colocação de eletrodos, complexidade computacional administrável, custo-benefício e compatibilidade com vários tipos de eletrodos. Um SDK Python fácil de usar é fornecido. Isso representa um avanço significativo na tecnologia de interface cérebro-computador acessível e de alto desempenho.
Leia mais
Cientistas da UCLA desenvolveram o PP405, uma pequena molécula que reativa folículos capilares dormentes, oferecendo uma possível cura para a calvície. Quase uma década de trabalho em laboratório culminou em ensaios clínicos promissores em 2023, mostrando que a aplicação tópica do PP405 estimula o crescimento de cabelos saudáveis e longos, ao contrário de outros tratamentos. Liderada por três pesquisadores, a descoberta levou à criação de uma empresa apoiada pela Google Ventures para realizar mais ensaios e obter aprovação do FDA, oferecendo esperança para milhões de pessoas que sofrem de queda de cabelo.
Leia mais
Este artigo explora seis armadilhas comuns que as equipes de plataforma encontram ao implementar o DevOps. Esses problemas, aparentemente sutis, podem limitar severamente a eficácia de uma equipe de plataforma. Com base em experiências pessoais, o autor aprofunda as causas raiz e fornece soluções para problemas relacionados à nomeação da equipe, falta de empatia, desequilíbrio entre foco de curto e longo prazo, confusão entre facilidade de uso e simplicidade, tratamento de engenheiros de produto como clientes e expansão excessiva de seu domínio. O artigo enfatiza que as equipes de plataforma devem se concentrar em resolver problemas em vez de soluções específicas, construir uma comunicação e colaboração sólidas com as equipes de produto, equilibrar metas de curto e longo prazo, buscar simplicidade em vez de apenas facilidade de uso e sempre priorizar o valor do usuário final.
Leia mais
Eddy Cue, da Apple, fez um alerta contundente, sugerindo que o iPhone pode enfrentar o mesmo destino do iPod em uma década devido à ascensão da inteligência artificial. Ele destacou a dificuldade para gigantes de tecnologia estabelecidos navegarem em mudanças tecnológicas importantes, citando a decisão da Apple de descontinuar o iPod como um exemplo de sacrifício até mesmo de um produto de grande sucesso. Cue apontou o declínio de empresas de tecnologia outrora dominantes, como HP, Sun Microsystems e Intel. Embora as tentativas atuais de substituir smartphones por dispositivos somente com IA tenham falhado, empresas como a Apple estão desenvolvendo alternativas como smartwatches, futuros AirPods e óculos inteligentes para explorar novas interações do usuário com IA.
Leia mais
HtmlSlice é uma gem Ruby que permite que classes Ruby gerem dinamicamente fragmentos HTML reutilizáveis. Ele aborda limitações de geradores HTML existentes, como problemas de escopo de instância do Markaby. HtmlSlice suporta uma ampla gama de tags HTML, incluindo tags vazias, e escapa com segurança o conteúdo HTML para evitar vulnerabilidades XSS. É leve e fácil de usar, adequado para gerar HTML de aplicativos inteiros ou apenas partes HTML. A integração com o Rails também é demonstrada.
Leia mais
A Anthropic desenvolveu o Clio, uma ferramenta de análise automatizada que fornece insights sobre o uso de modelos de linguagem amplos no mundo real, preservando a privacidade. O Clio analisa conversas, agrupando interações semelhantes em clusters de tópicos, de forma semelhante ao Google Trends, sem comprometer a privacidade do usuário. Isso permite que a Anthropic compreenda como os usuários empregam seu modelo Claude, identifique possíveis usos indevidos, como campanhas de spam coordenadas ou tentativas de revenda não autorizada, e melhore as medidas de segurança. O Clio ajuda a reduzir falsos positivos e negativos nos sistemas de segurança, oferecendo dados valiosos para melhorar a segurança e a governança da IA, mantendo a privacidade do usuário.
Leia mais
Uma startup de fintech enfrentou o desafio de gerenciar diversas fontes de dados e altos custos de infraestrutura. Sua plataforma inicial, baseada em Hevo e BigQuery, mostrou-se insustentável. Para superar isso, eles construíram uma nova plataforma de dados baseada em ELT, aproveitando o armazenamento econômico do S3 para dados brutos. Eles utilizaram Airflow, Debezium, Kafka e dbt para processamento e transformação de dados, Trino para consultas e Metabase para visualização. O resultado? Uma redução de 70% nos custos de infraestrutura. Este estudo de caso destaca como o design eficiente de plataformas de dados e as escolhas de tecnologia podem reduzir drasticamente as despesas e melhorar a eficiência.
Leia mais
Emilua é um tempo de execução de contêiner inovador, construído em C e com scripts em Lua, suportando diversas tecnologias de kernel, como namespaces do Linux e jails do FreeBSD. Ao contrário dos tempos de execução típicos baseados em CLI, o Emilua utiliza o poder de programação do Lua para flexibilidade e segurança incomparáveis, contornando os riscos do uso de scripts BASH, como problemas de sincronização e vulnerabilidades de segurança. A segurança é fundamental; o Emilua impede a chamada de binários a partir de imagens de contêineres e apaga com segurança buffers temporários. Além disso, o Emilua se estende a sandboxes Capsicum, demonstrando sua adaptabilidade. O Emilua oferece uma solução mais segura e flexível, especialmente para cenários complexos que exigem fases de configuração de contêiner personalizadas.
Leia mais
Este artigo explora as diferenças entre programação funcional (usando Haskell como exemplo) e programação imperativa ao resolver problemas complexos. A programação imperativa pode facilmente levar à inflação de código, como desenhar uma linha reta em um papel, enquanto a programação funcional é como dobrar o papel, "dobrando" inteligentemente o espaço do problema, reduzindo a dimensionalidade e, finalmente, alcançando o objetivo com código conciso. O artigo usa a experiência prática do autor para ilustrar como a programação funcional constrói pequenos módulos e os combina para criar ecossistemas ricos, e como usar recursos como monads para alcançar combinações de código elegantes, evitando finalmente a inflação de código e problemas de manutenção comuns da programação imperativa.
Leia mais
Sob a autoridade do Presidente Trump, Elon Musk implantou uma equipe clandestina, apelidada de "Departamento de Eficiência Governamental" (DOGE), para infiltrar agências federais. Essa equipe, composta por funcionários das empresas e aliados de Musk, juntamente com jovens funcionários recém-contratados, está tomando o controle de funcionários públicos de carreira e comandando sistemas de computadores. Suas ações já perturbaram vários programas federais que afetam milhões. A investigação da ProPublica revela as identidades e atividades de vários membros da DOGE, muitos tentando ocultar seus papéis. Embora a Casa Branca afirme que suas ações são legais, permanecem preocupações sobre transparência, responsabilização e a crescente influência de Musk no governo.
Leia mais