ファジングと統計学 - Qiita
はじめに 本稿ではファジングのシードスケジューリング問題に対する統計学的なアプローチについてまとめる。統計学、強化学習の基礎、特に二項分布と標本検定および多腕バンディット問題については既知とする。 ファジングとはソフトウェアのバグ(特に脆弱性)を発見するためのソフトウェアテストの一種で、テスト対象のプログラムに多種多様な入力を与えて実行し、何らかの不具合を生じさせた入力を記録していくテスト方式だ。勿論複数の入力が同一のバグ(root cause)を引き起こしている可能性もあるため、これらの記録された入力はファジング後のトリアージというプロセスでバグと1:1に対応する様にDeduplication(重複除去)され、データベースに記録される。この一連の流れをファジングキャンペーンという。 GoogleのOSS-Fuzzの例 ランダムテストとの最大の違いは、ファジングはプログラムを実行した際の状
Twist vs Slack: より穏やかな働き方 – Twist Help
Twist を開発する前は Doist チームも Slack を利用していましたが、利用開始から 2 年経ったころから、Slack のマイナス面が目立つようになりました。コミュニケーションが同時並行的に行われていたため、ヨーロッパとアジアにいるチームメイトで話し合った問題や解決策の内容が、アメリカのチームメイトが起床する前にはすでにチャットの中に埋もれてしまっていたのです。それに加え、重要な会話や決定事項を見逃してはいけないという思いから、私たちのチームは 24 時間 365 日、常にオンラインでいなくてはいけないと感じていました。 私たちには、より体系的で、生産的で、穏やかに仕事をする方法が必要でした。それが Twist を開発し、2015 年 6 月からチームのコミュニケーション ツールとして Twist だけを使用している理由です。 ぜひ以下を読み進め、Twist がどのようにしてデ
High Performance Data Streaming with Amazon Kinesis: Best Practices (ANT322-R1) - AWS re:Invent 2018
イチロー引退に泣いたゴードン、感謝広告「愛してるよ」：朝日新聞デジタル
","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"
GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation
Miri is an Undefined Behavior detection tool for Rust. It can run binaries and test suites of cargo projects and detect unsafe code that fails to uphold its safety requirements. For instance: Out-of-bounds memory accesses and use-after-free Invalid use of uninitialized data Violation of intrinsic preconditions (an unreachable_unchecked being reached, calling copy_nonoverlapping with overlapping ra
『Borderlands 3』正式発表。シリーズのキャラ達が集結しさまざまなロケーションを冒険、初代リマスターなども - AUTOMATON
ホーム ニュース 『Borderlands 3』正式発表。シリーズのキャラ達が集結しさまざまなロケーションを冒険、初代リマスターなども 【UPDATE 2019/03/29 11:15】 『ボーダーランズ３』の国内向け解禁トレイラーが公開された。日本公式サイトも近日公開予定。 【原文 2019/03/29 5:07】 Gearbox Softwareは3月29日、『Borderlands 3』を正式発表した。トレイラーのみが公開され、対応プラットフォームや価格、発売時期などは不明。どうやら4月4日に続報が公開されるようだ。 プレイヤーは、Vault Hunterとして最大4人で冒険。銃で敵倒し、さらに大量の銃を集め優れたものを選定するというシリーズのアイデンティティは健在だ。今回公開された映像では、数多くのシリーズキャラクターが映し出された。ティザートレイラーでも多くのキャラクターが登場す
【Python】🍜機械学習で「隠れた名店」を探してみた。（そして実際に行ってみた）🍜 - Qiita
１.簡単な概要 この記事では都内ラーメン屋の食べログ口コミを使って隠れた名店をレコメンドで発掘するやり方を解説していきます。 私自身🍜が大好きで昔は年間100杯以上食べ歩いてきた自称ラーメンガチ勢です。しかしながら、直近の健康診断にひっかかり、医者からドクターストップをかけられてしまいました。。。 行き場をなくしたラーメン熱を発散すべく機械学習でラーメンレコメンド（隠れた名店をレコメンドで発掘）に挑戦してみることにしました。 今回は、集大成として、Word2vecでモデリングしたmodelを使って隠れた名店をガチで発掘し、実際にそのお店に行って確かめるところまでやります！ 有名店のラーメンに対して類似度が高いラーメン店を探すイメージです。 techgymさんのブログに掲載いただきました！ありがとうございます。 【人工知能の無駄遣い?】AIプログラミングの面白記事をまとめてみました。 ２.
こうして自分はマイクロソフト本社に入った（波乱万丈編)
【2022年1月30日 追記】 ブログ始めました。よろしくお願いします。 https://samayoro.net/ ------- 最近googleに入った話がはやっているので便乗してマイクロソフト本社に入った話をしてみる。 君はだれ？性別:男、京大 情報修士(大学では飲食バイト・マージャン・バイク・飲みに勤しみあまり勉強せず) やった事(時系列順・箇条書き)暗黒時代修士論文と彼女と親の板挟みで鬱になり、ヘロヘロな状態で某メーカーに就職したが、休職を繰り返した挙句に退職休職中にパチンコしまくってサラ金に借金抗うつ剤とパチンコによる脳汁ドバーで躁病に派遣プログラマとして働きながら躁病パワーで起業を目指し出資者をさがしたり奔走創価学会員と揉めたり色々しているうちに精神病院隔離病棟に強制入院させられる(警察６人に神輿のように担がれて運ばれた挙句、ベッドに縛り付けられてオムツを着せられ鎮静剤を注
PHPはもうダメだ、PHP万歳！ | POSTD
(編注：2020/08/18、いただいたフィードバックをもとに記事を修正いたしました。) GutenbergとWordPressに関する騒動は、PHPの終焉につながる最新記事です。深呼吸をしてください、みなさん。トロールは無視し、Mark TwainとFidel CastroとPHPとの共通点を見ていきましょう。そして、もっと重要なのは、スタートアップやスモールビジネスにとって、PHPが今でも合理的な選択である理由です。 PHPはいつから廃れ始めたのか “PHPはもうダメだ”といったブログの投稿が、登場し始めたのは2011年のようです（これより古いものを見つけたら、お知らせください）。Mediumや、mushroomsのように突然出現したcoding bootcampsを探し回れば、その唯一の共通点は、みんながPHPを嫌っているか、あるいは単に無視しているかです。どうやら、法外な値段のコー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Hadoopのソースを読む際の参考資料 - wyukawa's diary