Migrating from RethinkDB to Postgres — An Experience Report
TL;DR: we switched from RethinkDB and ElasticSearch to Postgres, leaning heavily on Haskell in order to fill in some of the gaps quickly. The project was a success, and we’re very happy with the switch. Haskell has been invaluable for refactoring safely and confidently. MotivationAt Lumi, our backend stack has historically used RethinkDB for the primary database and ElasticSearch for indexing and
Dependent Types in Haskell
Haskell Srbija Grupa posvećena ucenju i popularizaciji Haskell programskog jezika "Pure mathematics is, in its way, the poetry of logical ideas." Albert Einstein "Most good programmers do programming not because they expect to get paid or get adulation by the public, but because it is fun to program." Linus Torvalds This topic is considered as advanced and some prior knowledge of Haskell is assume
親友に流産打ち明けられたら… 「次は大丈夫」の励ましが逆効果に、周囲が知っておくべきこととは （withnews） - Yahoo!ニュース
「この前、妊娠したって報告したけど、実は流産になっちゃって…」。もし親友から、そう打ち明けられたら、どう声をかけますか。なんとか言葉を探し、慰めようとしても、かえって本人の悲しみを深めることがあります。そのような「傷ついた言葉」を経験者たちへのアンケートで探ってみました。周囲が声をかける前に「知っておくべきこと」とは――。（朝日新聞文化くらし報道部記者・滝沢卓） 【回答集】「ハズレくじ引いたと思って」「よくあること」 流産や死産を経験後、言われて「傷ついた言葉」 「次は大丈夫」 「よくあることみたいだね」 これらは相手を傷つけようという悪意はなく、気づかったつもりの言葉かもしれません。 しかし実際、こうした声かけで「傷ついた」という当事者がいます。 流産・死産のグリーフ（悲嘆）ケアグループ「WAKOMO会」が東京都内で開いた講演会で、朝日新聞は、周囲から言われて傷ついた言葉について、アンケ
２歳の娘が、独身時代に飼っていたペットだったと言いだした : 発言小町＋ : 読売新聞（YOMIURI ONLINE）
皆さんは「前世」や「生まれ変わり」って信じますか？ 発言小町に「２歳の子供が昔飼っていたペットだったと話し出した」という投稿が寄せられました。 ハンドルネーム「フェレットやったんか」さんは、２歳の女の子「ゆうちゃん」のお母さん。ある日、歯磨きをしながらこんな話を始めたそうです。 「ゆうちゃんねえ、昔『もふぞう（仮名）』だったの。そして、ゆうちゃんになったの」 「カリカリの餌、美味(おい)しくなかったわあ」 「もふこ（もふぞうと同時期に飼っていたペット）は可愛(かわい)かったけど、怖かった。あまり一緒に遊ばなかった」 ハンドルネームの通り、「もふぞう」はフェレットで、トピ主さんが独身時代に飼っていたそうです。娘のゆうちゃんにペットを飼っていたことを話したことはなく、「夫も知らない名前を突然話し出した娘にとてもびっくりしました」とつづっています。 さらに、飼っていた６匹のペットの写真を見せたと
るろうに剣心作者を書類送検…女児動画所持容疑 （読売新聞） - Yahoo!ニュース
女児の児童ポルノ動画を所持したとして、警視庁は２１日、人気漫画「るろうに剣心」作者の和月（わつき）伸宏（本名・西脇伸宏）容疑者（４７）（東京都西東京市）を児童買春・児童ポルノ禁止法違反（単純所持）容疑で書類送検した。 捜査関係者によると、西脇容疑者は１０月、都内の事務所で１０歳代前半の女児の裸が映った動画を収録した複数のＤＶＤを所持した疑い。容疑を認め、「小学校高学年から中学２年生くらいまでの女の子が好きだった」と供述している。 別の児童ポルノ事件の捜査で、西脇容疑者が１０歳代前半の女児のＤＶＤを購入していた疑いが浮上。同庁少年育成課が自宅を捜索し、複数のＤＶＤを発見した。 児童ポルノの単純所持は２０１５年７月から処罰対象になった。性的な目的で１８歳未満の子供の児童ポルノを所持・保管すると、１年以下の懲役または１００万円以下の罰金が科される。
プロジェクターを使うと子供がすごいスピードで朝の身支度をするようになった - ソレドコ
こんにちは、石川と申します。普段はデイリーポータルＺというサイトで編集をやっております。 今回はプロジェクターを使って「子供のお着替えを爆速化する方法」を紹介させていただきます。 子供を抱える家庭にとって朝は修羅場じゃないですか。 時間がない中で、超高速で朝食・歯磨き・着替え・持ち物の準備等をこなす必要があり、僕の場合は自分と子供2人の3人分です。この修羅場ぶりはよく「戦場」等と比喩されます。そんな戦場の様子を写真でごらんください。 読書熱心なのはいいことですが、着替えを中断していま読まなくてもいいのではと思うのと、あとよく見ると左にいる次男は室内で長靴を履いてますね。就学前にしてもう学級崩壊です。 しかし戦場というにはちょっとのどかな風景ですよね。そうなんですよ。僕は戦場なんですけど、当の子供たちは大抵ゆっくりのんびりと人生を謳歌しています。言い方を変えると「やる気なし」。 このギャップ
コンビニ：ミニストップが全店舗で成人誌の販売を中止へ | 毎日新聞
コンビニエンスストアのミニストップ（本社・千葉市）は２１日、国内の全店舗（１０月末現在２２４５店）で来年１月から成人誌の販売を中止すると発表した。 同社によると、成人誌の陳列対策を進めてきた千葉市からの働きかけを受けたもので、同市内の店舗では１２月から先行的に取り扱いをやめる。 同社は「女性にとっても、より利便性の高…
もし、HTMLのテキスト周りでデザイナーからこんなお願いをされたら... - Qiita
HTMLのテキストはPhotoshopのように融通が効かないから、デザイナーからの細かいお願いはだいたい断っている...なんてことありませんか？ モダンブラウザは色んなプロパティが対応してきているので、できることも増えています。 今回は、知っているといざというとき便利なテキスト周りのCSSを集めてみました。 「日本語、文字詰めできないかな？ほら、このカタカナとかキモい。。」 「Webで文字詰めだと？無理なんだよあきらめな！」なんていう時代はもうとうに過ぎ去っています。OpenTypeのフォントであれば、日本語でもちゃんと文字詰めできるんです。 .class { -moz-font-feature-settings: "palt"; -webkit-font-feature-settings: "palt"; font-feature-settings: "palt"; } ↓こんなかんじで
疑似個人情報生成 - 生成条件入力
使用許諾条件 このサービスの提供者である当方は、生成した疑似個人情報を所有または使用したことにより発生したいなかる損害も一切その積を負いません。 生成した疑似個人情報は、乱数によりランダムに生成しておりますが、偶然性により実在の人物と一部または全部が一致する可能性があります。 生成した疑似個人情報は、デモンストレーションやアプリケーション試験などに使用することができますが、疑似個人情報を含めた物品またはサービスを販売することはできません。
俺は空手やってて結構ガタイがいいんだが そのせいか、付き合ってる女が高..
俺は空手やってて結構ガタイがいいんだが そのせいか、付き合ってる女が高確率で虎の威を借る狐状態になる 一緒に歩いてると、周りのカップルを威嚇するかのようにガンくれるなんてのは定番で 友達だか姉妹だかが浮気されたから、相手の男を殴ってくれとか言ってきたのもいた 俺はおまえのポケモンじゃねーんだよ、と まあ、格闘技ファンとか強い男が好きとか言う女にはこんなのが多い で、そんな女らと別れた後、新しく好きな相手ができたんだが 俺がモタモタしてる間に他の男と婚約していた それはそれでしゃーねーやと思い、お祝いを言いに行ったら 社員食堂で女友達相手に婚約者の年収を大自慢している彼女がいた そんときの顔といい口調といい、ベクトルは違えど俺が嫌になるほど見てきた 虎の威を借る狐そのものだった なんだ、こいつもかよ、と 恋人に自分の能力を絶賛され、頼られるのは男として嬉しいが せめて品ってやつを身に付けてほ
初の国産量子コンピューター 無償公開 | NHKニュース
スーパーコンピューターをはるかにしのぐ性能が期待される次世代のコンピューター、「量子コンピューター」の初の国産機の開発に成功したと国立情報学研究所やＮＴＴなどのチームが発表しました。複雑な組み合わせを解く問題でスーパーコンピューターの１００倍のスピードを発揮したということで来週から世界中の研究者が利用できるようインターネット上で無料公開するということです。 カナダのベンチャー企業が６年前、世界で初めて販売を始め、グーグルやＩＢＭ、マイクロソフトなどの大手ＩＴ企業も開発を進めるなど世界中でしれつな競争が展開されています。 初の国産量子コンピューターの開発に成功したと発表したのは、国立情報学研究所やＮＴＴ、それに東京大学など国のプロジェクトチームです。 従来のコンピューターでは、半導体の電圧で「０」か「１」の情報を表現し計算処理を行いますが、この量子コンピューターでは、全長１キロのループ状の光
白人至上主義でいてほしかった
ヴィクトリアズシークレット（めんどいので以下VS）という有名下着ブランドがある。その有名モデルはとくに「エンジェル」と呼ばれていて、かのミランダ・カーさんもここのエンジェルとして有名になった。VSのモデルは、もともと白人だらけだった。白人の健康的で美しく、セクシーな女性を芸術的に飾り立てるブランドだった。有色人種モデルも中にはいたが、もちろんごく少数で脇役だった。なんというか、同じものだと飽きるのでたまにスパイスを入れることで引き立たせるみたいに使われていた。 VSは毎年恒例のファッションショーをやっていて、今年は上海で行われたのだが、これが本当にがっかりだった。人種多様性を軽視することが命取りになりかねない昨今アメリカでは、白人至上主義的な世界観はなりを潜め、モデルには黒人とアジア人が前より多く登場するようになった。私はこれが本当にショックで、VSは死んだと思った。もちろん間違っているの
定理証明支援の紹介 - Qiita
目的 定理証明支援とは何かと現状の整理。 定理証明支援とは 定理証明支援とは数学の定理を自動で証明することではなく、ステップバイステップでコンピュータに命令を送り、数学の定理を証明するのを助けるシステムである。 支援だから意味ないということでなく、最近の数学の証明は長くなり証明の検証が難しいのを助ける意味がある。定理証明支援の意義についてはこちらが詳しい。 また、信頼性が求めらる難しいアルゴリズムの検証、たとえばTLS(暗号通信)やRaft(分散合意アルゴリズム)のサーバーに利用されつつある。 ここでいう定理は大げさなものだけでなく、$1+1=2$、$0*何か=0$、$a*b=b*a$といった簡単なものを証明しながらどんどん積み上げていく。通常のプログラムと違うのは証明であるので使用する変数が整数ならそのすべての値について成り立つ定理を証明する。 定理を証明するのに使うツールは下記である。
描画のタイミングを最適化する、とは
setTimeoutメソッドを利用すると、「指定した間隔」と「ブラウザが画面を更新するタイミング」に差が生じることになります。そうなると、ブラウザが一度画面を更新する間に、何度か描画処理を行ってしまう事態が起き、 パフォーマンスの低下につながる恐れがあります。それを解決するのが、requestAnimationFrameメソッドです。 <中略> 長所…毎回、ちゃんと描画できるタイミングで実行されるようになるため、「DOMやCSSを書き換えたが、描画できないタイミングだったので実際には動いていない」という無駄な処理が発生しない。 setintervalメソッドと同様に、ブラウザ上でタブが非アクティブな状態になると、処理が軽減される。 短所…処理が実行さえっるタイミングでブラウザの画面更新のタイミングに依存するため、狙ったときに実行できない。また、実行されるタイミングも必ずしも一定とは限らない
暴力の扉は閉めておけ反社会学講座ブログ
こんにちは、パオロ・マッツァリーノです。またヘリクツこねて暴力を擁護する連中のお出ましです。ビール瓶で殴ろうが素手で殴ろうが、暴力は暴力でしかないってのに。 一番バカ丸出しなのは、日馬富士と貴ノ岩を土俵で勝負させて決着をつけろ、とかいってるヤツね。それ、二人の実力が拮抗してるのならまだわからないでもないですよ。でも横綱と前頭では力の差がありすぎて、公平な勝負になるわけがない。貴ノ岩にはビール瓶を持たせるとか、ハンデをつけるなら話はべつですけども。 以前から私の本やブログをお読みなってるかたならご承知でしょうが、私は一貫して、暴力を基本的に全否定する立場です。で、これが評判が悪い。こないだの日野体罰事件のときもそうですが、どういうわけか日本には、暴力を美化・擁護・肯定する人が想像以上にたくさんいます。私はその事実にぞっとするのです。自分と倫理観や道徳観、価値観のちがう人間は暴力で矯正すればい
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
親友に流産打ち明けられたら… 「次は大丈夫」の励ましが逆効果に、周囲が知っておくべきこととは （withnews） - Yahoo!ニュース
悲しみは「乗り越える」もの？68日間生きた娘を亡くした夫婦の思い 識者「聞こえいいがリスキーな言葉」 （withnews） - Yahoo!ニュース
悲しみは「乗り越える」もの？68日間生きた娘を亡くした夫婦の思い 識者「聞こえいいがリスキーな言葉」 （withnews） - Yahoo!ニュース
悲しみは「乗り越える」もの？68日間生きた娘を亡くした夫婦の思い 識者「聞こえいいがリスキーな言葉」 （withnews） - Yahoo!ニュース
「風俗店に出入り」でピンと来た！…謎の視力低下、梅毒が原因 | ヨミドクター(読売新聞)
#12 詐欺か革命か ICOに沸くシリコンバレー - 日本経済新聞
GitHub - haskell-patterns/cast: Cast pattern
GitHub - mmark-md/mmark: Strict markdown processor for writers
GitHub - kcsongor/generic-lens: Generically derive traversals, lenses, and prisms.
GitHub - jhickner/smtp-mail: Making it easy to send SMTP email from Haskell
GitHub - sellerlabs/ekg-cloudwatch: CloudWatch stats for ekg
OATH Toolkit
GitHub - s9gf4ult/one-time-password: Haskell implementation of One-Time Passwords algorithms
『俺は空手やってて結構ガタイがいいんだが そのせいか、付き合ってる女が高..』へのコメント
増殖続けるダークウェブ、サイバー攻撃の温床に
食堂に3時間放置、朝3時に着替えの介護現場
『白人至上主義でいてほしかった』へのコメント
#あさイチ 「プロに3万で描いてもらったイラストが2500円で描いてもらえてコストダウン」をいい話として紹介「市場価格を下げるの勘弁して」 - Togetterまとめ
TechCrunch
著作権は70年保護 日欧EPA、外務省4カ月遅れの公表 霞が関2017 - 日本経済新聞