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
Jubatusã®ãƒªã‚¢ãƒ«ã‚¿ã‚¤ãƒ 分散レコメンデーション@TokyoNLP#9
1. Jubatusã®ãƒªã‚¢ãƒ«ã‚¿ã‚¤ãƒ 分散 レコメンデーション 2012/02/25@TokyoNLP æ ªå¼ä¼šç¤¾Preferred Infrastructure 海野  裕也 (@unnonouno) 2. ⾃自⼰己紹介 lï¬â€¯ 海野 　裕也  (@unnonouno) lï¬â€¯ unno/no/uno lï¬â€¯ ㈱Preferred Infrastructure ç ”ç©¶é–‹ç™ºéƒ¨ lï¬â€¯ 検索索・レコメンドエンジンSedueã®é–‹ç™ºãªã© lï¬â€¯ 専⾨門 lï¬â€¯ ⾃自然⾔言語処ç†ï§¤ lï¬â€¯ テã‚ストマイニング lï¬â€¯ Jubatus開発者
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
åœè«–勉強会 @ ワークスアプリケーションズ
fluentd を利用ã—ãŸå¤§è¦æ¨¡ã‚¦ã‚§ãƒ–サービスã®ãƒã‚®ãƒ³ã‚°
Mongo Scaling | PDF | Mongo Db | Scalability
{{#tags}}- {{label}}
{{/tags}}