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

Governo do Reino Unido x Apple: Uma Batalha de Criptografia de Dez Anos

2025-07-22
Governo do Reino Unido x Apple: Uma Batalha de Criptografia de Dez Anos

A exigência do governo do Reino Unido para que a Apple forneça acesso privilegiado a dados criptografados acendeu a batalha mais notória sobre criptografia na indústria de tecnologia em quase uma década. A recusa da Apple levou à retirada de seu serviço de armazenamento em nuvem mais seguro do Reino Unido e a um desafio legal no Tribunal de Poderes Investigativos. A disputa envolveu o governo dos EUA, com preocupações levantadas pelo vice-presidente, o ex-presidente Trump e o diretor de inteligência nacional sobre liberdade de expressão, privacidade e possíveis violações de acordos de dados. A batalha legal em andamento lança uma sombra sobre a futura legislação de IA do Reino Unido.

Leia mais
(arstechnica.com)
Tecnologia

Qwen3-235B-A22B-Thinking-2507: Uma atualização significativa para modelos de raciocínio de código aberto

2025-07-25
Qwen3-235B-A22B-Thinking-2507: Uma atualização significativa para modelos de raciocínio de código aberto

O Qwen3-235B-A22B-Thinking-2507 representa uma atualização significativa para modelos de linguagem grandes de código aberto, com avanços inovadores em capacidades de raciocínio. Ele atinge resultados de ponta em raciocínio lógico, matemática, ciência, codificação e benchmarks acadêmicos, demonstrando desempenho superior em várias tarefas complexas. O modelo também exibe capacidades gerais aprimoradas, como seguir instruções, usar ferramentas, gerar texto e alinhamento com preferências humanas, além de compreensão aprimorada de contexto longo de 256K. Fundamentalmente, esta versão opera no 'modo de pensamento' por padrão e é altamente recomendada para tarefas de raciocínio complexas.

Leia mais
(huggingface.co)
IA Capacidades de Raciocínio

Insano! Piloto de Wingsuit se Engata em um Avião no Ar

2025-02-09
Insano! Piloto de Wingsuit se Engata em um Avião no Ar

O piloto alemão de wingsuit Max Manow realizou a primeira manobra mundial de engate em avião no ar. Ele saltou de um helicóptero, voou pelo Hell Hole Bend no Grand Canyon do Arizona, e se agarrou a uma Cessna modificada pilotada pelo piloto acrobático Luke Aikins, sendo rebocado para cima antes de pousar com segurança. Essa façanha incrível exigiu cálculos precisos e habilidade imensa, mostrando as possibilidades ilimitadas dos esportes radicais. Manow chama isso de início do 'paraquedismo sem fim', abrindo novas vias para o voo de wingsuit.

Leia mais
(newatlas.com)
Diversos esportes radicais voo de wingsuit manobra

OpenAI lança Codex CLI: agente de codificação em IA local

2025-04-16
OpenAI lança Codex CLI: agente de codificação em IA local

A OpenAI lançou o Codex CLI, um agente de codificação local que roda a partir do seu terminal. Conectando os modelos da OpenAI (incluindo os novos o3 e o4-mini) a código local e tarefas, o Codex CLI permite que a IA escreva, edite código e execute ações como mover arquivos. Isso representa um passo em direção à visão da OpenAI de um 'engenheiro de software agente'. De código aberto e leve, o Codex CLI é apoiado por um programa de concessão de API de US$ 1 milhão para projetos de desenvolvimento de software. Embora as ferramentas de codificação de IA apresentem riscos inerentes, o Codex CLI oferece uma nova abordagem para programação assistida por IA.

Leia mais
(techcrunch.com)
Desenvolvimento codificação em IA

text-wrap: pretty do Safari: Uma Nova Era na Tipografia Web

2025-04-08
text-wrap: pretty do Safari: Uma Nova Era na Tipografia Web

