F*: A Higher-Order Effectful Language Designed for Program Verification
きになるなるなる
Microsoft Build 2021 Day 2 Keynote | ブチザッキ
48時間ぶっとおしBuildも2日目です。2日目最初はKeynoteから。 Microsoft: Into F…
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.
App Service on Azure Arc - Azure App Service | Microsoft Docs
An introduction to App Service integration with Azure Arc for Azure operators.
[速報]Azure Functions、Azure App ServiceなどがAWSやGoogle Cloud、オンプレミスなどで実行可能に、Kubernetes対応で。Microsoft Build 2021
マイクロソフトは、オンラインで開催中の開発者向け年次イベント「Microsoft Build 2021」で、Azure App ServiceやAzure Functionsなど、これまでMicrosoft Azure独自だったサービスをK...
モノを数える時間を劇的に削減するスマホアプリ「CountThings from Photos」を使ってみた
スマートフォンのカメラを用いて、さまざまなモノを数えられるアプリが「CountThings from Photos」です。日本の真珠専門商社「栄光真珠」でも真珠のカウント作業時間削減のために導入されているというアプリを、実際に使ってみました。
Stripe Payment Links: リンクを作成し、どこでも販売できます。所要時間は 5 分以下です。
Payment Links を使用すると、Web サイトがなくてもオンラインで販売できます。コーディングは不要です。数回クリックするだけで、支払いページが完成し、顧客とリンクを共有できます。
Public preview: Native support for WebSocket APIs in Azure API Management
Azure API Management announces native support for WebSocket APIs.
App Service Managed Certificates now generally available | Azure up...
You can secure your custom domains at no additional cost.
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.
NVIDIAのAIが5万本のプレイ動画を見ただけで「パックマン」をゲームエンジンなしに再現
全くプレイしたことがないゲームのプレイムービーを見た時に、頭の中で「自分がそのゲームをプレイするところ」を想像して、なんとなくプレイした気分になったことがある人もいるはず。それと同じように、AIに名作アクションゲーム「パックマン」のゲームプレイを視覚的に学習させることで、既存のゲームエンジンやコードを用意することなく、AIによるシミュレーションだけでパックマンを生成するという試みを、NVIDIAの研究チームが発表しました。
ASP.NET Core updates in .NET 6 Preview 4
ついにGoogleの新OS「Fuchsia」が一般ユーザー向けに公開される - GIGAZINE
Googleが開発を進めている「Android」「Chrome OS」に続く第3のOS「Fuchsia」が、2021年5月24日にGoogle製スマートホームデバイス「Nest Hub」に向けて配信開始されたことが明らかになりました。
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.
Ingrid's Space
Ingrid's personal site and blog
アクセシブルなフロントエンドコンポーネントの完全ガイド - 前編 | POSTD
クイックサマリー‐私たちは一連の短い記事で開発者とデザイナーにとって有用なツールやテクニックを紹介しており、直近の記事ではCSS監査ツールとCSSジェネレータを取り上げました。この記事ではタブやテー…
数式を知らずして、宇宙がわかるものか! ド文系が挑む「一般相対性理論」への道(現代ビジネス) - Yahoo!ニュース
Web worker meets worker threads - threads.js
Make web workers & worker threads as simple as a function call – worker library for node.js, web and electron. JavaScript/TypeScript, supports webpack.
Windows 10は好きな文章を合成音声で簡単に喋らせることができる - ASCII.jp
Windowsの音声合成機能を使うと、音源の必要なく、適切な「音声によるメッセージ」を出すことができるようになる。
Microsoft Build
Join us for the Microsoft Build 2-day, digital event to expand your skillset, find technical solutions, and innovate for the challenges of tomorrow.
メルカリ、顧客情報など2万7000件以上流出 外部ツールへの不正アクセスで
メルカリは、同社が利用しているコードカバレッジツール(ソースコードが自動でテストされた割合を計測するツール)「Codecov」が不正アクセスを受け、顧客情報や加盟店情報など合計2万7889件が流出したと発表。
Extreme HTTP Performance Tuning: 1.2M API req/s on a 4 vCPU EC2 Instance | talawah.io
Talawah Solutions
Introducing WebContainers: Run Node.js natively in your browser
Today we're excited to announce WebContainers, a new type of WebAssembly-based operating system that boots instantly and enables Node.js environments to run natively in-browser.
AWSやCloudflare、GitHub、ZoomなどのクラウドサービスのステータスをメニューバーからチェックできるMac/Win/Linux対応のユーティリティ「Instatus Out」がリリース。
AWSやCloudflare、GitHub、ZoomなどのクラウドサービスのステータスをメニューバーなどからチェックできるMac/Win/Linux対応のユーティリティ「Instatus Out」がリリースされています。詳細は以下から。
システムの複雑さはどこから来るのか – Out of the tar pitを読む
Uzabase Saas Product Divisionフェローの矢野です。 この記事は、Rich Hickey(プログラミング言語Clojure作者)のプレゼンテーションSimple Made Easyへと繋がっていく、Ben MoseleyとPeter Marksによる「Out of the tar pit」とい…
Androidアプリの誤設定で多数のユーザーのデータが危険にさらされている--CPR調査
サイバーセキュリティ企業のCheck Point Researchは、複数のAndroidアプリを分析したレポートを公開し、アプリ開発者によるクラウド関連の誤設定によって、1億人を超えるユーザーのデータが危険にさらされていると警告した。
ミドリムシ由来の「世界初」バイオジェット燃料が国際規格取得:材料技術 - MONOist
ユーグレナは2021年3月15日、同社が微細藻類の一種である「ユーグレナ(和名:ミドリムシ)」を用いて生産したバイオジェット燃料について、国際規格への適合が認められたと発表。航空機へのバイオジェット燃料供給体制の確立に向けて前進した。
スケールアウトの落とし穴から学ぶ、SREチームでのダッシュボードのアップデート術
どんなことが起こったのか? モノタロウのサイトの監視について レイテンシ監視 トラフィック監視 エラー監視 リソース監視 ログ トラブルシュートの進め方 発生検知 発生箇所の特定 根本原因の調査 強化 課題 おわりに SREチームの市原(@ichi_taro3) です。 モノタロウでは、www.monotaro.com…
言語の壁を超えて複雑な文章や画像も理解できる新検索アルゴリズム「MUM」をGoogleが発表
世界最大の検索エンジンを運営するGoogleが、日本時間2021年5月19日から開催されている開発者向けカンファレンス「Google I/O 2021」で、新検索アルゴリズムである「MUM(Multitask Unified Model、マルチタスク統合モデル)」を発表しました。
Googleがオンラインショッピング拡大でShopifyと提携 | TechCrunch Japan
TechCrunch - Reporting on the business of technology, startups, venture capital funding, and Silicon Valley