きになるなるなる

@iwate's bookmarks

  1. RESTler finds security and reliability bugs through automated fuzzing - Microsoft Research

    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. 名前が紛らわしい！

    Edit/Delete

  2. Tech Minutes - Project Coyote

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

    Edit/Delete

  3. Project Everest - Microsoft Research

    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.

    Edit/Delete

  4. F*: A Higher-Order Effectful Language Designed for Program Verification

    Edit/Delete

  5. Microsoft Build 2021 Day 2 Keynote | ブチザッキ

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

    Edit/Delete

  6. PowerShell support in Durable Functions is now generally available ...

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

    Edit/Delete

  7. App Service on Azure Arc - Azure App Service | Microsoft Docs

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

    Edit/Delete

  8. ［速報］Azure Functions、Azure App ServiceなどがAWSやGoogle Cloud、オンプレミスなどで実行可能に、Kubernetes対応で。Microsoft Build 2021

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

    Edit/Delete

  9. モノを数える時間を劇的に削減するスマホアプリ「CountThings from Photos」を使ってみた

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

    Edit/Delete

  10. Stripe Payment Links: リンクを作成し、どこでも販売できます。所要時間は 5 分以下です。

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

    Edit/Delete

  11. Public preview: Native support for WebSocket APIs in Azure API Management

    Azure API Management announces native support for WebSocket APIs.

    Edit/Delete

  12. App Service Managed Certificates now generally available | Azure up...

    You can secure your custom domains at no additional cost.

    Edit/Delete

  13. Azure Cosmos DB integrated cache now in public preview | Azure upda...

    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.

    Edit/Delete

  14. NVIDIAのAIが5万本のプレイ動画を見ただけで「パックマン」をゲームエンジンなしに再現

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

    Edit/Delete

  15. ASP.NET Core updates in .NET 6 Preview 4

    Edit/Delete

  16. ついにGoogleの新OS「Fuchsia」が一般ユーザー向けに公開される - GIGAZINE

    Googleが開発を進めている「Android」「Chrome OS」に続く第3のOS「Fuchsia」が、2021年5月24日にGoogle製スマートホームデバイス「Nest Hub」に向けて配信開始されたことが明らかになりました。

    Edit/Delete

  17. Your E-Mail Validation Logic is Wrong

    Nope, you don't know how to validate an email address. Even if you think you'd get the domain part right, fuggeddabout the local part. Seriously.

    Edit/Delete

  18. Ingrid's Space

    Ingrid's personal site and blog

    Edit/Delete

  19. アクセシブルなフロントエンドコンポーネントの完全ガイド - 前編 | POSTD

    クイックサマリー‐私たちは一連の短い記事で開発者とデザイナーにとって有用なツールやテクニックを紹介しており、直近の記事ではCSS監査ツールとCSSジェネレータを取り上げました。この記事ではタブやテー…

    Edit/Delete

  20. 数式を知らずして、宇宙がわかるものか！ ド文系が挑む「一般相対性理論」への道（現代ビジネス） - Yahoo!ニュース

    Edit/Delete