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

Dois Professores Sean Carroll Discutem o Universo: Um Diálogo sobre Ciência e Fé

2024-12-24

A revista Nautilus reuniu dois cientistas, ambos chamados Sean Carroll — um biólogo evolutivo, o outro um físico — para uma conversa fascinante. A partir de suas respectivas áreas, eles abordaram questões profundas sobre a origem da vida, vida extraterrestre, a tensão entre ciência e religião, o destino da Terra e suas paixões infantis pela ciência. Sua discussão combinou raciocínio científico rigoroso com anedotas divertidas, terminando em uma nota de otimismo sobre os mistérios do universo e o futuro da humanidade.

Leia mais
(nautil.us)
Diversos Ciência Universo Origem da Vida

Desmistificando Debuggers: A Anatomia de um Programa em Execução

2024-12-24

Este artigo mergulha na mecânica de baixo nível de um programa em execução. Usando a analogia de um cartucho de videogame em um NES, ele explica como os sistemas operacionais modernos virtualizam a execução de programas. Conceitos-chave como espaços de endereço virtual, threads de execução, imagens executáveis, carregadores, módulos e processos são detalhados. O artigo explica como os espaços de endereço virtual, por meio de tabelas de páginas, mapeiam endereços virtuais para endereços físicos, permitindo que vários programas compartilhem a memória física sem interferência. Também abrange o agendamento de threads, formatos de imagens executáveis (PE e ELF), o papel do carregador e o carregamento/descarregamento dinâmico de módulos. Finalmente, resume o conceito de um processo, que integra threads, módulos e espaços de endereço virtual.

Leia mais
(www.rfleury.com)
Desenvolvimento execução de programa

Bioterrorismo: Retomando sua saúde em um sistema controlado

2024-12-29

Esta palestra questiona a criminalização da autogestão da saúde pelo sistema de saúde moderno. Historicamente, a autonomia da saúde pessoal era a norma; no entanto, hoje, requer mediação por instituições autorizadas pelo Estado. O palestrante aprofunda as possibilidades de autocomposição de medicamentos e navegação de riscos legais. A apresentação incentiva a automedicação, oferecendo informações sobre numerosos medicamentos não comercializados, mas autofabricados, desafiando assim o monopólio do sistema tradicional de saúde.

Leia mais
(media.ccc.de)
Diversos bioterrorismo automedicação autonomia da saúde

Governo dos EUA exige compartilhamento de código-fonte para economizar bilhões

2024-12-27

O presidente Biden sancionou a lei SHARE IT Act, exigindo que agências federais dos EUA compartilhem código-fonte personalizado para reduzir custos com desenvolvimento de software redundante. A lei visa economizar aproximadamente US$ 12 bilhões anualmente, listando publicamente e compartilhando código personalizado, evitando que as agências paguem inadvertidamente por trabalhos duplicados. A lei exclui código classificado, sistemas de segurança nacional e código que apresente riscos de privacidade se compartilhado. A iniciativa recebeu apoio de empresas de software como Atlassian e GitLab, que acreditam que o compartilhamento de código promove eficiência e inovação.

Leia mais
(fedscoop.com)
Tecnologia compartilhamento de código software governamental economia de custos

Chronotrains Lança Mapa Interativo de Trem na Europa

2024-12-28

O Chronotrains lançou um mapa interativo para planejar viagens de trem pela Europa. O mapa visualiza a área alcançável em menos de 8 horas a partir de qualquer estação ferroviária europeia. Os usuários podem passar o mouse para ver as isócronas, pesquisar estações ou clicar em exemplos de cidades. Com dados da Deutsche Bahn, o mapa também facilita o planejamento de viagens com várias cidades e links diretamente para os principais fornecedores de bilhetes de trem, oferecendo uma maneira conveniente, confortável e sustentável de explorar a Europa de trem.

Leia mais
(www.chronotrains.com)
Tecnologia trens europeus mapa de viagens planejamento de viagens

10 Ferramentas Essenciais do Django para Melhorar o Desempenho, a Segurança e a Produtividade

2024-12-29

Este artigo explora dez ferramentas indispensáveis para o seu próximo projeto Django, cobrindo gerenciamento de dependências, perfil de desempenho e muito mais para aumentar a eficiência do desenvolvimento, segurança e desempenho. De Poetry para gerenciamento de dependências a Silk para perfil de desempenho, cada ferramenta — incluindo Django Extensions, Django REST Framework, djangorestframework-camel-case, Django Storages, django-simple-history, django-otp, Celery e Gunicorn com Uvicorn Workers — é explicada com comparações a alternativas como Pipenv, FastAPI e django-reversion. Essas ferramentas ajudam a construir aplicativos Django mais rápidos, mais seguros e eficientes.

