Certificate Transparency : Certificate Transparency
Working together to detect maliciously or mistakenly issued certificates. An ecosystem that makes the issuance of website certificates transparent and verifiable. To the participants of the Certificate Transparency (CT) ecosystem, who give their time, expertise, and resources to help keep the web secure. Thank you. Certificates, encryption, and secure communication Certificate Transparency (CT) si
ローカル開発環境の https 化 | blog.jxck.io
Intro Web の https 化が進み、それに伴って https を前提とする API も増えてきた。 そうした API を用いた開発をローカルで行う場合、 localhost という特別なホストを用いることもできるが、それだけでは間に合わないケースも少なからずある。 localhost を https にするという方法もあるが、そのように紹介されている方法には、いくつか注意すべき点もある。 この辺りの話を、直近 1 ヶ月で 3 回くらいしたので、筆者が普段使っている方法や注意点についてまとめる。 特に推奨するつもりはない。 Update chrome の --host-rules について追記 localhost での開発の注意点 例として https://example.com にデプロイする予定の ServiceWorker を用いたアプリがあったとする。 開発をローカルで行う
A Brief Tour of FLP Impossibility | Paper Trail
One of the most important results in distributed systems theory was published in April 1985 by Fischer, Lynch and Patterson. Their short paper ‘Impossibility of Distributed Consensus with One Faulty Process’, which eventually won the Dijkstra award given to the most influential papers in distributed computing, definitively placed an upper bound on what it is possible to achieve with distributed pr
分散合意アルゴリズム Raft を TLA+ で検証する - 俺の Colimit を越えてゆけ
はじめに 分散合意アルゴリズム Raft とは 分散合意アルゴリズムとは Raft の特徴 Raft が満たす性質 Election Safety Leader Append-Only Log Matching Leader Completeness State Machine Safety TLA+ とは TLA+ による Raft の形式的仕様 TLA+ による Raft の検証方法 TLA+ Toolbox のインストール 新規 Spec の作成 Model の作成と実行 補足: コマンドラインでの検証 Raft の拡張について Leadership Transfer Membership Change Log Compaction Client Interaction おわりに Raft 理解度を調べるクイズ 参考資料 Raft に関する資料 TLA+ に関する資料 はじめに この
TokyoTechX: Science, Engineering, AI & Data Ethics | 科学技術・AI倫理
Want to learn how to identify and solve every day ethical issues in engineering, science and Artificial Intelligence (AI)? If yes, this is the course for you! Ethics plays an integral role when it comes to engineering and science practice and recently is impacted by AI and big data analysis. This course originally released in 2017 teaches traditional preventive engineering ethics but emphasizes as
Grand Challenges - Grand Challenges for Engineering
Advance personalized learning Instruction can be individualized based on learning styles, speeds, and interests to make learning more reliable. Make solar energy economical Solar energy provides less than 1% of the world's total energy, but it has the potential to provide much, much more. Enhance virtual reality True virtual reality creates the illusion of actually being in a different space. It c
IEA 国際エンジニアリング連合 | JABEE｜一般社団法人 日本技術者教育認定機構｜世界で通用する技術者」になるための学びが、ここに。
IEA 国際エンジニアリング連合 技術者教育認定の国際的協定、技術者資格に関するフォーラムの連携を図るために2001年に結成された国際的な組織です。 IEAとは International Engineering Alliance（IEA）とは、JABEEが加盟するワシントン協定を含むエンジニアリング教育認定に関する3協定、専門職資格認定の4枠組によって構成され、高等教育機関における教育の質保証・国際的同等性の確保と、専門職資格の質の確保・国際流動化は同一線上のテーマであるという観点のもと運営される国際エンジニアリング連合です。 エンジニアリング教育認定の３協定（ワシントン協定、シドニー協定、ダブリン協定）はそれぞれ修了時に求められる知識・能力の達成の設定が異なりますが、到達すべき事項として設置されている項目自体は共通の概念を適用しています。 IEAとは ワシントン協定設立25周年記念冊子
藤井聡太七段（17歳）最強将棋ソフトが６億手以上読んでようやく最善と判断する異次元の手を23分で指す（松本博文） - エキスパート - Yahoo!ニュース
いやあ・・・。 棋聖戦第２局▲渡辺明棋聖－△藤井聡太七段。なんともすさまじい一局でした。 【追記】ヒューリック杯棋聖戦の棋譜は公式ページで公開されています。 この記事は・・・というか筆者がいつもこのヤフーニュースで書いている将棋の記事には、将棋の指し手を表す、棋譜の符号がいくつか出てきます。将棋にあまり詳しくない方のため、それは最小限にと心がけてはいます。しかしこの記事のように、どうしても符号が必要な場面は出てきます。 「符号が出てきたらもうそこで読む気をなくす」 そういう方は、符号の意味を理解する努力をされる必要はまったくありません。適当にうまく読み飛ばしてください。 （観戦記は）図面と指し手はいっさい見ない。これが面白く読むコツで、多くの人は、指し手を目で追ったりするから、すぐくたびれてしまう。文を読み、面白いと感じたら、そこで場面を見れば十分である。 出典:河口俊彦八段『将棋界奇々快
衝撃の結末が話題 無名ラッパーが投稿したYouTube動画が異例の48万再生、投稿者と大学側を取材
YouTubeに投稿された1本のHip-Hop動画がネット上で大きな関心を呼んでいます。30歳を超えて挑んだ新たな道で待ち受けていた、許されざる理不尽な結末とは……。 crystal-z Sai no Kawara 話題を呼んでいるのは、crystal-zさんが6月11日に投稿した「Sai no Kawara」という楽曲。「ネタバレを知らない状態で最後までぜひ聞いてほしいです」「これが音楽じゃないなら、何を音楽と思えばいいのか」とネット上で口コミが広がり、無名アーティストの初投稿としては異例の48万再生を記録しています（2020年6月28日時点）。 以下、楽曲に関するネタバレが含まれるため、動画を鑑賞後に読み進めていただくことを強くおすすめします。 crystal-z Sai no Kawara 楽曲ではまず、音楽仲間と共にセルフパッケージのシングルを自主制作し、シェアハウスで充実した日々
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
JR駅混雑状況
GitHub - lu4p/binclude: Include files in your binary the easy way
電音部 DEN-ON-BU | 電音部