The History of DNS Vulnerabilities and the Cloud
By Daniel Prizmant December 28, 2020 at 6:00 AM Category: Unit 42 Tags: DNS, vulnerabilities This post is also available in: 日本語 (Japanese) Introduction Every now and then, a new domain name system (DNS) vulnerability that puts billions of devices around the world at risk is discovered. DNS vulnerabilities are usually critical. Just imagine that you browse to your bank account website, but instead
最近のCSSは進化が早く、またブラウザはエバーグリーン（自動で最新版にアップデートするブラウザ）になり月一ペースでアップデートされ、モダンCSSの機能もたくさんサポートされました。 CSSの新機能をはじめ、ブラウザのサポートが充実した機能を紹介します。2024年はこれらのモダンCSSを使用する機会が増えますね。 :has()疑似クラスがすべてのブラウザにサポートされました CSSのコンテナクエリ CSSのスタイルクエリ CSSのネスト CSSの@scopeはセレクタの適用範囲を設定できる CSSで三角関数が使用できるようになった スクロールをトリガーにしたアニメーションの実装が大きく変わる 今までは面倒だったことが簡単に実装できるようになった新機能 知っておくと便利なCSSの知識とテクニック HTML関連も少しだけ :has()疑似クラスがすべてのブラウザにサポートされました まずは、:h
Hello! I’m slowly working on explaining git. One of my biggest problems is that after almost 15 years of using git, I’ve become very used to git’s idiosyncracies and it’s easy for me to forget what’s confusing about it. So I asked people on Mastodon: what git jargon do you find confusing? thinking of writing a blog post that explains some of git’s weirder terminology: “detached HEAD state”, “fast-
𝐓𝐇𝐔𝐍𝐃𝐄𝐑𝐁𝐎𝐗 @morita_tsuyoshi THUNDERBOX主宰 / 中野で謎の店やってます。 / ファミリーコンティニュー / ONLINE STORE https://t.co/zlgbr2HBuU https://t.co/drvzW5X2ik https://t.co/uesNvvGQhc
「猫草」という言葉をご存知でしょうか？ ネコを飼っている人なら、多くの人が知っていると思います。 ネコを飼っていなくても、野良猫が公園の雑草を食べるところを見たことがあったり、ホームセンターなどで「猫草」が売られているのを見たことがある人もいるかもしれません。 元来、ネコは「完全肉食動物」と呼ばれ、植物は栄養的に必要ないと言われています。 しかし、そんなネコが好んで食べるのが「猫草」なのです。 ネコが猫草を食べる理由はこれまで「毛玉を吐き出すため」とされてきました。 しかし近年の研究では猫草に多くの役割があることが明らかになっています。 今回は肉食のネコが好んで食べる「猫草」とその役割についてご紹介していきます。 Researchers Think They Know Why Cats Eat Grass https://www.smithsonianmag.com/smart-news/
MLOps論文 Machine Learning Operations (MLOps): Overview, Definition, and Architecture の要点まとめ - 肉球でキーボード
MLOpsを体系的にまとめた論文「Machine Learning Operations (MLOps): Overview, Definition, and Architecture」を読んだので、要点をまとめました。 元論文：https://arxiv.org/abs/2205.02302 TL;DR 「MLOpsって何？」に答えた論文 MLOpsに関わる文献調査・ツール調査・専門家インタビューを行った MLOpsに必要な原理・要素・ロール・アーキテクチャをまとめた MLOpsの言葉の意味を定義した MLOpsの課題をまとめた 本文要点 0 Abstract MLOpsは今だに漠然とした言葉であり、研究者と専門家間でMLOpsの定義が曖昧となっている。 本論文では文献調査・ツール調査・専門家へのインタビューを行い、MLOpsを調査した。 調査から以下の結果を体系的にまとめた MLOps
Parrots in captivity seem to enjoy video-chatting with their friends on Messenger
Almost exactly 18 months ago we released Tailwind CSS v1.0, which signalled a commitment to stability while continuing to push the boundaries with exciting new features in every minor release. Over the course of those 18 months we released nine minor versions that added features like placeholder styling, screenreader visibility, CSS grid, transitions, transforms, animations, layout utilities, inte
「8割は人にうつさない」は嘘? (1): Nishiura et al (2020) 論文をどう読むか - remcat: 研究資料集
新型コロナウイルス感染者の8割は人にうつさない、という言説とその根拠とされる論文についての検討。 目次 厚生労働省の謎情報とメディア言説 Nishiura et al (2020) 3月3日版 改訂版 感染例のデータ構造 なぜデータ上の2次感染数がすくないのか 議論 厚生労働省の謎情報とメディア言説 新型コロナウイルス感染症 (COVID-19) について、感染者の8割は人にうつさない、という言説が広まっている。 これまでの研究で、新型コロナウイルスでは、感染した人のおよそ８割は、誰にも感染を広げていなかったことが分かっています。 ―――― 「【記者解説】東京での急増「爆発的な感染拡大」の兆しなのか？」 NHKニュース 2020年3月26日 7時52分 https://www3.nhk.or.jp/news/html/20200326/k10012350801000.html このような主
$$ \newcommand{\bm}[1]{\mathbf #1} $$ 主成分分析(PCA)の数学的な理論とPythonによる実装¶ Author: Yuki Takei (noppoMan) Github: https://github.com/noppoMan Twitter: https://twitter.com/noppoMan722 Blog: https://note.com/noppoman これは、noteの主成分分析の背景にある数学理論の話(最適化問題)の本文です。 主成分分析の数学的な理論の理解に必要な知識¶ 主成分分析は、アルゴリズム的な観点で見るとデータの分散を最大化させる最適化問題であり、その理論は数学（とくに微分学、線形代数）により与えられている。以下は、主成分分析で使われる数学の分野をざっくりとリストしたものである。 データ分析 分散、共分散 解析学 多
The 5-hour CDN Author Name Kurt Mackey @mrkurt @mrkurt The term “CDN” (“content delivery network”) conjures Google-scale companies managing huge racks of hardware, wrangling hundreds of gigabits per second. But CDNs are just web applications. That’s not how we tend to think of them, but that’s all they are. You can build a functional CDN on an 8-year-old laptop while you’re sitting at a coffee sho
00:00 - Introduction 01:45 - The Battleship 02:49 - NP-Complete Problems 06:24 - Building SQLite V1 07:54 - Motorola Phones 09:40 - America Online Phones 11:12 - Symbian OS and Nokia 13:01 - The Bus Factor and the Consortium 15:11 - Enter Android 17:05 - Guys, This Is Important 18:18 - Testing and Aviation Standards 21:29 - Billions of Tests 25:30 - Building From First Principles 28:05 - B-Trees a
はじめに 本書『Observability Engineering』は、複雑化の一途をたどる現代のソフトウェアシステムに立ち向かうための、強力な武器となる一冊であり本稿はその読書感想文です。Observability Engineering を今から知りたい方はもちろん、Observability Engineering の基礎を改めて学びたい方もぜひお読みください。この記事もかなりの長さになるので普通に書籍を読んだほうがいいかもです learning.oreilly.com 「Observability:可観測性」という言葉は、近年ソフトウェアエンジニアリングの世界で大きな注目を集めています。しかし、その概念の本質を理解し、実践に移すことは容易ではありません。 本書は、そのオブザーバビリティについて、その基本的な考え方から、具体的な実装方法、そして組織への適用まで、幅広くかつ深く解説して
Figmaのワイヤーフレーム・フローチャート・プロトタイプ用の素材を紹介します。 Webサイトやスマホアプリで使用されるさまざまなコンポーネントやUI要素、基本的なスタイルが用意されており、短時間で作成できます。 UI Template 日本人クリエイターが制作した、Figmaのワイヤーフレーム用テンプレート。基本的なスタイル、コンポーネント、ワイヤーフレーム用のアセットが用意されており、デザイナー以外のエンジニアやディレクターでも使いやすい素材です。
As your web app matures, it becomes challenging to ensure your GUI doesn’t break with any given update. There are a lot of browsers and devices, and countless states for every one of your components. Unit tests ensure your code remains consistent, and E2E tests will ensure your system remains consistent, but neither will catch visual anomalies, layout issues, or platform compatibility issues. Ente
Recent posts: 24 Mar 2024 » Linux Crisis Tools 17 Mar 2024 » The Return of the Frame Pointers 10 Mar 2024 » eBPF Documentary 28 Apr 2023 » eBPF Observability Tools Are Not Security Tools 01 Mar 2023 » USENIX SREcon APAC 2022: Computing Performance: What's on the Horizon 17 Feb 2023 » USENIX SREcon APAC 2023: CFP 02 May 2022 » Brendan@Intel.com 15 Apr 2022 » Netflix End of Series 1 09 Apr 2022 » Te
デザインの変更に合わせてHTMLを変えるのではなく、HTML（文章構造）を変更せずに、CSSでさまざまなデザインを適用する時に役立つ実装テクニックを紹介します。 CSS GridとFlexboxそれぞれの効果的な使い方、コードの並び順と見た目の並び順を変える方法など、トライアンドエラーの過程も解説されているので、勉強になると思います。 HTMLを変更せずに、CSSでさまざまなデザインを適用 Evolution of Web Designというプロジェクトを見たことがありますか？ Webページのデザインが1993年から2015年までの間にどのように変化したかを見ることができます。このアイデアはとても刺激的で、私も同じことに挑戦しようと思いました。それは、HTMLコンテンツには一切触れることなく、複数のデザインを適用することです。 この記事では、HTMLコードを変更せずにCSSでさまざまなスタ
PIXIV Design System 2021 の発表をしました（前編） #pixivdevmeetup - pixiv inside
2021/10/25追記 おまたせしました。この記事の後編も公開しておりますので、合わせてお読みください。 inside.pixiv.blog こんにちは。プロダクトデザイナーの yksk とフロントエンドエンジニアの f_subal です。 ピクシブにはデザインシステムを開発するチームがあります。ピクシブが運営する数多くのプロダクトが共通のガイドライン、コードを使ってUIを設計できる体制への移行を目的としており、そのための仕組みづくりに取り組んでいます。 今回は、先日行われた pixiv DEV MEETUP 2021 のセッション「PIXIV Design System 2021」で発表した、技術的な取り組みについて前後編に分けて発表します。 前編にあたるこの記事では f_subal パートの内容をおさらいをしていきます。 PIXIV Design System 2021 昨年のpix
リンク www.tamiya.com 記念すべき第50回！人形改造コンテスト 作品募集 1/35スケールの兵隊人形が大変身! 作品のご応募お待ちしています! 1763
When I started the Redis project more than ten years ago I was in one of the most exciting moments of my career. My co-founder and I had successfully launched two of the major web 2.0 services of the Italian web. In order to make them scalable we had to invent many new concepts, that were already known in the field most of the times, but we didn’t know, nor we cared to check. Problem? Let’s figure
ARCHITECTURE.md
ARCHITECTURE.md Feb 6, 2021 If you maintain an open-source project in the range of 10k-200k lines of code, I strongly encourage you to add an ARCHITECTURE document next to README and CONTRIBUTING. Before going into the details of why and how, I want to emphasize that this is not another “docs are good, write more docs” advice. I am pretty sloppy about documentation, and, e.g., I often use just “si
Load Balancers plays a key role in Web Architecture. They allow distributing load among a set of backends. This makes services more scalable. Also since there are multiple backends configured the service become highly available as load balancer can pick up a working server in case of a failure. After playing with professional Load Balancers like NGINX I tried creating a simple Load Balancer for fu
GWにFigmaに入門したエンジニア
スターフェスティバル株式会社 エンジニアの@nano72mkn です！ 今回は、GW にエンジニアが Figma に入門した時のこれ覚えておけば Figma 活用できるんじゃない（個人的意見）のまとめをしていこうと思います！ Figma 活用技術 これから紹介する機能たちは、同じ要素を使い回す場合にとても力を発揮します！ エンジニアで Figma を触らないといけなくなった時、使い回し技術だけでも習得しておけばデザインを崩すことがなく手を入れることが可能です！ AutoLayout フロントエンジニアの方にはFlexBoxとpaddingが設定できるようになる機能といえばイメージが湧くと思います！ 等間隔で配置させることができる 各要素間をひとつひとつ調整する必要はないです！ 要素の内側に余白を持たせることができる ドラッグ＆ドロップで簡単に並び替えができる 並び替えた後に他の要素の位置を
How Big Tech Runs Tech Projects and the Curious Absence of Scrum
Project management is a topic most people have strong opinions on, and I’m no exception. To answer the question of how different companies run engineering projects, I pulled in help from across the industry. In this issue we’ll cover: Project management approaches across the industry. An overview of a survey with over 100 companies represented, plus key takeaways.Project management at Big Tech. Ho
深層学習の技術が著しく進歩した結果、コンピュータビジョンや自然言語処理、音声信号処理などの分野では深層学習モデルの性能が古典的な手法のを大きく上回っており、すでにスタンダードなアプローチになっています。 しかし、テーブルデータを扱うタスクにおいては、深層学習の有効性は明らかになっていません。本記事ではテーブルデータにおける従来手法と深層学習の比較論文のご紹介をしていきます。 背景近年、テーブルデータを扱う深層学習モデルも登場し、一部の論文では決定木ベースのモデルと同等かそれ以上の性能を示しています。しかし、私が実務で試す中では決定木ベースのモデルの方が性能が高く、学習と推論が速く運用コストでも優れているため、深層学習モデル採用には至っていません。 より一般的なテーブルデータのタスクにおける、決定木ベースモデルと深層学習モデルとの性能比較の文献を調べたところ、NeurIPS 2022で発表さ
はじめに こんにちは。estieでデータサイエンスをしている齊藤です。これはestie夏のブログ祭り8日目の記事です。 8/10はヤドンの日なので、ヤドン好きな私が記事を書いています。 ヤドンと私 PLATEAUとは PLATEAUとは、国交省のオープンデータプロジェクトです。雑に説明すると、「日本中の都市をまるごと3Dデータとして整備・公開・活用しよう！」というプロジェクトです。 基本的にはビルや道路の3Dデータなので、UnityやVRに持っていって遊ぶような使い方がまず想定され、実際にさまざまな活用がされています。 3D都市モデル PLATEAU LT 01 - connpass 3D都市モデル PLATEAU LT 02 - connpass 一方で私はestieでビルの賃料を予測したり、補正したりする業務に携わってきました。そのため、ビルの属性（竣工年は？造りは？価格は？）といった
The Querynomicon
Upon first encountering SQL after two decades of Fortran, C, Java, and Python, I thought I had stumbled into hell. I quickly realized that was optimistic: after all, hell has rules. I have since realized that SQL does too, and that they are no more confusing or contradictory than those of most other programming languages. They only appear so because it draws on a tradition unfamiliar to those of u
GitHub - terrastruct/d2: D2 is a modern diagram scripting language that turns text to diagrams.
vars: { d2-config: { layout-engine: elk # Terminal theme code theme-id: 300 } } network: { cell tower: { satellites: { shape: stored_data style.multiple: true } transmitter satellites -> transmitter: send satellites -> transmitter: send satellites -> transmitter: send } online portal: { ui: {shape: hexagon} } data processor: { storage: { shape: cylinder style.multiple: true } } cell tower.transmit
In one of my recent PRs I changed all interfaces to types because there were already more types than interfaces. In the review, I was asked to revert the change. I did it, but as well I wondered what the actual difference between interface and type. Let’s figure out this. I use the latest TS (v3.5.1) for examples in this post. Similarities Records 1interface IAnimal { 2 name: string; 3} 4 5type An
SmartHR UI | Figma
SmartHRのアプリケーションをつくるためのコンポーネント集です。 SmartHR UI はこの Figma ファイルを元に React で実装されています。 コンポーネントの使い方などは SmartHR Design System にまとめています。 https://smarthr.design https://github.com/kufu/smarthr-ui This is a collection of components for creating a SmartHR web application. SmartHR UI is implemented in Reac...
最後の投稿をしてから随分と時間が経ってしまった。 その間にわたしはと言うと、結婚したり、ニューヨークで仕事を始めたり、子供を産んだり、なんだか色々あった。 今日、わたしが久しぶりに筆をとろうと思ったのは（実際にはキーボードで打ち込んでいるのだが）、COVID19感染のエピセンターとなってしまったNYCに身をおいていた身として、実際に私が体験した空気感をここに記録として残しておこうと思ったからだ。 私はニューヨークのマンハッタンに3年近く住んでいる。 この街は二週間前とは全くかわってしまった。 レストランは開いていない。 スーパーには入場制限がかかり、銀行もATMのみの営業だ。 小売店には閉店した店もいくつかある。 町中がいつ終わるかわからないロックダウンに、不安を感じている。 2月下旬 ニューヨークの話題といえば、もっぱら「プラスチックバックの禁止」の話だった。少なくともわたしの周りでは。
はじめに 分散合意アルゴリズム 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+ に関する資料 はじめに この
The Complete List of Trump’s Twitter Insults (2015-2021) (Published 2021)
As a political figure, Donald J. Trump used Twitter to praise, to cajole, to entertain, to lobby, to establish his version of events — and, perhaps most notably, to amplify his scorn. This list documents the verbal attacks Mr. Trump posted on Twitter, from when he declared his candidacy in June 2015 to Jan. 8, when Twitter permanently barred him. More recent insults are highlighted.
食べずに、作る。 カップヌードルがプラモデルに！？ バンダイが技術を結集し細部まで忠実に再現。 3分では作れない「1/1カップヌードルプラモデル」が誕生！ 食べずに、作る。 カップヌードルがプラモデルに！？ バンダイが技術を結集し細部まで忠実に再現。 3分では作れない「1/1カップヌードルプラモデル」が誕生！ ご注意 商品発送時にクレジットカードの有効性 (限度額、有効期限など) にエラーが発生した場合は購入内容が自動キャンセルとなります。 購入には、日清食品グループ オンラインストアの会員登録が必要です。(特定商取引法に基づく表示はこちら) ご注文キャンセルが発生した場合に、キャンセル分を予告なく再販する場合がございます。 ご注文のキャンセル、および購入後の配送先の変更は、商品が発送準備に入る前までに限り可能です。ご注文のステータスが「発送準備中」「発送済み」「配達完了」になっている場合
今月で2010年代が終わる。改めて「2020」という文字を見ると、近未来感があって少しワクワクする。そんな感想も今月限りなのだと思うと寂しい。世界の情報化はますます進んで、「インプットよりもアウトプット、スピードこそが価値」みたいな考えが幅を利かせていて息苦しい。アウトプットし続けないと埋もれてしまうのは事実だけど、情報があふれる今だからこそ、緻密なインプットに基づく丁寧な仕事が求められているのではないかと感じる。思い付きで何かを始める前に 過去に同じことを考えたことのある人が世界のどこかにいるのではないか この問題は今どこまで解決していて、どこから未解決なのか といった点をしっかり押さえてから着手することで、2度手間が減り論点もクリアになって、結果的に時間に対するアウトプットの質を高めることができると思う。 研究の世界では、質・量いずれにおいても「論文」が最も重要なインプットであり、新着
0. はじめに 1. 対象データ 2. 先に各手法の結果を確認 3.準備 4. 基礎集計~CMを見た人と見ていない人での目的変数の差~ 5. 因果推論の流れのおさらい 6. 傾向スコアモデリング 6.1 モデリング 6.2 テスト / コントロールの傾向スコアの可視化 6.3Rでの傾向スコアモデリングの実装 7. 傾向スコアマッチング 7.1 結構面倒なpython 7.2 R (Matchingライブラリ) 7.3マッチングの評価 8.IPW 9. ダブルロバスト 9.1 回帰モデル 9.2ダブルロバスト 10.Proximityマッチング 11.改めて、各種手法による推定因果効果のまとめ 12.まとめ 0. はじめに 理論編に引き続き、実装を行なっていきます。 pira-nino.hatenablog.com 実装はpythonとRの両方で行いました。 作業用のコードは以下のgithu
前回はFigmaを使うべき理由を説明しました。連載の2回目となる本記事では、Figmaの基本的な使い方を説明します。 今回の記事ではデザインツールを使ったことのない人向けに知ってほしいこと、Figmaの画面説明やレイヤーの設置・編集方法といったFigmaでUIモックを作るための機能について説明します。 SketchやAdobe XDのようなデザインツールの基本的な使い方に慣れている方は、この記事を飛ばして次回の記事を読み進めることをおすすめします。 UIモックを作るにあたって 本連載は主にソフトウェアエンジニアを対象にしています。そこで、UIデザインツールを使ったことのない人に知ってほしいことをお伝えしておきます。 基本的に（凝ったデザインでなければ）UIモックはシェープとテキストといったレイヤーで構成されています。シェープは四角形や円形などの形状をもつもの、テキストは文字通り文字を示して
This post took a lot longer to pull together than I expected. Not because it was hard to write, but because it was too easy to write too much. Like a pre-bonsai tree, it would grow out of control and get pruned back over and over. In the meantime, I delivered a workshop and spent some lovely holiday time with my family. But it’s a new year now, and January is devoid of holidays so it’s high time I
ゲームコミュニティ事業部のデータエンジニア（β版）の池田です。 この記事は、Tech KAYAC Advent Calendar 2019 の7日目です。 今回もredash周りの話で、Lobiでの分析事例の話をしていきたいと思います。 （本ブログではredashおじさん化していますね。 ） Lobiでの分析環境の概要 ゲームコミュニティ事業部では主要サービスとして Lobi を開発・運営しています。 現在のLobiにおける分析環境は、以下の図のようになっています。 分析環境の図 アプリケーションが行動ログやアクセスログを出力し、それをFluentdやKinesis Data Firehoseを使ってS3バケットへ転送しています。その後@fujiwaraさんのrinを使ってRedshiftにロードしています。この周辺に関しては、ソーシャルゲーム事業部での記事と同様ですので、詳しくはそちらを
【一般の人向け】新型コロナウイルスを試験管内で人工進化させまくって変異株をたくさん作ったという論文を読んだので解説してみた話。 - sun_ek2の雑記。
目次。 文字数が4万字以上あるので、ご注意ください。コロナ自粛でヒマな人におすすめ。 目次。 注意（必ず読んでください）。 はじめに。 読んだ論文。 題目。 著者。 論文をまとめると…。 どういう利点があるの？ 導入。 新型コロナウイルスの感染メカニズム。 前提知識。 DNAと遺伝子の違い。 セントラルドグマと遺伝子発現。 ゲノムDNAとプラスミドDNA。 PCR。 遺伝子導入。 酵母ディスプレイ。 進化実験。 前提知識。 進化とは。 変異―Error-prone PCR。 選択―FACS（fluorescence-activated cell sorting）。 遺伝子型と表現型の紐づけー酵母ディスプレイ。 進化実験の詳細。 発現量（合成量）の高いRBD変異体を取ってくる。 ACE2とよくくっつくRBD変異体を取ってくる。 ACE2と速くくっつくRBD変異体を取ってくる。 解析。 前提知
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
最近のCSSは進化が早い！ モダンCSSの新機能、ブラウザのサポートが充実した機能のまとめ
Confusing git terminology
「やはりハンズは定期的にディグらないとダメ」東急ハンズで見つけた"アレ"のぬいぐるみ、意外にもかわいすぎる「コンプしたい」
肉食のネコが好んで食べる「猫草」の役割とは？毛玉排出以外のメリットも明らかに - ナゾロジー
Engadget | Technology News & Reviews
Tailwind CSS v2.0 - Tailwind CSS
主成分分析(PCA)の数学的な理論とPythonによる実装
The 5-hour CDN
The Untold Story of SQLite - CoRecursive Podcast
もう一度読むObservability Engineering - じゃあ、おうちで学べる
Figmaで簡単に作成できる！ワイヤーフレーム・フローチャート・プロトタイプ素材のまとめ
Ultimate Guide to Visual Testing with Playwright
BPF Performance Tools (Book)
デザインの変更に合わせてHTMLを変えるのではなく、CSSでさまざまなデザインを適用する実装テクニック
信じられるか……この人形、スポットライト当たってないんだぜ……「こういう変態技術者がいるから面白い」
The end of the Redis adventure - <antirez>
Let's Create a Simple Load Balancer With Go
深層学習VS決定木：テーブルデータ分析の未来｜PKSHA Delta
PLATEAUから街の構造を見る - estie inside blog
TypeScript: type vs interface
ニューヨークの近況について - つなぽんのブログ
分散合意アルゴリズム Raft を TLA+ で検証する - 俺の Colimit を越えてゆけ
BEST HIT CHRONICLE 1/1 カップヌードル｜日清食品グループ オンラインストア
新着論文の集め方・文献管理方法 - yokaのblog
傾向スコアを用いた因果推論入門~実装編~ - 下町データサイエンティストの日常
ウェブ・アプリエンジニアのためのFigma入門 (2) Figmaのキホン | さくらのナレッジ
Services By Lifecycle - Wide Awake Developers
redash + Google Colabによる分析環境 - KAYAC engineers' blog