atm_09_tdのブックマーク / 2020年12月24日

よりよくわかる認証と認可 | DevelopersIO

少し早いですが、メリークリスマス！事業開発部の早川です。早いもので、入社して 1 ヶ月半が経ちました。現在は、 prismatix の理解を深めながら、導入支援を行っています。今回はその中から、認証 / 認可についてお伝えします。と言っても、これまでに同僚達が書いた分かりやすい記事がありますので、これらのガイダンスの形で、整理していきたいと思います。ジョインしました以来、初めての記事となりますﾄﾞｷﾄﾞｷ目標本記事をご覧いただいた後、こちらのスライドを何となく理解できる気がすることを目標とします。本スライドに関するブログ記事はこちらです。 AWS Dev Day Tokyo 2018 で「マイクロサービス時代の認証と認可」の話をしてきた #AWSDevDay 目的まず、認証 / 認可を学ぶ理由を考えてみました。近年、様々なサービスが API を通じてつながり、より便利

atm_09_td 2020/12/24

セキュリティ

リンク

ついに日本語化！神アプリ「Notion」の基本的な使い方と特徴をご紹介【基礎編】 | SELECK [セレック]

みなさまは日頃、仕事でどのようなツールを使っていますか？ドキュメント管理はQiita teamやesa、表計算はスプレッドシート、ファイル管理はBoxやDropbox、タスク管理はTrelloなどなど、用途に応じて複数のツールを使い分けているのではないでしょうか。そうした情報が、ひとつに集約できちゃう神アプリ。それが「Notion」です！世界で多くのファンを有し、日本でも大ブーム間近のNotion。今回はそんなNotionの使い方について、基礎編・応用編・発展編にわたってお届けします！基礎編となる本記事では、「Notion気になってはいるけど、使い方がよくわからない」「他のツールとなにが違うの？」といった方に向けて、Notionの基本的な使い方と特徴をわかりやすく解説します。 ▼応用編・発展編も同時公開しました！「Notion」を無敵にする、データベース機能を徹底解説！その使い方

atm_09_td 2020/12/24

リンク

大数の法則や平均回帰で、運をコントロールする｜深津貴之 (fladdict)

人生のコントロール不能な部分を、もうちょっとコントロール可能にするには、どうすればよいか…というお話。21世紀のサイバー風水学について。運の良し悪しは、一見するとコントロール不能な現象に見えます。ところが実際は、ある程度までコントロールが可能だったりします。なぜなら多くの場合、確率的に不利なポジショニングが、「運の悪さ」として観測・説明されているにすぎないからです。因果の順序が逆なのです。「運が悪いから失敗するんじゃなくて、まさかの失敗をしたから運が悪いと呼ばれる」ですので、「運」と呼ばれるものは、かなりの部分がコントロール可能です。サイバー風水学は、伝統的な風水学のモデルを使いながら、神秘性を排除し、合理と統計により再構築した概念です。おなじに見える2つのギャンブル以下の2種類のギャンブルの違いを、あなたは瞬間的にイメージできるでしょうか？どちらも、コインを投げて表が出たらお金

atm_09_td 2020/12/24

統計

リンク

Next.js + Prisma + NextAuth.js + React Query で作るフルスタックアプリケーションの新時代

どうも、@yuyaaar です。最近は Next.js アプリを見ることが多くなってきました。もはや JAM スタックの王道、と言っても過言ではないかもしれません。ですが、やっぱりフルスタックとなると、データベースや認証などが必要になってきて、その辺のやり方がいまいちよくわからない、という人も多いのではないでしょうか。自分もその一人でした。😅 いろいろ調べたり作ったりした結果、今現在もっとも最強コンビであろう、 Next.jsPrismaNextAuth.jsReact Queryでのフルスタックアプリケーションの作り方をこの記事では書いていきます。今回は、チュートリアルアプリでよくある Todo アプリを作って、vercel にデプロイ、というのをやってみたいと思います。まずは最初に Next.js ボイラープレートアプリを作りましょう。作成できたら、まずは TypeScr

atm_09_td 2020/12/24

javascript

リンク

Rustの手続きマクロに関する知見をまとめてみた｜TechRacho by BPS株式会社

どうも。yoshiです。プロフィールにC++erと書いているけど最後に書いたC++記事は一昨年のでした。最近は業務ではC++もやるけどプライベートだとTSかRustみたいな感じになってます。業務の方もTS率高め。C++もつい先日C++20の規格がISOから正式発行されたところなので書こうと思えばネタはあるのですが、最近規格を読むモチベがあまりないのでやめておきます。というわけで今回はRustの手続きマクロ（Procedural Mac ros）の話をします。ところでProcedural Mac rosの訳語には「手続き型マクロ」派と「手続きマクロ」派がいるようですが、どっちがいいんでしょうね？　「手続き型」の場合は「手続き型プログラミング（Procedural Programming）」などの既存の言葉に合わせてだと思いますが、この場合の「型」はTypeのことではないので、型の話が多いRu

atm_09_td 2020/12/24

Rust

リンク

大学でRustを教えた話 - 未完成な論を綴るブログ

このブログ記事は、Advent Calender 2020, Rust 3、23日目の記事となります。自分は現在大学で教員をしていまして、セキュリティ系の研究室に所属しています。現在はセキュリティの講義を担当しており、そこでRust言語を教えているため、その内容を紹介しようと思います。はじめに皆さんご存知のようにソフトウェアの脆弱性は今でも大きな問題となっていますが、それを完全ではないにしろ根本から解決するための技術的手法として型システムが注目されています。型システムの考え自体は古くからありますが、最近ではRust言語が登場し、OSなどいわゆる低レイヤーなソフトウェアも型システムの恩恵を預かることができるようになってきました。SMTソルバや定理証明などと言った難しい（かつ面白い）手法でC言語やC++言語で書かれたソフトウェアを解析する方法もありますが、セキュアソフトウェアを語る上では、