Vim-LaTeX - TeX Wiki
MacVim-KaoriYa を使用して Vim-LaTeX でノーマルモードに入る時に自動で IME がオフになる機能を有効にするとインサートモードでの日本語入力がおかしくなる → VimでNormalモード切り替え時にIMEをOFFにする、をMacでKarabiner-Elementsを使って実現する † ↑ MacVim-KaoriYa で Vim-LaTeX を使用すると日本語入力が中断される → $HOME/.vim/gvimrc に set imdisable を記述して MacVim メニューの「環境設定」「詳細」の「インラインインプットメソッドを使用する」のチェックをはずす † IM挿入モードの中断 · Issue #30 · splhack/macvim-kaoriya · GitHub → $HOME/.vim/gvimrc に set imdisable ↑ Linu
Kindle Paperwhite 2013
Kindle Paperwhite 2013 just got delivered to me and I’ve been using it only about 15 minutes. Here’s a quick review and some pics. 15分ぐらいしか使ってないけどとりあえずファーストインプレッション。 (Paperwhite 2012 left, 2013 right) 2013 has more white closer to “paper” white. 2012 is more like blue/gray white. Also the contrast is a little higher and easier to read, especially when the light turned off. 白の色がちょっと変わって、紙の色に近づいた気がす
Plamo Linux 5.1 で vagrant は vagrant-kvm の方が楽だった - TenForward
(2014-01-15 追記) Vagrant 1.4 系だとまだ vagrant-kvm はちゃんと動かないようです．ご参考 さっき『Plamo Linux 5.1 で vagrant を Libvirt Provider 経由で使う - TenForwardの日記』って書いたばっかりなのに，次は vagrant-kvm っての試してみようかと思って試してみたら，こっちの方が断然楽だったので，Plamo でやるときはこっちでしょう!! 名前からてっきり libvirt 使わないのかと思ったらしっかり使います まず，vagrant-libvirt より良い点． netcat の置き換え不要 Plamo の標準的な使い方だと何もせずに VM 起動 VirtualBox 用に作られた box が使える 悪い点． VM起動時に共有フォルダを設定しようとするけど Plamo じゃ期待する動作をしな
[Halvm-devel] HaLVM 2.0 Developer's Release
Adam Wick awick at galois.com Fri Oct 18 14:38:25 PDT 2013 Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Howdy all - I'm pleased to announce the arrival of the HaLVM 2.0 Developer's Release. In it, you will find: * GHC 7.8 support * Threaded RTS support * SMP HaLVM support * 0-copy networking support (ish) * Much more sensible library APIs * Much improved compatibility with existi
An ASM Monad
Two weeks ago, I briefly introduced a way of representing Assembly Language in Haskell code, in order to illustrate the programming paradigm to which it belongs. In a move that is sure to scare off both high-level and low-level programmers, I shall now explain how a Monad implementing 6502 Assembly can be created. In real code, this would use more abstract or efficient types, but in this article I
Fork/Join Framework についてちょろっと調べてみた - n3104のブログ
同僚と Fork/Join Framework について話す機会があり、ちょっと気になったので調べてみました。ちなみに、ソースは jdk1.7.0_25 です。 native なのか Java なのか？ native とかは使わないで普通に Java の Thred クラスを利用して実装しているようでした。そのように判断した理由は以下の通りです。 ForkJoinWorkerThread 自体は Thread クラスを継承している ForkJoinPool#invoke から RecursiveTask#compute までのソースを見た感じ、普通に Java のコードだった ForkJoinWorkerThread の生成タイミング ForkJoinPool#invoke の中で ForkJoinWorkerThread を生成しているみたいでした。 registerWorker(For
IHaskell: Haskell for IPython
IHaskell: Haskell for IPython : A Haskell language backend for IPython interactive shell and notebook.View on GitHub IHaskell: Haskell for IPython A Haskell language backend for IPython interactive shell and notebook. Download this project as a .zip file Download this project as a tar.gz file IHaskell is an implementation of the IPython kernel protocol which allows you to use Haskell inside IPytho
Jupyter and the future of IPython — IPython
IPython provides a rich architecture for interactive computing with: A powerful interactive shell. A kernel for Jupyter. Support for interactive data visualization and use of GUI toolkits. Flexible, embeddable interpreters to load into your own projects. Easy to use, high performance tools for parallel computing. To get started with IPython in the Jupyter Notebook, see our official example collect
IPython notebookでブラウザ内にグラフを描画する - memorandum
概要 PythonにはIPythonというブラウザやターミナルで対話的にPythonを実行できるツールがあります。 また、科学計算ライブラリnumpy, scipyやグラフ描画ライブラリmatplotlibがあります。 こうしたツールを組み合わせて、Pythonを使ってブラウザで対話的にグラフを描画してみます。 環境 インストールした環境です。 OSX Mountain Lion 10.8.3 homebrew pythonbrew Python 2.7.3 インストール方法 OSXだと非常に簡単に環境が構築できます。 numpy $ pip install numpy scipy $ brew install gfortran $ pip install scipy matplotlib $ pip install matplotlib IPython & IPython noteboo
Software Archives
Generative AI is enhancing media and entertainment by enabling hyper-personalized, dynamic and immersive fan experiences. At IBC, a trade show focused on the intersection of media, entertainment and technology, NVIDIA… Read Article Companies in broadcast, sports and streaming are transitioning to software-defined infrastructure to benefit from flexible deployment and to more easily adopt the lates
Java EE 7で並列処理がケタ違いに速くなる！ 使いこなしのポイントは？──Java Day Tokyo 2013レポート - builder by ZDNet Japan
このように、Javaにおける非同期処理の仕組みは着々と進化を続けているが、残念ながら開発の現場では、まだこれらの機能が十分に活用されていないと寺田氏は嘆く。氏はサンプル・コードを示しながら、「スレッド処理に関して、いまだにJavaの登場当初からのnew Thread(r).start(); などと書いているプログラムを多く見かけるが、もうこのような実装はやめたほうがよい」とアドバイスした。スレッドを無限に生成するこのコードでは、スレッドを生成する度にスタック領域が確保されてメモリを消費するほか、コンテキスト・スイッチも発生するため、パフォーマンスは決して良くならない。スレッド生成は処理コストが高く、こうした方法ではマルチコア・プロセッサ環境でその性能を十分に発揮できないのだという。 そこで現在、スレッドを直接生成する方法に代わって推奨されているのが、Java SE 5 から導入されたCon
Scala 2 Hacker's Guide
This guide is intended to help you get from an idea of fixing a bug or implementing a new feature into a nightly Scala build, and, ultimately, to a production release of Scala incorporating your idea. This guide covers the entire process, from the conception of your idea or bugfix to the point where it is merged into Scala. Throughout, we will use a running example of an idea or bugfix one might w
Nyampass
ベンチャー・新規事業の即戦力! 創業10年、これまで数多くのウェブサービスやアプリを開発してきた実績をもとに開発を行います 基板設計から開発、インフラまで幅広い分野も徹底サポート！
CodeCube: Docker-powered Runnable Gists - Harry Marr
Whether you’re soliciting programming advice on a mailing list, providing technical support over IRC, or saving a useful snippet of code for later, GitHub’s Gist is an indispensable tool. I’ve been writing more and more code in Go recently, and something struck me about the Go community: they don’t use Gists. When Go developers share code, they do so almost exclusively through a tool called the Go
Play Framework: async I/O without the thread pool and callback hell
Play Framework: async I/O without the thread pool and callback hell Under the hood, LinkedIn consists of hundreds of services that can be evolved and scaled independently. That is, all functionality is broken down into separate codebases, deployed on separate hardware, and exposed via well-defined APIs. For example, we may have separate front-end services (e.g. Profile, Skills) that talk to separa
Collins - Infrastructure Management for Engineers
About Collins exists to drive infrastructure automation. Someone recently asked me to describe collins in a sentence. At Tumblr, it's the infrastructure source of truth and knowledge. Everything about Tumblr production environments is stored and encoded in Collins, and that data is used to drive all of our automation. Sometimes people refer to systems like this as a CMDB, or Configuration Manageme
HPACK の Integer Representation の仕組み - Block Rockin’ Codes
intro この内容は、 HPACK draft-03 を元に書かれています。 http://tools.ietf.org/html/draft-ietf-httpbis-header-compression-03 将来のドラフトでは変わる可能性があるためバージョンにはご注意下さい。 (以下の内容は、自分がアルゴリズムから読み解いたものなので、間違ってたら教えて下さい。) HPACK HPACK のフレーム表現の中に、以下のような表記が出てくる。 0 1 2 3 4 5 6 7 +---+---+---+---+---+---+---+---+ | 1 | Index (7+) | +---+---------------------------+この Index(7+) は、ここに数値が 7 bit もしくは、それに続く数 byte を用いて、 表現されていることを示している。 この表現
「サインシステム計画学」という本を読んだ - ushiroad
近くの本屋に行ったら（本当は他の本を探しに行ったのだけれど）改装中で無秩序に本が積んであって、たまたま目に留まったので買ってみた。 サインシステムというのは平たく言えば駅などにある案内表示のことで、今では当然のように存在している営団地下鉄（東京メトロ）のそれを整備した本人による解説書がこれ。（案内表示のこと、というのはかなり乱暴な言い方で、本文中では、案内表示だけではなく建物の構造など環境全体をシステムとして捉えよと書いている） 博士論文がベースになっている本ということで、5500円もするのに難解で読めなかったらどうしようと思ったけど、読み易い本だった。しかも、工業デザイン、あるいはデザインそのものの基礎にも触れていて、お得感が高い。 私はそもそも物理的なタイピング速度が遅いし、vimやemacsといったイカしたエディタも操れないので、せめてこうやって知識を肥やしておかなければスーパーハッ
日本伝統失いすぎじゃね？お前ら危機感持てよ : 哲学ニュースnwk
2013年10月21日19:30 日本伝統失いすぎじゃね？お前ら危機感持てよ Tweet 1：以下、名無しにかわりましてVIPがお送りします：2013/10/21(月) 00:16:36.63 ID:rskJ8/by0 歌舞伎、能、狂言、相撲の見物とか芸者遊びとかしたことあんの？ 着物着て米食おうぜ。 8：以下、名無しにかわりましてVIPがお送りします：2013/10/21(月) 00:18:52.41 ID:+sXSaFkd0 わりと着物＆黒髪は復興させたい 9： 忍法帖【Lv=33,xxxPT】(1+0：15) ：2013/10/21(月) 00:19:23.63 ID:HX2AP0Jp0 着物着たいけど高い 26：以下、名無しにかわりましてVIPがお送りします：2013/10/21(月) 00:26:11.66 ID:L5lmVJ2S0 大正時代のハイセンスっぷりは異常 34：以下、
初心者のための記号論：目次
＜訳者より＞ 本テキストは英国のウエールズ大学のダニエル・チャンドラー博士による記号論への入門書のオンライン版であり、インターネット上で公開されているものです。このオンライン・テキストは評判が良く、１９９５年公開以来のアクセス回数は５６万回（２００４年２月時点）にもなっています。 訳者は２００２年４月まで３５年間、企業の研究所に勤務していたシステム分析が専門の技術者ですが、記号論の本の中に、「システム」という言葉がたびたび出てくることから記号論に興味を覚え、インターネット上で調べていたところ本テキストと出会いました。記号論の主要トピックスをソシュールの記号学および構造主義をベースに、丁寧に説明しており具体的な例も多く観念的でないことから、記号論を勉強してみたいと思っている人、記号論の勉強を始めたがよく分からず挫折した人にとって良い参考書になるのではないかと感じました（残念ながら、日本では、
Brutal [Meta]Introduction to Dependent Types in Agda
by Jan Malakhovski, v. 16.3, published 2013-02-04, last updated 2024-06-28Literate Source Agda doesn’t lack tutorials and introductions, see below for a rather long list of recommendations. There’s a lot to read already, why another introduction? Because there is a gap. The Theory is huge and full of subtle details that are mostly ignored in tutorial implementations and hidden in language tutorial
Erlang GC メモ | cooldaemon's memo
プロセス同士が共有メモリを持たないのでプロセス毎に GC を持てる プロセスが終了したら、難しい事を何も考えずに即時 Heap が解放される メモリを大量消費する処理をプロセスに閉じ込めるという戦略が有効(終了 = 解放) receive 等でプロセスが中断すると GC も止まる プロセスが中断していても erlang:hibernate/3 で GC を強要できる spawn_opt でプロセス起動時の Heap を調整できる プロセスが終了間際に 200K の Heap を持っていると解っているなら、始めから 200K にしておくと Heap を増やす負荷を下げられる プロセス起動時は Compacting GC (本当か?) プロセスが確保している Heap が大きくなると Generational GC に切り替わる (境目はどこだ?) 64 バイトを超えるバイナリデータは、Hea
Miniboxing — Miniboxing Plugin for Scala
Learn all about miniboxing in a 5 minute demo. Start here Start Page Tutorial Benchmarks Use it Sbt config Sbt project Command line Examples Linked List PureImage Vectors Streams Reverse Discuss Mailing List Twitter News Runtime MbArray Functions Reference Encoding Transformation Learn more Source code Issue tracker License Authors Welcome Miniboxing is a program transformation that improves the p
Home - AutoIt
AutoIt v3 is a freeware BASIC-like scripting language designed for automating the Windows GUI and general scripting. It uses a combination of simulated keystrokes, mouse movement and window/control manipulation in order to automate tasks in a way not possible or reliable with other languages. We looked at many editors to see which one was the most useful editor for AutoIt. We found SciTE and saw i
STARDUST - スターダスト オフィシャルサイト - 重要なお知らせ
重要なお知らせ 平成２５年１０月１８日一部報道にもありました通り、当社所属のももいろクローバーＺのムック本「ももクロぴあ ｖｏｌ．２」（ぴあ出版）に関して、 印刷部数に虚偽の報告があり、印税額が本来より過少であったことが発覚致しました。 日頃より、ぴあ株式会社様とは良いお付き合いをさせていただいておりましたが、このような結果となり大変残念です。 当社宛てにぴあ株式会社の内部不正を指摘する書面が届きました。 それは、ムック本「ももクロぴあ ｖｏｌ．２」編集担当責任者が、初版発行部数について虚偽の報告をしているというものであり、 主に以下のような内容でした。 ------------------------------------------------------------------------------------------- ～（略）この本の発売直後、編集担当責任者が取締役ＣＯＯ
国立科学博物館のガチャがヤバイｗｗｗｗ完全にバグってるｗｗｗｗｗｗｗｗ:ハムスター速報
TOP > 話題 > 国立科学博物館のガチャがヤバイｗｗｗｗ完全にバグってるｗｗｗｗｗｗｗｗ Tweet カテゴリ話題 0 ：ハムスター２ちゃんねる 2013年10月21日 18:00 ID：hamusoku 国立科学博物館でやったガシャポンで出た縄文人。組み立てたらこうなる筈なんですが https://twitter.com/umaco0303/status/391914366037012480/ 組み立てたらこうなりました。クレーム付けた方がいいでしょうか。犬が何故か二匹もいますし。 https://twitter.com/umaco0303/status/391914906905108480/ 1 :ハムスター名無し2013年10月21日 18:10 ID：WrAg27050 やｗｗりｗｗたｗｗいｗｗ 2 :ハムスターちゃんねる2013年10月21日 18:10 ID：lRWBS8w
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - vagrant-libvirt/vagrant-libvirt: Vagrant provider for libvirt.
Clojureメインの開発会社ニャンパスが「にゃんぱすー」の濁流にのまれる : 市況かぶ全力２階建
福利厚生はプロテイン飲み放題、SFC出身のITベンチャーじげんが東証マザーズにハッピーブライド : 市況かぶ全力２階建
地下鉄階段のっぺり壁 :: デイリーポータルZ
nghttp2_iij
型付き S 式 XML - 星の贈り物(2012年12月の日記)
Haskellで便利にデータ設計
StreamではじめるJavaの新しいプログラミングスタイル
長文日記