docker-syncでホスト-コンテナ間を爆速で同期する - Qiita
2020/05/26 追記 Docker for Mac の Mutagen-based caching で Volume のパフォーマンスが劇的に改善した Mutagen単独で試してみたことがあって、すごく速くてよかったんですが、 Docker for macに統合されそうな感じになってるんですね。 これは期待。 2017/3/15 追記 先日この問題のissueに対して、 というコメントがつけられ、それに関する というプルリクが 本体にマージされたようです。 まだ詳しく見ていませんが、マウント時に同期方法オプションが指定できるようになり、そのオプションによってキャッシュするレベルを制御して同期を軽くしよう、というような感じになるようでした。 実際にリリース版で使えるのはいつなのかわかりませんが、やはり本体が早くなるのが一番いいのでちょっと期待ですね。 ========== 追記ここまで
Ｗｅｂ春秋の連載第8回が更新されました反社会学講座ブログ
こんにちは、パオロ・マッツァリーノです。カズレーザーさんは学生時代から私の本をチェックしてくれてるそうです。やっぱり勢いのある人は本を選ぶセンスもいいですね。きっと宇治原さんは、私の本を読んでないんじゃないかなぁ…… さて、今月もＷｅｂ春秋の連載『会社苦いかしょっぱいか』が更新されました。 今月のテーマは都会の会社員とは切っても切れない通勤電車。鉄道にまったく興味がない私ですが、今回いろいろ調べたおかげで、むかしの鉄道文化にちょっと詳しくなりました。 あ、そういえば先日、電車で化粧する女性は大正時代からいたとツイートしたところ、多くの反響がありました。そのなかに、大正時代に電車に乗るのは一部の上流階級だけだったのだろう、なんて意見がありましたけど、そんなことはないですよ。大正時代には、電車や市電が庶民の足として欠かせないものになってました。 そして、現在電車でのマナー違反とされる行為はほぼ
「Red Hat Enterprise Linux 4および5」が2017年3月31日 同時サポート終了：IPA 独立行政法人 情報処理推進機構
レッドハット株式会社提供のOS（基本ソフト）「Red Hat Enterprise Linux 4」の延長サポート、および「Red Hat Enterprise Linux 5」（以後、RHEL）の通常サポートが2017年3月31日、同時に終了する(*1)ことを踏まえ、システム管理者に速やかな移行を求められます。 Linuxはオープンソースソフトウェア（OSS）の基本ソフトとして、無償で利用可能なことから広く普及しています。またRHELの場合、その使途は外部からインターネットでアクセスされるサーバーにも活用されています。そのため、サポート終了により修正パッチが提供されなくなると、インターネットを介して攻撃に晒される可能性が高くなり、速やかな移行が求められます。 また、RHELのソースコードをベースに開発された無償の「CentOS(*2)」のように、派生ソフトウェアが複数存在しているのもOS
LINEで畑と会話ができる！
畑と人間がチャット形式で会話――。そんなデモを実施したのは、日本オラクルだ。その名も「畑bot」。なんと、コミュニケーションサービスのLINEを使って「畑と会話ができる」という驚きのソリューションを実現した。その仕組みと狙いとは。 日本オラクルが開発した「畑bot」は、畑を擬人化して人間と会話ができるツールだ。物は試し。取材の冒頭に、仮想の畑である「オラクル畑」とLINEで会話してみた。「水分は足りてますか？」とLINEで問いかければ、「ちょうど良い感じです」といった答えが返ってくる。畑に水分が多すぎるような状況だと、同じ問いかけに「ジャブジャブです」と返事があった。データを使ってモノとしての畑の状態を監視するわけではなく、擬人化された畑と会話を交わしているような感覚で、親近感が生まれてくる。 畑botとは、機械的に自動発言するシステムである「Bot」と「畑」を組み合わせた造語。同社では「
実世界を扱う依存型プログラミングのたぶん基本～外界から安全な世界までの道 - ぼくのぬまち 出張版
依存型ならさらに安全にプログラミングできちまうんだ！と言ったところで，「無料で遊べちまうんだ！」とか「3000円払えば無料で10連まわせる」みたいな感があり， 依存型使わない場合とどう違ってくるのか 入出力から扱い始めるとどういった形のプログラムになるのか 大概どういう流れでプログラミングすることになるのか とか，そういった話を通しではそんなに見ないかなーという気がしたので，ごく基本的なものを一通りまとめておこうと思って． まず，説明に使う問題設定について．行列演算，特に行列積を考えてみる．ただし，行列の形(行はいくつ，列はいくつ)についてはプログラムの外から入力によって決定するような状況とする．これ自体は普通の問題設定だと思われる． 依存型を使わなければ特にどうということも無い．恐らく行列の型を次のように定義し， -- 形のみ持っておき，中身の数値については簡単のため省略 data Ma
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
