A Sony publicou relatórios relativos ao exercício financeiro, que terminou em 31 de março de 2019. Com base nos dados apresentados, podemos concluir que apesar de um ligeiro abrandamento nas vendas de hardware PlayStation4, a consola em si continua a vender a um ritmo impressionante. Atualmente, 96,8 milhões de cópias do PS4 foram vendidas em todo o mundo, o que significa o total […]
Um dos maiores desenvolvedores russos, o centro científico e técnico "Módulo", chegou à navegação. Até agora, os ativos do centro incluíam controladores e microprocessadores para uma ampla gama de finalidades. A nova área de atuação ampliará a experiência e a oferta dos desenvolvedores russos. Em particular, a Modul vai entrar no mercado de dispositivos de navegação de alta precisão, esperando ocupar 2024-15% deste mercado na Rússia até 18, […]
No relatório anual, que apareceu pela primeira vez no site da Intel em fevereiro deste ano, a empresa, por razões não totalmente óbvias, chama a solução gráfica discreta que está sendo desenvolvida de “a primeira em sua história”, embora especialistas em desenvolvimento da indústria possam lembrar que a Intel tentou a sorte com placas de vídeo discretas em meados dos anos noventa do século passado. Essencialmente, desenvolver uma solução gráfica discreta [...]
A Microsoft anunciou certa vez que usaria cerca de 7 GB de espaço no disco rígido do usuário para armazenar arquivos de atualização. A vantagem dessa abordagem é que ela garantirá que você não fique sem espaço no meio de uma atualização. A desvantagem é banal - simplesmente não há espaço suficiente em tablets e laptops baratos. Se anteriormente o requisito mínimo […]
Na minha opinião, no sector da Internet de língua russa, o tema da verificação formal não é suficientemente coberto e faltam especialmente exemplos simples e claros. Darei um exemplo de fonte estrangeira e acrescentarei minha própria solução ao conhecido problema de cruzar um lobo, uma cabra e um repolho para o outro lado do rio. Mas primeiro, descreverei brevemente o que é a verificação formal e por que [...]
A verificação formal é a verificação de um programa ou algoritmo usando outro. Este é um dos métodos mais poderosos que permite encontrar todas as vulnerabilidades de um programa ou provar que elas não existem. Uma descrição mais detalhada da verificação formal pode ser vista no exemplo de solução do problema do Lobo, da Cabra e do Repolho em meu artigo anterior. Neste artigo eu […]
Neste artigo vou te contar como usar pinba com clickhouse e grafana em vez de pinba_engine e pinboard. Em um projeto PHP, pinba talvez seja a única maneira confiável de entender o que está acontecendo com o desempenho. É verdade que o pinba geralmente é implementado apenas quando os problemas já são observados e não está claro “onde cavar”. Muitas vezes ninguém tem ideia de quantas vezes por segundo/minuto […]
Esta é uma pequena história da prática real, quando um pequeno problema, bem disfarçado pela tolerância a falhas, se transforma em dor de cabeça. Disposição pequena: Uma filial pequena, possui seu próprio PBX (asterisco + FreePBX) baseado em hardware de desktop e o mesmo servidor de terminal local com 1C, um dump de arquivo e um controlador de domínio RO virtual. A Internet distribui Mikrotik. O galho é pequeno, dá para eles. Tudo comecou […]
Este é o segundo de uma série de resumos semanais sobre tecnologia, pessoas e como elas influenciam umas às outras. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) sobre como criar um crescimento harmonioso de produtos em uma startup. Ideias interessantes, estatísticas e exemplos das melhores empresas de tecnologia em seus setores. Um livro eletrônico de 19 páginas, leitura recomendada para qualquer […]
O Projeto TrueOS anunciou testes de compilações experimentais do FreeBSD 12-STABLE e FreeBSD 13-CURRENT, que transformam o sistema base monolítico em um conjunto de pacotes interconectados. As compilações são desenvolvidas dentro do projeto pkgbase, que fornece ferramentas para usar o gerenciador de pacotes nativo pkg para gerenciar os pacotes que compõem o sistema base. A entrega na forma de pacotes separados permite simplificar significativamente o processo de atualização do básico […]
Uma fotografia do navio do famoso explorador Ernest Shackleton, que estudou a Antártica, apareceu na página oficial do Twitter da Blue Origin. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 de abril de 2019 A foto tem a legenda com a data 9 de maio e não há descrição, então só podemos adivinhar como a nave de expedição de Shackleton está conectada ao espaço de Jeff empresa Bezos. Pode-se presumir [...]
A Apache Foundation anunciou que concluiu o trabalho de integração de sua infraestrutura com GitHub e de migração de todos os seus serviços git para GitHub. Inicialmente, foram oferecidos dois sistemas de controle de versão para o desenvolvimento de projetos Apache: o sistema centralizado de controle de versão Subversion e o sistema descentralizado Git. Desde 2014, foram lançados espelhos dos repositórios Apache no GitHub, disponíveis em modo somente leitura. Agora […]
