Pull Panda · GitHub Marketplace · GitHub

2019/06/17 15 users GitHub GitHub Marketplace

Verified by GitHub GitHub confirms that this app meets the requirements for verification. Categories Code review Chat Free Customers Pull Panda has joined GitHub and is now completely free! Backed up on pull requests? Tired of nagging people about code reviews? Join companies like Pivotal, Insta... 続きを読む

HLSで「等価性検証は必要ないのか？」と質問された時の正解 - Design x Verification

2013/06/28 8 users TDD HLS ごめん 雑記 正解

2013-06-28 HLSで「等価性検証は必要ないのか？」と質問された時の正解 雑記 元ネタ：TDDで「テストばかり書いて間に合うのか？」と質問されたときの正解 高位合成/動作合成のツールを使った設計において、顧客などから 「等価性検証は必要ないのか？」 などと質問されることがあると思います。 そんな時には、後ろからそっと抱きしめて 「そんな質問させてごめんな」 が正解です。 kocha2012... 続きを読む

Getting started with login verification | Twitter Blog

2013/05/22 17 users Twitter Blog

Tuesday, May 21, 2013 | By jimio (@jimio), Product Security Team [15:14 UTC] Every day, a growing number of people log in to Twitter. Usually these login attempts come from the genuine account owners,... 続きを読む

突然のパチラッシュに備える - ウロボロスVim - - Design x Verification

2013/04/08 21 users Vimmer ウロボロス vim tyruさん マウス位置

2013-04-09 突然のパチラッシュに備える - ウロボロスVim - Vim この記事は Vim Advent Calendar 2012 の 130日目の記事になります。 129日目は @tyruさんの balloon-evalを使ってマウス位置を取得 でした。 いつまで続くのかドキドキですね。Vimmerにクリスマスはくるのか！？ では、今回の記事はこちらになります。 ウロボロス - W... 続きを読む