Baba Yaga: Uma Linguagem de Programação Funcional Minimalista

2025-08-30
Baba Yaga: Uma Linguagem de Programação Funcional Minimalista

Movido por uma busca estética em linguagens de programação, o autor desenvolveu Baba Yaga, uma linguagem de programação funcional. Suas características principais incluem sintaxe minimalista, imutabilidade e uma abordagem funcional-primeira, com casamento de padrões para controle de fluxo. Ela combina conceitos familiares de programação funcional para facilitar o uso, inclui utilitários embutidos e oferece interoperabilidade com JavaScript, com o objetivo de uso em jogos, esboços e codificação ao vivo.

Leia mais
(eli.li)
Desenvolvimento

Emulador JIT aarch64 em Rust: Um Olá, Mundo!

2025-08-30

O autor criou um emulador de arquitetura de conjunto de instruções aarch64 usando Rust e o compilador JIT Cranelift. O artigo detalha o processo, da instrução da máquina virtual para a execução de código nativo, cobrindo decodificação de instruções, tradução JIT, gerenciamento de memória e emulação de dispositivos. Uma simulação PL011 UART foi implementada, e o gdbstub permite depuração. O emulador atualmente executa programas simples de bare-metal, com objetivos futuros incluindo suporte de inicialização do Linux. O desenvolvimento futuro focará no tratamento de exceções, suporte de temporizador, implementação de MMU e um controlador de interrupção.

Leia mais
Desenvolvimento

O Milagre Romena nas Olimpíadas: Um Sistema Educacional Hiper-Estratificado

2025-08-30
O Milagre Romena nas Olimpíadas: Um Sistema Educacional Hiper-Estratificado

O sucesso desproporcional da Romênia nas Olimpíadas Acadêmicas Internacionais, apesar do seu desempenho educacional médio, é examinado. O artigo mergulha no seu sistema educacional altamente estratificado: os melhores alunos são emparelhados com os melhores professores em escolas de elite, incentivados por recompensas substanciais. Embora isso produza vencedores excepcionais de Olimpíadas, também leva a uma significativa fuga de cérebros, à medida que esses talentos partem para outros países. O artigo conclui sugerindo que outras nações adotem estratégias semelhantes para maximizar as capacidades dos seus alunos de alto potencial.

Leia mais
Tecnologia olimpíadas

É hora de deletar alguns testes

2025-08-30

Por décadas, a importância dos testes tem sido enfatizada, mas os desenvolvedores desenvolveram uma crença equivocada de que 'deletar testes é blasfêmia'. Este artigo argumenta que o propósito dos testes é aumentar a confiança, mas testes falhos, redundantes, lentos ou desatualizados, na verdade, diminuem a confiança. Testes instáveis ​​perdem tempo, enquanto testes excessivamente numerosos reduzem a eficiência. O autor sugere que, para melhorar a eficiência e a confiança, os testes que diminuem em vez de aumentar a confiança devem ser excluídos e novos testes devem ser escritos para novos requisitos.

Leia mais
Desenvolvimento

arXivLabs: Colaboração da comunidade no desenvolvimento de recursos do arXiv

2025-08-30
arXivLabs: Colaboração da comunidade no desenvolvimento de recursos do arXiv

arXivLabs é uma estrutura experimental que permite que colaboradores desenvolvam e compartilhem novos recursos do arXiv diretamente no site. Participantes, indivíduos e organizações, abraçam os valores do arXiv de abertura, comunidade, excelência e privacidade dos dados do usuário. O arXiv está comprometido com esses valores e se associa apenas com aqueles que os compartilham. Tem uma ideia para um projeto valioso para a comunidade? Saiba mais sobre o arXivLabs!

Leia mais
Desenvolvimento

Aumento de 15 vezes na potência de geradores termoelétricos solares por meio da gestão espectral e térmica sinérgica

2025-08-30
Aumento de 15 vezes na potência de geradores termoelétricos solares por meio da gestão espectral e térmica sinérgica

