おひさしぶりです!声の出演 初音ミク制作 ニジイロラクダ(twitter→@nijiirorakuda3)その他の動画 mylist/32224999
おひさしぶりです!声の出演 初音ミク制作 ニジイロラクダ(twitter→@nijiirorakuda3)その他の動画 mylist/32224999
Some History Current Status The Future Community Previous issues: Babel Roadmap #4130, 6.0 #2168 Please check out the Community section if nothing else. Also published as part of Mariko Kosaka's 2016 Web Advent Calendar! Some History Sebastian created "6to5" in September of 2014. Interestingly enough, he made it to scratch an itch he had with understanding programming languages and how they work.
Layout is an important part of building user interfaces for any mobile, desktop, or web application, because it describes the size and position of views on the screen and their relationship to one another. Today, layout is handled differently on each platform, through systems like Auto Layout on iOS, composable containers on Android, and various CSS-based approaches on the web. Having such a diver
I'd like to announce version 2.0.0 of PyFilesystem, which is now available on PyPi. PyFilesystem is a Python module I started some time in 2008, and since then it has been very much a part of my personal standard library. I've used it in personal and professional projects, as have many other developers and organisations. Recap If you aren't familiar with PyFilesystem; it's an abstraction layer for
"I thought that memory leaks were impossible in Python?", I said to myself, staring incredulously at my screen. It was 8:00 PM. The memory use of my crawler was slowly, but steadily increasing. As I hadn't changed any significant portion of my code, this made no sense at all. Had I introduced a new bug? If so, where was it? Here follows the full story of how I tracked down a memory leak in my Pyth
Deep Learning has been the core topic in the Machine Learning community the last couple of years and 2016 was not the exception. In this article, we will go through the advancements we think have contributed the most (or have the potential) to move the field forward and how organizations and the community are making sure that these powerful technologies are going to be used in a way that is benefi
暇つぶしに、 Coq 上で Setoid ベースの構成的な圏論をやっている。 どういうことかというと、 普通の圏論における局所小(locally small)な圏を基準に、 普通の圏論における「集合」を Setoid で置き換えて、 なるべく exists を使わないで構成的に圏論を展開 という感じ。 構成的にしている理由 「性質 P を持つ X が存在する」をそのまま exists X, P(X) みたいに書くのではなくて、存在するなら実際に作ってみせよ、というスタンスです。 命題の形にしてしまうと、存在するという事実から実体を取り出せず、圏論的な理論展開をほぼ全部命題ベースで行なわなければならなくなります。 そうしてしまうと、 Coq 上のデータが実はある種の圏論的な構成として得られるのでしたーという時に、それまで展開していた(Coq 上での)圏論の資産を直接利用できません。 要するに
これはGHCが式を評価していたら無限ループを発生させてしまうことを検出して投げる例外なのですが、勿論全ての無限ループを検出することはできません。 またHaskellでは次のような「無限ループ」は"合法"です : というわけで、どんな無限ループなら「合法なのか」「検出できるのか」、また「どういう機構でこれを実現しているのか」という話を、GHCの実際の評価機構をJavaScriptで1作りながら適当にまとめてみようとおもいます。半分くらいは自分用メモかもしれないです。 情報源としてはSTG論文が主で、それを更に単純化したモデルを考えているため現行のGHCとはかなり異なる処理をしています。ご了承ください。 これを読むことでHaskellコードからCPUの歓声が聞こえるようになるといいなとおもいます。 値の表現 Haskellは遅延評価を行うため、「値」そのものの表現が自明な形では定まりません。遅
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く