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

Solaar de código aberto: Um gerenciador de dispositivos Linux para dispositivos Logitech

2024-12-18

Solaar é um gerenciador de dispositivos Linux de código aberto para muitos teclados, mouses e outros dispositivos Logitech que se conectam sem fio a um receptor Unifying, Bolt, Lightspeed ou Nano, bem como muitos dispositivos Logitech que se conectam via cabo USB ou Bluetooth. Não é um driver de dispositivo; ele responde a mensagens especiais de dispositivos que, de outra forma, seriam ignorados pelo sistema de entrada do Linux. O Solaar suporta o emparelhamento/desemparelhamento de dispositivos com receptores, configuração de configurações de dispositivos, configuração de botões personalizados e execução de regras em resposta a mensagens especiais de dispositivos. As opções de instalação incluem pacotes pré-construídos e compilação de código-fonte.

Leia mais
(github.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 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

Implementando o Algoritmo SM-2 em Rust: Um Sistema de Repetição Espaçada Aprimorado

2024-12-27

O autor implementou o algoritmo SuperMemo SM-2, uma versão modificada usada no software de repetição espaçada Mochi, em Rust. Esse algoritmo ajusta dinamicamente os intervalos de revisão com base nas avaliações de desempenho do usuário para otimizar a eficiência de aprendizado. O artigo detalha a mecânica do algoritmo, incluindo o cálculo do fator de facilidade (EF), a determinação dos intervalos de revisão e como as avaliações do usuário afetam os parâmetros do algoritmo. O código Rust é fornecido com explicações das escolhas de design principais.

Leia mais
(borretti.me)
Desenvolvimento algoritmo SM-2

Harper, apoiada pela YC, procura Engenheiro de IA fundador para revolucionar o mercado de seguros de US$ 100 bilhões+

2024-12-27

A Harper, uma corretora de seguros comerciais nativa de IA apoiada pela Y Combinator, está procurando um Engenheiro de IA fundador. A empresa visa revolucionar o mercado de seguros de excesso e superávit (E&S) de mais de US$ 100 bilhões usando IA, automatizando processos que levam semanas em processos instantâneos. O candidato ideal possui vasta experiência com a pilha moderna de IA/ML, prospera em iterações rápidas e entende segurança e confiabilidade de IA. A Harper oferece compensação competitiva e participação significativa, visando engenheiros ansiosos para construir e possuir um produto revolucionário, não apenas maximizar o salário.

Leia mais
(www.ycombinator.com)
IA

Formiga de Collatz: Visualizando Sequências de Collatz com a Formiga de Langton

2024-12-23

A Formiga de Collatz visualiza sequências de Collatz usando as regras da Formiga de Langton. Com base na função de Collatz (números pares divididos por dois, números ímpares multiplicados por três e adicionados a um), a formiga gira 90 graus no sentido horário para números pares e no sentido anti-horário para números ímpares. O estado da célula inverte a cada movimento, repetindo até que n=1. O código e exemplos demonstram trajetórias consecutivas de 10^30 a 10^30+20.

Leia mais
(gbragafibra.github.io)
IA Conjectura de Collatz Formiga de Langton

Brincadeira de Natal do cofundador do WordPress causa indignação na comunidade

2024-12-27

Na véspera de Natal, Matt Mullenweg, cofundador do WordPress, gerou controvérsia no Reddit ao pedir sugestões sobre que "drama" ele deveria criar em 2025 para o WordPress. A publicação, sugerindo mudanças como alterar as convenções de nomenclatura de lançamentos ou design, foi recebida com forte reação negativa da comunidade. Muitos acharam a publicação desrespeitosa e pediram que ele se concentrasse em resolver problemas legais em andamento e restaurar a estabilidade da comunidade. Mullenweg respondeu que estava apenas tentando provocar a criatividade e deu dicas sobre os desenvolvimentos futuros do Gutenberg. A controvérsia destaca as preocupações dentro da comunidade WordPress sobre a liderança e a direção futura da plataforma.

Leia mais
(wptavern.com)
Desenvolvimento controvérsia da comunidade

Visualizando Concorrência: Um Guia para Entender o Espaço de Estado do Programa

2024-12-20

A programação concorrente é notoriamente complexa devido à dificuldade de enumerar todos os estados possíveis. Este artigo utiliza a visualização para explicar como entender a mecânica da execução de programas concorrentes. Começa introduzindo o conceito de estado do programa, que é uma combinação de valores de variáveis e localização de instruções, e depois demonstra o processo de transição de estados do programa e a geração do espaço de estado usando um exemplo simples de programa semelhante ao C. O artigo então introduz programas concorrentes e, usando dois programas concorrentes, P e Q, explica como representar o estado de um programa concorrente e a construção do espaço de estado. Finalmente, o artigo explora como usar a ferramenta de verificação de modelo SPIN e a linguagem LTL para verificar a correção de programas concorrentes, destacando o importante papel da verificação de modelo em garantir a correção de programas concorrentes.

Leia mais
(wyounas.github.io)
Desenvolvimento espaço de estado verificação de modelo

Falso advogado da Nintendo aterroriza YouTubers, expondo falhas nos direitos autorais do YouTube

2024-12-27

Um usuário se passando por advogado da Nintendo está aterrorizando YouTubers ao apresentar reivindicações falsas de direitos autorais, levando à remoção de vídeos e suspensões de contas. Usando e-mails e documentos forjados, o criminoso conseguiu contornar o sistema de verificação do YouTube, causando estresse significativo e perdas financeiras para os criadores. Este incidente destaca as vulnerabilidades no processo de reivindicação de direitos autorais do YouTube e a gravidade da fraude online, gerando preocupações sobre a supervisão da plataforma e a necessidade de salvaguardas aprimoradas.

Leia mais
(www.theverge.com)
Jogos Direitos autorais do YouTube reivindicações falsas assédio online fraude online proteção de direitos autorais

Zipshare: Compartilhamento de tela Android sem esforço para equipes de suporte

2024-12-18

O Zipshare oferece compartilhamento de tela Android sem complicações, ideal para equipes de suporte interno que atendem funcionários de varejo ou funcionários em campo. Não é necessário nenhum cadastro ou ID de reunião para a pessoa que compartilha sua tela, apenas compartilhamento instantâneo — adicione seu próprio bate-papo por voz ou vídeo. Uma produção da Miso Software.

Leia mais
(www.getzipshare.com)
Desenvolvimento compartilhamento de tela aplicativo Android suporte remoto

ELIZAGEN: Desvendando a História do Primeiro Chatbot, ELIZA

2024-12-26

O ELIZAGEN.org é um recurso online abrangente dedicado à preservação e exploração da história da ELIZA, o primeiro chatbot do mundo. O site contém várias implementações da ELIZA em diferentes linguagens de programação (incluindo as versões originais MAD-SLIP, Lisp e BASIC), juntamente com documentos históricos, código original, registros experimentais e artigos. O ELIZAGEN mostra a evolução da ELIZA em várias plataformas, desde computadores PDP-10 até navegadores da web modernos. Ele oferece um olhar fascinante sobre as origens, o desenvolvimento e o impacto da ELIZA, destacando sua influência duradoura na IA e na cultura da computação.

Leia mais
(sites.google.com)
IA história da IA

América em 2024: Um Ano de Raiva e Confusão

2024-12-29

O ano de 2024 nos Estados Unidos foi marcado por um forte contraste entre a raiva generalizada e a confusão da elite. O aumento da falta de moradia, especialmente entre famílias, alimentou o ressentimento público. Essa raiva se manifestou de várias maneiras, desde a schadenfreude em relação às vítimas do submergível Titan até o apoio a Trump e a indignação com o assassinato de um CEO da área de saúde. A elite, no entanto, lutou para entender essa raiva, recorrendo a medidas de segurança ineficazes, como uma linha direta de crise para CEOs, alienando ainda mais o público. A tentativa da senadora Warren de articular a raiz da raiva foi sufocada, destacando uma quebra de comunicação crítica.

Leia mais
(www.kenklippenstein.com)
Diversos sociedade americana desigualdade instabilidade política

Stripe lança silenciosamente a API V2: Melhorias REST e mudança de DX

2024-12-29

A Stripe lançou silenciosamente sua API V2 em outubro, com mudanças de corpos de solicitação codificados em formulário para JSON e introdução de paginação no estilo HATEOAS. A V2 visa melhorias de velocidade e carregamento de subobjetos controlado por meio de um parâmetro `include`. A verdadeira idempotência também é tentada para melhor lidar com solicitações com falha. No entanto, ainda são necessárias melhorias no uso de verbos REST e modelagem de recursos. O autor argumenta que uma ótima experiência de desenvolvedor (DX) agora depende mais de SDKs de alta qualidade do que de uma API REST perfeita.

Leia mais
(brandur.org)
Desenvolvimento

DeepSeek-V3: Modelo de linguagem de mistura de especialistas de 671 bilhões de parâmetros

2024-12-26

DeepSeek-V3 é um poderoso modelo de linguagem de Mistura de Especialistas (MoE) com 671 bilhões de parâmetros, ativando 37 bilhões de parâmetros por token. Utilizando Atenção Latente Multi-cabeça (MLA) e a arquitetura DeepSeekMoE, ele inova com uma estratégia de balanceamento de carga sem perda auxiliar e um objetivo de treinamento de previsão multi-token. Pré-treinado em 14,8 trilhões de tokens de alta qualidade, seguido de ajuste fino supervisionado e aprendizado por reforço, o DeepSeek-V3 supera outros modelos de código aberto e atinge desempenho comparável a modelos fechados líderes, com notável eficiência de treinamento - apenas 2,788 milhões de horas de GPU H800.

Leia mais
(github.com)
IA

Programador cria jogo pseudo-3D em Bash

2024-12-20

Um programador chamado izabera desenvolveu um impressionante jogo pseudo-3D usando a linguagem de script Bash. Este projeto, uma homenagem ao clássico jogo Wolfenstein 3D, é open-source no GitHub. O código é conciso, mas o resultado é surpreendente, mostrando o poder do Bash e a engenhosidade do programador. O repositório inclui o código-fonte do jogo e vídeos de demonstração. Desenvolvedores interessados em aprender mais podem conferi-lo no GitHub.

Leia mais
(github.com)
Desenvolvimento Desenvolvimento de Jogos

T2 SDE: Um ambiente de desenvolvimento de sistema de baixo código e compilação cruzada

2024-12-26

O T2 SDE é um gerenciador de pacotes ultraleve e de baixo código e uma distribuição Linux que permite a compilação cruzada totalmente automatizada e reprodutível de sistemas operacionais personalizados usando pacotes atualizados. Ele suporta quase todas as principais arquiteturas de CPU, bibliotecas C, sistemas GUI e ambientes de desktop, além de inúmeros pacotes de firmware embutidos e para fins especiais. A versão mais recente, T2 24.12, possui suporte expandido para arquiteturas, incluindo LibreOffice, OpenJDK, Qemu e até mesmo um novo ambiente de desktop baseado em Rust, Cosmic Desktop. O compromisso do T2 em suportar uma ampla gama de arquiteturas, incluindo as antigas e de nicho, como IA-64 Itanium, é complementado por melhorias contínuas, incluindo criptografia de disco completo e suporte LVM para uma experiência de usuário aprimorada.

Leia mais
(t2sde.org)
Desenvolvimento ambiente de desenvolvimento de sistema compilação cruzada

Aprendizado eficiente de alemão: Anki é a resposta?

2024-12-21

Um engenheiro que vive na Alemanha há quase oito anos confessa que ainda não aprendeu o idioma. Para remediar isso, ele está tentando o Anki, usando a repetição espaçada para aprender 10 novas palavras alemãs por dia - visando a proficiência de nível C1 em um ano. Ele escolheu um baralho Anki ordenado por frequência, adicionando pronúncias de áudio por conta própria. O autor convida os leitores a compartilhar suas experiências com o Anki e dicas de aprendizagem de alemão.

Leia mais
(www.argpar.se)
Desenvolvimento aprendizagem de alemão repetição espaçada

Construindo Produtos de IA: Um mergulho profundo na arquitetura de back-end

2024-12-27

Este artigo detalha a jornada de uma equipe de IA na construção de um assistente Chefe de Gabinete com tecnologia de IA para líderes de engenharia. Inicialmente usando pipelines de inferência simples, eles fizeram a transição para um sistema multiagente à medida que o aplicativo crescia. O autor explica os princípios de design de agentes, as diferenças em relação aos microsserviços e a implementação orientada a objetos. A gestão de memória, incluindo CQRS e rastreamento de eventos, e o tratamento de eventos de linguagem natural são discutidos. A escalabilidade para 10.000 usuários envolveu particionamento, programação assíncrona, otimização de chamadas de LLM e migração para Temporal.

Leia mais
(philcalcado.com)
IA Arquitetura de IA Sistemas de Agentes Desenvolvimento de back-end

É Possível Melhorar a Memória com a Idade?

2024-12-29

Um artigo do New Zealand Herald explora a possibilidade de melhorar a memória com o envelhecimento. Especialistas e indivíduos compartilham insights, revelando que a memória não é fixa. As estratégias discutidas incluem manter conexões sociais, exercícios regulares, gerenciamento de riscos cardiovasculares e engajamento em estimulação cognitiva. Técnicas de treinamento de memória, como o método do palácio da memória, também são destacadas. O artigo enfatiza o engajamento proativo do cérebro por meio do aprendizado de novas habilidades, leitura e muito mais para combater o declínio da memória relacionado à idade.

Leia mais
(www.nzherald.co.nz)
Diversos treinamento cognitivo

Crie sua própria Máquina Virtual: Um guia passo a passo

2024-12-26

Este tutorial o guia na criação de sua própria máquina virtual (VM) capaz de executar programas em linguagem assembly, como os jogos 2048 ou Roguelike. Mesmo que você já seja um programador, este projeto proporciona uma compreensão mais profunda da arquitetura de computadores e de como as linguagens de programação funcionam. O tutorial abrange conceitos básicos de VM, a arquitetura LC-3, conjuntos de instruções, rotinas de armadilha, carregamento de programas e muito mais, com exemplos de código detalhados e explicações. O código final tem aproximadamente 250 linhas em C, tornando-o acessível àqueles com conhecimento básico de C/C++.

Leia mais
(www.jmeiners.com)
Desenvolvimento máquina virtual

O plano de Trump e Musk para o horário de verão: uma batalha pela luz do dia

2024-12-21

O presidente eleito Trump e Elon Musk propõem eliminar o horário de verão, chamando-o de "inconveniente e caro". A análise de Nate Silver usa dados para refutar isso, mostrando que abolir o horário de verão reduziria significativamente as horas de luz do dia no verão, afetando negativamente as agendas e a saúde. O horário de verão durante todo o ano, por outro lado, causaria nasceres do sol muito atrasados no inverno. Silver argumenta que manter o status quo ou permitir que os estados optem pelo horário de verão durante todo o ano são opções mais sensatas.

Leia mais
(www.natesilver.net)
Diversos horário de verão

Programando a *Memoria Technica* de Lewis Carroll

2024-12-27

Este artigo explora a *Memoria Technica* de Lewis Carroll, uma cifra que ele criou para ajudar a memorizar números. A cifra mapeia consoantes para dígitos, ignorando vogais e pontuação. O artigo descreve a mecânica da cifra, apresenta ferramentas online para codificação e decodificação e discute seu uso potencial em esteganografia. Os autores detalham sua implementação em TypeScript, destacando otimizações para eficiência. Exemplos ilustram a codificação e decodificação, e o artigo analisa os pontos fortes e fracos da cifra como uma técnica esteganográfica, incluindo uma possível vulnerabilidade relacionada a discrepâncias de frequência de letras e dígitos.

Leia mais
(ztoz.blog)
Desenvolvimento Esteganografia

Um ELF Minimalista: Removendo a Complexidade até o Essencial

2024-12-26

Este artigo detalha a jornada do autor na simplificação de um programa básico do Linux, culminando em um arquivo ELF minimalista. Começando com um simples programa "Olá, Mundo", o autor remove progressivamente complexidades como bibliotecas padrão, recursos de segurança modernos, informações de depuração e mecanismos de tratamento de erros. O processo aprofunda a estrutura do arquivo ELF, tabelas de símbolos, seções e o papel dos scripts de linkador, usando linguagem assembly para manipular diretamente chamadas de sistema para a funcionalidade do programa. O autor conclui criando um script de linkador personalizado, carregando segmentos de código e dados em endereços de memória especificados, demonstrando a flexibilidade e detalhes de baixo nível da construção de arquivos ELF.

Leia mais
(4zm.org)
Desenvolvimento chamadas de sistema scripts de link programação de sistemas

Vespa Mandarinia Erradicada dos Estados Unidos

2024-12-23

Após três anos sem detecções confirmadas, o Departamento de Agricultura do Estado de Washington (WSDA) e o Departamento de Agricultura dos Estados Unidos (USDA) anunciaram a erradicação do Vespa mandarinia (Vespa mandarinia) de Washington e dos EUA. Esse sucesso foi resultado de um esforço colaborativo de vários anos envolvendo agências estaduais e federais, membros da comunidade e o público, que desempenharam um papel crucial na denúncia de avistamentos. Os vespões representavam uma ameaça significativa às abelhas, outros polinizadores e à agricultura, e sua erradicação protege o ecossistema e a indústria agrícola dos EUA. Apesar da erradicação, a vigilância continua para evitar a reintrodução.

Leia mais
(agr.wa.gov)
Diversos Vespa Mandarinia espécies invasoras erradicação

Desafios de atualização de bibliotecas Rust: Uma maneira inteligente de evitar conflitos de versão

2024-12-26

Atualizar bibliotecas no ecossistema Rust frequentemente causa efeitos em cascata e problemas significativos. Este artigo apresenta uma técnica chamada "semver trick", que resolve de forma inteligente o problema de atualizar APIs usadas com menos frequência sem alterar as APIs usadas comumente, fazendo com que uma biblioteca dependa de sua versão futura. Este método é particularmente útil para evitar a necessidade de atualizações coordenadas em larga escala em toda a cadeia de dependências devido a alterações drásticas em uma única biblioteca, simplificando bastante o processo de atualização.

Leia mais
(github.com)
Desenvolvimento atualização de versão atualizações de bibliotecas

KeyPub.sh: Serviço de Verificação de Chave SSH com Foco na Privacidade

2024-12-23

KeyPub.sh é um serviço público gratuito que não requer instalação ou configuração. Ele usa sua chave pública SSH existente como sua identidade, vinculando-a ao seu endereço de e-mail para autenticação simplificada. Os usuários registram e gerenciam suas chaves SSH por meio de um processo simples de verificação de e-mail, controlando a visibilidade de seu endereço de e-mail. Isso fornece uma alternativa leve e respeitosa à privacidade para aplicativos CLI, eliminando a necessidade de desenvolvedores criarem sistemas de verificação de usuários, enquanto capacita os usuários com controle sobre sua privacidade.

Leia mais
(keypub.sh)
Desenvolvimento chave SSH autenticação

IA atual: um beco sem saída?

2024-12-27

O Professor Eerke Boiten, da De Montfort University Leicester, argumenta que os sistemas de IA atuais baseados em grandes redes neurais, como o ChatGPT, são inadequados para aplicações críticas devido à sua complexidade inerente e imprevisibilidade. Esses sistemas carecem de gerenciabilidade, transparência e responsabilização; seu comportamento é emergente em vez de composicional, tornando a verificação e a correção de erros eficazes difíceis. Boiten sugere que a direção atual do desenvolvimento da IA pode ser um beco sem saída, defendendo redes neurais composicionais ou abordagens híbridas que combinam raciocínio simbólico para construir sistemas de IA mais confiáveis.

Leia mais
(www.bcs.org)
IA Engenharia de Software Segurança da IA redes neurais

Arcan OS: Uma Abordagem Revolucionária para o Design de Sistemas Operacionais

2024-12-27

Arcan é um sistema operacional sobreposto em rede, para um único usuário e voltado para o usuário, projetado para fornecer aos usuários autonomia completa sobre seus dispositivos de computação. Independente dos kernels Linux ou BSD, ele opera como um 'vadio' em vários ecossistemas. O Arcan utiliza uma interface de memória compartilhada (SHMIF) e o protocolo de rede A12 para comunicação interprocessos eficiente, empregando 'frameservers' para isolar tarefas sensíveis à segurança. Sua interface programável ALT, modelo de aplicativo Appl e interfaces de usuário diversas (Console, Durden, Safespaces) criam um sistema flexível e poderoso. O Arcan visa combater o travamento de rede e as ameaças de segurança impostas por grandes plataformas, melhorando a autonomia e a segurança do usuário.

Leia mais
(arcan-fe.com)
Desenvolvimento autonomia

Demonstração WebGPU Sponza: Uma Apresentação Impressionante de Gráficos no Navegador

2024-12-19

A demonstração WebGPU Sponza, criada por Georgi Nikolov, mostra as capacidades gráficas impressionantes da API WebGPU. Os usuários podem navegar pela cena usando teclado e mouse. No entanto, esta demonstração requer um navegador moderno com suporte a WebGPU. Atualmente, o Chrome 113+, as builds mais recentes do Firefox Nightly e o Safari Technology Preview oferecem suporte a WebGPU. Atualize seu navegador para a versão mais recente se quiser experimentar esta demonstração visualmente impressionante.

Leia mais
(gnikoloff.github.io)
Desenvolvimento renderização gráfica tecnologia de navegador

Desenvolvedores na Era da IA ​​de Raciocínio: Mestre ou Marionete?

2024-12-23

O lançamento do o3 da OpenAI gerou uma crise de identidade entre os desenvolvedores. A capacidade do o3 de gerar algoritmos como um desenvolvedor humano desafia a vantagem tradicional do desenvolvedor de lógica abstrata. O artigo explora como usuários, aprendizado de máquina e o3 criam lógica, concluindo que o o3 espelha o processo de pensamento de um desenvolvedor. O futuro apresenta aos desenvolvedores dois caminhos: revisar e refinar ativamente o código gerado por IA (proativo) ou delegar problemas de negócios diretamente a ferramentas de IA (passivo). O autor defende a abordagem proativa, enfatizando a necessidade de os desenvolvedores entenderem e assumirem a responsabilidade pela lógica gerada por IA, para que a razão humana não seja substituída pela IA.

Leia mais
(near.tl)
Desenvolvimento Desenvolvedores Modelo o3
1 2 … 30 31 32 34 36 37 38 … 61 62