Codensity Monad - Just $ A sandbox
Codensity という型がある. 定義は以下. newtype Codensity m a = Codensity { runCodensity :: forall b. (a -> m b) -> m b } instance Functor (Codensity k) where fmap f (Codensity m) = Codensity (\k -> m (k . f)) instance Monad (Codensity f) where return x = Codensity (\k -> k x) m >>= k = Codensity (\c -> runCodensity m (\a -> runCodensity (k a) c)) これの何が良いかと言うと, これは以下のようにMonadFreeな作用を持つ. instance (Functor f, Mon
Crypto 101
Crypto101 Crypto 101 is an introductory course on cryptography, freely available for programmers of all ages and skill levels. Get current version (PDF) Tweet Start to finish. Comes with everything you need to understand complete systems such as SSL/TLS: block ciphers, stream ciphers, hash functions, message authentication codes, public key encryption, key agreement protocols, and signature algori
Massive: The asm.js Benchmark – Mozilla Hacks - the Web developer blog
asm.js is a subset of JavaScript that is very easy to optimize. Most often it is generated by a compiler, such as Emscripten, from C or C++ code. The result can run at very high speeds, close to that of the same code compiled natively. For that reason, Emscripten and asm.js are useful for things like 3D game engines, which are usually large and complex C++ codebases that need to be fast, and indee
Jonathan Bergknoff: Making a Guitar Tuner with HTML5
2014-11-01 math physics music guitar programming The guitar tuner described in this article can be accessed at https://jbergknoff.github.io/guitar-tuner. The source code is available on github. Nowadays, you can do all sorts of cool things with audio in web browsers. While it used to require flash to interact with the microphone or to play arbitrary sound, the web audio API has taken major strides
2D gaming using Processing.js
The Basics Let's make a Mario game Let's make a Mario game. We had a look at some of the basics of making a game using the Processing.js game library, so let's kick it up a notch by just getting down and making our own Super Mario game. When we're done with this part of the tutorial, we'll have a game with koopa troopers, platforms that we can jump up through but not fall down through, a hole with
The Definitive Guide to Ruby's C API
This site is a complete, practical guide to using Ruby’s C API. Get started here. This site is generated from a Github repo. If something isn’t working the way I described it or you notice a gaping hole in the guide, please submit an issue. If you know a better way of doing something than I do, please consider submitting a pull request.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - home-assistant/core: :house_with_garden: Open source home automation that puts local control and privacy first.
HTTP 2.0 - Tokyo
H2O - the optimized HTTP server
Redirecting…
Rewriting Rust Serialization, Part 2: Performance - Chasing Rabbits
Reddit - Dive into anything
Universal properties without function extensionality
The Prettiest Printer
Reddit - Dive into anything