Pesquisadores melhoraram significativamente a potência de saída de geradores termoelétricos solares (STEGs) otimizando a gestão térmica tanto do lado quente quanto do lado frio. Eles empregaram um absorvedor solar seletivo (SSA) para maximizar a absorção de energia solar e minimizar as perdas por radiação, enquanto usavam um filme de ar para reduzir as perdas por convecção no lado quente. No lado frio, um microdissipador (μ-dissipador) foi projetado para dissipação eficiente de calor por convecção e radiação. Experimentos demonstraram um aumento de 15 vezes na potência de pico ao combinar as otimizações de ambos os lados, o suficiente para alimentar um LED, mostrando o potencial para aplicações em IoT e além.

Leia mais

De Atenção Multi-Cabeça à Atenção Latente: A Evolução dos Mecanismos de Atenção

2025-08-30
De Atenção Multi-Cabeça à Atenção Latente: A Evolução dos Mecanismos de Atenção

Este artigo explora a evolução dos mecanismos de atenção no processamento de linguagem natural, desde o mecanismo de Atenção Multi-Cabeça (MHA) inicial até variantes mais avançadas, como a Atenção Multi-Cabeça Latente (MHLA). O MHA pondera palavras importantes no contexto calculando vetores de consulta, chave e valor; no entanto, sua complexidade computacional e de memória cresce quadraticamente com o comprimento da sequência. Para solucionar isso, abordagens mais novas, como a MHLA, surgiram, melhorando a velocidade computacional e a escalabilidade sem sacrificar o desempenho – por exemplo, usando cache KV para reduzir cálculos redundantes. O artigo explica claramente os conceitos principais, vantagens e limitações desses mecanismos e suas aplicações em modelos como BERT, RoBERTa e Deepseek.

Leia mais
IA

Evolução da arquitetura offline-first do aplicativo de email Marco

2025-08-29
Evolução da arquitetura offline-first do aplicativo de email Marco

A equipe do aplicativo de email Marco embarcou em uma longa jornada para construir um aplicativo baseado em IMAP, multiplataforma e offline-first. Eles experimentaram várias soluções, incluindo WatermelonDB, Triplit e InstantDB, mas as abandonaram devido a gargalos de desempenho ou limitações funcionais. Finalmente, eles escolheram o Replicache por seu desempenho superior e flexibilidade, combinando-o com o Orama para indexação e pesquisa robustas. Esta história destaca os desafios e oportunidades de construir aplicativos offline-first de alto desempenho e prenuncia o futuro da sincronização de dados: de endpoints compartilhados para bancos de dados compartilhados.

Leia mais

Thunder Compute: Procura-se Engenheiro DevRel – Construa o Futuro da Computação em Nuvem de GPU Acessível

2025-08-29
Thunder Compute: Procura-se Engenheiro DevRel – Construa o Futuro da Computação em Nuvem de GPU Acessível

A Thunder Compute, uma startup de capital semente em rápido crescimento (aproximando-se da Série A), está contratando um Engenheiro DevRel. Somos uma equipe pequena e altamente eficaz que constrói a nuvem de GPU mais barata e fácil de usar para desenvolvedores. Esta função envolve a responsabilidade total pelo DevRel – construção de comunidade, criação de demonstrações e tutoriais, coleta de feedback de produtos e reporte direto ao CEO. Alta autonomia, alto impacto e você ajudará a definir nossa função de DevRel do zero. Requer excelente redação, experiência em construção de comunidade e fortes habilidades de codificação (Python preferido). Experiência com GPU/IA é um diferencial.

Leia mais
Startup Nuvem GPU

SeedBox Lite: Transmita Torrents Instantaneamente

2025-08-29
SeedBox Lite: Transmita Torrents Instantaneamente

SeedBox Lite é uma plataforma revolucionária de streaming de torrent que permite que você assista a filmes e programas de TV instantaneamente, sem esperar downloads completos. Construído com tecnologias web modernas, ele oferece uma experiência semelhante à Netflix com recursos poderosos de torrent. O SeedBox Lite suporta vários formatos, possui cache inteligente, suporte a legendas e design responsivo, funcionando perfeitamente em Windows, macOS e Linux. A implantação é simples, levando minutos com Docker ou PM2.

Leia mais
Desenvolvimento

Agentes Assinados do Cloudflare: Um Caminho para uma Web Fechada?

