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

Parinfer: Uma maneira mais simples de editar Lisp

2025-01-20

Parinfer é um modo de editor inovador para linguagens de programação Lisp que simplifica a codificação Lisp vinculando inteligentemente parênteses e recuo. Ele aborda o notório problema de parênteses em Lisp, oferecendo uma experiência de edição mais intuitiva para iniciantes e especialistas. O Parinfer possui dois modos: Modo de Recuo e Modo de Parênteses, permitindo que os usuários se concentrem em recuo ou parênteses, enquanto o Parinfer gerencia automaticamente o outro. Ele também fornece funcionalidade semelhante ao Paredit sem exigir atalhos complexos. No seu cerne, o Parinfer se baseia em uma definição formal da relação entre parênteses e recuo e emprega um mecanismo de ajuste automático inteligente baseado nessa definição.

Leia mais
(shaunlebron.github.io)
Desenvolvimento Código

Genesis: Um motor de física universal revolucionário

2024-12-19

Genesis é uma plataforma de física de uso geral projetada para aplicações de robótica/IA incorporada/IA física. É uma ferramenta multifacetada: um motor de física universal construído do zero, simulando diversos materiais e fenômenos; uma plataforma de simulação de robótica leve, ultrarrápida, Pythonic e amigável ao usuário; um sistema de renderização fotorrealista poderoso e rápido; e um motor de dados generativo que transforma descrições de linguagem natural em várias modalidades de dados. Genesis visa reduzir a barreira de entrada para simulações de física, tornando a pesquisa em robótica acessível; unificar os solucionadores de física de última geração; e minimizar o esforço humano na coleta e geração de dados. O motor de física subjacente e a plataforma de simulação são de código aberto, com o framework generativo a ser lançado em breve.

Leia mais
(genesis-world.readthedocs.io)
IA motor de física simulação robótica IA generativa

Atualização do Castle Game Engine: Alvo Web, Suporte IFC e Colaboração mORMot

2024-12-18
Atualização do Castle Game Engine: Alvo Web, Suporte IFC e Colaboração mORMot

A equipe do Castle Game Engine anunciou atualizações, incluindo um alvo web (usando JS+WebAssembly para execução de jogos no navegador), suporte para o formato IFC (Industry Foundation Classes) e edição colaborativa usando o mORMot2. O alvo web atualmente lida com funções básicas e está melhorando o suporte WebGL. O suporte IFC permite carregar, modificar e salvar modelos, com melhorias futuras planejadas. A edição colaborativa ainda está em desenvolvimento, mas já permite a modificação do mundo 3D e a sincronização do servidor.

Leia mais
(castle-engine.io)
Desenvolvimento motor de jogo modelagem 3D

Linguagens de Programação: Equilibrando Segurança e Poder

2024-12-15

Este artigo explora a troca entre segurança e poder em linguagens de programação. A visão tradicional é que linguagens poderosas, como C com seu gerenciamento manual de memória, são inerentemente inseguras. No entanto, o autor argumenta que isso está desatualizado. Pesquisas modernas em linguagens de programação mostram que maior expressividade permite segurança e poder. A evolução de macros em Lisp, Scheme e Racket exemplifica isso, demonstrando como um design melhorado pode melhorar as capacidades de macro mantendo a segurança. O sistema de macros do Racket é apresentado como uma melhor prática, combinando código higiênico com capacidades de manipulação poderosas. O artigo conclui que sistemas seguros e confiáveis constroem softwares mais poderosos e confiáveis, e recomenda recursos para mais aprendizado sobre macros do Racket.

Leia mais
(lambdaland.org)
Desenvolvimento linguagens de programação segurança

USDA fortalece medidas de segurança alimentar após surtos mortais de Listeria

2024-12-18
USDA fortalece medidas de segurança alimentar após surtos mortais de Listeria

