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

Framework Laptop 12: Reparos fáceis, mas com compensações

2025-06-18
Framework Laptop 12: Reparos fáceis, mas com compensações

O Framework Laptop 12 brilha com seu design modular e facilidade de reparo. Os usuários podem facilmente trocar componentes como RAM e SSDs com apenas uma chave de fenda. No entanto, para atingir um fator de forma menor, o Laptop 12 faz concessões, como omitir um teclado retroiluminado e sensor de impressão digital, e apenas suportar um único módulo de RAM DDR5, limitando a capacidade de memória. Embora use SSDs M.2 2230 menores, estes agora estão mais facilmente disponíveis. No geral, o Laptop 12 equilibra facilidade de uso e atualização, mas exige que os usuários considerem algumas limitações funcionais.

Leia mais
(arstechnica.com)
Hardware Design Modular Reparabilidade

Por que abandonei o Clojure pelo Common Lisp

2025-01-12

Após sete anos com Clojure, um programador mudou para Common Lisp devido a frustrações com tempos de inicialização lentos e dificuldades na criação de executáveis nativos. Fatores-chave em sua decisão incluíram a necessidade de executáveis independentes e rápidos, compatibilidade com o Vim, suporte multiplataforma, multithreading robusto e uma comunidade vibrante com um ecossistema rico. O Common Lisp acabou vencendo devido às suas ferramentas maduras, ao poderoso sistema CLOS e Conditions e ao tempo de execução rápido.

Leia mais
(blog.djhaskin.com)
Desenvolvimento

Fim de semana do Memorial Day quebra recordes de bilheteria: Lilo & Stitch e Missão Impossível dominam

2025-05-26
Fim de semana do Memorial Day quebra recordes de bilheteria: Lilo & Stitch e Missão Impossível dominam

Este fim de semana do Memorial Day quebrou recordes de bilheteria. O remake live-action da Disney de "Lilo & Stitch" arrecadou impressionantes US$ 145,5 milhões no fim de semana de estreia e cerca de US$ 183 milhões até segunda-feira, estabelecendo um novo recorde do Memorial Day. Enquanto isso, "Missão: Impossível - Acerto de Contas Parte Um", de Tom Cruise, alcançou US$ 63 milhões em seu fim de semana de estreia e US$ 77 milhões até segunda-feira, o melhor resultado da franquia. O sucesso combinado desses filmes, juntamente com outros lançamentos como "Final Destination Bloodlines", impulsionou a bilheteria geral do fim de semana do Memorial Day para US$ 322 milhões, superando o recorde anterior estabelecido em 2013. Isso marca um forte início para a temporada de sucessos de verão, dando um impulso significativo à indústria cinematográfica após um decepcionante 2022.

Leia mais
(variety.com)
Jogos sucesso de verão

Ultima VII: Revisited - Um Remake em 3D de um RPG Clássico

2025-02-23

Ultima VII: Revisited é um motor de substituição para o RPG clássico Ultima VII. Ele renderiza o jogo em 3D e corrige inúmeros problemas que afligiam o original, como baixa taxa de quadros, incapacidade dos companheiros de se alimentarem e conflitos de IU com iluminação ambiental. O criador Anthony Salter visa permitir que os jogadores experimentem este clássico a frente de seu tempo de uma nova maneira, apreciando seu mundo 3D único e design inteligente por meio de um motor 3D moderno e sistemas de jogo aprimorados.

Leia mais
(www.u7revisited.com)
Jogos Motor

AT&T irá encerrar o serviço de e-mail para SMS

2025-04-05
AT&T irá encerrar o serviço de e-mail para SMS

A AT&T anunciou que seu serviço de e-mail para SMS e SMS para e-mail será descontinuado em 17 de junho de 2025. Isso significa que os usuários não poderão mais enviar ou receber mensagens de texto por e-mail. A mudança também afetará outras pessoas com contas AT&T Wireless que usam esse método para se comunicar. Os titulares de contas FirstNet, empresariais e de IoT devem verificar os possíveis impactos.

Leia mais
(www.att.com)
Tecnologia mensagens de texto

Operação PowerOFF Desmantala 27 Plataformas de DDoS

2024-12-17
Operação PowerOFF Desmantala 27 Plataformas de DDoS

