For months, pro-Russian separatists have fought Ukrainian forces in two eastern regions of Ukraine but a fragile ceasefire has been agreed by both sides. Here is a timeline of events in the most dangerous conflict to grip Europe since the wars in the former Yugoslavia. 12 November: Nato commander Gen Philip Breedlove says Russian military equipment and Russian combat troops have been seen entering
US Secretary of State John Kerry said Russian troops moving into the Ukraine region of Crimea was a "brazen act of aggression" US Secretary of State John Kerry has warned Russia could be ejected from the Group of Eight developed nations. Russian President Vladimir Putin, he said, was "not going to have a Sochi G8, he may not even remain in the G8 if this continues," referring to a planned summit i
>>QUICK VOTE:クリミアの未来に最適な選択は? | 投票結果を見る | ウクライナがほぼ10年ぶりの政情不安に陥っている。欧州連合(EU)との貿易協定をめぐる議論に端を発した反政府デモは、親ロシアのヤヌコビッチ大統領の追放という事態に発展し、首都キエフに新政権が樹立された。ウクライナはロシアと欧州の境界に位置する最大の国で、これまで双方の影響を強く受けてきた。下の地図は、言語や大統領選の結果からみたウクライナの分断を示している。 言語 国民の7割は公用語のウクライナ語を話すが、ロシア語も広く使われている。ロシア系住民が多数を占める東部や南部クリミア半島などでは、ロシア語が第一言語というケースが多い。クリミア自治共和国の首都シンフェロポリでは2月27日、ウクライナ新政権の発足に対して激しい抗議デモが起きた。クリミア半島はヤヌコビッチ前大統領の支持基盤で、南部セバストポリにはロシア軍
Published on March 3, 2014 I’m glad to announce the 0.8 release of tasty, a modern Haskell testing framework. Among the important user-visible changes are: New running modes --hide-successes and --quiet Short flags for some existing options (-p for --pattern, -j for --num-threads) Timeout support Possibility to pass options via environment variables Fix of a resources-related bug For details, see
Episode 6 - Gabriel Gonzalez and Michael Snoyman on Pipes and Conduit Recorded: 2014-02-23, Published: 2014-03-03 Gabriel Gonzalez and Michael Snoyman join us to discuss their solutions to the problems with lazy IO. Gabriel's pipes library focuses on equational reasoning while Michael's conduit library promises deterministic resource handling. Gabriel and Michael have already debated the merits an
This is a quick page I've thrown together for my Coq library formalizing basic category theory. The development follows Steve Awodey's book on category theory; the files are named after chapters and subchapters of that book for easy reference. Getting It The gitweb is here. You might also want to look at the README Design Decisions One of the difficulties with putting together a formalization of c
The book series Mathematical Sciences Research Institute Publications is now published by Cambridge University Press, and new books are posted here in full text, a few months after publication. All these volumes are in print (to order, follow the link to CUP under each volume). We wish to acknowledge support by the National Science Foundation and the Pacific Journal of Mathematics for the publicat
Web scraping is one of those subjects that often appears in python discussions. There are many ways to do this, and there doesn't seem to be one best way. There are fully fledged frameworks like scrapy and more lightweight libraries like mechanize. Do-it-yourself solutions are also popular: one can go a long way by using requests and beautifulsoup or pyquery. The reason for this diversity is that
1. serf が面白いと俺の中で話題にwwwwww 『ニンゲンヤメマスカ→運用自動化への希望、オーケストレーション』 @zembutsu Masahito Zembutsu Mar 1, 2013 オープンクラウドにゃんぱすー Open Source Conference 2014 Tokyo/Spring #osc14tk 3. version 0.3.0 (2013年12月5日) 主な追加機能 ➡ 設定ファイルに “profile” を追加 WAN, LAN, LOCAL モードの指定が可能に kill -1 <PID> が使えるので、一般的な linux プロセス風に扱えます。微妙に便利。 ➡ CLI コマンドに “leave” が使えるように ➡ SIGINT や SIGTERM を指定できる ➡ SIGHUP で設定ファイルを再読み込み 主な改良点 ➡ “SER
I receive repeated questions for how to implement a Handle-like API similar to io-streams using pipes even after I outlined how to do this about a year ago. However, I don't blame these people because that tutorial uses an out-of-date (and uglier) pipes-3.2 API and also takes an approach that I felt was a bit inconsistent and missed the mark, so this is a rewrite of the original post, both to upgr
Today, GHC 7.8.1 RC2 has been released. Binaries and sourcesDocumentation (user guide and API)We've closed approximately 45 issues people filed against RC1. Thanks to everyone who has helped out! There are actually quite a few nice improvements since then, and some stuff we'd like to announce. iOS cross compiler binariesThis release features iOS cross compiler binaries, courtesy of Luke Iannini. Y
正規表現によるバリデーション等で、完全一致を示す目的で ^ と $ を用いる方法が一般的ですが、正しくは \A と \z を用いる必要があります。Rubyの場合 ^ と $ を使って完全一致のバリデーションを行うと脆弱性が入りやすいワナとなります。PerlやPHPの場合は、Ruby程ではありませんが不具合が生じるので \A と \z を使うようにしましょう。 はじめに 大垣さんのブログエントリ「PHPer向け、Ruby/Railsの落とし穴」には、Rubyの落とし穴として、完全一致検索の指定として、正規表現の ^ と $ を指定する例が、Ruby on Rails Security Guideからの引用として紹介されています。以下の正規表現は、XSS対策として、httpスキームあるいはhttpsスキームのURLのみを許可する正規表現のつもりです。 /^https?:\/\/[^\n]+$/
At Lyst we process a lot of products from a lot of retailers. However, the product information we get from retailers isn’t the same across the industry as: Retailers may categorise products differently to competitors, Retailers may not provide every bit of information that we need, Retailers may have large catalogues and use vague auto-generated descriptions. Due to this, we have to ensure that ea
前のポストでGADTを使って型付きの抽象構文木(AST)を表現する方法について書いたが、ここではそのASTから他の言語のコード生成する方法について調査・検討した結果を記す。@keigoiさんの記事(http://d.hatena.ne.jp/keigoi/20111206/haskell_tagless_dsl)に触発され、一部借用したものである。なお、今回のコード生成の方法論はASTの型付き・型なしの区別にかかわらず使える。 MatlabのDSL in Haskell 今回例として扱うのは、Matlab(行列計算言語・統合環境)の行列計算を表現するようなDSL。最小構成として、2次元行列の加減乗算と要素の取り出しを表現したい。(Matlabの文法の簡単な説明はこれなどを参照。 http://www.math.meiji.ac.jp/~mk/labo/text/matlab/node4.h
As of now, there will be just one downloadable file in a release. This is, of course, the frege jar. All documentation is now kept on http://www.frege-lang.org Runtime Javadoc Frege Library (I am still looking for a nice way to have a searchable page, or at least an automatic index on http://www.frege-lang.org/doc/frege. Contributions and ideas welcome!). Language Reference The eclipse plugin has
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く