2025-08-29
Agentes Assinados do Cloudflare: Um Caminho para uma Web Fechada?

O novo sistema de "agentes assinados" do Cloudflare, apresentado como uma medida de segurança, é argumentado como um caminho perigoso para uma web fechada. O sistema funciona como uma lista de permissões, decidindo quais agentes podem acessar a web, contradizendo a natureza aberta da internet. O autor defende uma autenticação aberta, portátil e independente de empresas, baseada em cadeias verificáveis de delegação e prova de nível de solicitação, em vez do controle de uma única empresa. O artigo traça paralelos com eventos históricos, destacando como os padrões abertos sempre superaram plug-ins fechados, e apela por um sistema de autenticação aberto, verificável e descentralizado para gerenciar o número crescente de agentes da web, garantindo a abertura e a inovação da internet. O autor até se oferece para abrir o código de uma primeira versão de sua solução proposta.

Leia mais
Tecnologia padrões abertos

Codificação com IA: Quão longe estamos da programação totalmente autônoma?

2025-08-29
Codificação com IA: Quão longe estamos da programação totalmente autônoma?

Embora as ferramentas de codificação de IA demonstrem capacidades impressionantes em conclusão de código e correção de erros, um novo estudo revela que a IA ainda tem um longo caminho a percorrer antes de se tornar uma verdadeira programadora. A pesquisa destaca os desafios que a IA enfrenta no tratamento de grandes bases de código, lógica complexa e planejamento de longo prazo, levando a alucinações e erros. Melhorar a colaboração entre IA e humanos, como melhorar as interfaces e permitir que a IA entenda e comunique melhor a incerteza, será crucial. Em última análise, o papel da IA na codificação provavelmente se concentrará em aumentar a eficiência e mudar os níveis de abstração, em vez de substituir completamente os programadores humanos.

Leia mais
Desenvolvimento

Iniciando na Indústria de Games: Conselhos de um Veterano

2025-08-29

Um desenvolvedor de jogos experiente compartilha sua jornada, desde aprender desenvolvimento de jogos na década de 1990 até aconselhar aspirantes a desenvolvedores de jogos hoje. O artigo enfatiza a importância da autoaprendizagem e o uso de ferramentas modernas, como o ChatGPT, para aprendizagem eficiente. Também aconselha a se concentrar em dominar uma habilidade específica e compartilha insights sobre os desafios e oportunidades do desenvolvimento de jogos indie, incluindo a seleção de plataformas (Steam, Roblox, Fortnite). Por fim, oferece conselhos de carreira, enfatizando a demonstração de valor e a busca de emprego proativa.

Leia mais
Jogos

Steam no Reino Unido exige verificação de idade com cartão de crédito

2025-08-29
Steam no Reino Unido exige verificação de idade com cartão de crédito

Para cumprir a Lei de Segurança Online do Reino Unido, o Steam agora exige que todos os usuários do Reino Unido verifiquem sua idade com um cartão de crédito para acessar conteúdo adulto e jogos. Isso causou controvérsia, pois usuários sem cartão de crédito ficam bloqueados. A Valve afirma que isso maximiza a privacidade do usuário e impede a circunvenção da verificação de idade. Semanas depois que as novas regras de restrição de idade do Reino Unido foram consideradas facilmente contornáveis por meio de VPNs, e após breves explorações da verificação de idade do Discord e do Reddit, essa medida é significativa. A Microsoft também está lançando a verificação de idade do Xbox no Reino Unido, atualmente opcional, mas obrigatória no início de 2026.

Leia mais
Jogos

SGLang: Implementação de código aberto que iguala o desempenho do sistema de inferência do modelo de linguagem amplo DeepSeek

2025-08-29
SGLang: Implementação de código aberto que iguala o desempenho do sistema de inferência do modelo de linguagem amplo DeepSeek