O Safari Technology Preview 216 apresenta `text-wrap: pretty`, revolucionando o layout de texto na web. Usando algoritmos baseados em parágrafos, ele aborda problemas tipográficos de longa data, como linhas finais excessivamente curtas, bordas irregulares e rios tipográficos que distraem. Ao contrário dos algoritmos tradicionais linha por linha, `pretty` avalia todo o parágrafo, otimizando o layout para melhor legibilidade e estética. Embora o Chrome e outros navegadores suportem `pretty`, a implementação do Safari é mais abrangente, ajustando todo o parágrafo em vez de apenas as últimas linhas. `text-wrap: balance` concentra-se em tornar todas as linhas aproximadamente do mesmo comprimento, ideal para títulos e textos mais curtos. Os desenvolvedores devem escolher o valor `text-wrap` apropriado de acordo com suas necessidades e estar cientes das implicações de desempenho.

Leia mais
(webkit.org)
Desenvolvimento tipografia web

Novo malware 'OtterCookie' usado para atacar desenvolvedores em ofertas de emprego falsas

2024-12-29
Novo malware 'OtterCookie' usado para atacar desenvolvedores em ofertas de emprego falsas

Empresas de segurança cibernética descobriram um novo malware, o OtterCookie, usado na campanha 'Contagious Interview' por atores de ameaças da Coreia do Norte. Esta campanha atrai desenvolvedores de software com ofertas de emprego falsas contendo malware, incluindo OtterCookie e malwares previamente vistos como BeaverTail. O OtterCookie é entregue através de projetos Node.js ou pacotes npm, estabelecendo comunicação com um servidor de comando e controle via Socket.IO. Ele rouba dados sensíveis, como chaves de carteiras de criptomoedas, documentos e imagens, e realiza reconhecimento no sistema infectado. Os especialistas advertem os desenvolvedores para verificar cuidadosamente as ofertas de emprego e evitar executar códigos não confiáveis.

Leia mais
(www.bleepingcomputer.com)
Tecnologia

CEO da Netflix: YouTube é um campo de treinamento, venha para a Netflix para monetização e redução de riscos

2025-03-31
CEO da Netflix: YouTube é um campo de treinamento, venha para a Netflix para monetização e redução de riscos

O CEO da Netflix, Ted Sarandos, comentou recentemente sobre o relacionamento entre o YouTube e a Netflix. Ele vê o YouTube como uma plataforma para criadores aprimorarem suas habilidades e desenvolverem ideias, mas sem suporte financeiro. A Netflix, por outro lado, oferece financiamento, reduz o risco para os criadores e oferece melhores meios de monetização. Ele destacou criadores que produzem conteúdo de alta qualidade no YouTube sem receber compensação, convidando-os a ingressar na Netflix para receber pagamento e reduzir riscos.

Leia mais
(www.semafor.com)
Startup Criação de conteúdo

Programa Go: Converte Relatório de Auditoria de Segurança JSON para Markdown

2025-03-23
Programa Go: Converte Relatório de Auditoria de Segurança JSON para Markdown

Um programa Go simples que converte `security-audit.json` em `security-audit.md` para uso em pipelines de CI. Um exemplo de relatório é fornecido, juntamente com exemplos de integração de CI (`dependency-audit.yml` e `dependency-audit-only-when-detected.yml`), este último criando um problema no GitHub apenas se vulnerabilidades forem detectadas. O programa permite a personalização dos caminhos dos arquivos de entrada e saída e oferece a opção de falhar se nenhuma vulnerabilidade for encontrada.

Leia mais
(github.com)
Desenvolvimento Auditoria de Segurança

Líderes populistas autoritários: ameaça ou remédio para a democracia?

2025-09-01

