https://github.com/irori/lazyk-lisp http://lazy-k.appspot.com/p/ptHm_GwfAY Lazy K でも Lisp インタプリタを作ってみました。 機能は Unlambda 版とだいたい同じですが call/cc が無くなり、代わりに set でグローバル変数に代入できるようになりました。局所変数の書き換えは大変すぎるので断念しました…。 今回はジェネレータとして、以前作った Haskell → Lazy K トランスレータを使いました。200 行ほどの Haskell コードを変換して 300kb の Lazy K プログラムになりました。ジェネレータの抽象度が高い分、Unlambda 版よりかなり大きくなってしまいました。一方インタプリタのコーディングは単なる Haskell なのでこっちの方が楽でした。(モナドが使えない
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? GoogleのSVP、Urs Hoelzleが「いま世界でもっとも人気のあるスマートフォンアプリ」と評し、Facebookによる3000億円の買収提案をスルーしたとされるSnapchat。その共同設立者でCTOのBobby Murphyが、3/25に開催されたGoogle Cloud Platform Liveに登場し、“Snapchatを支える技術”としてのGoogle Cloud Platform (GCP)の使い所や開発体制をかなり具体的に説明していたので、補足と解説を交えながらざっと意訳してみた。 SnapchatのCTO, B
The foldl function is broken. Everyone knows it’s broken. It’s been broken for nearly a quarter of a century. We should finally fix it! Today I am proposing that Prelude.foldl be redefined using the implementation currently known as Data.List.foldl'. foldl is broken! I’m sure you knew that already, but just in case… Have you ever noticed that Haskellers usually recommend using either foldr or fold
Over the past few months, Duncan and I have been working with Chris Dornan and Alfredo Di Napoli on api-tools, a DSL for specifying data schemas for REST-like APIs in Haskell. If you’re interested in the real-world use of Haskell, static types and DSLs, why not come along to hear Chris talk about it? Wednesday 9th April, 6:30pm, London Find out more and register for free over at Skills Matter: Typ
QQALIENPOKER : Situs Login IDN Poker Uang Asli Domino QQ Online Resmi #1 QQALIENPOKER permainan kartu IDN Poker dan Domino QQ Online sungguh menyenangkan. Apalagi jika Anda bepergian bersama teman-teman Anda. Bukan hanya sekedar permainan kartu atau permainan kartu qq online saja yang asyik dan seru untuk dimainkan, namun kali ini permainan IDN Poker menjadi salah satu permainan kartu terbaik yang
以前の記事でトラブルが起きた後の初動対応を書いてみたが、いざトラブルに遭遇すると、まず再起動してからどうするか考えるケースが多いと感じている。しかし何も情報がないと『情報がない/再現方法が不明』などの理由からそのままお蔵入りになってしまう。今回はトラブルに事前に備えるために、地味だけど大切なJavaVMのオプションをまとめてみる。 GCログの出力とローテーション OutOfMemoryError発生時のヒープダンプ自動出力と出力パス設定 JavaVMクラッシュログの出力パス設定 JVMオプションの設定 (OpenJDK/OracleJDK) JavaVMにはGCおよびヒープメモリの状態をロギングする仕組みや、OufOfMemoryError時にヒープダンプを自動的に出力するような障害に備えて自動的に情報を出力する機能がある。おすすめのオプション*1は以下の通り。 java -Xms?g -
Introducing Sessions: the latest product from Waldo!
4月1日に、2ちゃんねるを開設したひろゆき氏が発表した全文を掲載します。 (原文は http://2ch.sc/ に掲載されています) 発表全文 昨今の2ちゃんねるの現状に関して。 2ちゃんねるのサーバとドメインは株式会社ゼロのレンタルサーバサービスを借りて運営されてきました。 月額2万ドルという契約で10年以上その関係は続いてきました。 昨年より、株式会社ゼロが提携するNTテクノロジー社の経営が芳しくないということで、契約のサーバ代金に上乗せして多額の送金をしてきました。 具体的に昨年より送金した金額は下記になります。 2013/3/1 24万ドル(24,520,000円) 2013/7/10 12万ドル(12,256,800円) 2013/10/15 12万ドル(11,949,600円) 2014/1/8 4万ドル(4,231,200円) 金額にして、52万ドル、日本円にして5000万
数年ほど前に、プロセッサーの演算よりも、プロセッサー間の通信の方が重要になるとして、NoC(network on chip)の研究が盛んになった。NoCのアーキテクチャーを使った製品も出てきたので、NoCはある程度の成功を収めたといえる。プロセッサー、通信と来れば、あとはメモリーである。 ここのところノーマークだったメモリーがビッグデータ時代のコンピューティングの中心になるかもしれないという議論が「DATE 14:2014 Design, Automation and Test in Europe」(ドイツ・ドレスデンで2014年3月24日~28日に開催」であった。「セッション9.8 Embedded Tutorial:Memcomputing: the Cape of Good Hope」がそれである。メモリーコンピューティングは喜望峰ということだ。講演者は3人。米University
Helping Developers do Ops EasierI am sure you have heard of Docker, but have you ever actually deployed a real app on it? How would you even start to move Heroku’s 4+ million apps into Docker Containers? Not many people have even tried. Building an app on Docker can be incredibly hard and frustrating. Not like Heroku where everything is taken care of for you. With Docker, you have to learn about D
映画評論家の町山智浩さんがTBSラジオ『赤江珠緒たまむすび』で、ブラッド・ピットが制作した黒人奴隷の世界を描く映画、『それでも夜は明ける・12 Years A Slave』を紹介していました。 (町山智浩)あの映画(『第9地区』)は差別する側が差別される側になっちゃったらどうなるか?っていう映画だったんですけど。今日紹介する映画もそういう話なんですよ。ちょっと違うんですけど、見た人が、黒人奴隷にされちゃうような気持ちになる映画なんですよ。 (赤江・山里)へー・・・ (町山智浩)これ、いまアメリカでものすごい話題になっててですね。もうセンセーションになってるんですけども。これ、日本語タイトルが決まってないんで、英語タイトルを言いますと、『12 Years A Slave』っていうタイトルなんですね。『12年間奴隷だった』っていう意味なんですよ。これは、奴隷じゃない人が誘拐されて奴隷として売ら
先日翻訳仕事の中で、Normcoreって言葉を知りました。Normは標準、coreは「ハードコア」とかの「コア」で、サラっと言うと「究極の普通」という感じでしょうか。私が読んだ文章では、「きわめて普通っぽい服装」くらいの意味で使われてました。 2月終わり頃から話題になっているみたいです。この言葉を最初にメジャーデビューさせたのは、2月26日付ニューヨーク・マガジンの「The Cut」に書かれたフィオナ・ダンカンさんの記事です。 その記事によると「Normcore」とは、「アートキッズ」や「ダウンタウンの女子たち」が「中年の、中流アメリカ人観光客」みたいな服装、つまり「ショッピングモールで買ったような服」「デリのコーヒーの最後の一滴みたいにぬるい服」を着るってことです。たとえばストーンウォッシュのジーンズやフリース、ラクなスニーカー、アディダスのトラックパンツやナイキのスリッパ型サンダル、ニ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く