bgamari.github.com - Talk: A low-latency garbage collector for GHC
Abstract: As real-time and distributed systems become common-place, latencies associated with memory management begin to limit the usability of garbage collected languages. In particular, the Glasgow Haskell Compiler has long relied on a throughput-oriented copying garbage collector; while this collector provides good memory locality for user programs, minimal fragmentation, and efficient collecti
freer-ppl16.key
Freer Monads, More Extensible Effects PPL 2016 岡山県玉野市 2016/03/08 Oleg Kiselyov Tohoku University Hiromi ISHII University of Tsukuba (Originally Published in Haskell Symposium '15) Table of Contents • Background: Monad Transformer • Extensible Effects • More Extensible Effects • Examples • Benchmarks • Conclusions Background Background モナド：関数型言語で命令的に副作用を記述する方法の一つ Background •問題：モナド（=副作用）の合成 モナド：関数型言
The Lean Theorem Prover
The Lean Theorem Prover Leonardo de Moura (Microsoft Research), Soonho Kong (CMU), Jeremy Avigad (CMU), Floris van Doorn (CMU), Jakob von Raumer (KIT), Rob Lewis (CMU), Haitao Zhang, Daniel Selsam (Stanford) CICM, 2015/07/09 http://leanprover.github.io Many thanks to Cody Roux Georges Gonthier Grant Passmore Nikhil Swamy Assia Mahboubi Bas Spitters Steve Awodey Ulrik Buchholtz Tom Ball Parikshit K
関数型プログラミングの今昔（仮）
函数プログラミングの集いで発表したスライド． 後半についての詳細を知りたい方には， Hudak らの A History of Haskell をお薦めします．Read less
Reddit - Dive into anything
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
CS240h Lecture notes
CS240h lecture notes Basics [slides, source] Slides from previous lecture include this lecture, starting at slide 28 Memory [slides, source] Testing [slides, source] Concurrency [slides, source] Zippers [slides, source] Phantoms and mutants [slides, source] Monoids and fingertrees Monads and more [slides, source] Iteratees [slides, source] Information flow control [slides, source] Parsing and cont
MySQL Index勉強会外部公開用
12. © CROOZ,Inc. 12 １．INDEXとはなにか 何枚目がなにかを事前にメモっておけば良い！ スート ランク 位置 ハート Q 1 スペード 9 2 : : : ダイヤ 1 40 : : : スペード 6 45 なぜなら、要求は「カードを引く回数を最も少なく してスペード6を探すこと」 セコいとかおもうヒトはいるか もしれませんが何もセコいこ はしていないです。 前提条件など一切ないから このメモさえあれば位置を指定して1回引けば済む
HaskellImplementorsWorkshop/2012 - HaskellWiki
The Haskell Implementors Workshop is an informal affair, aimed at bringing together people behind the Haskell infrastructure. It provides a forum where people working on compilers, tools, or libraries for Haskell development can bat around ideas, share experiences and ask for feedback from fellow experts. There are no proceedings, just a mixture of short talks, longer talks, discussion and demos.
apfelmus - FRP - Slides from the tutorial session in Halle
Hello everyone, last Friday, I gave a tutorial session on functional reactive programming (FRP) with reactive-banana at the HaL 7 - Haskell in Halle/Saale meeting. The tutorial was split into two parts: first a 30 minutes talk where I introduced the basic concepts and then one hour of live demonstration, where I sat down in front of a computer and implemented some examples in a dialogue with the a
Concurrency - State Models & Java Programs
The following resources are available: Slides Lecture notes for Chapters 1-10, 12 and 14 of the book. (*revised 2015) Demonstration Programs The set of demonstration programs in the book may be run as applets in a Java Java™ 2 enabled browser from here. The program source is also included. The complete set of applets, Java™ source and Web pages can be downloaded as a zip file from here. (*revised
Google Sites: Sign-in
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
RESTful API Design, Second Edition
This document provides guidance on designing RESTful APIs. It recommends using nouns instead of verbs, keeping URLs simple with only two endpoints per resource, and following conventions from leading APIs. Complex variations and optional parameters should be "swept behind the '?'." The document emphasizes designing for application developers by making APIs intuitive, consistent and complete while
Fluentd meetup dive into fluent plugin (outdated)
Fluentd meetup in Japan. I talked about "Dive into Fluent plugin". Some contents are outdated. See this slide: http://www.slideshare.net/repeatedly/dive-into-fluentd-plugin-v012Read less
大規模グラフアルゴリズムの最先端 - iwiwiの日記
昨日，PFI セミナーにて「大規模グラフアルゴリズムの最先端」というタイトルで発表をさせてもらいました．スライドは以下になります． 大規模グラフアルゴリズムの最先端 View more presentations from iwiwi 当日は Ustream もされており，録画された発表もご覧になれます． http://www.ustream.tv/recorded/19713623 内容の流れとしては，以下のようになっています． 導入 アルゴリズム界隈での話題 最新の研究動向 道路ネットワークでの最短路クエリ処理 基礎的な手法：双方向 Dijkstra，A*, ALT 最新の手法：Highway Dimension + Hub-Labeling Algorithm DB 界隈での話題 最新の研究動向 複雑ネットワークでの最短路クエリ処理 基礎的な手法：ランドマークを用いた最短距離推定 最
冬のLock free祭り safe
19. What is Blocking? コアが増えるほどに問題が顕著に！ 早くしろよ… 早くしろよ… 早くしろよ… 早くしろよ… 早くしろよ… 早くしろよ… 早くしろよ… 早くしろよ… 早くしろよ… クリティカルセク ション
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Neelakantan R. Krishnaswami
圏論勉強会 @ ワークスアプリケーションズ
Jubatusのリアルタイム分散レコメンデーション@TokyoNLP#9
fluentd を利用した大規模ウェブサービスのロギング
Mongo Scaling | PDF | Mongo Db | Scalability