Este artigo investiga a relação entre atitudes populistas e o apoio a líderes autoritários. Argumenta-se que as atitudes populistas não são monolíticas, mas sim englobam formas distintas: populismo anti-establishment e populismo autoritário. Enquanto o primeiro favorece uma democracia mais direta, o segundo inclina-se para a liderança de um homem forte, mesmo à custa das instituições democráticas e da estabilidade econômica. Ao analisar dados de pesquisas de nove países, o estudo conclui que, na maioria dos casos, o apoio a líderes populistas deriva principalmente de atitudes populistas autoritárias, e não anti-establishment. Isso sugere que o apelo dos líderes populistas reside não em ideais democráticos, mas no fascínio pelo governo autoritário.

Leia mais
(www.frontiersin.org)
Diversos liderança autoritária

Robôs de Tênis de Mesa do DeepMind: Uma Partida Infinita para um Futuro Mais Inteligente

2025-07-26
Robôs de Tênis de Mesa do DeepMind: Uma Partida Infinita para um Futuro Mais Inteligente

O Google DeepMind treinou dois robôs para jogar uma partida infinita de tênis de mesa, a fim de melhorar a IA de propósito geral. O objetivo não é uma pontuação final, mas sim o aprendizado contínuo e a melhoria da estratégia por meio da competição. Os robôs atingiram um nível comparável ao de jogadores humanos amadores, obtendo uma taxa de vitória de 50/50 contra jogadores de nível intermediário. Os pesquisadores esperam que isso desencadeie uma revolução na robótica, criando robôs que podem interagir de forma segura e eficaz com humanos no mundo real, semelhante ao impacto do ChatGPT em modelos de linguagem.

Leia mais
(www.popsci.com)
IA

Além de Bancos de Dados Vetoriais: Processamento Eficiente de Embeddings de Texto com Parquet e Polars

2025-02-24
Além de Bancos de Dados Vetoriais: Processamento Eficiente de Embeddings de Texto com Parquet e Polars

Este artigo apresenta um método para processamento eficiente de embeddings de texto sem depender de bancos de dados vetoriais. O autor usa arquivos Parquet para armazenar dados tabulares contendo embeddings de cartas de Magic: The Gathering e seus metadados, e utiliza a biblioteca Polars para busca de similaridade rápida e filtragem de dados. O recurso de cópia zero do Polars e o excelente suporte para dados aninhados tornam essa abordagem mais rápida e eficiente do que os métodos tradicionais de CSV ou Pickle, mantendo alto desempenho mesmo ao filtrar o conjunto de dados. O autor compara outros métodos de armazenamento, como CSV, Pickle e NumPy, concluindo que Parquet combinado com Polars é a escolha ideal para lidar com embeddings de texto de tamanho médio, sendo bancos de dados vetoriais necessários apenas para conjuntos de dados extremamente grandes.

Leia mais
(minimaxir.com)
Desenvolvimento embeddings de texto

BlackSheep: Framework Web ASGI rápido e leve para Python

2024-12-18
BlackSheep: Framework Web ASGI rápido e leve para Python

BlackSheep é um framework web ASGI assíncrono e rápido para Python, inspirado em Flask, ASP.NET Core e no trabalho de Yury Selivanov. Ele oferece um CLI para inicialização rápida de projetos, suporte para vinculação automática, injeção de dependências, geração de documentação OpenAPI e várias estratégias de autenticação e autorização. BlackSheep possui ampla compatibilidade com plataformas e tempos de execução e inclui recursos como middleware, WebSocket, SSE, serviço de arquivos estáticos e integração com Jinja2, tornando-o ideal para construir aplicativos web de alto desempenho.

Leia mais
(github.com)
Desenvolvimento Framework Web Assíncrono

OpenFLOW: Ferramenta de Diagramação Isométrica de Código Aberto

2025-07-01
OpenFLOW: Ferramenta de Diagramação Isométrica de Código Aberto