Após dois surtos mortais de Listeria monocytogenes ligados a carnes frias Boar's Head e produtos de carne e aves prontas para consumo da Yu Shang, resultando em dezenas de doenças e várias mortes, o Serviço de Inspeção e Segurança Alimentar (FSIS) do USDA finalmente agiu. Apesar de ter conhecimento prévio de deficiências na instalação da Boar's Head, o FSIS não interveio até após o surto. A agência anunciou medidas mais rigorosas, incluindo testes expandidos, treinamento aprimorado de inspetores e supervisão aprimorada das instalações, para prevenir incidentes futuros. Isso destaca as vulnerabilidades na regulamentação de segurança alimentar e a necessidade crítica de intervenção imediata e eficaz.

Leia mais
(efoodalert.com)
Tecnologia segurança alimentar surto

Txtlog: Um serviço de log de código aberto fácil de usar

2025-01-11

Txtlog.net é um serviço de log de texto simples e fácil de usar que não requer uma conta para começar. Ele suporta vários formatos de log (JSON válido, JSON inválido ou texto bruto), oferecendo tolerância a falhas e um painel limpo. O Txtlog realiza automaticamente verificações de Geo IP e fornece uma fila segura e de alto desempenho baseada em Redis Streams. Todo o código é de código aberto sob a licença MIT permissiva. Para maior segurança, os usuários podem opcionalmente definir um nome de usuário e senha e remover o link de visualização pública.

Leia mais
(txtlog.net)
Desenvolvimento log de código aberto serviço de log logs de texto

Hackeando a Física com um Guardanapo

2024-12-14

Este artigo explora abordagens não convencionais para resolver problemas de física usando estimativas simples e análise dimensional. O autor demonstra o poder desses métodos calculando a velocidade de gotas de chuva caindo, o comprimento do genoma de E. coli e a massa de um próton, entre outros exemplos. O artigo sugere que essa abordagem baseada em guardanapo pode melhorar significativamente a educação e o aprendizado de física. Técnicas adicionais, como estimativa de Fermi e caminhadas aleatórias, são introduzidas e aplicadas a problemas como estimar o comprimento do genoma de E. coli e determinar a velocidade ideal para caminhar ou correr na chuva, mostrando sua praticidade.

Leia mais
(hapax.github.io)
Diversos análise dimensional estimativa de Fermi

Vulnerability-Lookup: Plataforma Colaborativa de Gerenciamento de Vulnerabilidades

2025-02-06
Vulnerability-Lookup: Plataforma Colaborativa de Gerenciamento de Vulnerabilidades

O Vulnerability-Lookup é uma poderosa plataforma de código aberto para correlacionar rapidamente vulnerabilidades de várias fontes, simplificando o processo de divulgação coordenada de vulnerabilidades (CVD). Ele suporta a importação de diversas fontes, incluindo NIST NVD e CISA, e permite que os usuários adicionem observações de vulnerabilidades, comentários e criem pacotes. Sua API e biblioteca Python facilitam a integração com outras ferramentas, permitindo que os desenvolvedores criem facilmente suas próprias ferramentas de observação. O Vulnerability-Lookup é licenciado sob a GNU Affero GPL v3.0 e é desenvolvido pelo CIRCL, Alexandre Dulaunoy, Raphaël Vinot e Cédric Bonhomme.

Leia mais
(github.com)
Desenvolvimento gerenciamento de vulnerabilidades

Revivendo o Retro: Conectando um Tandy Coco à Internet com o FujiNet

2024-12-20
Revivendo o Retro: Conectando um Tandy Coco à Internet com o FujiNet

Este artigo detalha a jornada do autor ao conectar um antigo computador Tandy Coco à internet usando o projeto FujiNet, uma iniciativa ambiciosa de código aberto que visa ser o único periférico necessário para computadores antigos. O autor enfrentou desafios durante o processo de montagem, incluindo dificuldades de soldagem, bugs de hardware e problemas de compatibilidade de software. Apesar desses obstáculos, ele conseguiu se conectar à internet e executar vários aplicativos, incluindo um rastreador da ISS e jogos. A experiência destaca o dinamismo da comunidade de código aberto e o potencial da retrocomputação, mostrando a diversão do reparo de hardware e do desenvolvimento de software.

Leia mais
(www.leadedsolder.com)
Tecnologia conectividade à internet

Alteração incompatível com GRUB2 causa loop de inicialização da configuração da BIOS

2024-12-16
Alteração incompatível com GRUB2 causa loop de inicialização da configuração da BIOS

