タグ

2020年2月18日のブックマーク (7件)

  • コメント欄でも使える...?よくわからない反論をされた時、使うと”相手がバグる質問”が汎用性高そう

    Mune-san @MuneOiz よくわからない反論をされたときは「それは私の主張とどう対立するのでしょうか?」と聞くと相手がバグる時がある。 2020-02-17 10:40:52

    コメント欄でも使える...?よくわからない反論をされた時、使うと”相手がバグる質問”が汎用性高そう
    koroharo
    koroharo 2020/02/18
  • なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記

    How do you imagine a building? You consciously create each aspect, puzzling over it in stages. Inception 型なし言語に馴染みはあるものの型付言語をいざ使ってみたらどういう気持ちで書いたらいいのかわからなかったと同僚から相談があり, それをきっかけにして社内の勉強会で以下の話をしました. よく型なし vs. 型付の文脈では「型を書くのは面倒だ」「安全の方が大事だ」「でも面倒だ」「それは型推論を前提にしていないからだ」などの議論になりがちな気がしますが、これはあくまで「計算ありきの型」を考えているからで, 「型ありきの計算」だと全く見え方が違います. 「型はある種の仕様」とおもえば, 型ファーストであることと, 型なし言語でテスト駆動開発(TDD)するときに最初にテストを書くこととは, 同じ

    なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記
    koroharo
    koroharo 2020/02/18
  • 俺の妻についてのろけさせてもらおうかな

    俺のには死角がない。頭の回転が早く、色々と万能というか様々な局面において適切かつ合理的な判断をする有能さに加えてコミュニケーション能力も高い。おどおどして、すぐ慌てて二次災害を起こしかねない俺とは大違いだ。さらに美人である。芸能人で誰に似ているって言うのが思いつかないのだが、しいて言えばポケモンのラプラスに似ている。ちょっと憂いのある流し目が特に。 スタイルだって抜群にいい。脚は長く姿勢もいい。スーパーを颯爽と歩くに後ろからカートを押してついていく俺の姿と言ったら女王と下男のそれである。それでもいい。俺はとにかくが自慢だ。一番自慢なのははとても優しい所だ。俺にぺたっとくっついて「いつもありがとう」って言ってくれる。そして子供には「大好きだよ」って抱っこしながらいつも言っている。当に俺にはもったいない、神様に感謝したくなるだ。 そんな自慢のなのだが、一つだけ欠点がある。いや俺と

    俺の妻についてのろけさせてもらおうかな
    koroharo
    koroharo 2020/02/18
  • 「仕事で成長」って、本当に必要ですか?

    何か月か前の話で申し訳ないんですけど、「まなめはうす」のまなめさんっていう、コーラばっかり飲んでる変な人がこんな記事書いてたんです。 部下の教育に失敗した話 そう思う私だからこそ、部下には学ぶ時間さえ与えれば成長できると思って、業務を進めなくてはいけない立場でありながらも、可能な限り時間をつくってあげたんですよ。 部下になった時点で数か月後には別のPJに異動することも決まってたこともあって、そのための準備とかスキルアップとか必要と思って。 結論から言うと、私が作ってあげた時間は無駄に終わり、後日人からも、もっと仕事をふって欲しかったと言われたのですが。 これ、実は私も同じようなことしちゃった、正確にはしかけちゃった経験があるんですよ。 前の会社の時の話なんですけどね。 その会社って、あるプロジェクトが終わると即他のプロジェクトにアサインされて、「隙間の時間」的なものが当に全然なかったん

    「仕事で成長」って、本当に必要ですか?
    koroharo
    koroharo 2020/02/18
  • Akka Streamsで実装するリアクティブストリーム

    今回と次回の2回に分けて、Akka Streamsを使って実装するリアクティブストリームについて解説する。 はじめに 前回と前々回の2回で、Akkaでレジリエントなシステムを構築するためにAkka Clusterを使ってクラスタを組む方法を紹介しました。単に処理能力の向上を目的に並列化/分散化の手段としてAkkaを利用するだけでなく、障害に強く可用性の高いシステムを構築するための手段としても有効であることがおわかりいただけたでしょう。 今回と次回の2回に分けて、連続して発生し続けるデータを処理する「ストリーム処理」をAkkaで実現する方法を紹介します。Akkaではストリーム処理を実装する拡張機能として、「Akka Streams」が提供されています。Akka StreamsはJava 9の新機能として注目される「リアクティブストリーム」を実装したライブラリです。最初に リアクティブストリー

    Akka Streamsで実装するリアクティブストリーム
    koroharo
    koroharo 2020/02/18
  • Spring BootとPlay Framework、どっちがどう良いの? 専門家が5つの視点で徹底解説 - エンジニアHub|Webエンジニアのキャリアを考える!

    Spring BootとPlay Framework、どっちがどう良いの? 専門家が5つの視点で徹底解説 Spring BootとPlay Framework、どちらを使うべきか……?開発者を悩ませる疑問に答えるべく、専門家2人がさまざまな視点で両フレームワークの特徴を解説します。 【比較ポイント(1)】設計思想や登場してきた歴史的背景 【比較ポイント(2)】得意分野や利用されている領域 【比較ポイント(3)】各コンポーネントの実装スタイル 【比較ポイント(4)】データベース接続まわり 【比較ポイント(5)】今後のリリース展開について Webアプリケーション開発において、フレームワークは欠かせない存在となっています。開発者が実装すべき処理に集中でき、堅牢でメンテナンスしやすいアプリケーションをすばやく開発できる。これこそ、フレームワークを使う最大の利点といえるでしょう。 JavaやScal

    Spring BootとPlay Framework、どっちがどう良いの? 専門家が5つの視点で徹底解説 - エンジニアHub|Webエンジニアのキャリアを考える!
    koroharo
    koroharo 2020/02/18
  • 「反お笑い」の哲学史(前編) - 歴ログ -世界史専門ブログ-

    笑いを否定する哲学論の歴史 「笑う」ことは心身のリラックスやストレスに効果があることが科学的に証明されており、健康的にも笑うことが推奨されています。 一方で「どんな理由で笑うか」は結構センシティブな話題で、人種やジェンダー、宗教、特殊な身体的特徴をあげつらって笑ったことで、毎日どこかで誰かが炎上しています。笑うという行為は、いかなる理由があってもしてはいけない、という極端な主張がなされた時代もありました。 今回は歴代の「笑い」に反対する哲学者の主張を時代を追ってみていきたいと思います。 1. 反お笑いの元祖プラトン 古代ギリシア人は大変お笑い好きな人たちでした。 喜劇役者、道化師、コメディアン、伴者など笑いを専門にする職業も多彩にあったそうです。特に人々が好んだのが劇場で見る喜劇。著名な喜劇詩人、エウリポスやクセルナルコス、アリストファネス、息子のニコストラトスの作品は現代でもいくつも残

    「反お笑い」の哲学史(前編) - 歴ログ -世界史専門ブログ-
    koroharo
    koroharo 2020/02/18