O DeepSeek, um popular modelo de linguagem amplo (LLM) de código aberto, possui um desempenho impressionante. No entanto, seu tamanho massivo e arquitetura exclusiva (usando Atenção Latente Multi-cabeça e Mistura de Especialistas) exigem um sistema sofisticado para servir de forma eficiente em larga escala. Este blog detalha como alcançamos quase paridade com o desempenho do sistema de inferência do DeepSeek usando o SGLang. Nossa implementação, rodando em 12 nós (cada um com 8 GPUs H100) na nuvem Atlas, utiliza desagregação de preenchimento prévio-decodificação e paralelismo de especialistas em larga escala (EP), atingindo 52,3k tokens de entrada/segundo e 22,3k tokens de saída/segundo por nó para sequências de entrada de 2000 tokens. Este é, até onde sabemos, a primeira implementação de código aberto a quase igualar a taxa de transferência relatada do DeepSeek em larga escala, a aproximadamente um quinto do custo da API oficial DeepSeek Chat.

Leia mais

Empresas de Private Equity Devoram Serviços para Pessoas com Deficiência: Lucro em Detrimento da Segurança

2025-08-29
Empresas de Private Equity Devoram Serviços para Pessoas com Deficiência: Lucro em Detrimento da Segurança

Empresas de private equity têm adquirido lares coletivos e outros serviços para pessoas com deficiência, levando a relatos de abuso, negligência e até mesmo mortes. A busca pela maximização de lucros frequentemente resulta em cortes de custos que comprometem a qualidade do atendimento. Embora estados como a Flórida tenham tentado sancionar empresas como a Sevita, a fiscalização é prejudicada pela operação multinacional dessas empresas e seus vastos recursos. Os órgãos reguladores federais e estaduais lutam para acompanhar a situação, expondo uma falha sistêmica na proteção de populações vulneráveis. Alguns estados estão promulgando regulamentos mais rígidos sobre fusões e aquisições de empresas de saúde, mas uma solução abrangente permanece difícil de alcançar.

Leia mais

Anthropic atualiza a política de privacidade do Claude: dados do usuário para melhoria do modelo

2025-08-29
Anthropic atualiza a política de privacidade do Claude: dados do usuário para melhoria do modelo

A Anthropic atualizou os Termos para Consumidores e a Política de Privacidade do Claude, dando aos usuários a opção de permitir que seus dados sejam usados para melhorar os recursos do Claude e aprimorar os recursos de segurança. Optar por participar permite que seus dados sejam usados para treinamento do modelo, melhorando as habilidades de codificação, análise e raciocínio do Claude, mas estende a retenção de dados para cinco anos. Optar por não participar mantém o período de retenção de 30 dias existente. Esta atualização se aplica aos planos Claude Free, Pro e Max, mas exclui serviços sob termos comerciais. Os usuários podem ajustar suas preferências a qualquer momento em suas configurações.

Leia mais

Descobrindo Joias Escondidas no Hacker News

2025-08-29

Esta ferramenta ajuda você a descobrir conteúdo de alto esforço recentemente publicado no Hacker News que não recebeu muita atenção. Ela pesquisa os feeds Ask, Show e New da API do HN para postagens dos últimos 3 a 7 dias, classificando-as por uma 'Pontuação de Paixão'. Essa pontuação equilibra o comprimento do texto com o engajamento (votos e comentários), destacando postagens substanciais com mínimo reconhecimento - perfeito para encontrar contribuições perspicazes que a comunidade pode ter perdido.

Leia mais

Intel Xeon 7: 18A e embalagem 3D podem mudar o jogo?

2025-08-29
Intel Xeon 7: 18A e embalagem 3D podem mudar o jogo?

Com a AMD detendo mais de 40% da receita e 27% da participação de mercado de CPUs de servidor x86 no primeiro semestre de 2025, a Intel está apostando em seus processadores Xeon 7 (Clearwater Rapids e Clearwater Forest), com lançamento previsto para 2026, para recuperar terreno. Essas CPUs utilizam o processo de 18A, interconexão 2.5D EMIB e empilhamento 3D Foveros — tecnologias implantadas pela primeira vez (com atrasos) no data center com o infame Ponte Vecchio. O sucesso do Xeon 7 depende de conter o ímpeto da AMD e neutralizar a ascensão das CPUs de servidor Arm personalizadas de hiperescaladores. Embora as variantes de E-core de baixo consumo de energia tenham um nicho de mercado, elas ajudam a Intel a refinar seu processo de 18A e a embalagem 3D. Este artigo detalha a arquitetura do processador Clearwater Forest E-core, incluindo seus transistores RibbonFET aprimorados, entrega de energia backside PowerVia e embalagem 3D, e analisa seu potencial de desempenho.