Os sistemas Debian e Kali Linux do autor experimentaram loops de inicialização após uma atualização do GRUB2 que adicionou o comando `fwsetup --is-supported`. Versões mais antigas do GRUB não reconheceram este parâmetro. O problema surgiu de um módulo `efifwsetup.mod` mais antigo, restante de uma restauração de backup do sistema, causando um conflito entre a nova configuração do GRUB e o módulo antigo. A instalação do pacote `grub-efi-amd64-bin` resolveu o problema. Isso destaca a importância da compatibilidade com versões anteriores em atualizações de software e a necessidade de considerar os possíveis efeitos colaterais ao fazer alterações parciais em softwares complexos como o GRUB2.

Leia mais
(op-co.de)
Desenvolvimento loop de inicialização

Pare de tentar agendar uma chamada comigo!

2025-01-12
Pare de tentar agendar uma chamada comigo!

O autor desabafa sobre o processo de vendas de SaaS: desde e-mails iniciais de teste até chamadas de demonstração intermináveis e negociações de contratos, é um processo ineficiente e que desperdiça tempo. Representantes de vendas se concentram apenas em fechar negócios, engenheiros estão sobrecarregados e a experiência do usuário sofre. O autor pede às empresas de SaaS que melhorem suas táticas de vendas, minimizem a comunicação desnecessária e melhorem a experiência do usuário.

Leia mais
(matduggan.com)
Desenvolvimento Vendas Experiência do Usuário

Benchmark de LLM: Pelicano em uma Bicicleta

2024-12-16

Simon Willison criou um benchmark único de LLM: gerar uma imagem SVG de um pelicano andando de bicicleta. Esse prompt incomum tinha como objetivo testar as habilidades criativas dos modelos sem depender de dados de treinamento pré-existentes. Ele testou 16 modelos de OpenAI, Anthropic, Google Gemini e Meta (Llama no Cerebras), revelando variações significativas na qualidade dos SVGs gerados. Alguns modelos produziram resultados surpreendentemente bons, enquanto outros tiveram dificuldades.

Leia mais
(simonwillison.net)
IA Geração de Imagens

Hoarder: Um gerenciador de favoritos auto-hospedável com IA

2024-12-24
Hoarder: Um gerenciador de favoritos auto-hospedável com IA

Hoarder é um aplicativo de gerenciamento de favoritos auto-hospedável que vai além do simples armazenamento de links. Permite armazenar links, notas e imagens, e usa IA para marcação automática e pesquisa de texto completo, com suporte a modelos locais como ollama. Recursos incluem OCR, extensões Chrome/Firefox, aplicativos iOS/Android, suporte a feeds RSS, uma API REST e arquivamento de páginas completas para combater a quebra de links. Projetado para usuários que precisam de uma maneira melhor de gerenciar e recuperar informações em várias plataformas, o Hoarder está em desenvolvimento ativo, mas uma demonstração está disponível.

Leia mais
(github.com)
Desenvolvimento Gerenciador de Favoritos Auto-Hospedável

EmacsConf 2024: Uma Conferência Online Suave e Eficiente

2024-12-28

A EmacsConf 2024 foi concluída com sucesso! Este artigo, escrito por Sacha Chua, reflete sobre a preparação, execução e lições aprendidas da conferência. Da chamada para propostas à apresentação final, os organizadores usaram habilmente ferramentas de automação (Org mode, emacsconf-mail.el, Ansible etc.) para aumentar a eficiência e utilizaram tecnologias como BigBlueButton e WhisperX para uma experiência tranquila. Embora tenham surgido desafios técnicos (configuração do servidor BBB, sincronização de áudio), eles foram resolvidos de forma eficaz. Sacha compartilha insights sobre gerenciamento de tempo, coordenação de voluntários e melhorias futuras, mostrando dedicação à comunidade de código aberto.

Leia mais
(sachachua.com)
Desenvolvimento conferência online

De Next.js para React puro: Aumento de velocidade do ComfyDeploy

2025-01-01

