저자 : 프로호스터

소니, 플레이스테이션 5 출시까지 PS100 콘솔 4억대 이상 판매

소니는 31년 2019월 4일에 종료된 회계연도 보고서를 발표했습니다. 제시된 데이터를 바탕으로 PlayStation96,8 하드웨어 판매가 약간 둔화되었음에도 불구하고 콘솔 자체는 여전히 인상적인 속도로 판매되고 있다는 결론을 내릴 수 있습니다. 현재 PS4는 전 세계적으로 XNUMX만 장이 판매되었습니다. 이는 총 […]

과학 기술 센터 "모듈"은 고정밀 내비게이션용 수신기를 선보였습니다.

러시아 최대 개발자 중 하나인 과학 기술 센터인 "모듈"이 탐색에 참여했습니다. 지금까지 센터의 자산에는 다양한 목적을 위한 컨트롤러와 마이크로프로세서가 포함되었습니다. 새로운 활동 영역은 러시아 개발자의 경험과 제안을 확장할 것입니다. 특히 모둘은 고정밀 내비게이션 기기 시장에 진출해 2024년까지 러시아 이 시장의 15~18%를 점유할 것으로 기대하고 있다.

미래의 Intel 비디오 카드는 통합 그래픽 아키텍처로 통합될 것입니다.

올해 XNUMX월 인텔 웹사이트에 처음 등장한 연례 보고서에서 회사는 완전히 명확하지는 않지만 개발 중인 개별 그래픽 솔루션을 "역사상 최초"라고 부릅니다. 업계 개발 전문가는 인텔이 다음과 같이 기억할 수도 있습니다. 지난 세기의 XNUMX년대 중반에 별도의 비디오 카드로 행운을 시험해 보았습니다. 본질적으로, 개별 그래픽 솔루션을 개발하는 것은 […]

Windows 10은 최소 32GB까지 "뚱뚱해집니다"

Microsoft는 업데이트 파일을 저장하기 위해 사용자 하드 드라이브의 약 7GB 공간을 사용할 것이라고 발표한 적이 있습니다. 이 접근 방식의 이점은 업데이트 중에 공간이 부족해지는 것을 방지할 수 있다는 것입니다. 단점은 진부하다는 것입니다. 저렴한 태블릿과 노트북에는 공간이 충분하지 않습니다. 이전에 최소 요구 사항이 […]

늑대, 염소, 양배추 문제의 예를 이용한 형식적 검증

제 생각에는 인터넷의 러시아어 부문에서는 공식 검증 주제가 충분히 다루어지지 않았고 특히 간단하고 명확한 예가 부족합니다. 나는 외국 자료의 예를 제시하고 늑대, 염소, 양배추를 강 반대편으로 건너는 잘 알려진 문제에 대한 나만의 해결책을 추가하겠습니다. 하지만 먼저 형식검증이 무엇인지, 왜 그런지 간략하게 설명드리겠습니다. [...]

처음부터 공식 검증 시스템을 만듭니다. 1부: PHP 및 Python의 문자 가상 머신

공식 검증은 다른 프로그램이나 알고리즘을 사용하여 검증하는 것입니다. 이는 프로그램의 모든 취약점을 찾거나 존재하지 않음을 증명할 수 있는 가장 강력한 방법 중 하나입니다. 형식 검증에 대한 자세한 설명은 이전 기사의 늑대, 염소, 양배추 문제를 해결하는 예에서 볼 수 있습니다. 이 기사에서 나는 […]

PHP 스크립트의 실시간 통계 및 모니터링. ClickHouse와 Grafana가 Pinba의 도움을 받았습니다.

이 기사에서는 pinba_engine 및 pinboard 대신 clickhouse 및 grafana와 함께 pinba를 사용하는 방법을 설명합니다. PHP 프로젝트에서 pinba는 아마도 성능에 어떤 일이 일어나고 있는지 이해할 수 있는 유일하고 신뢰할 수 있는 방법일 것입니다. 사실, pinba는 일반적으로 문제가 이미 관찰되고 "파악할 위치"가 명확하지 않은 경우에만 구현됩니다. 종종 초당 몇 회/분인지 아는 사람이 아무도 없습니다 [...]

엉뚱한 곳에서 문제를 찾는다

이것은 내결함성으로 잘 위장된 작은 문제가 골칫거리로 변하는 실제 사례의 짧은 이야기입니다. 소규모 배치: 소규모 지점에는 데스크톱 하드웨어를 기반으로 하는 자체 PBX(별표 + FreePBX)와 1C가 있는 동일한 로컬 터미널 서버, 파일 덤프 및 가상 RO 도메인 컨트롤러가 있습니다. 인터넷은 Mikrotik을 배포합니다. 가지가 작아서 그것으로 충분합니다. 그것은 모든 시작 […]

"참고하세요" #2: 제품 사고, 행동 심리학 및 개인 생산성에 관한 기사 요약

이것은 기술, 사람, 그리고 이들이 서로 어떻게 영향을 미치는지에 대한 주간 요약 시리즈 중 두 번째입니다. Andy Jones(전 Wealthfront, Facebook, Twitter, Quora)가 스타트업에서 조화로운 제품 성장을 창출하는 방법에 대해 설명합니다. 해당 업계 최고의 기술 회사가 제공하는 멋진 아이디어, 통계 및 사례입니다. 누구에게나 추천하는 19페이지 분량의 전자책 […]

FreeBSD 기본 시스템의 패키지 분할 테스트

TrueOS 프로젝트는 모놀리식 기본 시스템을 상호 연결된 패키지 세트로 변환하는 FreeBSD 12-STABLE 및 FreeBSD 13-CURRENT의 실험적 빌드 테스트를 발표했습니다. 빌드는 기본 pkg 패키지 관리자를 사용하여 기본 시스템을 구성하는 패키지를 관리하기 위한 도구를 제공하는 pkgbase 프로젝트의 일부로 개발됩니다. 별도의 패키지 형태로 제공되면 기본 [...] 업데이트 프로세스를 크게 단순화할 수 있습니다.

Blue Origin은 Shackleton 선박의 신비한 사진을 트윗했습니다.

남극을 연구하던 유명한 탐험가 어니스트 섀클턴의 배 사진이 블루오리진 공식 트위터 페이지에 게재됐다. 5.9.19 pic.twitter.com/BzvwCsDM2T — 블루 오리진(@blueorigin) 26년 2019월 9일 사진 캡션에는 날짜가 XNUMX월 XNUMX일로 적혀 있고 설명이 없어 섀클턴의 탐험선이 제프의 우주와 어떻게 연결되어 있는지 짐작만 할 뿐입니다. 회사 베조스. 그것은 추측될 수 있다 [...]

Apache Foundation은 Git 저장소를 GitHub로 옮겼습니다.

Apache Foundation은 인프라를 GitHub와 통합하고 모든 Git 서비스를 GitHub로 마이그레이션하는 작업을 완료했다고 발표했습니다. 처음에는 Apache 프로젝트 개발을 위해 중앙 집중식 버전 제어 시스템인 Subversion과 분산형 시스템 Git이라는 두 가지 버전 제어 시스템이 제공되었습니다. 2014년부터 읽기 전용 모드로 사용할 수 있는 Apache 리포지토리 미러가 GitHub에서 출시되었습니다. 지금 […]