Leia mais
(thinkingbytes.co.uk)
Desenvolvimento Ferramentas

38C3: Instruções ilegais – Congresso de Comunicação Caótica explora tecnologia e sociedade

2024-12-29

O 38º Congresso de Comunicação Caótica (38C3), com o tema "Instruções ilegais", acontecerá em Hamburgo de 27 a 30 de dezembro de 2024. Organizado pelo Chaos Computer Club (CCC), este evento de quatro dias apresentará palestras e workshops sobre tecnologia, sociedade e utopia. Os tópicos incluem hacking de hardware, segurança, discussões éticas e políticas sobre os avanços tecnológicos. De liberar o Wi-Fi em ESP32 a quebrar o novo recurso de controle remoto do iPhone da Apple e examinar os sistemas de identidade digital da UE, o 38C3 promete uma programação diversificada que gerará debates sobre ética tecnológica e responsabilidade social.

Leia mais
(media.ccc.de)
Tecnologia Sociedade

Fazendo o Apple Watch funcionar com Android: Uma jornada de código aberto

2024-12-18

O autor descreve sua jornada para conectar um Apple Watch a um telefone Android, contornando o ecossistema fechado da Apple. Isso envolveu o uso de aplicativos de código aberto, protocolos interoperáveis e serviços de terceiros, exigindo até mesmo um iPhone secundário em casa para a configuração inicial. O autor superou desafios com notificações, sincronização de calendário e integração de contatos, compartilhando seu código no GitHub. Este projeto destaca o poder do código aberto e o compromisso do autor com a liberdade tecnológica, oferecendo um contraponto convincente aos ecossistemas fechados das grandes empresas de tecnologia.

Leia mais
(abishekmuthian.com)
Tecnologia

Algo está errado na Internet: Gigantes de tecnologia, serviços de streaming e a erosão da experiência do usuário

2024-12-22

Uma postagem de blog examina o estado atual da internet, argumentando que as empresas de tecnologia priorizam as demandas dos investidores em detrimento da experiência do usuário, manipulando o comportamento do usuário por meio de designs de aplicativos frustrantes, resultados de pesquisa deliberadamente degradados e rastreamento de anúncios generalizado. Simultaneamente, o modelo de streaming da Netflix é criticado por destruir a indústria cinematográfica, seu descaso com a qualidade e a manipulação dos dados de visualização levando a uma enxurrada de conteúdo de baixa qualidade e números de visualizações inflacionados. A postagem conclui destacando a insatisfação generalizada do usuário com o custo crescente e a qualidade decrescente dos serviços online, sugerindo que smartphones e mídias sociais em suas formas atuais são fundamentalmente falhos e requerem melhorias significativas.

Leia mais
(www.lawyersgunsmoneyblog.com)
Tecnologia serviços de streaming

FindMy.py: Biblioteca Python completa para consultar a rede FindMy da Apple

2024-12-21

FindMy.py é uma biblioteca Python que fornece tudo o que você precisa para consultar a rede FindMy da Apple. Ela unifica o ecossistema fragmentado do Find My, oferecendo uma solução multiplataforma que suporta vários dispositivos (AirTags, iDevices, etc.) e métodos de autenticação (incluindo SMS e Trusted Device 2FA). Possui APIs assíncronas e síncronas. Atualmente em fase Alpha, a API pode mudar, mas a funcionalidade principal é estável.

Leia mais
(github.com)
Desenvolvimento

Alibaba lança QvQ: novo modelo de raciocínio visual

2024-12-25

A Alibaba lançou recentemente o QvQ-72B-Preview, um novo modelo de raciocínio visual sob a licença Apache 2.0. Projetado para aprimorar as capacidades de raciocínio visual da IA, o QvQ se baseia no modelo de dimensionamento de inferência QwQ, adicionando processamento de visão. Ele aceita imagens e prompts, gerando processos de raciocínio detalhados e passo a passo. O blogueiro Simon Willison testou o QvQ, descobrindo que ele tem sucesso em tarefas como contar pelicanos, mas é menos preciso em problemas de raciocínio complexos. Atualmente disponível no Hugging Face Spaces, os planos futuros incluem implantação local e suporte a plataformas mais amplas.