Leia mais
Hardware

Sinais quânticos enviados por fibra comercial usando o Protocolo de Internet padrão

2025-08-29
Sinais quânticos enviados por fibra comercial usando o Protocolo de Internet padrão

Pesquisadores da Universidade da Pensilvânia conseguiram um feito inovador: transmitir sinais quânticos por meio de cabos de fibra óptica comerciais usando o Protocolo de Internet (IP) padrão. Seu chip Q inovador coordena dados quânticos e clássicos, empacotando-os em pacotes de internet padrão. Isso supera a fragilidade dos sinais quânticos e representa um passo crucial em direção a uma internet quântica prática, prometendo IA mais rápida e eficiente em termos de energia e avanços no design de medicamentos e materiais.

Leia mais

Rascunhe mensagens de texto do seu teclado de computador

2025-08-29
Rascunhe mensagens de texto do seu teclado de computador

Cansado de digitar mensagens longas no pequeno teclado do seu telefone? Esta ferramenta baseada em navegador permite que você redija e envie SMS e iMessages usando qualquer teclado de computador. Basta digitar sua mensagem e ela gerará um código QR que você pode escanear com o seu telefone para enviar. Suporta vários destinatários (separados por vírgula), e códigos internacionais são recomendados, mas nem sempre são necessários. Mesmo que você não conheça o número do destinatário, escaneie o código QR e preencha os destinatários no seu telefone usando o recurso de preenchimento automático. Todo o processamento de dados acontece no seu navegador; nada é enviado para um servidor. Experimente!

Leia mais
Desenvolvimento

Converte de Documentação do Desenvolvedor Apple para Markdown: Um Projeto Não Oficial

2025-08-29

Esta é uma ferramenta não oficial que converte páginas individuais do desenvolvedor Apple em Markdown sob demanda. Ela não rastreia, indexa ou baixa em massa; respeita as medidas de autenticação e segurança; e implementa limitação de taxa para evitar sobrecarga nos servidores da Apple. O conteúdo é armazenado em cache brevemente para melhorar o desempenho (cerca de 30 minutos), mas nenhum arquivo permanente é mantido. Todos os direitos autorais permanecem com a Apple. Cada página convertida contém um link para a fonte original. O uso está sujeito aos Termos de Uso da Apple e às leis aplicáveis.

Leia mais
Desenvolvimento Desenvolvedor Apple conversor

Vazamento do Documento FMECA do Sig Sauer P320 Escala em Tribunal de Apelações

2025-08-29

A batalha legal sobre o sigilo do documento de Análise de Modos de Falha, Efeitos e Criticidades (FMECA) do Sig Sauer P320 se intensifica. A redação do The Trace interveio no recurso, pressionando pela divulgação de registros importantes e destacando o papel do Practical Shooting Insights na publicação do documento não adulterado. A Sig Sauer contra-argumenta com preocupações de segurança nacional, mas o documento FMECA foi amplamente disseminado online, incluindo uma discussão por um executivo da Sig Sauer que direcionou os ouvintes para o site. O tribunal decidirá se permitirá a intervenção e se manterá a forte presunção de acesso público a registros de certificação de classe. O caso tem implicações significativas para a proteção do consumidor e a segurança do produto.

Leia mais
Tecnologia

Mistério do Emoji do Hacker News: Comprimento 36?

2025-08-29

Uma postagem no Hacker News gerou uma discussão sobre a exibição de emojis. O autor percebeu que o Hacker News parece lidar com emojis nos títulos de maneira diferente, substituindo-os por espaços ou convertendo-os em codificações de caracteres para se ajustar ao limite de exibição de 80 colunas. Testes revelaram que um único emoji pode ter um comprimento de 36, contrastando com seu comprimento esperado. A postagem explora o mecanismo de tratamento de emojis do Hacker News e as variações na exibição de emojis em diferentes navegadores e dispositivos.

Leia mais
Diversos