A Europol liderou uma operação internacional em 15 países, chamada PowerOFF, que resultou no fechamento de 27 plataformas importantes de DDoS ('booters' e 'stressers'). Essas plataformas permitiam que cibercriminosos e hackers inundassem alvos com tráfego ilegal, tornando sites e serviços online inacessíveis. A operação interrompeu ataques direcionados a agências governamentais dos EUA, incluindo o Departamento de Justiça e o FBI. Apesar da vitória significativa, especialistas alertam que criminosos se adaptarão, exigindo esforços contínuos para combater ataques DDoS.

Leia mais
(www.scworld.com)
Tecnologia Ataques DDoS cooperação internacional

Experimento Acidental em Escolas de Los Angeles: Filtros de Ar Aumentam Notas

2025-03-31
Experimento Acidental em Escolas de Los Angeles: Filtros de Ar Aumentam Notas

Após um quase acidente causado pelo vazamento de gás de Aliso Canyon em 2015, muitas escolas de Los Angeles instalaram filtros de ar. Surpreendentemente, as notas dos alunos aumentaram significativamente, com ganhos mantidos no ano seguinte. Pesquisas sugerem que mesmo em áreas com níveis normais de poluição do ar, filtros de ar simples melhoraram o desempenho dos alunos, oferecendo uma estratégia de baixo custo para melhorar os resultados educacionais. Essa descoberta destaca a ligação entre a qualidade do ar e a função cognitiva e sugere uma nova maneira de abordar a equidade educacional.

Leia mais
(www.vox.com)
Tecnologia desempenho do aluno

GCVE: Um Sistema de Alocação CVE Global e Descentralizado

2025-04-16

O sistema de alocação GCVE (Global CVE) é uma nova abordagem descentralizada para identificação e numeração de vulnerabilidades, projetada para melhorar a flexibilidade, escalabilidade e autonomia para as entidades participantes. Mantendo compatibilidade com o sistema CVE tradicional, o GCVE introduz as Autoridades de Numeração GCVE (GNAs). As GNAs são entidades independentes que podem alocar identificadores sem depender de um sistema centralizado de distribuição de blocos ou de aplicação rígida de políticas.

Leia mais
(gcve.eu)
Tecnologia

Criptografia de Disco de Próxima Geração do DragonFlyBSD: dm_target_crypt_ng

2025-04-13

O DragonFlyBSD recebeu uma atualização significativa: dm_target_crypt_ng, uma implementação de criptografia de disco de próxima geração. O desenvolvedor Michael Neumann reformulou o código DM-crypt para melhorar o desempenho e a interatividade. A nova versão abandona o opencrypto e o cryptodev, optando por uma API de cifra de bloco simétrica simplificada e usando dois pools de trabalhadores para maior eficiência. Atualmente suporta criptografia AES-CBC e AES-XTS, com planos para adicionar suporte a Twofish e Serpent. Esta atualização melhora significativamente a capacidade de resposta do sistema, proporcionando uma experiência de criptografia de disco mais suave para os usuários do DragonFlyBSD. Espera-se que se torne o padrão na próxima versão do DragonFlyBSD 6.4.

Leia mais
(www.phoronix.com)
Desenvolvimento

Autologia: Um Interpretador Lisp Automodificável

2025-03-24
Autologia: Um Interpretador Lisp Automodificável

Autology, um interpretador Lisp funcional escrito em Clojure, apresenta uma abordagem única à metaprogramação, fornecendo acesso ao seu próprio interpretador. Ao revincular a variável *i* (que aponta para a função interpretadora), os programas podem alterar dinamicamente a sintaxe e o comportamento do Autology em tempo de execução. Isso permite adicionar funções, alterar estratégias de avaliação e muito mais. Embora não seja particularmente eficiente, o Autology oferece uma exploração fascinante da metaprogramação Lisp e da modificação de linguagem em tempo de execução.

Leia mais
(github.com)
Desenvolvimento

Vision Pro caseiro: controlando um site com os olhos

2025-06-12
Vision Pro caseiro: controlando um site com os olhos

Inspirado pelo Apple Vision Pro, mas sem os US\$ 3.500, o autor criou o Eyesite: um site controlado apenas pelo rastreamento ocular. Usando a biblioteca WebGazer.js, o projeto consegue um controle de olhar surpreendentemente preciso por meio de um processo de calibração de nove pontos. Ao remover as dicas visuais do cursor ocular e do mouse, a experiência se torna notavelmente imersiva. Para compensar a imprecisão inerente ao rastreamento ocular, a IU é significativamente maior, e um tamanho mínimo de tela é imposto. Embora o código não esteja pronto para produção, é um projeto divertido e criativo que demonstra o potencial das tecnologias da web; o código-fonte está disponível no GitHub.