Leia mais
(simonwillison.net)
IA raciocínio visual modelo de IA

Contornando a Criptografia BitLocker no Windows 11 por meio de Dump de Memória

2024-12-30

Este artigo demonstra como contornar a criptografia BitLocker no Windows 11 extraindo a Chave de Criptografia de Volume Completo (FVEK) da memória. Com acesso físico ao dispositivo e reinicializando-o abruptamente, um atacante pode capturar o conteúdo da RAM, que pode conter a FVEK. O autor utiliza um aplicativo UEFI, Memory-Dump-UEFI, para alcançar isso. O processo envolve criar um USB inicializável, reiniciar o sistema à força, inicializar a partir do USB, analisar o dump de memória e usar tags de pool para localizar a FVEK. O artigo detalha essas etapas e enfatiza o uso de ferramentas como dislocker para desbloquear a partição protegida por BitLocker. O método não é infalível e depende de vários fatores, como a velocidade do dump de memória e o tempo de reinicialização.

Leia mais
(noinitrd.github.io)
Tecnologia Dump de Memória Segurança do Windows

EQTY Lab, Intel e NVIDIA revelam estrutura de Computação Verificável para IA

2024-12-18

A EQTY Lab, em colaboração com a Intel e a NVIDIA, anunciou o lançamento da estrutura de Computação Verificável para IA, uma solução baseada em hardware para governança e auditoria de fluxos de trabalho de IA. Esta estrutura fornece certificados de autenticidade e conformidade em tempo real para treinamento, inferência e benchmarks de IA, garantindo explicabilidade, responsabilidade e segurança. Aproveitando o hardware de última geração da Intel e da NVIDIA, a Computação Verificável aborda os riscos crescentes nas cadeias de suprimentos de IA, como envenenamento de IA e violações de dados. Integra-se com ferramentas como ServiceNow, Databricks e Palantir, permitindo inovação responsável em IA e conformidade com regulamentos como o Ato de IA da UE. A solução já está implantada em vários setores, incluindo ciências da vida, setor público, finanças e mídia.

Leia mais
(www.eqtylab.io)
IA Computação Verificável Segurança de Hardware

Então você quer escrever Java no Neovim?

2024-12-28

Esta postagem detalha como desenvolver código Java de forma eficiente no editor Neovim. O autor compartilha sua experiência positiva usando o Neovim para Java no trabalho, recomendando o JDTLS como servidor LSP e nvim-java ou nvim-jdtls como plugins Neovim. O artigo explica detalhadamente a configuração do JDTLS, incluindo configurações de depuração e teste, e fornece um exemplo de configuração pessoal com funcionalidades de codelens e depurador. Mesmo que você não seja um devoto do Neovim, ainda pode aprender técnicas valiosas de desenvolvimento Java.

Leia mais
(ptrtojoel.dev)
Desenvolvimento Desenvolvimento Java

Modelagem Matemática Revela o Quão Ruim é o Jogo de Dreidel

2024-12-18

No ano passado, o autor usou a linguagem de modelagem probabilística PRISM para modelar o jogo tradicional de férias Dreidel, provando sua falta de diversão. Este ano, ele refinou o modelo para simular todo o jogo até sua conclusão. O novo modelo corrige a falha anterior de simular apenas a eliminação do primeiro jogador e melhora a lógica de cálculo para apostas e eliminação de jogadores. Por meio de simulação de modelo, o autor descobriu que, em média, um jogo de quatro jogadores leva 760 rodadas para terminar, e o mais longo pode até exceder 6 horas. Isso prova completamente que o jogo Dreidel é longo, tedioso e frustrante.

Leia mais
(buttondown.com)
Jogos modelagem probabilística análise de jogos

A Velocidade do Pensamento Humano: Apenas 10 Bits por Segundo

2024-12-18

Pesquisadores do Caltech descobriram que os processos de pensamento humano são surpreendentemente lentos, operando a apenas 10 bits por segundo – significativamente mais lento do que a taxa de entrada de um bilhão de bits por segundo de nossos sistemas sensoriais. Este estudo apresenta um paradoxo: por que nosso pensamento é tão lento? Os pesquisadores especulam que isso pode derivar da evolução de nossos cérebros a partir de sistemas de navegação simples, processando informações sequencialmente em vez de em paralelo. Essa descoberta desafia alguns conceitos de ficção científica sobre interfaces cérebro-computador, sugerindo que mesmo interfaces neurais seriam limitadas por nossa velocidade de processamento inerente de 10 bits por segundo.

