データ型のCPS変換について - Just $ A sandbox
HaskellでCPS変換とか調べているとデータ型のCPS変換というのが出てくる. 関数のCPS変換は継続を引数に追加して末尾再帰の形にすればだいたいOKなのでまあわかるのだけど, データ型のCPS変換というのは何なんだという話. 継続は何を継続しているのかがいまいち分からないので何故そのデータ型はCPS変換するとその型になるんだと不思議に思っていたのがちょっと解決したのでそれについて書く. 関数 is っょぃ パフォーマンスのことを考えれば, 関数型と基本型(ground type)が型の中では圧倒的に偉い. 基本型というのはまぁproductとかrecursionとかdependent typeとかを含まない基本的な型のこと. 例えばIntとか(Haskellのような言語ではIntというのは計算機の都合上特別扱いされているので, ここでのIntはN×Nにring構造を入れたもののことで
洗脳。その恐ろしい9の手口と実体の実例｜カラパイア
この画像を大きなサイズで見る “洗脳”という用語はエドワード・ハンターというイギリス人ジャーナリストによって考案されたもので、朝鮮戦争中に中国人が捕虜にしたアメリカ兵を”再教育”する方法を指すものだった。 この用語はやがて信者を服従させるために心理的手法を用いてきたカルト教団と結びつけられるようになった。心理学者マーガレット・シンガーによれば、洗脳を使用することで知られるカルト教団の信者はアメリカだけでも250万人もいるそうだ。 カルト教団のみならず、人を服従させるためにこれらの手法を使って洗脳していく国家や団体、企業、個人も数多く存在する。ここではいくつかの洗脳方法をその事例と共に見ていくことにしよう。 1. 歌や詠唱による洗脳 この画像を大きなサイズで見る マントラの詠唱は多くの宗教で重要な行為である。特に仏教やヒンドゥー教ではほぼすべての寺院で読経などの何らかの詠唱が行われている。信
Attention and Memory in Deep Learning and NLP
A recent trend in Deep Learning are Attention Mechanisms. In an interview, Ilya Sutskever, now the research director of OpenAI, mentioned that Attention Mechanisms are one of the most exciting advancements, and that they are here to stay. That sounds exciting. But what are Attention Mechanisms? Attention Mechanisms in Neural Networks are (very) loosely based on the visual attention mechanism found
おい、peco もいいけど fzf 使えよ - Qiita
（続編; --expect オプションの酷使について）私の fzf 活用事例 peco 便利ですよね。正直、使い始めてしまうと使わない日はありません。最近の CLI 界隈では選択的インターフェイスやインタラクティブフィルタなどと呼ばれるツールが盛んに開発されています。特に peco は ghq との連携で一躍人気が出た気がします。 ghqを使ったローカルリポジトリの統一的・効率的な管理について こんなやつですね。以下は ghq のリポジトリへのアクセスを簡単にするためにスクリプトです。 # Require Bash 4.0+ peco-src() { local selected selected="$(ghq list --full-path | peco --query="$READLINE_LINE")" if [ -n "$selected" ]; then READLINE_LI
日本語形態素解析の裏側を覗く！MeCab はどのように形態素解析しているか - クックパッド開発者ブログ
こんにちは、買物情報事業部の荒引 (@a_bicky) です。 前回、「検索結果の疑問を解消するための検索の基礎」で単語単位でインデキシングする前提で説明しましたが、今回は文などを単語単位で分割するために使う技術である形態素解析について触れます。 形態素解析器には色々ありますが、中でもメジャーと思われる MeCab の仕組みについて説明します。 MeCab の解析精度を上げるために辞書に単語を追加したことのある方もいると思いますが、動作原理を理解することで単語を追加する際に適切な生起コストを設定できるようになったり、学習の際に適切なパラメータを設定できるようになったりするはずです。 なお、MeCab は汎用テキスト変換ツールとしても使用できます が、簡単のため MeCab + IPA 辞書のデフォルト設定前提で説明します。 アジェンダ 形態素解析とは MeCab における最適な解析結果の推
This is what a root debug backdoor in a Linux kernel looks like
A root backdoor for debugging ARM-powered Android gadgets managed to end up in shipped firmware – and we're surprised this sort of colossal blunder doesn't happen more often. The howler is the work of Chinese ARM SoC-maker Allwinner, which wrote its own kernel code underneath a custom Android build for its devices. Its Linux 3.4-based kernel code, on Github here, contains what looks to The Registe
脱ファイルサーバ！！個人でも会社でも使えるOSSのドキュメント管理システム！その名も「Alfresco」！
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? はじめに ファイルサーバって重いし、ファイル探すの大変だし、ファイル名だけだとどれが目的のファイルかわからないし。。。 と感じた経験はありませんか？ 私も強く感じていて、いい感じのドキュメント管理システムないのかなと探していました。 DropBoxやOwnCloudも候補としてあったのですが、いまいち響かず。。 そんな中出会ったのが、「Alfresco」！ この出会いをみなさんに共有すべく、記事を書かせていただきました。 インストール作業は以下の記事を参考にしてください。 Alfrescoのインストール作業をコマンド単位で丁寧に記載しま
cisco-ios-xr-software-release-4-1
Cisco IOS XR Software Release 4.1 - Retirement Notification The Cisco IOS XR Software Release 4.1 has been retired and is no longer supported. End-of-Sale Date: 2013-09-19 End-of-Support Date: 2018-09-20 Cisco's End-of-Life Policy You can view a listing of available null offerings that best meet your specific needs If you want support information for the Cisco IOS XR Software Release 4.1 documenta
Google
世界中のあらゆる情報を検索するためのツールを提供しています。さまざまな検索機能を活用して、お探しの情報を見つけてください。
Monads and more
Intensive course by Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia. Intended audience: Postgraduates and researchers in Theoretical Computer Science. Slides: Monday (upupdated) Tuesday (update) Wednesday Friday Slides about tree transducers Course contents: Monads and why they matter for a working programming language person Combining monads: monad transformers, distributive laws, the c
Google
世界中のあらゆる情報を検索するためのツールを提供しています。さまざまな検索機能を活用して、お探しの情報を見つけてください。
Arrows: A General Interface to Computation
Arrows are a new abstract view of computation, defined by John Hughes [Hug00]. They serve much the same purpose as monads -- providing a common structure for libraries -- but are more general. In particular they allow notions of computation that may be partially static (independent of the input) or may take multiple inputs. If your application works fine with monads, you might as well stick with t
design/FAQ.md at main · WebAssembly/design
... especially since pthreads (Mozilla pthreads, Chromium pthreads) and SIMD (simd.js, Chromium SIMD, simd.js in asm.js) are coming to JavaScript. There are two main benefits WebAssembly provides: The kind of binary format being considered for WebAssembly can be natively decoded much faster than JavaScript can be parsed (experiments show more than 20× faster). On mobile, large compiled codes can e
7 Things You Should Know About WebAssembly
WebAssembly7 Things You Should Know About WebAssemblyLearn 7 things you should know about WebAssembly, one of the biggest changes the web will experience in the coming years. In this post we will explore seven key facts about WebAssembly, one of the biggest changes the web will experience in the coming years. Will it meet our expectations? Read on! IntroductionIf you are not familiar with the conc
A look at asm.js and the future with WebAssembly
Home > asm.js, programming, WebAssembly > A look at asm.js and the future with WebAssembly Earlier this year the WebAssembly [1][2] project was announced, describing itself as “a new, portable, size- and load-time-efficient format suitable for compilation to the web”. It’s a W3C community group project, headed by representatives of all major browser developers. It follows similar efforts by Mozill
Teaching C – Embedded in Academia
The other day Neel Krishnaswami mentioned that he’s going to be teaching the C class at Cambridge in the fall, and asked if I had any advice about that topic. Of course I do! In fact the response got so long that it ended up being a blog post. My main idea is that we need to teach C in a way that helps students understand why a very large fraction of critical software infrastructure, including alm
WebAssemblyを使ってみる(C/C++をWebAssemblyに変換してChromeで実行) - Qiita
WebAssemblyが動くブラウザが来た 2016/03/16 とうとうWebAssemblyが動くブラウザが出てきました。 今回はChrome Canary版で、実際にCで書いたコードをWebAssemblyに変換して実行して見るところまでやってみます。 なお環境はChromebookでビルド諸々をして、Windows上のChromeで動作確認しました。 実行に関してはブラウザを入れれば良いとして、ビルドに関してはLinuxやMac系のOSでだいたい同じ手順でできるはずです。 準備 コンパイルの手順 次のような流れでコンパイルします。 Cのコードをclangを用いてLLVM IRにコンパイル LLVM IRをアセンブリを経由してWebAssemblyのテキスト形式までコンパイル テキスト形式のWebAssemblyをバイナリにコンパイル この3つでそれぞれ使うものを順番に導入していきま
LMFDB - The L-functions and modular forms database
The LMFDB is a database of mathematical objects arising in number theory and arithmetic geometry that illustrates some of the mathematical connections predicted by the Langlands program. Click a heading on the left to browse, or go to a random page. The first LuCaNT conference took place July 10-14, 2023 at ICERM. Thanks to everyone who attended! Conference proceedings will be published soon. Chec
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Don’t Take Photos Of Your Arduino 101 Either, It’s Light Sensitive
Amazon.co.jp: 英語はもっと句動詞で話そう: 日向清人: Digital Ebook Purchas
英語はもっと句動詞で話そう
DurexForth V1.5.2
Timeline: Performance analysis for everybody · Issue #916 · snabbco/snabb
http://wiki.ifs.hsr.ch/SemProgAnTr/files/ArrowsV4Final.pdf
7.10. Arrow notation
https://soracom.jp/press/2016051102/
https://contextualelectronics.com/gtb-kicad-4-0/
Hadley Wickham contributions to R
The IOT test
GitHub - twitter-archive/distributedlog: A high performance replicated log service. (The development is moved to Apache Incubator)
A Farewell to FRP: Making signals unnecessary with The Elm Architecture - elm-lang.org