pochi-mkのブックマーク / 2017年12月25日

pochi-mk id:pochi-mk

2017年12月25日のブックマーク (7件)

Datomicを今日学ぼう！
Datalogを今日学ぼう！Datalogを今日学ぼう！はDatomic版のDatalogを学ぶために用意された対話形式のチュートリアルです。Datalogは論理プログラミングを源流にもつ宣言的なデータベース問合せ言語です。DatalogはSQLと同等の表現力を持ちます。 Datomicは革新的なアーキテクチャを持ち、ユニークな特徴をユーザに提供する新しいデータベースです。Datomicの詳細についてはhttp://datomic.comを御覧ください。アーキテクチャの詳細についてはInfoQの記事である程度述べられています。目次Extensible Data Notation基本のクエリデータパターンパラメータ化されたクエリクエリの詳細述語変換関数集計ルールこのチュートリアルは2013年のLisp In Summer Projectsのために雨降りの日に書かれました。バグやこのチュート
pochi-mk 2017/12/25
おおーこれはじっくり読まねば。
リンク
Clojure/conj 2017に見るClojure界のトレンドとこれから - Qiita
はじめに Clojure/conjは、Clojureの生みの親であるRich Hickeyも所属しているCognitectが主催している、Clojure界では最大のカンファレンスです。毎年アメリカのどこかで開催されており、今年はメリーランド州ボルチモアで行われました。今年はClojureが初めてリリースされてから10周年で、記念すべき回となっていたようです。今年のClojure/conj 2017では、私も念願の初参加かつ初発表をしてきました。アメリカは遠いですからね…ずっと行ってみたかったのですが、なかなか気軽に見に行くことはできません。今回はトークがacceptされたということで（一昨年はrejectされました）、満を持して参加してきました。本稿では、Clojure/conjの様子や講演内容をまとめ、2017年現在のトレンドとこれからのClojureに思慮を巡らせて、Clojure
pochi-mk 2017/12/25
Clojure

カンファレンス
リンク
Ruby 2.5.0 リリース
Posted by naruse on 25 Dec 2017 Ruby 2.5シリーズの最初の安定版である、Ruby 2.5.0がリリースされました。 Ruby 2.5.0には、多くの新しい機能やパフォーマンスの改善が含まれています。その一部を以下に紹介します。新機能 rescue/else/ensure が do/end ブロック内にも直接書けるようになりました。 [Feature #12906] yield_self が追加されました。与えられたブロックをそのコンテキストでyieldします。tapと異なり、yield_self はブロックの値を返します。[Feature #6721] 分岐カバレッジとメソッドカバレッジの計測がサポートされました。分岐カバレッジは分岐が実行されたかどうかを表します。またメソッドカバレッジはメソッドが呼び出されたかどうかを測定します。テストスイートを
pochi-mk 2017/12/25
毎年恒例クリスマスリリース

Ruby

releasenote
リンク
「空母」運用機を本格検討　短距離離陸のF35B導入 - 共同通信｜ This kiji is
防衛省が将来的に海上自衛隊のヘリコプター搭載型護衛艦で運用することも視野に、短距離で離陸できるF35B戦闘機の導入を本格的に検討していることが24日、政府関係者への取材で分かった。既に導入を決めた空軍仕様のF35A計42機の一部をB型に変更する案、別に追加購入する案があり、来年後半に見直す「防衛計画の大綱」に盛り込むことも想定している。護衛艦であってもF35B戦闘機を搭載すれば軍事的には「空母」と位置付けられ、自衛のための必要最小限度を超えるため攻撃型空母を保有することは許されない、としてきた政府見解との整合性が問題となる。
pochi-mk 2017/12/25
「かが」を空母にしようｗ冗談はさておき空母なんて金食い虫なので無理っす

f35

Military

軍事

自衛隊
リンク
Raspberry Piに最適な小型ディスプレイ「Quimat 3.5インチタッチスクリーンディスプレイ」を素のRaspbianからセットアップする方法 - karaage. [からあげ]
Quimat 3.5インチタッチスクリーンディスプレイツイッターで見かけて気になっていた、Raspberry Pi用の小型ディスプレイ、Amazonセールで安くなっていたので衝動買いしてしまいました。 Quimat 3.5インチタッチスクリーン HDMIモニタTFT LCDディスプレイ Raspberry Pi 3 2 Model B Rpi B B+ A A+ 映画アーケードゲームオーディオ入力 RPi GPIOブレークアウト拡張ボード保護ケースキットアクリル(透明) QC35Cposted with カエレバ Quimat Amazonで探す楽天市場で探す実は、Raspberry Piの小型ディスプレイは、上記のもの以外にも、以下のディスプレイを購入しています。ただ、このディスプレイ色々不満点があって、あまり使わなくなってしまっていたのですよね。具体的には以下です。 2.
pochi-mk 2017/12/25
あとで読む
リンク
OSXのコマンドライン通知ツール「Alerter」のご紹介 | DevelopersIO
メールやチャットなど色々なところに通知が飛びます。例えば会議が始まる前にチャットに通知したり、CircleCIがビルドを完了したらメールに通知したりしていますが、どちらも私が見に行かないといけません。チャットを全然気にしていないタイミングで会議が始まったら通知を逃し、会議に行けない（遅れる）、といった結果が想定されます。 OSの機能で通知することで、私が気づく確率が上がるのではないかと思い調べていたところ見つけたのが今回紹介するAlerterです。 Alerter Alerter/Send User Alert Notification on Mac OS X 10.8 from the command-line. alerter is a command-line tool to send Mac OS X User Alerts (Notifications), which are
pochi-mk 2017/12/25
リンク
ヘッドレスChromeの自動化ツール「Chromeless」を使って自動テストを実施する #serverless #adventcalendar | DevelopersIO
ヘッドレスChromeの自動化ツール「Chromeless」を使って自動テストを実施する #serverless #adventcalendar ヘッドレスChromeでシンプルに自動テストを行う Google Chromeのバージョン59から標準搭載された、ヘッドレスモード（GUIがないモード）。コマンドラインからヘッドレスブラウザを立ち上げることができ、スクリーンショットの撮影を行ったりDOMを出力したりすることができます。自動化の可能性に満ち溢れた機能です。ヘッドレスChromeの導入については、次の公式ドキュメントが詳しいです。ヘッドレス Chrome ことはじめ | Web | Google Developers ドキュメントを読んでいただくと分かると思いますが、様々なことが可能なため指示の記述が少し冗長な面があります。そこでヘッドレスChromeを用いた自動化処理
pochi-mk 2017/12/25
リンク
- 2017年12月26日
- 2017年12月25日
- 2017年12月24日