Leia mais
(blog.andykhau.com)
Desenvolvimento interação web

O Dilema dos Mecanismos de Busca: Um Jogo de Gato e Rato com SEO

2025-06-11

Usando a metáfora de uma vasta biblioteca repleta de livros de baixa qualidade, otimizados para SEO, o autor descreve o estado atual dos mecanismos de busca na internet. Conteúdo de alta qualidade é ofuscado por páginas superficiais, iscas de cliques, projetadas para gerar receita. O autor reflete sobre sua experiência pessoal, destacando a crescente dificuldade em encontrar informações relevantes e sua dependência de LLMs para pesquisa. O artigo explora as razões por trás da queda na qualidade da busca, o potencial dos LLMs para melhorar a busca e os riscos associados ao investimento maciço na indústria de IA. Uma preocupação fundamental é o potencial das estratégias de monetização de LLMs para impactar negativamente os usuários.

Leia mais
(kaveland.no)
Tecnologia motores de busca

40 Anos na Apple: Uma Odisséia do Vale do Silício de um Doutorando em Neurociência

2025-06-07

Quarenta anos atrás, o autor trocou um doutorado em neurociência por uma chance na Apple, uma empresa iniciante com apenas 30 funcionários. A visão de Steve Jobs e a empolgação do trabalho o levaram a contribuir para o Lisa e o Macintosh, criando tecnologias cruciais como o QuickDraw e o gerenciador de janelas. Seu desenvolvimento posterior do HyperCard, uma ferramenta que permite que não programadores criem mídia interativa, consolidou ainda mais seu legado. Essa jornada, repleta de desafios e triunfos, moldou significativamente o cenário tecnológico.

Leia mais
(www.folklore.org)
Tecnologia

Fundamentos Práticos da Matemática: Um Livro Didático Abrangente

2025-02-27

Fundamentos Práticos da Matemática fornece uma introdução sistemática a várias áreas importantes da matemática, desde lógica de primeira ordem e teoria de tipos até teoria de categorias e tipos dependentes. O livro é orientado para a prática, utilizando explicações claras e inúmeros exemplos para ajudar os leitores a compreender conceitos matemáticos abstratos. Os tópicos abordados incluem lógica matemática, teoria dos conjuntos, conjuntos parcialmente ordenados e reticulados, categorias cartesianas fechadas, limites e colimites, recursão estrutural, adjuntos e álgebra com tipos dependentes. Este é um recurso inestimável para quem busca uma compreensão profunda dos fundamentos da matemática.

Leia mais
(www.paultaylor.eu)
Desenvolvimento Teoria das Categorias

Cerebras Lança Planos de Codificação de IA Ultra-Rápidos: Pro e Max

2025-08-02
Cerebras Lança Planos de Codificação de IA Ultra-Rápidos: Pro e Max

A Cerebras apresenta dois novos planos de codificação de IA: Code Pro (US$ 50/mês) e Code Max (US$ 200/mês), ambos alimentados pelo Qwen3-Coder da Alibaba, um modelo de codificação de peso aberto líder. Com velocidades de até 2.000 tokens por segundo, uma janela de contexto de 131.000 tokens e sem bloqueio de IDE proprietária ou limites semanais, ele oferece geração de código instantânea. Os usuários podem integrar-se aos seus IDEs de IA preferidos para um fluxo de trabalho contínuo. O Code Pro é ideal para desenvolvedores independentes e projetos menores, enquanto o Code Max atende às necessidades de desenvolvedores em tempo integral com alto volume.

Leia mais
(www.cerebras.ai)
Desenvolvimento

Campos de Distância de Spline: Uma Nova Técnica de Geração de Terreno

2025-01-06

Para superar as limitações do motor de jogo Tangerine, o autor desenvolveu um ray tracer de CPU chamado Star Machine e um protótipo de jogo de corrida, Rainy Road. Rainy Road requer um sistema de renderização de terreno eficiente e compacto, capaz de lidar com estradas e outros recursos de terreno definidos por splines. O autor apresenta uma nova técnica de geração de terreno usando campos de distância de spline. Essa técnica utiliza splines para gerar superfícies de terreno calculando a distância de um ponto para a spline mais próxima e seu vetor normal para determinar a elevação. Isso evita as limitações dos heightmaps tradicionais e suporta o posicionamento de objetos processuais. A técnica está em experimentação e pesquisa ativas, com exploração de estratégias de interpolação aprimoradas e o uso de nuvens de pontos esparsas.