A equipe do ComfyDeploy migrou seu painel do Next.js para React puro, reduzindo o tempo de compilação de 3 minutos para 18 segundos e o tempo de recarga instantânea para menos de 200 ms. Isso foi motivado por problemas com os tempos de compilação lentos do Next.js, testes de API difíceis e altos custos de API do Vercel à medida que seu projeto crescia. A mudança para React com TanStack Router e Rspack melhorou drasticamente a eficiência do desenvolvimento e os forçou a otimizar o design da API e a estrutura do código. Embora tenham perdido alguns recursos do Next.js, eles consideraram as compensações válidas, resultando em compilações mais rápidas, uma experiência de desenvolvimento mais agradável e uma arquitetura mais otimizada.

Leia mais
(www.comfydeploy.com)
Desenvolvimento

Panel Graphic Walker: Exploração interativa de dados com HoloViz Panel

2024-12-30
Panel Graphic Walker: Exploração interativa de dados com HoloViz Panel

O Panel Graphic Walker é uma biblioteca Python que integra o poder do Graphic Walker ao HoloViz Panel para exploração interativa de dados em Jupyter Notebooks e aplicativos Panel. Ele oferece uma interface semelhante ao Tableau, permitindo que os usuários criem visualizações e tabelas dinâmicas rapidamente com código mínimo. Ele suporta vários backends de dados e renderizadores e pode lidar com grandes conjuntos de dados usando computação do lado do servidor. O projeto está em seus estágios iniciais; recomenda-se fixar uma versão específica.

Leia mais
(github.com)
Desenvolvimento exploração interativa de dados

Pagecord: Publique seus textos sem esforço a partir da sua caixa de entrada

2025-01-12
Pagecord: Publique seus textos sem esforço a partir da sua caixa de entrada

Pagecord é um aplicativo Ruby on Rails que permite que você publique seus textos em seu site sem esforço, simplesmente enviando um email. Ele simplifica o processo de escrita e publicação, automatizando as etapas normalmente envolvidas na edição e upload de conteúdo. O projeto de código aberto, hospedado no GitHub, fornece documentação abrangente e instruções de teste.

Leia mais
(github.com)
Desenvolvimento blog ferramenta de escrita

A Língua Modela a Personalidade? Um Estudo Bilíngue Fascinante

2024-12-22

Um amigo, Victor, conduziu um experimento único explorando o impacto da língua na personalidade. Usando um teste de personalidade padronizado em bilíngues inglês/alemão, ele descobriu que metade apresentou mudanças significativas na personalidade dependendo da língua usada. Esse resultado fascinante gerou uma discussão sobre bilinguismo coordenado e composto, e tocou em relatividade e determinismo linguísticos. Embora os dados sejam limitados, o estudo de Victor sugere uma ligação sutil, mas intrigante, entre língua e personalidade.

Leia mais
(www.solipsys.co.uk)
Diversos bilinguismo personalidade relatividade linguística

MicroStrategy: A Ascensão e Queda de um Tesouro Bitcoin?

2024-12-25
MicroStrategy: A Ascensão e Queda de um Tesouro Bitcoin?

Este artigo investiga a ascensão e a possível queda da estratégia de acumulação de Bitcoin da MicroStrategy. A empresa, por meio de narrativas convincentes, inflou o preço de suas ações muito acima de seu valor patrimonial, lucrando com ofertas de ações e títulos convertíveis. No entanto, este modelo depende de um fluxo constante de novos investidores. Quando isso secar, o rendimento do Bitcoin cairá, levando a perdas substanciais para os investidores. O autor argumenta que o modelo de negócios da MicroStrategy apresenta características de um esquema de pirâmide, destinado ao desastre.

Leia mais
(medium.com)
Startup Esquema de Pirâmide

Bactérias: Microrganismos Minúsculos, Impacto Enorme na Terra e no Futuro

2024-12-13
Bactérias: Microrganismos Minúsculos, Impacto Enorme na Terra e no Futuro

