テンソルを実装するのに表現可能関手がとても便利な件 - Qiita
最近hmatrixで深層学習を実装する機会があったのですが、hmatrixはベクトルと行列しか提供していないので3階以上のテンソルが必要になって困るという場面に出くわしました。そこで自分で長さ付きベクトルを組み合わせてサクッとn階テンソルが作れると便利かな〜と調べていたら（素直にrepaやmassivを使えという話ではあるのですが ）表現可能関手を使うことでn階テンソルとその演算が楽に（そして抽象的に）実装できるという文献1を見つけたので備忘録も兼ねてまとめておこうと思います。 この記事で紹介したコードは以下のGistで公開しています。 https://gist.github.com/lotz84/78474ac9ee307d50376e025093316d0f 関手、つまりFunctorのことですが、表現可能関手はその中でも特別な性質を持つものです。この記事は前半と後半に分けて、前半では
Nim Programming Language
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Efficient Nim generates native dependency-free executables, not dependent on a virtual machine, which are small and allow easy redistribution. The Nim compiler and the generated executables support all major platforms like Windows, Linux, BSD and macOS
tinc
Welcome to tinc! Latest stable version: 1.0.36 Latest prerelease from the 1.1 branch: 1.1pre18 Latest news: Version 1.1pre18 released. Check all Address statements when making outgoing connections. Make more variables safe for use in invitations. Allow tinc --force join to accept all variables sent in an invitation. Make sure the stop command works on Windows if tincd is running in the foreground.
The boring technology behind a one-person Internet company
[Updated @ Dec, 2019] I found that this old blog post got shared & discussed a lot recently on Hacker News and Reddit. I’d like to clarify a few things: This post is not very up-to-date now. The tech stack keeps evolving… and is becoming a bit complex over the full-time work in the past 2 years. Initially, Listen Notes was running on 3 DigitalOcean droplets (~$30/month) in Jan 2017. “Boring” doesn
CuPy カーネル融合の拡張 - Preferred Networks Research & Development
本記事は、2019年インターンシップとして勤務した徐 子健さんによる寄稿です。 2019年度夏季インターンのJoeです。この度インターンプロジェクトとしてCuPyのカーネル融合の拡張に取り組み、既存のカーネル融合の適用範囲を大幅に拡張しました。さらにその応用として、ResNet50のバッチ正規化においてCPU実行時間を30%ほど、GPU実行時間を(入力サイズに大きく依存しますがおおよそ)70%ほど削減することに成功しましたので、その取り組みをご紹介します。 背景 CuPyはNumPyと同じAPIを提供するPythonのライブラリで、CUDAを用いて演算を高速に行います。具体的には、行列・ベクトルの要素ごとの演算や、リダクションと呼ばれる、演算によって配列の次元が落ちる演算(たとえばcupy.sum)など、GPUが得意とする計算を高速に行うことができます。 さて、CuPyのGPU演算は強力で
HIW 2019で発表された、Gibbonコンパイラーについて - Haskell-jp
前回から引き続き、Haskell Implementors’ Workshop 2019への参加レポートとして、私の印象に残った発表を紹介します。 今回は、Gibbonという、GHC以外のHaskell（の、サブセット）の処理系についての発表です。 Link to hereThe Gibbon Compiler: Accelerating a small subset of Haskell 発表者: Ryan R. Newton Indiana University, Michael Vollmer Indiana University, USA, Chaitanya Koparkar Indiana University Gibbonは最適化の手法を研究するために作られたコンパイラーです。 具体的には、我々（特にHaskeller）がよく使う、木構造全体に対する処理の最適化です。 こうし
Announcing .NET Core 3.0 - .NET Blog
.NET Conf 2023 The biggest .NET virtual event is back, November 14-16! Announcing .NET Core 3.0 We’re excited to announce the release of .NET Core 3.0. It includes many improvements, including adding Windows Forms and WPF, adding new JSON APIs, support for ARM64 and improving performance across the board. C# 8 is also part of this release, which includes nullable, async streams, and more patterns.
「ボーッと生きろ」ポツンと一軒家に住む “仙人” に教わったこと（橋本 歩） @gendai_biz
仙人が住む谷へ 「本当に家なんてあるのか?」 2019年の日本にも、まだこんなところが……携帯の電波も繋がらない山のなか、車を走らせていた筆者は思わず不安を漏らしてしまった。 三重県大台町にある大杉谷。黒部、清津と並ぶ日本三大渓谷のひとつで、「最後の秘境」として知られている。ここに「三重の仙人」と呼ばれる人物が住んでいるとの情報を聞きつけ、彼の住まいへとお邪魔することになったのだ。 だが、車一台がやっと通れる山道を進めど進めど、家らしきものは見えてこない。右手にはむき出しの岩肌、左手にはエメラルドグリーンの宮川が流れている。長いあいだ誰とも出くわさないでいると、それまで美しいと思っていた景色も心なしか不気味に思えてくる。 最寄りの高速道路出口から車を走らせること1時間、約40キロの地点でようやく小屋らしきものを発見。そこに、巽幸則さん（たつみ・ゆきのり、71歳）はいた。 「よう来たなあ！」
｢がん検診｣現役医師が教えるデメリットの数々
日本人の死因のトップは悪性新生物、いわゆる「がん」です。ですから、健康で長生きするには、症状のない早期のうちに発見するため、なるべく多くのがん検診を受けたほうがいいと考える人もいるでしょう。ところが、がん検診もさまざまで、確かにがん死を減らすことが証明されているがん検診はあるものの、中には利益が明確でないものもあります。 がん検診は「無害」ではない それでも、「検診を受けるだけなら何も害はない。少なくとも損はしないのだから、たくさん受けたほうがいい」と思うかもしれません。しかし、「検診には害がない」という考えは間違っています。薬やワクチンに害（副作用）があることはよく知られていますが、検診の害についてはあまり知られていません。医師でもよくわかっていない人もいます。 医師などの専門職向けに書かれた検診の教科書の序文には、「すべての検診には害がある」とあります（※1 Angela E. Raf
「OK」のサインは白人至上主義のシンボルになったので、一般の方はご注意下さい
トランプがこのサインをよく使うのも、白人至上主義者に広がった理由 Mohammed Ameen-REUTERS ＜3本指を立てた格好が「WP（ホワイトパワー）」の文字に見えるからと白人至上主義者の間で人気になったというが、そのうちピースサインも使えなくなる？＞ 反差別を掲げるユダヤ系団体、名誉毀損防止連盟（ADL）は、親指と人差し指で輪をつくる「OK」のサインを「ヘイト（憎悪）のシンボル」としてデータベースに追加した。 ほかにも、動画と差別的なスピーチを組み合わせたミーム「ムーンマン」（2ページ目に動画）や、2015年にサウスカロライナ州の教会で乱射事件を起こした白人至上主義者ディラン・ルーフ死刑囚のボウルカット（おかっぱ頭）（2ページ目に写真）などが同データベースに追加登録された。 このデータベース「ヘイト・オン・ディスプレイ」には、極右や白人至上主義者が使う画像やスローガン、シンボルが
ScalaのコンパイラにFizzBuzz問題を解いてもらう
2019年7月29日、Opt Technologiesが主催するイベント「Fun Fun Functional (2) 関数型言語Lightning Talks!!」が開催されました。関数型プログラミングについて楽しく学び、知見を共有することを目的に開催されている本勉強会。今回は6名のエンジニアが、関数型プログラミング言語にまつわるユニークな発表を行いました。プレゼンテーション「ScalaのコンパイラにFizzBuzzを解いてもらう」に登壇したのは、jooohn1234氏。講演資料はこちら FizzBuzzをコンパイラに解いてもらう @jooohn1234氏：じゃあ発表させていただきます。「ScalaのコンパイラにFizzBuzzを解いてもらう（Dottyもあるよ）」ということで、ちなみにDottyというのは、現行はScala2がメジャーバージョンなんですけど、Scala3にあたるやつで
クレジットカード処理を担う「ISO8583」とは？ Go言語でパーサーを開発したエンジニアが中身と苦労を明かす
キャッシュレス決済の一環として、クレジットカード決済の利用がまた広がっている。その裏でやりとりされるデータは、多くの人が想像するJSONやXMLではなく「ISO8583」という規格にのっとって行われている。1980年代に策定されたこの標準規格、扱いはなかなか一筋縄ではいかないようだ。 Go言語でISO8583のパーサーを書いたというカンムのバックエンドエンジニアである佐野裕章氏は、2019年8月29～31日に開催された「builderscon tokyo 2019」のセッション「クレジットカードの通信プロトコル ISO8583 と戦う」で、その過程で得られた知見を紹介した。 クレジットカード業界のエコシステム クレジットカードというと「Visa」「Mastercard」といった「ブランド」のイメージが強いが、決済処理にはもっと多くの登場人物が関わっている。加盟店、いうなれば「使う場所」を増
LLVM、定数として宣言されたメモリ領域への代入を削除する最適化を導入 | スラド デベロッパー
LLVM 9.0では、定数として宣言されたメモリ領域への代入については「実行されないコード」と判定して削除するような振る舞いになったという（リリースノート、@shafikyaghmour氏のTweet、@shyouhei氏のTweet）。 これは、たとえばC/C++で「const」キーワード付きで宣言された変数をキャストを使って非constなものとして扱った際などに発生しうる。この結果、LLVMでコンパイルした際に今まで発生していなかった不具合が生じる可能性があるようだ。
校歌の歌詞をJASRACに委託した場合、歌詞を式次第に印刷する際に著作権使用料が求められる | スラド YRO
昨今では、公立学校の校歌の作詞者がJASRACにその著作権の管理を委託しているケースがあるという（Yahoo!ニュース）。その場合、卒業式などの式次第に歌詞を印刷する場合著作権使用料が求められるそうだ。 学校行事のような非営利の場で校歌を歌う（上演・演奏する）場合、JASRACの許諾は不要ではあるが、印刷については複製となり、許諾が必要となるという。教育機関における複製については、授業で児童・生徒および教師の人数分の複製については著作権使用料が不要だが、入学式・卒業式についてはそうでないと判断されるようだ。 なお、式次第に歌詞1曲を掲載して1,000部配った場合、通常の使用料は1,800円で、教育機関の場合2分の1に減額されて900円になるという。
米Microsoft、安全な投票システムを実現するためのソフトウェア「ElectionGuard」をオープンソースで公開 | OSDN Magazine
米Microsoftは9月24日、安全な投票システムのソフトウェア開発キット（SDK）「ElectionGuard」をオープンソースとして公開したことを発表した。ライセンスはMIT Licenseを採用する。 ElectionGuardはMicrosoftが5月に発表していたプロジェクト。安全、透明性があり、アクセシビリティに配慮した投票システムを構築できるとする。 準同型暗号を利用し、任意の電子システムによって記録された投票を暗号化することで安全と機密性を保つことができるとしている。Microsoftによると、米国の主要な投票システムメーカーとElectionGuardの活用について協業を行なっているという。 公開されたのは、投票の暗号化、解読、鍵生成、集計などの中核となる機能を含むCore ElectionGuard API SDK、独立して集計の検証ができるVerifierアプリケー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Idrisの話とIdris2のウワサ | κeenのHappy Hacκing Blog
GitHub - hakluke/how-to-exit-vim: Below are some simple methods for exiting vim.
存在をなかったことにされている「90年代前半のエロゲ妹」たちを知れーッ！ - ちゆ12歳
Watermill
電子書籍の中古販売は「違法」、欧州連合司法裁判所の新たな見解が注目集める【やじうまWatch】
N国市議「居住実態ほぼナシ」判決から2週間。今度はスラップ訴訟か否かを巡って延長戦か（HARBOR BUSINESS Online） - Yahoo!ニュース
Android React Ntiveアプリの起動時間とメモリ使用量の大幅な削減が可能なFacebook Hermes
GitHub - FullHuman/purgecss: Remove unused CSS