Leia mais
(zone.dog)
Desenvolvimento geração de terreno curvas spline

Descoberta de 150.000 anos de humanos na floresta tropical africana reescreve a história

2025-03-03
Descoberta de 150.000 anos de humanos na floresta tropical africana reescreve a história

Um estudo inovador publicado na Nature empurra a linha do tempo da habitação humana em florestas tropicais africanas para impressionantes 150.000 anos atrás. Os pesquisadores usaram técnicas de datação por luminescência e ressonância de spin eletrônico em sedimentos contendo ferramentas do Paleolítico Médio encontradas na Costa do Marfim. Essa descoberta antecede evidências anteriores em 80.000 anos, desafiando a crença de longa data de que as florestas tropicais atuaram como barreiras à expansão humana. As descobertas apoiam a teoria da evolução humana em habitats diversos e fornecem uma nova compreensão da adaptação e migração humanas precoces.

Leia mais
(www.sheffield.ac.uk)
Tecnologia África Florestas Tropicais

Uma única nota de texto para governá-las a todas: Um sistema simples e eficaz de anotações

2025-07-26
Uma única nota de texto para governá-las a todas: Um sistema simples e eficaz de anotações

Por anos, usei um método simples, porém surpreendentemente eficaz, de anotações que chamo de "anexar e revisar". Envolve um único arquivo de texto chamado "notas", onde todas as ideias e tarefas pendentes são anexadas ao topo. Revisões regulares envolvem mover itens importantes para o topo por meio de copiar e colar, permitindo que os menos importantes afundem até o fundo. Essa abordagem é notavelmente eficiente, ajudando-me a organizar pensamentos, melhorar a recuperação da memória e até mesmo descobrir conexões inesperadas entre ideias antigas.

Leia mais
(karpathy.bearblog.dev)
Diversos

A Senhora Tóxica: Um Mistério Médico que Confunde os Especialistas

2025-04-15
A Senhora Tóxica: Um Mistério Médico que Confunde os Especialistas

Em 1994, Gloria Ramirez, uma paciente com câncer, desencadeou um incidente bizarro no pronto-socorro de um hospital. Vários profissionais de saúde sofreram desmaios, convulsões e outros sintomas após sua chegada, levando ao bloqueio imediato do pronto-socorro. Embora a investigação oficial tenha concluído que foi histeria em massa, vários funcionários sofreram danos significativos nos órgãos, alimentando o ceticismo. Uma teoria sugere que a automedicação de Ramirez com DMSO se transformou em sulfato de dimetila altamente tóxico durante o tratamento, causando o incidente. No entanto, essa teoria carece de provas definitivas, e a morte de Ramirez permanece um mistério, levando à reflexão sobre os sistemas médicos e as explicações científicas.

Leia mais
(thartribune.com)
Diversos mistério médico histeria em massa

Plugin LLM para classificação semântica de linhas

2025-02-12
Plugin LLM para classificação semântica de linhas

Este plugin de linha de comando usa um Modelo de Linguagem Ampla (LLM) para classificar semanticamente linhas de texto. Similar ao comando GNU `sort`, mas em vez da ordem alfabética, ele classifica as linhas com base na relevância semântica a uma determinada consulta. A entrada pode ser de arquivos ou da entrada padrão. Os usuários podem personalizar o método de classificação, o limite de saída, o modelo e o modelo de prompt. Um prompt padrão é fornecido, mas a personalização é suportada. A instalação é simples: clone o código, crie um ambiente virtual e instale as dependências.

Leia mais
(github.com)
Desenvolvimento Classificação Semântica Plugin CLI

Imersão Profunda: Arquiteturas de GPU vs. TPU para LLMs

2025-08-20