Este artigo desvenda o mundo oculto das bactérias, revelando como esses microrganismos minúsculos moldaram a Terra e influenciam profundamente o nosso futuro. Desde serem uma das primeiras formas de vida na Terra há 3,5 bilhões de anos, até o grande evento de oxigenação e a formação de células complexas, o papel das bactérias é inegável. Sua diversidade surpreendente permite que elas prosperem em quase todos os ambientes, formando relações complexas com outras formas de vida, incluindo os humanos. A pesquisa sobre bactérias está revolucionando nossa compreensão de doenças, meio ambiente e futuro; aproveitar seu poder oferece potenciais soluções para grandes desafios como mudanças climáticas, poluição e doenças infecciosas.

Leia mais
(www.oum.ox.ac.uk)
IA bactérias origem da vida biotecnologia

Arquivo de Design Nokia Online: Uma Jornada no Tempo

2025-01-16
Arquivo de Design Nokia Online: Uma Jornada no Tempo

O Arquivo de Design Nokia já está online, mostrando sua história de design por meio de uma linha do tempo em rede interativa. Os usuários podem explorar uma vasta coleção de materiais de design usando pesquisa por palavras-chave, filtros de tópicos (produtos, estética, processo de design, estratégia de design) e filtros de data. O arquivo tem licença CC BY-NC-ND 4.0, com instruções claras de atribuição fornecidas.

Leia mais
(nokiadesignarchive.aalto.fi)
Design Arquivo de Design Design de UI

Ocular AI, startup do YC, procura Engenheiro de Backend Fundador

2024-12-26
Ocular AI, startup do YC, procura Engenheiro de Backend Fundador

A Ocular AI, uma startup de IA apoiada pelo Y Combinator, está contratando um Engenheiro de Backend Fundador para construir sistemas de backend para seu mecanismo de anotação de dados. A empresa ajuda a transformar dados não estruturados em conjuntos de dados de alta qualidade para IA generativa, modelos de ponta e visão computacional. A função exige mais de 3 anos de experiência com Python/Node e Postgres para sistemas de produção, além de experiência prática em treinamento de modelos de ML e construção de pipelines de dados. Essa é uma função de alto impacto, trabalhando diretamente com os fundadores para moldar a direção do produto e a estratégia de engenharia. O candidato ideal gosta de trabalhar em um ambiente de ritmo acelerado e ambíguo.

Leia mais
(www.ycombinator.com)
IA Engenheiro de Backend

Ray Tracer WebGPU de código aberto: Renderização em tempo real de cenas glTF

2024-12-26
Ray Tracer WebGPU de código aberto: Renderização em tempo real de cenas glTF

O projeto de código aberto webgpu-raytracer é um mecanismo de traçado de raios de software construído usando a API WebGPU. Ele suporta arquivos de cena glTF e renderiza materiais com albedo, mapas normais e mapas de materiais. O mecanismo utiliza BVH para interseções aceleradas de cena de raios e emprega amostragem de importância múltipla para eficiência. Atualmente, ele suporta mapas de ambiente e permite o controle da câmera por meio do teclado e do mouse, mas a refração ainda não é suportada.

Leia mais
(github.com)
Desenvolvimento Traçado de Raios

Análise da Sobreposição de Links Entre Lobste.rs e Hacker News

2024-12-23

Uma postagem de blog analisa a sobreposição de links entre Lobste.rs e Hacker News, dois importantes sites de notícias de tecnologia. A postagem lista vários artigos que aparecem em ambos os sites, explorando temas e tendências nos links sobrepostos, como desenvolvimento de software de código aberto, IA e linguagens de programação. Isso destaca os interesses comuns e os padrões de disseminação de informações dentro da comunidade de tecnologia.

Leia mais
(lobhn.skyshelf.app)
Diversos notícias de tecnologia análise de links comparação de comunidades

Avistamentos misteriosos de drones continuam a assombrar a costa leste dos EUA

2024-12-18
Avistamentos misteriosos de drones continuam a assombrar a costa leste dos EUA

Uma onda de avistamentos misteriosos de drones está causando preocupação generalizada e fechamentos de espaço aéreo na costa leste dos EUA. Esses drones do tamanho de SUVs foram relatados perto de bases militares e aeroportos em Nova Jersey e Nova York, interrompendo viagens aéreas. Embora as agências federais estejam investigando, as explicações permanecem evasivas, com especulações variando de conspirações políticas a outras causas desconhecidas. O mistério contínuo alimenta a ansiedade do público e pedidos de resolução rápida para evitar mais interrupções e ameaças potenciais.