OpenFLOW é um aplicativo web progressivo (PWA) poderoso e de código aberto para criar diagramas isométricos impressionantes. Construído com React e Isoflow, ele oferece suporte offline e recursos como arrastar e soltar componentes, conectores, opções de personalização e importação/exportação JSON. O recurso de salvar automaticamente, desfazer e suporte para vários navegadores aprimoram a usabilidade. Observe que o HTTPS é necessário para recursos PWA e o armazenamento do navegador é limitado; a exportação regular de diagramas é recomendada.

Leia mais
(github.com)
Design diagramação isométrica

O Mais Jovem Diretor de Arte da Austrália: A Criação de Bluey

2025-08-04
O Mais Jovem Diretor de Arte da Austrália: A Criação de Bluey

Em 2017, o autor retornou ao Ludo Studio, trabalhando em vários projetos de animação 2D. Ele foi então convidado a ser o diretor de arte para o programa infantil, Bluey, tornando-se o mais jovem diretor de arte da Austrália para uma série animada. O amor do diretor por Brisbane alimentou o desejo de mostrar a beleza única da cidade na animação. As fases iniciais de design combinaram a paisagem deslumbrante de Brisbane com princípios fundamentais de design de animação, criando, em última análise, o aclamado programa.

Leia mais
(www.itsnicethat.com)
Design produção de animação direção de arte

A Revolução da IA na Engenharia de Software

2025-02-15

Modelos de linguagem grandes (LLMs) estão rapidamente melhorando sua capacidade de escrever código, levando à exploração de engenheiros de software puramente de IA. A curto prazo, os engenheiros de software devem aprender IA, melhorar seu status e alavancar ferramentas de IA. A médio prazo, a experiência em manter e melhorar grandes bases de código legadas se tornará cada vez mais valiosa, pois os LLMs ainda lutam com projetos complexos, difíceis de verificar e que envolvem quantidades massivas de código. A longo prazo, a competência central dos engenheiros de software mudará para responsabilização e confiabilidade — qualidades que os LLMs acham difíceis de replicar. Em última análise, os engenheiros que podem supervisionar sistemas de IA e garantir a confiabilidade de suas saídas serão os últimos a ir.

Leia mais
(www.seangoedecke.com)
Desenvolvimento

Equipe DOGE de Musk: Hacker de 19 anos e violação massiva de dados governamentais

2025-02-09

A Wired revelou que um jovem de 19 anos trabalhando para o chamado "Departamento de Eficiência Governamental" (DOGE) de Elon Musk obteve acesso a sistemas governamentais sensíveis dos EUA, apesar de sua associação passada com comunidades de cibercrime. Este adolescente, ex-membro de 'The Com', uma rede de cibercriminosos distribuída, gerou sérias preocupações. Desde a segunda posse de Trump, a DOGE acessou grandes quantidades de dados confidenciais, controlando bancos de dados do Tesouro, OPM e outros departamentos. O jovem de 19 anos, Edward Coristine, conhecido online como "Big Balls", fundou a Tesla.Sexy LLC e administra o provedor de internet Packetware, com ligações ao cibercrime. Suas ações passadas são incompatíveis com os padrões de segurança de autorização do governo, levando a riscos significativos de segurança e ações judiciais generalizadas.

Leia mais
(krebsonsecurity.com)
Tecnologia fiscalização governamental

Hack de Verão com IA: Um VC constrói um banco de dados do zero

2025-09-02
Hack de Verão com IA: Um VC constrói um banco de dados do zero

Um capitalista de risco usou suas férias de verão para construir uma plataforma de banco de dados usando ferramentas de IA. Começando do zero, ele utilizou LLMs, bots do Telegram e várias APIs (Supabase, Orq.ai, etc.) para criar um sistema de agregação de informações e extração de insights. Ele até usou IA para design de interface de usuário. Apesar dos desafios com dívida técnica e limitações de IA, ele construiu com sucesso um protótipo funcional, ganhando experiência valiosa no processo. O projeto tinha como objetivo melhorar a eficiência, a personalização e a colaboração em sua empresa.

Leia mais
(kevinkuipers.substack.com)
Startup Tecnologia VC

