Overview of opinions on the technologies surveyed. Darker segments represent positive opinions, while lighter segments correspond to negative sentiment.
本当はそんな名前ではないのですが、Balle and Moriから名前をかりて、この無限の表をLのHankel matrixとよぶことにします。 Myhill-Nerodeの定理の教えるところによれば、言語Lが正則であることは、「$a\sim_L b \iff (\forall w\in \Sigma^\star. (aw\in L \iff bw\in L))$ 」によって定まる関係で$\Sigma^\star$を割った同値類 $\Sigma^\star/\sim_L$が有限指標であることと等価だったわけですが、Hankel matrixのw行目にあらわれているものはwのこの同値類の情報に他なりません。したがって、Myhill-Nerodeの定理を次のように言いかえることができます: Lは正則である<==>LのHanel matrixにあらわれる行は有限種類しかない。 また、その証明を思
この記事は次のスライドの文字起こし的な内容です。 スライド: クライアントサイドからサーバサイドまで破壊するテンプレートエンジンを利用した攻撃と対策 スライドの画像 + 喋った内容のNote的なものをそれぞれのページごとに書き込んでいます。 リンクとかはスライド版ならクリックできるので、そっちを見るといいのかもしれません。 画像だらけなので、画像が読み込み終わるのを待つといい気がします。 クライアントサイドからサーバサイドまで破壊するテンプレートエンジンを利用した攻撃と対策 テンプレートエンジンに関するセキュリティ的な問題についてのお話です。 テンプレートだからエンドユーザー(サービスの利用者)に書かせて安全だと思っていても、選んだテンプレートエンジンの性質によっては安全ではない場合があります。 また、JavaScriptのテンプレートエンジンはクライアントサイド(Browser)とサーバ
SQLx is an async, pure Rust† SQL crate featuring compile-time checked queries without a DSL. Truly Asynchronous. Built from the ground-up using async/await for maximum concurrency. Compile-time checked queries (if you want). See SQLx is not an ORM. Database Agnostic. Support for PostgreSQL, MySQL, MariaDB, SQLite. MSSQL was supported prior to version 0.7, but has been removed pending a full rewrit
Project Tsurugi(劔)とAsakusaについて ついでにAsakusa advent calendarの分も ■Tsurugiの特にNEDOプロ部分について 日経の記事はこちら https://tech.nikkeibp.co.jp/atcl/nxt/column/18/00001/03044/ 本紙はこちらからかな? https://www.nikkei.com/article/DGXMZO51692890R01C19A1000000/ ・NEDOのサイト https://www.nedo.go.jp/content/100891996.pdf ・スライドはここ drive.google.com ・togetterはここ https://togetter.com/li/1430683 本来であれば、あまり外向きに書く話ではないのですが、仮にも公金が入っていて、日経の方にも「
Extended BPF (eBPF) is an open-source Linux technology that powers a whole new class of software: mini programs that run on events. Among its many uses, BPF can be used to create powerful performance-analysis tools capable of analyzing everything: CPUs, memory, disks, file systems, networking, languages, applications, and more. In this session, Netflix's Brendan Gregg tours BPF tracing capabilitie
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く