Leia mais
(www.theregister.com)
Diversos costa leste dos EUA fechamentos de espaço aéreo

Arquivos querem ser atores? io_uring e a convergência de paradigmas computacionais

2025-01-04
Arquivos querem ser atores? io_uring e a convergência de paradigmas computacionais

Em aplicações Linux de alto desempenho, o io_uring está revolucionando a interação com o SO. Ele usa filas de submissão e conclusão, permitindo E/S assíncrona sem esperar por chamadas de sistema. Basta colocar operações na fila e continuar a computação. Isso se assemelha notavelmente ao modelo Actor: objetos enviam mensagens para computação concorrente. O envio de operações para descritores de arquivos e o recebimento assíncrono de respostas no io_uring é surpreendentemente semelhante. Isso sugere uma mudança para um comportamento de SO assíncrono e autônomo; métodos tradicionais de chamada de sistema podem ser uma abstração desatualizada.

Leia mais
(lewiscampbell.tech)
Desenvolvimento

Além da NISQ: O Amanhecer da Máquina Megaquop

2024-12-18
Além da NISQ: O Amanhecer da Máquina Megaquop

John Preskill, do Caltech, proferiu um discurso principal na conferência Q2B 2024, discutindo a potencial transição da era NISQ (Quantum Intermediário Ruidoso) para a era Megaquop (milhões de operações quânticas). Máquinas Megaquop são projetadas para executar milhões de operações quânticas, embora com uma taxa de erro ainda alta. Por meio de técnicas de mitigação de erros e possivelmente qubits físicos de maior qualidade, elas poderiam realizar tarefas além do alcance de computadores clássicos e máquinas NISQ. Progressos significativos de equipes do Google, AWS e outras em correção de erros quânticos e melhorias de hardware lançam as bases para máquinas Megaquop. No entanto, Preskill destacou desafios, incluindo a velocidade de decodificação para correção de erros quânticos, mitigação de interferência de raios cósmicos e identificação de aplicações comercialmente viáveis. Aplicações futuras de máquinas Megaquop podem incluir simulações de sistemas quânticos complexos e pesquisas em ciência de materiais.

Leia mais
(quantumfrontiers.com)
IA Computação Quântica Correção de Erros Quânticos

Hyperbola GNU/Linux-libre: Um sistema operacional leve comprometido com liberdade e suporte de longo prazo

2024-12-15

Hyperbola GNU/Linux-libre é um projeto de sistema operacional comunitário que visa fornecer uma distribuição de suporte de longo prazo totalmente gratuita, estável, segura, simples e leve. Ele utiliza o gerenciamento de pacotes do Arch Linux e patches de segurança do Debian, aderindo às Diretrizes de Distribuição de Sistemas Livres GNU. Suporta arquiteturas i686 e x86_64, e planeja lançar um sistema baseado em BSD, HyperbolaBSD. Notícias recentes incluem o suporte contínuo para sistemas de 32 bits, a descontinuação de conjuntos de patches do Debian além da versão 12 e preocupações expressas sobre a declaração da Free Software Foundation sobre aprendizado de máquina.

Leia mais
(www.hyperbola.info)
Desenvolvimento Sistema Operacional Software Livre

Cena de Ficção Científica Impressionante Criada no Blender

2024-12-31
Cena de Ficção Científica Impressionante Criada no Blender

Samuel Pantze, um cientista da computação alemão, criou uma cena de ficção científica deslumbrante com uma nave espacial sobre um planeta com maré gravitacional usando o Blender. Inspirado pela literatura de ficção científica, pelos vídeos do Melodysheep e pela arte conceitual de Paul Chadeisson, ele empregou habilmente texturas processuais e matemática de shaders para gerar um modelo de nave espacial realista e um fundo planetário. O artigo detalha o processo, desde a modelagem e texturização da nave espacial até a criação do fundo planetário usando uma abordagem de shader única, mostrando suas excepcionais habilidades de modelagem e renderização 3D.

Leia mais
(www.blendernation.com)
Design Ficção Científica
1 2 … 542 543 544 546 548 549 550 … 560 561