InfoQ ホームページ ニュース
-
ZetZ、形式的検証機能を備えたCのダイアレクト
ZetZ、略してZZは、RustにインスパイアされたCのダイアレクト(diarect, 方言)だ。コンパイル時に仮想マシン内でシンボリック実行することによって、コードの形式的検証を行う。作者でメンテナのAvid Picciani氏に話を聞いた。
-
Google独自のC/C++用メモリアロケータTCMallocがオープンソースとして公開へ
GoogleのTCMallocをCおよびC++の既定のメモリアロケータの置き換えとして使用することで、大規模プログラムでの効率の向上や並列性サポートの改善が実現する、とGoogleは述べている。
-
Microsoft、Azure App Configurationを一般向けにリリース
Azure App Configurationは、アプリケーションのコンフィギュレーションと機能設定をセキュアかつ分かりやすい方法で集中管理する、Microsoftクラウドプラットフォームの新サービスである。先日のMicrosoft Azureのアップデートで同社は、このサービスの一般供与を開始すると発表した。
-
最新のNLPシステムを欺くMIT CSAILのTextFoolerフレームワーク
MIT Computer Science & Artiftial Intelligence Lab(CSAIL)の研究者チームが先頃、最先端のNLPモデル(BERTなど)を騙して誤った推論をさせることの可能な、TextFoolerというフレームワークをリリースした。
-
GitHub Actions APIがパブリックベータ版としてリリース
GitHubは、Actions APIのパブリックベータ版のリリースを発表した。Actions APIを使えば、REST APIを通じてGitHub Actionsを管理することができる。APIの公開するエンドポイントで、アーティファクト、シークレット、ランナー、ワークフローの管理が可能だ。
-
Jetstackが複数のKubernetesクラスタにグローバルロードバランサをセットアップした方法
Jetstackのエンジニアリングチームは、複数のGoogle Kubernetes Engine(GKE)クラスタを対象として、Google独自のコンテナネイティブなロードバランシングと、DDoS防御にGoogle Cloud Armorを使用した、グローバルロードバランサのセットアップについて講演した。
-
リモートワークの普及とビジネス継続性の実現
Buffer.com and AngelListは先頃、2020 State of Remote Workの調査結果を公開した。この調査は、中国で唐突に発生したリモートワークブームを調査したWall Street Journalのレポートと同時期に行われたものだ。COVID-19ウィルスを原因とする移動制限への対応としてのリモートワークは、Alibabaなどの企業にとってビジネス継続性を実現する手段となっている。
-
SpotifyがKubeflow MLパイプライン用のTerraformモジュールをオープンソースとして公開
Spotifyは、マシンラーニングパイプラインソフトウェアのKubeflowをGoogle Kubernetes Engine(GKE)上で実行する、自社製のTerraformモジュールをオープンソースとして公開した。社内MLプラットフォームをKubeflowに切り替えることにより、運用投入までの時間を短縮すると同時に、従来のプラットフォームに比較して7倍の試験を実施できるようになった。
-
Splice Machine Data Platform 3.0がKubernetesマネージドサービスと新たなML Managerをサポート
分散型SQLデータプラットフォームSplice Machineの最新バージョンでは、Kubernetesで管理される新形式のサービス、Machine Learning Managerの新バージョン(v2.0)、インデータベースモデルの自動デプロイメントがサポートされている。
-
eBayのUIテスト自動化を支えるFlutter Golden Tests
UIテストを自動化して、アプリケーションの視覚的外観がすべてのサポート対象のデバイスやフォームファクタ上で適切であることを保証するというのは、一般的に困難な作業である。この作業の簡略化に、Flutter golden testsが一役買ってくれるかも知れない。MotorsアプリのUIスクリーンショットテストに対するeBayのアプローチがそれを示している。
-
Facebook Researchが音源分離用のAIシステムを開発
Facebook Researchは先頃、ディープラーニングを採用した音源分離(music source separation)システムのDemucsをリリースした。Demucsは、人による評価を基準とした分離後の音楽の品質において、これまでに報告されているものを上回っている。
-
GraalVM 20.0: TomcatがWindowsのネイティブイメージとして実行可能に
JavaやPython、JavaSciptなど、複数言語で記述されたアプリケーション実行のための共有ランタイムを提供する多言語仮想マシンのGraalVMが、Windowsプラットフォームをフルサポートしたメジャーバージョン20.0をリリースした。関連するニュースとして、Apache Tomcat 9が、コンテナを含むGraalVMのネイティブイメージ生成のフルサポートを発表している。
-
TornadoVM: GPUおよびFPGA上でJavaを実行する - Juan Fumero博士のQCon Londonでの講演より
Juan Fumero博士はQCon Londonで、TornadoVMについて講演した。TornadoVMは、GPU(Graphic Processing Unit)やFPGA(Field Programmable Gate Array)を含む異種ハードウェア上でJavaを実行する、OpenJDKおよびGraalVM用のプラグインである。講演中のデモでは、GPU上でコードを実行することによって、CPUに対して数百倍スピードアップすることを示してみせた。
-
BrandwatchのマルチクラウドKubernetesクラスタ管理
Brandwatchのエンジニアリングチームが、EKS、GKE、自社クラスタで構成されるマルチクラスタKuberenetsを管理した自らの経験について記事を書いた。
-