Leia mais
(www.caltech.edu)
IA pensamento humano processamento de informação

Um Flaw de Design e um Bule Oculto no Protetor de Tela 3D Pipes do Windows

2024-12-28

O adorado protetor de tela 3D Pipes do Windows, conhecido por suas animações de canos hipnotizantes, esconde um segredo pouco conhecido: um bule que aparece raramente. Este bule é uma homenagem ao bule de Utah, um objeto de referência padrão em computação gráfica, mas sua taxa de aparecimento incrivelmente baixa levou a reclamações de usuários sobre baixa produtividade. O artigo também revela que, em versões mais antigas do Windows, o protetor de tela causava alto uso da CPU em servidores devido à renderização de software, recomendando um protetor de tela de tela preta para servidores.

Leia mais
(devblogs.microsoft.com)
Diversos Protetor de Tela Flaw de Design

Jujutsu: Um Sistema de Controle de Versão Revolucionário

2024-12-22

Jujutsu é um novo sistema de controle de versão baseado no Git, oferecendo uma abordagem simplificada para interação de arquivos locais por meio de um modelo conceitual único e um conjunto de comandos diferente. Ao contrário do Git, o Jujutsu sempre trata o estado da cópia de trabalho como um commit, refletindo instantaneamente qualquer edição no disco no commit atual. Isso simplifica muitas operações, incluindo a correção de erros em commits antigos, visualização de diferenças e gerenciamento de trabalhos em andamento. O fluxo de trabalho é intuitivo, acessível mesmo sem experiência prévia com Git, e integra-se perfeitamente ao ecossistema Git. Embora alguns recursos, como a integração perfeita com o VSCode, ainda estejam faltando, o Jujutsu demonstra um imenso potencial com seu design inovador e experiência amigável para o usuário.

Leia mais
(neugierig.org)
Desenvolvimento

Lição de um Programador: Sempre Inclua uma Proposta com a Reclamação

2024-12-27

Em 1988, na Apple, um jovem e confiante engenheiro, Kent Beck, foi chamado ao escritório de Jean-Louis Gassée após enviar um e-mail reclamando de uma decisão da empresa. Em vez de raiva, Gassée desafiou Beck a considerar sua perspectiva e reescrever o e-mail como uma proposta de solução. Essa experiência ensinou a Beck três lições valiosas: a maioria dos problemas não é tão grande quanto parece; sempre inclua uma solução com uma reclamação; e a comunicação eficaz requer empatia. Essa anedota destaca habilidades cruciais de comunicação no local de trabalho e a importância de entender diferentes pontos de vista.

Leia mais
(tidyfirst.substack.com)
Desenvolvimento comunicação no trabalho proposta empatia

Cinemas ao ar livre da Austrália: Um charme centenário que a Netflix não consegue superar

2024-12-29

A Austrália possui uma história notável de cinemas ao ar livre, começando com o Sun Pictures em Broome em 1916. Essa história reflete a cultura australiana em mudança e mudanças sociais, incluindo a segregação racial passada. Os cinemas ao ar livre, de jardins tradicionais a drive-ins, permanecem centros comunitários vitais e experiências culturais únicas. Apesar do aumento de serviços de streaming como a Netflix, eles continuam a prosperar, oferecendo uma experiência cinematográfica distinta que atrai australianos para compartilhar histórias na tela grande.

Leia mais
(theconversation.com)
Diversos Cinemas ao ar livre Cultura australiana História do cinema

Kando: Ferramenta de Eficiência que Redefine a Produtividade

2024-12-27

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

Abordagem controversa do Debian para o tratamento de dependências do Rust

2024-12-26

A integração do Rust no Debian tem sido um esforço de longa data, mas sua abordagem para o tratamento de dependências se tornou um ponto de discórdia. O autor Ian Jackson argumenta que seguir fielmente o Semantic Versioning (semver) do Rust nas dependências de pacotes Debian é impraticável. Existem diferenças fundamentais entre a semântica de gerenciamento de dependências do Debian e do Rust, levando a um trabalho manual significativo ao traduzir diretamente as dependências de versão do Rust. Jackson propõe uma solução radical: o Debian não deve seguir precisamente as informações de dependência semver do Rust, mas sim tentar otimistamente várias combinações de pacotes, permitindo que o QA automatizado detecte e corrija falhas. Essa abordagem, embora viole o semver, é mitigada pela ênfase da comunidade Rust na segurança da API e nos avisos de alterações, juntamente com os mecanismos de QA do Debian. A proposta visa melhorar a eficiência da atualização dos pacotes Rust do Debian, mas também pode levar à falha de algumas combinações de dependências.