PurrCrypt: Criptografe seus segredos com miados e latidos!

2025-03-09
PurrCrypt: Criptografe seus segredos com miados e latidos!

PurrCrypt é uma ferramenta de criptografia que usa criptografia de curva elíptica para transformar suas mensagens secretas em adoráveis miados e latidos de cães. Fácil de instalar e usar via linha de comando, oferece modos de 'gato' e 'cão'. Embora as mensagens criptografadas pareçam sons de animais sem sentido, elas contêm dados criptograficamente seguros, descriptografáveis apenas com as chaves corretas. Aproveitando os mesmos algoritmos do Bitcoin e incorporando esteganografia, PurrCrypt esconde o fato de que você está enviando dados criptografados, tornando-o surpreendentemente seguro e divertido.

Leia mais
(github.com)
Desenvolvimento

NVIDIA RIVA 128: Da quase falência ao domínio da GPU

2025-02-27
NVIDIA RIVA 128: Da quase falência ao domínio da GPU

Este é o primeiro de uma série de posts detalhando a arquitetura do primeiro produto comercialmente bem-sucedido da NVIDIA, a placa gráfica RIVA 128. O autor relata as dificuldades iniciais da NVIDIA, incluindo as falhas dos chips NV1 e NV2, e a corrida desesperada contra a falência para desenvolver a RIVA 128. O sucesso da RIVA 128 catapultou a NVIDIA para sua posição atual como uma força dominante em IA e GPUs. A postagem fornece um mergulho profundo na arquitetura da RIVA 128, cobrindo seu mapeamento de memória, sistema de interrupção, mecanismo DMA e sistema de objetos, revelando a complexidade e a engenhosidade dessa GPU icônica.

Leia mais
(86box.net)
Tecnologia

Jargonic: Modelo ASR revolucionário para fala específica do setor

2025-04-01
Jargonic: Modelo ASR revolucionário para fala específica do setor

A aiOla lançou o Jargonic, um modelo revolucionário de Reconhecimento Automático de Fala (ASR) que aborda as limitações dos modelos ASR existentes no tratamento de jargões do setor, ambientes ruidosos e adaptabilidade em tempo real. O Jargonic utiliza adaptação de domínio avançada, detecção de palavras-chave contextuais em tempo real e aprendizado de zero-shot para lidar com a linguagem específica do setor sem necessidade de treinos adicionais. Seu mecanismo exclusivo de detecção de palavras-chave combinado com o mecanismo ASR melhora significativamente a precisão da transcrição, especialmente para áudios contendo terminologia especializada. Além disso, o Jargonic possui recursos robustos de tratamento de ruído, mantendo alto desempenho em vários idiomas e ambientes industriais ruidosos. Testes de referência mostram que ele supera concorrentes como o OpenAI Whisper.

Leia mais
(aiola.ai)
IA Reconhecimento de Fala

O Bilionário Recluso por Trás da Tether: Uma Batalha no Mundo Cripto

2025-03-04
O Bilionário Recluso por Trás da Tether: Uma Batalha no Mundo Cripto

Giancarlo Devasini, um dos mais novos bilionários do mundo, leva uma vida reclusa em Lugano, Suíça. Ele vive modestamente, mas luta ferozmente contra um rival americano que acredita estar tentando destruir seu negócio. Devasini é o principal proprietário da Tether, cujo dólar digital é crucial para a indústria de criptomoedas. A importância da Tether o tornou incrivelmente rico e influente, apoiado por um aliado de Trump.

Leia mais
(www.wsj.com)
Tecnologia Bilionário

Duna vs. Lawrence da Arábia: Uma Análise Comparativa

2025-03-04
Duna vs. Lawrence da Arábia: Uma Análise Comparativa

