2015年7月10日のブックマーク (12件)

  • Elm for the Frontend, Right Now - Bendyworks: We are Bendyworks

    NOTE: This article was written for Elm 0.16 and is now out of date. Many of the concepts discussed in this article were removed in the upgrade to 0.17, and some of the Elm syntax was changed in the move to 0.18. Please read the article we rewrote for Elm 0.18 in November 2016. The Ruby Rogues recently did a podcast (#212) about the Elm programming language. Go feast your ears on it right now; this

    Elm for the Frontend, Right Now - Bendyworks: We are Bendyworks
    tanakh
    tanakh 2015/07/10
  • マイクロソフトはもうスマホを作らないだろう

    第三勢力、ついに沈む? 先日、マイクロソフトがスマートフォン事業を中心に7,800人を解雇する計画を明らかにしました。この動きを受けて、米GizmodoのDarren Orf記者は「マイクロソフトが新しいスマホを作ることはないだろう」と予測しています。 約14年間、マイクロソフトのCEOを務めていたスティーブ・バルマー氏。バルマー氏はCEO退任直前に、ノキアの携帯電話事業を買収するという失策をやらかしました。マイクロソフトがあの大型買収について76億ドル(9,249億円)を減損処理し、スマートフォン部門で働く7,800人を解雇することが明らかになりました。 さてこのレイオフ、今後Windows Phoneが出ないということでしょうか? もし噂が正しければ、マイクロソフトはフラグシップ端末Lumiaを2機種、開発中です。 しかし、実際のところは今回の発表でマイクロソフトの携帯電話事業はとどめ

    マイクロソフトはもうスマホを作らないだろう
    tanakh
    tanakh 2015/07/10
    せやろかなあ(´・_・`)
  • ムーアの法則の限界へ…IBMが7nmで世界最強チップの開発に成功

    2年後には大活躍! コンピューターやモバイルデバイスの高性能化のカギを握っている半導体チップ。現在実用化されている最小シリコントランジスタには14nmプロセスの製造技術が用いられています。そして、まもなく次なる10nmプロセスの実用化によって、さらなるチップの高速化が目指されているというのが現状なのですが……。 このほどIBMは、そのグンと先をいく7nmプロセスでのチップ製造開発に成功したことを明らかにしましたよ。成功の秘密の1つに、従来のシリコンのみを用いる製造プロセスではなく、シリコンゲルマニウム(SiGe)素材の活用があげられています。まだ研究開発段階ですけど、この新たなSiGeによる7nmプロセスによって誕生したチップは、現時点で世界でもっともパワフルなチップと比較しても、その4倍以上の高速性能を誇るんだとか! IBMは新7nmプロセスで製造される半導体チップの供給を、2017年中

    ムーアの法則の限界へ…IBMが7nmで世界最強チップの開発に成功
    tanakh
    tanakh 2015/07/10
    あれ、IBMさんファブ売却してなかったっけ…
  • 世界一のお金持ちになる方法は? ビル・ゲイツ氏とイーロン・マスク氏が対談

    ビル・ゲイツ氏に「世界一のお金持ちになる方法」について質問 司会者:皆さん、おはようございます。百度(バイドゥ)の会長兼CEOのロビン・リーと申します。今回のパネルディスカッションの司会を務める機会をいただきまして、とても光栄に思っております。 中央にいらっしゃるのがビル&メリンダ・ゲイツ財団の共同会長、そしてマイクロソフトの前CEO、会長でいらしたビル・ゲイツさん。 現在もマイクロソフトの技術顧問を務めていらっしゃいます。そして、その隣にはイーロン・マスクさん。スペースXのCEO兼CTO、テスラのCEO兼最高技術責任者、そしてソーラーシティの会長でいらっしゃいます。おふたりとも、日はようこそ。 (会場拍手) 司会者:2週間ほど前、こちらのパネルディスカッションの司会をさせていただくことになりました。それにあたり、百度貼吧(バイドゥティエバ)のユーザーから質問を募りましたところお二方に対

    世界一のお金持ちになる方法は? ビル・ゲイツ氏とイーロン・マスク氏が対談
    tanakh
    tanakh 2015/07/10
    なるほどなあっ(´・_・`) “20代や30代の頃、マイクロソフトにいた時代は45歳以上の人にCEOを任せてはいけないと思っていたんですよ。大変な仕事ですからね。”
  • ParseがRubyからGoへ移行,信頼性が大きく向上

    Spring BootによるAPIバックエンド構築実践ガイド 第2版 何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎を学んだ。このでは、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...

    ParseがRubyからGoへ移行,信頼性が大きく向上
    tanakh
    tanakh 2015/07/10
    (´・_・`) “C++,他の言語に比較して生産性が低いこと”
  • 田代まさしさん、書類送検へ 駅でスカート内を盗撮容疑:朝日新聞デジタル

    女性のスカート内を盗撮したとして、警視庁が、元タレントの田代まさし(名・田代政)さん(58)=東京都=を東京都迷惑防止条例違反(盗撮)の疑いで近く書類送検する。玉川署への取材で10日わかった。容疑を認めているという。 署によると、田代さんは6日、東京都世田谷区の東急線二子玉川駅のホームで、女性のスカート内を盗撮した疑いがもたれている。盗撮の様子を目撃した人の通報を受け、署員が田代さんに事情を聴いたところ、盗撮を認めたという。女性はその場から立ち去った。 田代さんは、テレビのお笑い番組の司会などで活躍した。ボーカルグループ「ラッツ&スター」のメンバーとしても知られる。覚醒剤取締法違反などの罪で実刑判決を受けて服役を終え、今月1日には犯罪をした人らの更生を支援する「立ち直りフォーラム」に参加、「立ち直り途上です」などと体験を語っていた。

    田代まさしさん、書類送検へ 駅でスカート内を盗撮容疑:朝日新聞デジタル
    tanakh
    tanakh 2015/07/10
  • この猫は、少年のことを愛している。本当に(動画)

    少年への愛があふれて、大変なことに……。

    この猫は、少年のことを愛している。本当に(動画)
    tanakh
    tanakh 2015/07/10
  • 猫、立ち上がって、バックで歩いちゃった。(動画)

    tanakh
    tanakh 2015/07/10
  • 猫のあの座り方を英語で「パンの塊」と呼ぶ→その理由がわかる写真いろいろ : らばQ

    のあの座り方を英語で「パンの塊」と呼ぶ→その理由がわかる写真いろいろ このように独特の前足を折りたたんだ座り方を、見た目が似ていることから「香箱座り」(こうばこずわり)と呼ぶそうです。 (香箱座り - Wikipedia英語では“cat loaf”(ひと塊のパン)と呼ぶのですが、そう言われてピンと来るでしょうか。 なるほどと納得するに違いない写真をご紹介します。 1. おお、たしかに! パン1斤そのものかも。 2. こちらのも、まさにパンの塊。 3. 溶け込んでる……。 4. さすがに……そこにいるのはどうなの? 5. バターロール。 6. 白ロール。 7. 蒸しパン。 8. シナモンパン。 9. ライ麦パン。 10. シナモンロールとチョコロール。 11. お日さまでこんがり焼いてるところ。 12. 合成しても違和感がありません。 以上、香箱座りをしたたちでした。 パンの塊と

    猫のあの座り方を英語で「パンの塊」と呼ぶ→その理由がわかる写真いろいろ : らばQ
    tanakh
    tanakh 2015/07/10
  • いぬのきもち。たくさんの猫たちが初めて見る子犬を超ガン見。

    人気ブログ「マンチカンズと仲間たち」では10匹のの日常が面白おかしく紹介されている。この度新たに仲間に加わることとなったのは、でなく子犬だった。 てことで初対面のその日、と犬の反応を収録した動画が公開されていた。 【マンチカンズ】犬に初めて出会った一家の反応 ~cats’ interviewing with a puppy~ 誰にとっても初めての経験は感慨深いものがある。たちにとってもはじめて見る子犬は新鮮なものだったのだろう。 あたら行く仲間に加わったのはこの子犬 この画像を大きなサイズで見る マンチカンたちはワラワラと寄ってきた この画像を大きなサイズで見る じっと見る この画像を大きなサイズで見る さらに見る この画像を大きなサイズで見る こんだけガン見されても我が道を行くナナちゃん。 今はまだお互いストレスにならないように、ケージに布をかけて隔離中だが、そのうち楽しく仲

    いぬのきもち。たくさんの猫たちが初めて見る子犬を超ガン見。
    tanakh
    tanakh 2015/07/10
  • GitHub - jwiegley/coq-haskell: A library for formalizing Haskell types and functions in Coq

    tanakh
    tanakh 2015/07/10
    “A library for formalizing Haskell types and functions in Coq”
  • darcs 2.10.1 release

    Hi all, The darcs team is pleased to announce the release of darcs 2.10.1 ! Downloading The easiest way to install darcs 2.10.1 from source is by first installing the Haskell Platform (http://www.haskell.org/platform). If you have installed the Haskell Platform or cabal-install, you can install this release by doing: $ cabal update $ cabal install darcs-2.10.1 Alternatively, you can download the t

    tanakh
    tanakh 2015/07/10