Este artigo fornece uma comparação detalhada das arquiteturas de GPU e TPU, focando em suas unidades de computação principais, hierarquias de memória e capacidades de rede. Usando as GPUs H100 e B200 como exemplos, ele disseca meticulosamente o funcionamento interno das GPUs modernas, incluindo os Multiprocessadores de Streaming (SMs), CUDA Cores, Tensor Cores e a interação entre vários níveis de memória (SMEM, cache L2, HBM). O artigo também compara o desempenho de GPU e TPU em comunicação coletiva (por exemplo, AllReduce, AllGather), analisando o impacto de diferentes estratégias de paralelismo (paralelismo de dados, paralelismo de tensor, paralelismo de pipeline, paralelismo de especialistas) na eficiência do treinamento de modelos de linguagem grandes. Finalmente, ele resume as estratégias para escalar LLMs em GPUs, ilustradas com exemplos do DeepSeek v3 e LLaMA-3.

Leia mais
(jax-ml.github.io)
IA

HOPE_16: Hackeando o Futuro, Uma Apresentação de Cada Vez

2025-07-28

A HOPE_16, uma vibrante conferência de hackers, explorou uma ampla gama de tópicos, desde técnicas de hacking de caixas eletrônicos e segurança de IA até ativismo digital e soberania de dados. Palestrantes, incluindo especialistas e líderes do setor, ofereceram perspectivas perspicazes sobre avanços tecnológicos, mudanças sociais e tendências futuras. As apresentações variaram de relatos históricos sobre a quebra do código Enigma a análises aprofundadas de vulnerabilidades em modelos de linguagem grandes; de experiências práticas na construção de ecossistemas de tecnologia comunitária a discussões sobre resistência à censura online e repressão digital. A HOPE_16 não foi apenas uma vitrine de tecnologia; foi um diálogo profundo sobre tecnologia e responsabilidade social, incentivando a reflexão sobre a direção futura do desenvolvimento tecnológico.

Leia mais
(hope.net)
Tecnologia conferência de hackers ativismo digital

Atualização do Ladybird em Julho: Suporte a HTTP/3, Alta Taxa de Atualização e Mais

2025-08-02
Atualização do Ladybird em Julho: Suporte a HTTP/3, Alta Taxa de Atualização e Mais

O motor de navegador de código aberto Ladybird fez progressos significativos em julho, mesclando 319 pull requests de 47 colaboradores. Os destaques incluem: suporte a HTTP/3, desempenho de renderização aprimorado em telas com alta taxa de atualização, uma correção para a compatibilidade do Google reCAPTCHA e suporte adicionado para Trusted Types, manipulação aprimorada de SVG foreignObject e várias melhorias de CSS, como `content: url(...)`, novas pseudo-classes e grupos de propriedades lógicas. Melhorias internas incluem a mudança para strings UTF-16 nativas para maior eficiência e menos bugs relacionados à codificação.

Leia mais
(ladybird.org)
Desenvolvimento

Retorno Triunfal do Fortnite para iOS: 10 Milhões de Downloads e um Futuro Mobile-First

2025-06-03
Retorno Triunfal do Fortnite para iOS: 10 Milhões de Downloads e um Futuro Mobile-First

Após cinco anos de ausência devido a uma batalha legal com a Apple, o Fortnite retornou triunfantemente à App Store iOS. Embora inicialmente esperassem uma resolução mais rápida, o processo judicial prolongou a ausência do jogo. Desde seu relançamento em 20 de maio, o Fortnite já atingiu o topo do gráfico de jogos gratuitos da App Store, com mais de 10 milhões de downloads. A Epic Games planeja focar no crescimento mobile, otimizando os controles de toque para battle royale e experiências criadas por jogadores. Atualmente, 60% dos jogadores usam o sistema de pagamento da Apple, mas a Epic prevê uma maior adoção de seu próprio sistema de pagamento à medida que mais jogadores vinculam suas contas Epic aos métodos de pagamento.

Leia mais
(www.theverge.com)
Jogos

Calor recorde esperado para os próximos cinco anos, alerta a OMM

2025-05-28
Calor recorde esperado para os próximos cinco anos, alerta a OMM

A Organização Meteorológica Mundial (OMM) e o Met Office do Reino Unido preveem 80% de chance de quebras de recordes de temperatura anual nos próximos cinco anos. Essa temperatura média global mais alta se traduz em maior probabilidade de eventos climáticos extremos: furacões mais fortes, chuvas mais intensas e secas mais severas, levando a um aumento na perda de vidas. Há 86% de chance de que um dos próximos cinco anos ultrapasse a barreira de 1,5°C estabelecida pelo Acordo de Paris, e 70% de chance de que a média dos cinco anos supere esse marco global. As projeções também indicam uma possibilidade, embora pequena, de atingir a barreira mais alarmante de 2°C antes do final da década. Essa tendência de aquecimento acelera o derretimento do gelo no Ártico e a elevação do nível do mar.