Este artigo explora as semelhanças e diferenças entre Duna, de Frank Herbert, e Os Sete Pilares da Sabedoria, de T.E. Lawrence. Tanto Paul Atreides quanto Lawrence atuam como estrangeiros que se imersam em culturas desérticas para liderar populações indígenas contra seus opressores. No entanto, contrastes significativos surgem em suas representações dos árabes e fremen, em seu tratamento de mulheres e religião, e em suas respostas emocionais. Lawrence revela profunda auto-dúvida e culpa por suas ações, enquanto Paul demonstra confiança excessiva e uma busca implacável pelo poder. Além disso, Duna apresenta personagens femininas proeminentes e uma rica tapeçaria de temas religiosos, ausentes na narrativa de Lawrence, em grande parte centrada em homens e com pouca ênfase religiosa. Embora Duna se inspire em Os Sete Pilares, ela, em última análise, forja um mundo único e cativante.

Leia mais
(reactormag.com)
Diversos comparação literária Lawrence da Arábia

Você é péssimo em CSS: Uma Resenha do Livro

2025-03-10

O livro 'You Suck At CSS' de Rex Riepe não se trata de evitar CSS, mas sim de dominá-lo de forma eficiente. O livro é direcionado a iniciantes e especialistas, com o objetivo de ajudar desenvolvedores a concluir tarefas de front-end rapidamente, enfatizando a eficiência em equipe. Ele suporta a estrutura California Stylesheets e foca no desenvolvimento web rápido usando tecnologias modernas. O livro também contextualiza o porquê do CSS e seu ecossistema serem como são.

Leia mais
(rexriepe.com)
Desenvolvimento

Plataforma de IA Multiply escapa das restrições de banco de dados com Rama

2025-03-05
Plataforma de IA Multiply escapa das restrições de banco de dados com Rama

Multiply, uma plataforma alimentada por IA para colaboração e cocriação, inicialmente usou Datomic e XTDB, mas enfrentou desafios com a compreensibilidade, gargalos de desempenho e tolerância a falhas. Ao mudar para a plataforma Rama, eles aproveitaram PStates personalizados (estados particionados) para modelagem de dados flexível e consultas eficientes, melhorando drasticamente a velocidade de desenvolvimento e a escalabilidade. A arquitetura de origem de eventos do Rama e a poderosa API de fluxo de dados permitiram que a Multiply implementasse lógica de negócios complexa com código mais limpo, construindo facilmente recursos antes impossíveis. O resultado: uma equipe altamente produtiva apesar do seu pequeno tamanho.

Leia mais
(blog.redplanetlabs.com)
Desenvolvimento

Cook: IA não vai acabar com o iPhone (ainda)

2025-08-02
Cook: IA não vai acabar com o iPhone (ainda)

O CEO da Apple, Tim Cook, minimizou as preocupações de que os avanços em IA irão destronar o iPhone. Durante uma teleconferência de resultados, ele destacou a versatilidade do iPhone — da comunicação e entretenimento à fotografia e gestão financeira — argumentando que sua utilidade multifacetada o torna difícil de substituir. Embora reconhecendo que a Apple está explorando outras tecnologias, Cook sugeriu que dispositivos futuros seriam complementares, não substitutos. No entanto, o lançamento mais lento da IA da Apple deixou os analistas divididos sobre sua vantagem competitiva. Alguns acreditam que o foco da Apple em qualidade sobre velocidade, juntamente com um aumento nos investimentos em P&D em IA, poderia manter sua dominância no mercado premium.

Leia mais
(www.businessinsider.com)
Tecnologia

TraceRoot: Detecção de Erros de Produção 10x Mais Rápida com IA

2025-08-02
TraceRoot: Detecção de Erros de Produção 10x Mais Rápida com IA

TraceRoot é uma plataforma de depuração de código aberto que acelera a resolução de problemas de produção em 10x. Combina rastreios estruturados, logs e contexto de código-fonte com análise alimentada por IA. Construído em uma estrutura de sistema multiagente, permite rastreio e registro em tempo real, utiliza dados estruturados para melhorar o desempenho do agente de IA e integra-se com ferramentas como GitHub e Notion. Uma interface semelhante a um cursor permite que os desenvolvedores selecionem logs e rastreios para análise assistida por IA. Implementável via nuvem (teste gratuito disponível) ou auto-hospedagem.

