きになるなるなる

オンライン価格設定で面白いと思った結果を紹介します． 「適正価格を二分探索するとそこそこ良い方法になるが， 二分探索に少し手を加えるとさらに良い方法になる」という話です． 出典は R. Kleinberg and T. Leighton (FOCS 2003) の Theorem 2.1 です． この記事自体は Hai…

電気自動車シフトが強調されるなか、その先にある夢の技術である自動運転にもあらためて注目が集まりつつある。しかし、かつて米マサチューセッツ工科大学（MIT）で運輸政策に関する調査チームを率い、現在は自動化が経済発展にもたらすインパクトについて

総務省は、携帯電話端末を自社回線でしか通信できなくする「ＳＩＭロック」について１０月１日から原則禁止する方針を明らかにした。携帯会社を乗り換えしやすくして価格競…

NAT Slipstreaming v2攻撃について。外側からNAT内にアクセスする攻撃で、今回はv1との違いに触れる

NAT Slipstreaming攻撃の紹介。ALG NAT内の攻撃対象に任意ポートでアクセスできるようになる攻撃。

Kalk is a calculator that supports user-defined variables, functions, ambiguous syntax, derivation and integration. It runs on Windows, macOS, Linux, Android, and in web browsers (with WebAssembly).

Wasm powered Jupyter running in the browser. Contribute to jtpio/jupyterlite development by creating an account on GitHub.

The Terraform Provider for Factorio. Contribute to efokschaner/terraform-provider-factorio development by creating an account on GitHub.

Integrate directly with Consent Mode in Tag Manager and Tag Manager 360 to incorporate and manage user consent

QUIC version 1 is officially formalized, and QUIC deployments will now move away from using temporary draft versions to the newly minted version 1.

What if everyone's wrong?

DRAMの1つのアドレスに繰り返しアクセスを行うことで他のアドレスに保存されているデータを改ざんすることができるという脆弱(ぜいじゃく)性を利用した「Rowhammer」攻撃は、チップメーカーによる対策でかなり衰退しましたが、新たに、隣接する行を越えて攻撃が伝播する「Half-Double」と呼ばれる手法があることをGoogleの研究者が発表しました。

A new engine for Durable Functions. https://microsoft.github.io/durabletask-netherite - microsoft/durabletask-netherite

インターネット通販大手アマゾン・ドット・コムの創業者であるジェフ・ベゾス氏は２６日、年次株主総会で、７月５日に最高経営責任者（ＣＥＯ）から退くと発表した。７月５日はアマゾンが創業した日に当たる。

Microsoft researchers open source the first stateful REST API fuzzing tool designed to make cloud services more reliable and secure. Learn how RESTler automatically tests and finds security bugs through their REST APIs. 名前が紛らわしい！

Learn how Coyote can automatically find and reproduce deep concurrency bugs in your code, helping increase the reliability of your service. Coyoteちょっと勘違いしてた。テストツールなのね。

This project proposes to definitively solve the problem of a brittle HTTPS ecosystem by constructing a more secure, high performance, standards-compliant, verified implementation of the full HTTPS ecosystem. Unlike other verified software projects, our expedition aims to deploy Everest within existing software as a drop-in replacement in mainstream web browsers, servers, and other popular tools.

48時間ぶっとおしBuildも2日目です。2日目最初はKeynoteから。 Microsoft: Into F…

PowerShell users can use Durable Functions create serverless workflows to orchestrate complex, long-running automation processes.

An introduction to App Service integration with Azure Arc for Azure operators.

マイクロソフトは、オンラインで開催中の開発者向け年次イベント「Microsoft Build 2021」で、Azure App ServiceやAzure Functionsなど、これまでMicrosoft Azure独自だったサービスをK...

スマートフォンのカメラを用いて、さまざまなモノを数えられるアプリが「CountThings from Photos」です。日本の真珠専門商社「栄光真珠」でも真珠のカウント作業時間削減のために導入されているというアプリを、実際に使ってみました。

Payment Links を使用すると、Web サイトがなくてもオンラインで販売できます。コーディングは不要です。数回クリックするだけで、支払いページが完成し、顧客とリンクを共有できます。

Azure API Management announces native support for WebSocket APIs.

You can secure your custom domains at no additional cost.

Optimize read costs in Azure Cosmos DB by enabling an integrated cache, an in-memory cache that is easy to configure and requires only minimal application code changes.

全くプレイしたことがないゲームのプレイムービーを見た時に、頭の中で「自分がそのゲームをプレイするところ」を想像して、なんとなくプレイした気分になったことがある人もいるはず。それと同じように、AIに名作アクションゲーム「パックマン」のゲームプレイを視覚的に学習させることで、既存のゲームエンジンやコードを用意することなく、AIによるシミュレーションだけでパックマンを生成するという試みを、NVIDIAの研究チームが発表しました。