Leia mais
(apnews.com)
Tecnologia

Openlayer: Contrata Engenheiro de Backend para Resolver o Problema de Confiabilidade da IA

2025-02-28
Openlayer: Contrata Engenheiro de Backend para Resolver o Problema de Confiabilidade da IA

A Openlayer, uma startup que busca resolver o problema da confiabilidade da IA, está contratando um engenheiro de backend experiente. A função envolve manter e expandir sua API principal, trabalhar com grandes conjuntos de dados, melhorar as ferramentas de desenvolvimento voltadas para o usuário e contribuir para segurança, novos recursos, correções de bugs e ideação de produtos. Candidatos ideais terão 5+ anos de experiência em backend ou full-stack, proficiência em Python e outra linguagem e paixão por construir mecanismos de dados escaláveis. A Openlayer oferece salário competitivo, participação em ações, benefícios de saúde e um ambiente de trabalho flexível.

Leia mais
(www.ycombinator.com)
Desenvolvimento engenheiro de backend contratação de startup

Kevin Kelly: Rejeitando Unicórnios, Abraçando uma Vida Multifacetada

2025-07-04
Kevin Kelly: Rejeitando Unicórnios, Abraçando uma Vida Multifacetada

Este artigo relata o encontro da autora com o visionário da tecnologia Kevin Kelly, levando à reflexão sobre sua própria trajetória profissional. Kelly, conhecido por sua carreira diversificada — de editor do Whole Earth Catalog a cofundador da Wired e futurista perspicaz — nunca perseguiu um único objetivo, mas sim explorou continuamente diversos interesses. A conversa com Kelly levou a uma reavaliação da definição de 'sucesso', questionando a obsessão da indústria de tecnologia com foco singular e busca implacável, buscando em última análise um estilo de trabalho que combine ambição com alegria.

Leia mais
(joincolossus.com)
Startup

Zig 0.13.0 Lançado: Uma Linguagem de Programação Geral Focada em Robustez e Otimização

2025-02-05
Zig 0.13.0 Lançado: Uma Linguagem de Programação Geral Focada em Robustez e Otimização

O Zig 0.13.0 foi lançado, uma linguagem de programação e cadeia de ferramentas de uso geral projetada para construir softwares robustos, otimizados e reutilizáveis. Embora esteja atualmente instável, o foco do Zig em conceitos de programação de baixo nível o torna uma opção atraente para programadores experientes. Experiência prévia com linguagens como C, C++, Rust ou Go será útil.

Leia mais
(zig.guide)
Desenvolvimento programação de baixo nível

Rams: Um documentário que reflete sobre o consumismo e o futuro do design

2025-05-02
Rams: Um documentário que reflete sobre o consumismo e o futuro do design

O documentário *Rams* apresenta um retrato íntimo de Dieter Rams, um designer altamente influente, explorando temas de consumismo, sustentabilidade e o futuro do design. Os designs de Rams para Braun e Vitsoe tocaram milhões, e seus "Dez princípios para um bom design" permanecem altamente relevantes. No entanto, aos 86 anos, Rams reflete sobre sua carreira com algum arrependimento, lamentando a superabundância de produtos desnecessários e a natureza insustentável do consumo moderno. O filme transcende o design, levando à reflexão sobre a vida minimalista e a necessidade de organizar nossas vidas.

Leia mais
(www.hustwit.com)
Design Consumismo

Inko: Uma Nova Linguagem para Construção de Software Concorrente Confiável

2025-03-27
Inko: Uma Nova Linguagem para Construção de Software Concorrente Confiável

Inko é uma nova linguagem de programação projetada para construir software concorrente com confiança. Simplifica o desenvolvimento de software concorrente oferecendo gerenciamento automático de memória determinístico, semântica de movimento, tipagem estática, concorrência segura para tipos e tratamento eficiente de erros, eliminando desempenho imprevisível, erros de tempo de execução e condições de corrida. Inko compila para código de máquina LLVM. Exemplos mostram um simples "Olá, mundo!" e um cálculo fatorial concorrente. Visite o site da Inko para obter mais informações e instruções de instalação.

Leia mais
(github.com)
Desenvolvimento
1 2 … 257 258 259 261 263 264 265 … 595 596