Leia mais
(github.com)
Desenvolvimento Depuração de IA depuração de código aberto

As Guerras da Compreensão: Escala versus Significado na Era dos LLMs

2025-05-01
As Guerras da Compreensão: Escala versus Significado na Era dos LLMs

À medida que os modelos transformadores superaram os níveis humanos em benchmarks de PNL, um debate irrompeu sobre suas capacidades, culminando nas "guerras da compreensão" de 2020-22. O "teste da polvo" de Bender et al. argumentou que modelos que imitam a linguagem estatisticamente não conseguem captar o significado. A chegada do GPT-3 intensificou o conflito, seu poder chocando pesquisadores enquanto levantava preocupações de segurança e éticas. O debate destacou divergências em metodologia e direção entre a academia e a indústria, levando a uma 'guerra civil' interna no campo da PNL.

Leia mais
(www.quantamagazine.org)
IA

Links em páginas man: O problema não são as páginas, são os leitores

2025-04-09

Queixas comuns sobre páginas man incluem a falta de links entre páginas e o refluxo ao redimensionar a janela. No entanto, o formato mdoc(7) usado pelas páginas man realmente suporta esses recursos, usando macros como `.Xr` e `.Sx` para criar links. O problema reside nos leitores de páginas man (como `man(1)` combinado com `less(1)`), que não implementam essa funcionalidade. Precisamos de leitores de páginas man melhores que suportem nativamente links e refluxo, em vez de simplesmente formatar a página man e passá-la para `less(1)`.

Leia mais
(whynothugo.nl)
Desenvolvimento páginas man leitores de documentos

Sistema de Degelo Geotérmico de Niigata: Uma Solução Inteligente

2025-03-09
Sistema de Degelo Geotérmico de Niigata: Uma Solução Inteligente

Diante de fortes nevascas, Niigata, no Japão, desenvolveu um sistema inteligente de degelo na década de 1960 chamado 'shosetsu'. Este sistema usa calor geotérmico para aquecer água subterrânea, que é então bombeada por canos sob as estradas e pulverizada no asfalto para impedir que a neve congele. Atualmente, Niigata possui aproximadamente 571 quilômetros de estradas equipadas com este sistema, oferecendo uma alternativa mais ecológica e amigável aos veículos em comparação com os métodos tradicionais de salinização.

Leia mais
(www.core77.com)
Tecnologia degelo

Seed7: Uma Linguagem de Programação Geral Extensível

2025-08-03

Seed7 é uma linguagem de programação de propósito geral projetada por Thomas Mertes, superando Ada, C/C++ e Java em seus recursos de alto nível. Ela suporta declarações e operadores definidos pelo usuário, trata tipos como cidadãos de primeira classe e oferece definições elegantes de modelos e genéricos. Combinando conceitos de Pascal, Ada, C, C++ e Java, Seed7 possui recursos orientados a objetos, interfaces, despacho múltiplo, verificação de tipo estático, gerenciamento automático de memória (sem coleta de lixo), tratamento de exceções e depuração de código-fonte. Ela fornece tipos de número inteiro grande e racional, sobrecarga de funções/operadores e um rico conjunto de tipos predefinidos (matrizes, tabelas hash, conjuntos, etc.). Programas Seed7 são altamente portáteis, e ela oferece uma API independente de banco de dados, suportando vários bancos de dados. Seed7 roda em Linux, Unix e Windows; seu interpretador e exemplos são licenciados pela GPL, enquanto a biblioteca de tempo de execução usa a licença LGPL.

Leia mais
(seed7.net)
Desenvolvimento
1 2 … 145 146 147 149 151 152 153 … 595 596