人の字問題先日Twitterで言及されていた問題に対して考察しましたのでその成果をここに上げておきます。 https://drive.google.com/file/d/0B7Cy_2w49szITVd3eUhMaGdQZHM/edit?usp=sharing 追記 : 1回修正しました。
IOI系ページまとめ - hogloidのブログ
OI系の問題はなかなかジャッジに搭載されてくれないので、探すのは意外と大変です。そこでIOI対策に役に立つページたちをまとめます。 情報オリンピック日本委員会（http://www.ioi-jp.org/） 言わずと知れたJOIのサイト。これがないと予選に出れません。 http://www.ioinformatics.org/history.shtml IOIの問題、ランキング、テストデータ、そして年によっては解法が載っています。 http://stats.ioinformatics.org/olympiads/ 昔の結果などを詳しく知りたい人に便利 http://www.tani.cs.chs.nihon-u.ac.jp/ioi/ 谷先生のページで、昔のIOIの問題の日本語訳、解説の日本語訳、データセットがあります（最近のはJOIのサイトにあります） http://atcoder.jp/
Scrap Your Boilerplate: Generic Programming in Haskell
Scrap Your Boilerplate: Generic Programming in Haskell by Lyle Kopnicky, presented at Portland Functional Programming Study Group January 2013 The problem Haskell's statically typed data structures make it hard to write code that works against many data types. The solution Scrap Your Boilerplate is one solution to that problem. It provides general functions for traversing hierarchical data structu
全てがJSONになる - ✘╹◡╹✘
TL;DR JSON Schemaを使ってこういうことが実現可能になった。 ダミーAPIサーバの提供 ドキュメントの自動生成 APIクライアントの動的定義 APIサーバのバリデータの動的定義 APIサーバのレスポンスの自動テスト JSON Schemaとは JSON SchemaというのはあるJSONのデータ構造を記述するための方法および書式の仕様で、 JSON SchemaもJSONで記述される。 これを利用すれば、リソースベースの(=RESTfulライクな)APIの仕様が簡便に記述できる。 例えば、我々のAPIはレシピとユーザというリソースを扱っていて、 それぞれCRUDのAPIを備えており、レシピはidとtitleとdescriptionという属性を持つ、 という旨をJSON Schemaで表現できる。 なんで最近ちょっと流行ってんの Mobile First、 Service Or
Purely Functional Configuration Management with Nix and NixOS
How to Use Multiple GitHub Accounts Git is a popular tool for version control in software development. It is not uncommon to use multiple Git accounts. Correctly configuring and switching Git accounts is challenging. In this article, we show what Git provides for account configuration, its limitations, and the solution to switch accounts automatically based on a project parent directory location.
The Functional Revolution in C++
The Functional Revolution in C++ Posted by Bartosz Milewski under C++, Concurrency, Functional Programming, Multicore, Multithreading, Parallelism, Programming [48] Comments C++ is like an oil tanker — it takes a long time for it to change course. The turbulent reefs towards which C++ has been heading were spotted on the horizon more than ten years ago. I’m talking, of course, about the end of smo
2048 in Erlang
This article is about a WebSocket server on Erlang rather than about the game itself. I’ll tell you a small prehistory. When I began playing 2048 I couldn’t stop. It was to the detriment of both my job and family. So I decided that a bot should play instead of me. But the problem was that it’s a user game, there’s no global rating and it’s not comfortable to play without a browser. That’s why I de
Vaultaire: a Ceph based, immutable TSDB - Anchor | Cloud Engineering Services
Anchor has been working on building a massively scalable data vault for metrics data. One of our engineers has written a blog post about what worked – and what didn’t – in the first version, and what we’ve learned from it. Motivation Here at Anchor we are reworking the way we store systems metrics. This has inspired the development of a new immutable and lossless Time Series Database (TSDB), a con
ZuriHac 2014 – Blog – Joachim Breitner's Homepage
I’m writing this on the train back from the ZuriHac Haskell Hackathon in Zürich, generously sponsored by Better and Google. My goal for this event was to attract new people to work on GHC, the Haskell compiler, so I announced a „GHC bugsquashing project“. I collected a few seemingly simple ticket that have a good effort/reward ratio for beginners and encouraged those who showed up to pick one to w
Introducing ciso8601: A fast ISO8601 date time parser for Python | The Making of Close
Project link: https://github.com/closeio/ciso8601 Sometimes it's the little things that make web apps faster. We noticed that loading leads and opportunity view pages in Close wasn't as fast as we wanted it to be in some cases, so we pulled up the profiler. To our surprise, a large portion of time was spent parsing date times, sometimes up to a second. How did this happen? We serialize certain lea
Exceptions and monad transformers
Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications. June 10, 2014By Michael SnoymanView source on Github Duncan Coutts kicked off a discussion on the core libraries mailing list in April about exception handling in monad transformers. We made a lot of headway in that discussion, and agreed to bring up the topic again on the librarie
訳：非推奨になったLinuxネットワークコマンドの代替コマンド - aws memo
これはちゃんとチェックしておかないとなぁ。 Deprecated Linux networking commands and their replacements « Doug Vitale Tech Blog ==== この記事で詳しく説明する非推奨のLinuxネットワークコマンドは：arp, ifconfig, iptunnel, iwconfig, nameif, netstat, route である。iwconfig以外の コマンドは、net-toolsパッケージという、数年間メンテナンスされていないパッケージに含まれている。これらのユーティリティによって提供される機能は、新しいipコマンドを主に使うiproute2 スイートで再提供され、改善され続けている。iproute2ソフトウェアのコードとドキュメントは、Kernel.orgとLinux Foundationで見ることができ
Tillmann Rendel's blog: How to Improve Code Reuse by Folding Algebras
As lazy programmers, we want to reuse existing code in many different contexts instead of reinventing the wheel. In a functional language like Haskell, this means that we want to reuse functions when defining other functions. But it doesn’t work out all of the time: In this blog post, we see a simple example where reuse seems to be impossible or overly cumbersome at first, because we would like to
Is Go an Object Oriented language? : spf13.com
To truly understand what it means to be ‘object-oriented’ you need to look back at the origination of the concept. The first object oriented language, simula, emerged in the 1960s. It introduced objects, classes, inheritance and subclasses, virtual methods, coroutines, and a lot more. Perhaps most importantly, it introduced a paradigm shift of thinking of data and logic as completely independent.
Parallelism and Concurrency with Python
Presented May 2014. For more information on PyParallel, see: https://speakerdeck.com/trent/pyparallel-how-we-removed-the-gil-and-exploited-all-cores (recorded here: http://vimeo.com/79539317). www.continuum.io @trentnelson
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
book.dvi
Performing Open Heart Surgery on a Furby
天下一altJS武闘会 - 資料一覧 - connpass
GitHub - yallop/icfp2014-papers: Accepted papers for ICFP 2014
Mathematical background: elliptic curves and L-functions
2014-06-09-the-colors-of-chemistry
GitHub - billylindeman/swiftgo: Short implementation of goroutines in apple swift
Statistical Shortcomings in Standard Math Libraries (And How To Fix Them) – Evan Miller
https://www.alfredodinapoli.com
https://www.cs.princeton.edu/~appel/papers/verif-sha.pdf
GitHub - monochromegane/the_platinum_searcher: A code search tool similar to ack and the_silver_searcher(ag). It supports multi platforms and multi encodings.
Introducing Dockercast – the Docker Podcast | Docker Blog