Resolvendo o Cubo Mágico Eficientemente com Representações Aprendidas: Sem Heurísticas Artesanais Necessárias

2025-08-29

Na IA clássica, a percepção depende da aprendizagem de representações espaciais, enquanto o planejamento — raciocínio temporal sobre sequências de ações — é tipicamente alcançado através de busca. Este trabalho explora representações que capturam estruturas espaciais e temporais. O aprendizado contrastivo temporal padrão frequentemente falha devido a recursos espúrios. Os autores introduzem Representações Contrastivas para Raciocínio Temporal (CRTR), usando amostragem negativa para remover esses recursos e melhorar o raciocínio temporal. CRTR se destaca em tarefas temporais complexas como Sokoban e Cubo Mágico, resolvendo este último mais rápido que o BestFS (embora com soluções mais longas). Notavelmente, esta é a primeira demonstração de resolução eficiente de estados arbitrários do Cubo Mágico usando apenas representações aprendidas, eliminando a necessidade de heurísticas de busca artesanais.

Leia mais

Republicanos Investigam a Wikipédia: Um Ataque Conservador ao Ecossistema de Informação?

2025-08-29
Republicanos Investigam a Wikipédia: Um Ataque Conservador ao Ecossistema de Informação?

Os representantes republicanos James Comer e Nancy Mace estão investigando a Wikipédia, alegando buscar evidências de viés, particularmente sentimento anti-Israel. Isso é visto como parte de um esforço conservador mais amplo para controlar o ecossistema de informação, após tentativas de controlar as mídias sociais e desfinanciar a radiodifusão pública. O resultado da investigação e as possíveis ações permanecem incertos, mas certamente serão controversos.

Leia mais

Motor de Reconciliação Financeira AI da Midday: Automatizando Tarefas Tediosas

2025-08-29
Motor de Reconciliação Financeira AI da Midday: Automatizando Tarefas Tediosas

A Midday desenvolveu um motor de conciliação financeira automatizado que utiliza correspondência multidimensional e embeddings vetoriais para alcançar alta precisão e eficiência. O motor pré-processa e enriquece os dados, usando embeddings vetoriais de 768 dimensões para entender o significado semântico das transações e recibos. Um sistema de ajuste de limite adaptativo e algoritmos de aprendizado de máquina refinam ainda mais a precisão ao longo do tempo, com base no feedback do usuário. O resultado? As empresas economizam horas por semana em tarefas de conciliação, liberando tempo para tarefas estratégicas. Essa automação também prepara o caminho para análises financeiras avançadas.

Leia mais
Desenvolvimento automação financeira

Facebook está secretamente enviando fotos de usuários para a nuvem?

2025-08-29
Facebook está secretamente enviando fotos de usuários para a nuvem?

A Meta, empresa controladora do Facebook, está testando um novo recurso que secreta e silenciosamente envia fotos e vídeos do celular dos usuários para a nuvem, sem consentimento explícito, para gerar sugestões baseadas em IA, como colagens, retrospectivas mensais e álbuns temáticos. Embora a Meta afirme que o recurso é opcional e solicita aos usuários, alguns relatam não ter visto o aviso e descobriram que o recurso estava ativado por padrão. Isso levanta sérias preocupações de privacidade, pois a Meta acessa fotos e vídeos privados e não compartilhados pelos usuários. O teste está atualmente limitado aos EUA e Canadá, excluindo Illinois e Texas devido às leis de privacidade.

Leia mais

Qual a probabilidade de um erro de digitação em um endereço de Bitcoin causar um problema?

2025-08-29

Existe a preocupação de enviar acidentalmente Bitcoin para um endereço errado devido a erros de digitação. Este artigo usa probabilidades de checksum, o tamanho vasto do espaço de endereços e cálculos de distância de edição para demonstrar a probabilidade extremamente baixa disso acontecer. Mesmo considerando endereços que estão a uma pequena distância de edição um do outro, a probabilidade de um erro de digitação levar a uma colisão com outro endereço válido no espaço de endereços enorme é insignificante. Portanto, erros de digitação de endereço não são um risco importante no uso do Bitcoin.

Leia mais
Tecnologia
1 2 10 11 12 14 16 17 18 563 564