GitHub - ethul/purescript-angular: AngularJS 1.2 bindings for PureScript (currently in the experimental stage)You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Atom Flight Manual
AI & MLLearn about artificial intelligence and machine learning across the GitHub ecosystem and the wider industry. Generative AILearn how to build with generative AI. GitHub CopilotChange how you work with GitHub Copilot. LLMsEverything developers need to know about LLMs. Machine learningMachine learning tips, tricks, and best practices. How AI code generation worksExplore the capabilities and be
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
スマートコン @mr_konn Haskell における依存型プログラミングでは、大抵の場合安全性の"証明"として依存型を用いる場合が多いから、ひとたび証明が出来てしまえば、その証明に対応する実行時計算は無駄なんだよなあ。type erasure ならぬ proof erasure が出来ればよいのだが 2014-02-23 17:10:29 スマートコン @mr_konn 帰納法は O(n) 書かるし、二重帰納法なら O(n^2) だ。一回示せたら unsafeCoerce すりゃいいかもしれないけど、そういうのを自動的にやってくれるのを欲しい 2014-02-23 17:12:45
cabal install が Permission DeniedでこけるときのWorkaround - Qiita
症状 cabal install で、 dist/ ディレクトリを含むパッケージをインストール仕様とするとコケる。 (Issueがある https://github.com/haskell/cabal/issues/1698) 原因 cabal sdistコマンドを既にdistディレクトリがある状態で実行すると、それをtarballに含めてしまう。この状態で build を行うとうまく行かない場合があるので、現在のcabal installでは、 dist/ を dist-tmp/ にリネーム dist/ を新しく作る dist-tmp を $distpref (パラメータ) にリネーム という手順を踏んでから、buildを行っているようである。 しかし、 $distpref はデフォルトでは "dist" になっているため、結局同じ名前にリネームしているどころか、Windowsのディレク
HaskellのFusionがあれば速度と抽象化を両立できる - りんごがでている
データの分析をする際には配列やベクトルは欠かせないデータ構造です。 大体どの言語にも大体配列は用意されていて、そこにサンプルのデータ等を入れて統計量を計算したり関数に渡して回帰をしたりするわけです。 ベクトルという単位でデータの塊を扱うものの、実際のアルゴリズムではベクトル内の要素一つひとつを見ていって何か処理をしたり計算をすることが多いでしょう。 その際、命令型言語ではforループを陽に使って要素にアクセスすることになります。 簡単な例を見てみましょう。ベクトルv1とv2の内積を求める関数をC言語で書くと以下のようになります。 function dot(double* v1, double* v2, size_t n) { double s = 0.0; for (int i = 0; i < n; i++) { s += v1[i] * v2[i]; } return s; } 特に難
型安全ってなんだろう？
きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm @osiire はい。。。F# を日常的に使っていたり、OCamlを勉強していると、型安全って静的型付けであることとは違うし、型によって何を保証したり、表現できれば型安全であるって言えるのかよくわからなくなってきました。型安全って言葉を安易に使えないですね。 2012-09-20 19:02:42
O'Reilly Webinar: Designing Type-Safe Haskell APIs
Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications. August 6, 2012By Michael SnoymanView source on Github I'm going to be giving a webinar with O'Reilly this Thursday (10 AM Pacific) titled "Designing Type-Safe Haskell APIs." If the topic interests you, please sign up. I'd love to see you all there (figuratively speaking, of course)
Typeclass encoding in Swift
In Swift, if we want to sum the elements of an array, we might write a function like this: func sumVecInt(xs: Array<Int>) -> Int { return xs.reduce(0) { $0 + $1 } } This works fine for Int, but what about when we want to sum an Array of Int8, Int32, or other number types? The + operator can only work on a fixed type, so using any other type will give us a type error. We would be forced to re-defin
【オシム分析１】失望する必要ない 一つ上のレベルに進む可能性示した - スポニチ Sponichi Annex サッカー
【オシム分析１】失望する必要ない 一つ上のレベルに進む可能性示した
［速報］Google Appsで、Word/Excel/PowerPointファイルを変換せずそのまま編集、保存可能に。Google Driveは容量無制限へ。Google I/O 2014
Googleは6月26日（現地時間25日）、米サンフランシスコでイベント「Google I/O 2014」を開催。基調講演でGoogle Appsの新機能「Native Office Editing」を発表しました。 Native Office Editingでは、これまでWordやExcel、PowerPointのファイルをGoogle Appsで開く場合に実行されていたGoogle Appsのファイル形式への変換がなくなり、WordやExcel、PowerPointのファイル形式のままで開き、編集し、保存できるというものです。 これにより、例えばメールの添付ファイルとしてWordファイルを受け取った場合、そのままGoogle Docsで開き、編集し、Wordファイルとして保存し、送り返すことができます。 Google DocsはWebブラウザ上で実行され、モバイルデバイスにも対応してい
Dockerでダウンロードしたファイルはどこに置かれるのか - 組み込みの人。
昨日に続いてDockerをさわってみた話です。 docker run ... で自動的にルートファイルシステムがダウンロードされますが、それらのファイルはいったいどこに置かれたのでしょうか？ カレントディレクトリには何も新しいファイルはできていません。ダウンロードしたのはubuntuとbusyboxのルートファイルシステムなので、それらしい名前で新しくファイルができていないか探したのですが見つかりません。 それでもうまく動いているのですから気にしなくてもいいとも言えるのですが、私としてはわからないのは気持ちが悪い。少なくともギガバイトのサイズをダウンロードしたはずなのに、いったいどこに消えてしまったのか？ ようやく見つけたヒントがこれ。 コンテナの中のプロセスの/proc/self/mountinfo を見るとそれらしいディレクトリが見つかりました。 $ docker run -it bu
風営法のクラブ規制緩和で仲間割れが起こっている？ - ライブドアニュース
2014年6月26日 6時0分 リンクをコピーする by ライブドアニュース編集部 ざっくり言うと 風営法のクラブをめぐる動きが、突如失速し始めた クラブ、ダンス関連団体、国会議員、警察の思惑が複雑に絡み合っている ダンス用のクラブと、ナンパ用のクラブとでも対立が起きている ２０１２年以降、法改正へ向けて着実に歩みを進めていたかに見えた、風営法のクラブをめぐる動きが、ここへきて突如失速した。その裏には“ダンス”を取り巻く人々の、相いれない思惑がうずまいていた。 風営法のクラブには、クラブ関係者のみならず、超党派の国会議員が「ダンス文化推進議員連盟（以下、ダンス議連）」を発足させ法改正案の策定に乗り出し、安倍首相直轄の規制改革会議も検討議題に加えていた。 しかし、６月に入ってこの動きがストップ。改正案の提出は秋以降に見送りとなった。なぜか？ 法改正に取り組んでいた齋藤貴弘弁護士がこう話す。
peco/percolでCUIなスニペットツールを作ってみる - Glide Note
以前にSheetというスニペットツールを利用すると大変便利と書いた。 CUIなスニペットツールsheetが便利なのでzshでsheetファイルを補完 - Glide Note - グライドノート で、障害対応で使うコマンドとかよく忘れるコマンドを大量に登録してて、毎日使ってて重宝してるんですが、スニペットが 増えると管理が破綻する問題があって、pecoやpercolを使えば解決出来そうと思ってやってみた。 仕組み snippets用のファイル or sheetのスニペットファイルをpeco/percolで絞りこんで、クリップボードに送ったりして簡単に利用できるようにする よく使うコマンドのスニペットファイルを用意 sheetの資産をそのまま利用も出来るんですが、今回は下記のような感じでファイルを~/.snippetsで用意。私が使ってるやつから一部抜粋。 1 2 3 4 5 6 7 8 9
angularjsのunitテストの書き方【$resource編】 - is Neet
さて前回の記事、「Rails4.0でangularjsを使ってRESTfulなajaxを実装する」に引き継ぎ今回はangularjsのテストについて書こうと思う。 題材には引き続き前回の内容を使うので、そちらを読んでからのほうが読みやすいかと。 ちなみにangularjsにしてもテストにしても自分自身かなり手探りで進めているため、不自然な点や改善点があればどんどん伺いたい。 実行環境 angularjsはtestableだと謳われている割にビルドインされたテスト実行環境がないので自力で整える必要がある。（しょうが無い気もする） 今回はテスト実行環境にkarma、テストフレームワークはjasmineを使用する。 前提としてnodeはインストールされているものとする。 $ npm install -g karma $ npm install -g karma-ng-scenario 以上でka
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - freebroccolo/atom-package-purescript: Template for a PureScript-based Atom package
GitHub - freebroccolo/purescript-atom-api: Atom API bindings for PureScript
Glitch Text ツ on the App Store on iTunes
GitHub - gleber/erlhask: Erlang VM reimplementation in Haskell
formatting
quickcheck-webdriver
angularjs route unit testing