Re:Cartography - ver.2.1 / 雪歌ユフ
mylist/56431690Twitter --- @nippori_san
Functorial Blog - Comonads as Spaces
by Phil Freeman on 2016/08/07 I feel like I've had a good intuition for monads for some time, but I've struggled to really get a handle on comonads until recently. I'd like to present an application of comonads which I think provides a helpful intuition, and then interpret several comonads in that setting. Introduction In PureScript, we have several user interface libraries. They are all slightly
Functorial Blog - Comonads and Day Convolution
The Day convolution of two functors is another functor, defined as follows: data Day f g a where Day :: (x -> y -> a) -> f x -> g y -> Day f g a There is an implementation of Day in Edward Kmett's kan-extensions package on Hackage. Day Convolution of Comonads While writing my last post, I was looking for a way to combine comonads, and found out some interesting things about Day convolution in the
gdb Debugging Full Example (Tutorial): ncurses
Recent posts: 24 Mar 2024 » Linux Crisis Tools 17 Mar 2024 » The Return of the Frame Pointers 10 Mar 2024 » eBPF Documentary 28 Apr 2023 » eBPF Observability Tools Are Not Security Tools 01 Mar 2023 » USENIX SREcon APAC 2022: Computing Performance: What's on the Horizon 17 Feb 2023 » USENIX SREcon APAC 2023: CFP 02 May 2022 » Brendan@Intel.com 15 Apr 2022 » Netflix End of Series 1 09 Apr 2022 » Te
Rust compiler walk-through - Introduction
This post is the introduction to a new series which aims to give a walk-through of the Rust compiler, starting from the initial entry point and going right the way through the compilation process. The goal is to give a decent understanding of what exactly is happening behind the scenes when you invoke rustc on a source file. I've decided to undertake this for one main reason - I want to know what
Image Completion with Deep Learning in TensorFlow
Introduction Content-aware fill is a powerful tool designers and photographers use to fill in unwanted or missing parts of images. Image completion and inpainting are closely related technologies used to fill in missing or corrupted parts of images. There are many ways to do content-aware fill, image completion, and inpainting. In this blog post, I present Raymond Yeh and Chen Chen et al.’s paper
Shape of errors to come - The Rust Programming Language Blog
There are changes afoot in the Rust world. If you've tried out the latest nightly, you'll notice something is a little different. For the past few months we've been working on new way of reporting errors that's easier to read and understand. This is part of an on-going campaign to improve Rust's usability across the board. We mentioned ways to help us make the transition to the new errors, and alr
Zero-cost futures in Rust · Aaron Turon
One of the key gaps in Rust’s ecosystem has been a strong story for fast and productive asynchronous I/O. We have solid foundations, like the mio library, but they’re very low level: you have to wire up state machines and juggle callbacks directly. We’ve wanted something higher level, with better ergonomics, but also better composability, supporting an ecosystem of asynchronous abstractions that a
Generating fantasy maps
mewo2.com is the website of Martin O'Leary artist, designer, teacher, researcher These are some notes on how I generate the maps for my Twitter bot @unchartedatlas, which is based on a generator I originally produced during NaNoGenMo 2015. There's JavaScript code for the generator on Github here, and the original messy Python generator code can be seen here. You may also be interested in this comp
Algorithms that select which algorithm should play which game
This was meant to be a short post announcing some new papers of ours, but it grew. So what you get is a post announcing some new papers, with plenty of context. Video games are possibly the best way of testing artificial intelligence algorithms. At least I've argued this (at some length) before. One of the things that video games offer that for example robot problems don't offer, is to easily and
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...
Finding Pokémon GO’s Shortest Tour to Compute ’em All!—Wolfram Blog
There’s a Computed Pokémon nearby! Here is a Poké Spikey. This will help you catch ’em all! In this blog post I will share with you several data insights about the viral social media phenomenon that is Pokémon GO. First I will get you familiarized with the original 151 Pokémon that have now invaded our real world, and then I’ll show you how to find the shortest tour to visit your nearby gyms. I fi
ghc-proposals/proposals/0000-backpack.rst at 9bdb9de01b2853298efa9b154f7af94db8bbc215 · ezyang/ghc-proposals
.. proposal-number:: Leave blank. This will be filled in when the proposal is accepted. .. trac-ticket:: Leave blank. This will eventually be filled with the Trac ticket number which will track the progress of the implementation of the feature. .. implemented:: Leave blank. This will be filled in with the first GHC version which implements the described feature. Suppose that you are writing a stri
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
彼方, by amahisa
近所のおじさんの森
World ii 【Vocaloid Original】
初音ミク / 幸せの飛行列車
僕の、遊走地。(VOCALOIDオリジナル曲)
（焔音レイ）星之原行進曲-C（オリジナル）
【結月ゆかり】欲しいと言って【オリジナル曲】
【波音リツ】ネモフィラ少女はイーカリアの空を飛べるか【オリジナル】
【IAとGUMI】空色日和【リマスター】
【初音ミク】逆襲のさあ【オリジナル曲】
【鏡音・アペじゃないよ】Trick【鏡音リンV4X】
Giorgio Federico Ghedini - Concerto spirituale (1943)
Sadao Bekku [別宮貞雄 ]: Symphony No. 1 (Yuasa, Ireland National Symphony Orchestra)
Robert Schumann: Piano Quintet in E-flat major, 1. Allegro brillante
Dieter Ammann: "glut"
Linear regression - Eli Bendersky's website
Mathematics and Computation | What is a formal proof?
futures-rs/TUTORIAL.md at 6a1950e6cd91cb7fd4f27b19d0090f81dc957a05 · rust-lang/futures-rs
Reddit - Dive into anything
fixedpoint.jp - 「歩と銀を逆にするゲーム」を最短手数で解くには (2016-08-13)