JAWS DAYS 2018 で形式手法による IAM の検証について話してきました - チェシャ猫の消滅定理
だいぶ日が空いてしまって今更ですが、先日行われた JAWS DAYS 2018 で登壇してきました*1。モデル検査器 Alloy を使って AWS の IAM を検証してみるという内容です。 形式手法 × AWS というテーマではこれまでにもいくつかのイベントで発表していますが、題材はネットワーク関連の検証がメインでした。 ccvanishing.hateblo.jp ccvanishing.hateblo.jp ccvanishing.hateblo.jp さすがに同じことばかり話していても芸がないので、今回は新ネタとして IAM を投入してみました。CFP も Security Slot で採択されています。 現状と既存手法の限界 IAM 設定の難しさ いや、説明するまでもなく実際ややこしいですよね。一つ一つはさほど複雑ではないんですが、多数の設定項目が互いに影響し合うため最終的な影響
KintoneでWebpack + Babel + Vueを使ってモダンに爆速開発していくサンプル(1/2)
背景Kintoneのカスタマイズを始めたのですが、開発を進めるにあたって「1つのアプリに対して、JSファイルやCSSファイルをどんどんアップロードしていく仕組みだと開発スピードが落ちる」ということを強く感じました。その理由としては、以下の通りです。 使いたいライブラリが出て来るたびにいちいちアップロードするのが面倒 JSファイルの構成を変えたときもアップロードし直さないといけない 複数開発者が1つのアプリに対して作業するときにコンフリクトしやすい なお、webpack + Babelの導入だけであればKintone devcamp 2017のセッションのスライドがステップバイステップで説明してあり、かなりわかりやすいです。 Webpackを導入するぞ！上記の問題を受けて、現代のフロントエンド開発では欠かせないWebpackを導入することにしました。 Webpackとは、複数ファイル（Jav
Lambdaで実現するデータ連携FaaS（Twitter to kintone編） (CData Software)
CData Drivers あらゆるSaaS / DB へのリアルタイム連携を実現する高機能コネクタ。
Evolving Test Practices at Microsoft - Azure DevOps | Microsoft Docs
Testing helps ensure that code performs as expected, but the time and effort to build tests takes time away from other tasks such as feature development. With this cost, it's important to extract maximum value from testing. This article discusses DevOps test principles, focusing on the value of unit testing and a shift-left test strategy. Dedicated testers used to write most tests, and many produc
クラウド満足度でAWS連覇、マイクロソフトは3位
クラウド満足度でAWS連覇、マイクロソフトは3位 顧客満足度調査2018-2019（5） クラウド基盤サービス部門
コンテナ基盤を支えるHashiCorpソフトウェア / HashiCorp Softwares on Container Base - Speaker Deck
2018.09.11 DevOpsを支える今話題のHashiCorpツール群について（HashiCorp Meetup 3rd）でお話しした資料です
『Effective Java 第3版』の翻訳作業が終わりました: 柴田 芳樹 (Yoshiki Shibata)
昨年の2月から原著『Effective Java Third Edition』の草稿のレビューが始まり、レビューが終わったのが11月で、昨年末には原著が発売されています。翻訳作業は、昨年の12月から始めて、すべての作業が今月初めに終了しました。今回も、翻訳および（索引作りも含めた）組版までLaTeXで行いました。 原著のレビューのときには気付かなかった多くの間違いは、翻訳作業を通してJoshua Bloch氏へ知らせており、原著の4th printing（第4刷）では修正されています（原著の正誤表は、こちらです）。 今回はもっと早く終わるかと思ったのですが、結局、約430時間を翻訳作業に費やしました。翻訳に先立っての原著のレビューは約42時間でした。 Amazon.co.jpでは、以下のように紹介されています。 Javaプログラマーにとって必読の定番書『Effective Java』の改訂
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - tsdjs/tsd: Check TypeScript type definitions
Preserve type information in Es6ConvertSuper. · google/closure-compiler@5ece03d
トレンドマイクロ、アプリによるブラウザー履歴の収集を認める
Strict bind, call, and apply methods on functions by ahejlsberg · Pull Request #27028 · microsoft/TypeScript