Pick up the 9th-gen iPad with two years of AppleCare+ for only $298
Live Nation says its Ticketmaster subsidiary was hacked. A hacker claims to be selling 560 million customer records. An autonomous pod. A solid-state battery-powered sports car. An electric pickup truck. A convertible grand tourer EV with up to 600 miles of range. A “fully connected mobility device” for young urban innovators to be built by Foxconn and priced under $30,000. The next Popemobile. Ov
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...
一口に可変長引数と言っても色々あります。限られた範囲でのオプション引数が欲しいこともありますし、多相的な本物の可変長引数が欲しいこともあります。また、可変長引数を型安全に使いたいのか、型安全性を無視してでも使いたいのか、という話もあります。このようにどういうことをしたいかによって、可変長引数を実現するために採用するべき手段は異なってきます。ここにある程度情報をまとめておきましたので、是非参考にしてみてください。
はじめに AWSにはRDSというマネージドなデータベースサービスがあることは皆さんご存知だと思います。そこで提供されているデータベースは、MySQL、Oracle、SQLServerの3種類です。そうです、PostgreSQLが無いのです!ナイナイ詐欺のAWSなので、そのうち出てくると思いますが、今のところはありませんので、自前で構築する必要があります。せっかく構築するなら、オンプレのコピー感覚で使うのではなく、クラウドネイティブに使いたいものです。今回は、そんなPostgreSQLをEC2上で構築するために考えるポイントをまとめたホワイトペーパーをベースに理解を深めたいと思います。 PostgreSQL on Amazon EC2 PostgreSQLは、ACID(Atomicity:原子性, Consistency:一貫性, Isolation:独立性, Durability:永続性)
「プライベートコーチのCyta.jp(咲いた.jp)」を運営するコーチ・ユナイテッド株式会社(本社:東京都渋谷区、代表取締役社長:有安 伸宏、以下、コーチ・ユナイテッド)は、9月6日、クックパッド株式会社(本社:東京都港区、代表執行役兼取締役:穐田 誉輝、以下、クックパッド)との経営統合について、基本合意書を締結いたしました。統合スキームは、クックパッドによるコーチ・ユナイテッドに対する全株式取得となります。 【サービスEC市場を創造しようとする両社の方向性がピタリと一致】 語学や楽器など、約140種類のジャンルのプライベートコーチ(個人指導の先生)が見つかるサービス、Cyta.jp。近年のスマートフォン普及を追い風ととらえ、地域のサービスをスマホで購入する「サービスEC」市場での事業開発に経営資源を集中させてきました。今回、生活者のインフラとなる新規サービス開発に注力するクックパッドの成
Promises are being debated in the JavaScript community. The most popular specification is Promises/A+. It’s a fairly small specification, containing only a single function: then. The function is heavily overloaded which makes it quite complicated - way more than it has to be. I’ll try to show how category theory can give us a much simpler, more generalised and lawful API! A proper Promise/A+ imple
ニュース 2017年04月06日お知らせ airpenシリーズ製品製造終了のお知らせとサポート終了スケジュールについてのお知らせ(2017/04/06) airpenシリーズの全製品につきまして既に製造を終了させていただいております。また、製品に対するサポートは2019年3月末日をもって終了させていただきます。ご理解ご了承のほど宜しくお願い致します。 2013年01月31日お知らせ エアペンポケットプラスの使い方動画[1] 2013年01月31日お知らせ [ニュースリリース]airpen×abrAsus 保存するメモ帳のアブラサスとのコラボレーション 2013年01月15日メディア掲載情報 『デジモノステーション』に掲載されました。(2013/01/15) 2012年12月04日メディア掲載情報 『日経トレンディ』に掲載されました。(2012/12/04) 2012年12月04日メディア掲
表題にある問題は @noricoco さまが提出したもの。Togetter にまとめがある。 正しいのになぜかみんなが「変だ!」という問題: x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる。— norico (@noricoco) May 29, 2012 いつものように Agda で解いたんだけど、思いのほか時間がかかりました。被害者を増やさないために記録を残します。結論:Coq はいいものだ。 まず最初に Agda のインストール。慣れてるはずなのに、ここでつまずいた。のたうちまわったあげくインストールできたのだが、そんな苦労は見たくないだろうから説明は後に回す。 gist にあげた最終的に得られた証明譜をあえてペーストする: module Noricoco where open import Data.Empty using (⊥-e
このドメインは お名前.com から取得されました。 お名前.com は GMOインターネットグループ(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。 ※1 「国内シェア」は、ICANN(インターネットのドメイン名などの資源を管理する非営利団体)の公表数値をもとに集計。gTLDが集計の対象。 日本のドメイン登録業者(レジストラ)(「ICANNがレジストラとして認定した企業」一覧(InterNIC提供)内に「Japan」の記載があるもの)を対象。 レジストラ「GMO Internet Group, Inc. d/b/a Onamae.com」のシェア値を集計。 2023年5月時点の調査。
About a week ago I started looking at Elixir. Elixir had been one of those things that was vaguely aware of but had not yet time to look at in any detail. This all changed when I discovered the announcement that Dave Thomas was publishing Programming Elixir. Dave Thomas edited my Erlang book and did great work in introducing Ruby, so when Dave gets excited about something then this is a sure sign
日本製のモノが、サービスが売れない。性能はいいのに。機能も充実しているのに。壊れないのに。親切なのに。多くの日本企業が直面している、「いいモノをつくっているのに売れない」問題。 なぜ、売れない? それは、日本製品の多くが、かっこよくないから。美しくないから。カワイくないから。気持ち良くないから。つまり、デザインがなっていないから。 どうして、デザインがなっていない? それは、経営者がデザインのことをわかってないから。つまり、経営者が「ダサい」から。だから、デザインをマネジメントできない。 経営者がダサいと、日本企業はつぶれる。では、どうすれば、デザインをマネジメントできるのか? どうすれば、かっこいいを、美しいを、カワイイを、気持ちいいを、商品化できるのか? どうすれば、ダサい経営から、デザインできる経営に転換できるのか? ifs未来研究所所長の川島蓉子が、時代を切り開く現役経営者やデザイ
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post I wrote this fragment a few years ago and have talked about it to folks individually, but it came up again in discussion on the #haskell channel, so I figured it was worth posting about in a central location. Evaluating to Normal FormThe deepseq package's Control.DeepSeq provides the incre
I accidentally stumbled upon something yesterday that I felt like sharing, which fell squarely into the "why the hell didn’t I know about this before?" category. In this post, I’ll describe how to manage the various configuration files in your GNU/Linux home directory (aka "dotfiles" like .bashrc) using GNU Stow. The difficulty is that it would be helpful to manage one’s configuration files with a
cabal 1.18 のサンドボックスがどういう機能か知らない人は、An Introduction to Cabal sandboxes か 2013年8月現在のHaskell開発環境をどうぞ。 それで、sandbox サブコマンドの--sandbox オプションが早速役に立ったというお話。 --sandbox オプション パッケージを Hackage に上げる場合、cabal sdist で tar.gz を作ります。 % cd ~/work/ghc-mod % cabal clean % cabal sdist Source tarball created: dist/ghc-mod-2.1.2.tar.gz 慎重な人は、必要なファイルが漏れてないか、untar して cabal test するでしょう。 % cd dist % tar zxvf ghc-mod-2.1.2.tar.g
アメリカの新聞ニューヨーク・タイムズは、アメリカとイギリスの情報機関が、インターネット上で広く使われている暗号の解読に成功し、銀行の決済や、医療記録などの個人情報をひそかに収集していると伝えました。 これは、アメリカの新聞ニューヨーク・タイムズが、CIA=中央情報局の元職員スノーデン容疑者から提供された文書を基に伝えたものです。 それによりますと、アメリカのNSA=国家安全保障局が、スーパーコンピューターによる解析によって、インターネット上で広く使われている暗号の解読に成功し、銀行の決済や個人の医療記録、さらに電子メールなどの個人情報をひそかに収集しているということです。 また、こうした個人情報の収集を巡っては、イギリスの情報機関が、一部のIT企業の協力を得ていたとも伝えています。 暗号解読の機密計画は、アメリカの南北戦争における戦いの場所の1つから「ブルラン」と名付けられており、イギリス
Live Nation says its Ticketmaster subsidiary was hacked. A hacker claims to be selling 560 million customer records. An autonomous pod. A solid-state battery-powered sports car. An electric pickup truck. A convertible grand tourer EV with up to 600 miles of range. A “fully connected mobility device” for young urban innovators to be built by Foxconn and priced under $30,000. The next Popemobile. Ov
Live Nation says its Ticketmaster subsidiary was hacked. A hacker claims to be selling 560 million customer records. An autonomous pod. A solid-state battery-powered sports car. An electric pickup truck. A convertible grand tourer EV with up to 600 miles of range. A “fully connected mobility device” for young urban innovators to be built by Foxconn and priced under $30,000. The next Popemobile. Ov
One of the (many!) features of Docker 0.6 is the new “privileged” mode for containers. It allows you to run some containers with (almost) all the capabilities of their host machine, regarding kernel features and device access. Among the (many!) possibilities of the “privileged” mode, you can now run Docker within Docker itself. First, we will see how to make that happen; next, we will explain what
データベースのスケーラビリティを改善する代表的な方法として、データを分割して複数のサーバで処理する「シャーディング」があります。そのシャーディング機能を持つMySQLストレージエンジンが「Spider」が、MySQL互換のMariaDBにバンドルされると、開発者である斯波健徳(しばけんとく)氏のブログにポストされた記事「[MariaDB][Spider]SpiderがMariaDBにバンドルされました」(8月23日付け)で紹介されています。 Spiderストレージエンジンの概要は、MySQLについていつも詳しい解説をしてくれるブログ「漢のコンピュータ道」の2010年3月のエントリ「Not Only NoSQL!! 驚異的なまでにWRITE性能をスケールさせるSPIDERストレージエンジン」などで分かりやすく説明されていますが、簡単に言えばデータベースに対する参照や更新などの処理を複数のデー
Since Ricoh released the world’s first 360-degree camera for consumer use in 2013, we have led the industry by combining our wealth of knowledge and technology.RICOH THETA enabling you to shoot 360-degree images and video in a single shot, and the RICOH360 app that automatically synchronizes your captured data with the cloud. These 2 items enable anyone to easily capture and share images and video
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く