Leia mais
(diziet.dreamwidth.org)
Desenvolvimento Gerenciamento de Dependências

Projeto Open Source GitHub Thruster: Simplificando a implantação de aplicativos Rails com um proxy HTTP/2

2024-12-26

Thruster é um proxy HTTP/2 projetado para simplificar implantações de produção de aplicativos Rails. Ele funciona junto com o servidor web Puma, fornecendo recursos como suporte HTTP/2, gerenciamento automático de certificados TLS com Let's Encrypt, cache HTTP básico e suporte X-Sendfile com compressão. Ele visa a configuração zero; basta definir a variável de ambiente TLS_DOMAIN para habilitar TLS, caso contrário, ele será executado apenas em modo HTTP. O Thruster também encapsula o processo Puma, tornando-o ideal para ambientes em contêiner. Criado originalmente para o projeto ONCE, agora é usado para implantações mais simples de outros aplicativos Rails.

Leia mais
(github.com)
Desenvolvimento Implantação

O Enigma de Júlio e a Ascensão da IA

2024-12-23

O autor conta a história de Júlio, um colega de faculdade que, apesar da falta de habilidades técnicas reais, subiu na hierarquia de várias empresas devido ao carisma e à autoconfiança. Seu sucesso é refletido na experiência atual do autor com ferramentas de IA aparentemente produtivas que exigem extensas correções manuais. A narrativa explora os paralelos entre a trajetória de carreira de Júlio e as complexidades do impacto da IA no local de trabalho.

Leia mais
(ploum.net)
Diversos trabalho

4 GPUs 4090: Treinando seus próprios LLMs localmente

2024-12-28

Um entusiasta de IA construiu um equipamento local para treinar modelos de linguagem amplos (LLMs) usando quatro GPUs NVIDIA 4090, custando cerca de US$ 12.000. Essa configuração pode treinar modelos de até 1 bilhão de parâmetros, embora tenha um desempenho ideal com cerca de 500 milhões. O artigo detalha a seleção de hardware (placa-mãe, CPU, RAM, GPUs, armazenamento, PSU, gabinete, resfriamento), o processo de montagem, a configuração de software (SO, drivers, frameworks, kernel personalizado), o treinamento do modelo, otimização e manutenção. As dicas incluem o uso do patch de kernel de George Hotz para comunicação P2P em GPUs 4xxx. Embora destaque os benefícios do treinamento local, o autor reconhece a relação custo-benefício das soluções em nuvem para algumas tarefas.

Leia mais
(sabareesh.com)
IA Modelos de Linguagem Amplos Treinamento de GPU IA Local

Calculadora Simples em Tempo Real usando Tree-sitter e Cranelift JIT

2024-12-27

Este projeto GitHub demonstra uma calculadora simples em tempo real construída com Tree-sitter e Cranelift JIT. O código principal é altamente integrado para facilitar a compreensão. O projeto inclui a gramática, uma interface REPL, testes de estresse e benchmarks. Modificar a gramática atualiza automaticamente o binário principal. A realce de sintaxe é usada como um exemplo das capacidades do Tree-sitter.

Leia mais
(github.com)
Desenvolvimento Calculadora em Tempo Real

Retrocomputação: Substituindo a bateria CMOS de um 386/486

2024-12-23

Placas-mãe antigas de 386/486 costumam ter baterias de NiCd ou NiMH que vazam e danificam a placa. Este guia detalha uma alternativa simples: usar três pilhas AA e um suporte para pilhas. O autor compara o uso de uma célula CR2032 e uma célula de lítio Tadrian 3.6V, optando finalmente por três pilhas AA devido à facilidade de uso, à ausência de modificação na placa-mãe e à possibilidade de usar pilhas recarregáveis. Outros métodos de substituição são mencionados, incluindo o uso de um suporte para CR2032 e um diodo Schottky, e a utilização de um conector de bateria externo na placa-mãe, se presente.

Leia mais
(rubenerd.com)
Hardware substituição de bateria

Relatório PlasticList: impulsionando a economia circular

2024-12-27

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
1 2 … 28 29 30 32 34 35 36 … 61 62