入門Haskellプログラミング | SEshop.com
「コンピュータのプログラミング」から脱却し、 “学術”ではない、実用度重視のHaskell入門書 Haskellは、関数型プログラミングを研究する対象としての側面が強すぎ、一般的なアプリケーション構築を目的とした開発言語の側面が、おざなりにされがちでした。そのため、他の言語（JavaとかC/C++とかC#とか）がこなす、ありふれたアプリケーションをHaskellで構築しようとすると、キーボードを叩く指が止まってしまうことがありました。本書は関数型プログラミングの基本を押さえつつ、実用的なプログラムを書けるようなレベルに誘う一冊です。 もちろん、そのためにはプログラミング言語としての基礎的な知識や、Haskellならではの技法・手法の理解が欠かせません。本書では、最終的にI/Oを使用し、乱数を生成し、DBアプリケーションを作れるところまで道筋を示します。 二度とHaskellに触れないとして
無限
・集合はそのある真部分集合と一対一対応があるとき，無限集合と呼ばれる ・集合間の大小関係は，その集合間の写像の存在に基づいた濃度で表す ・集合はその全ての要素を並べることができるとき，可付番集合と呼ばれる ・自然数，整数，偶数，奇数，有理数，自然数の直積集合などは可付番集合 ・実数は可付番集合ではない（カントールの対角線論法） ・実数の濃度は自然数の濃度よりも高く，自然数の冪集合の濃度に等しい ・冪集合の濃度はもとの集合の濃度よりも高くなる ・可付番無限集合の濃度をアレフ・ゼロと呼ぶ ・可付番無限集合は濃度が最小の無限集合である
水の二相モデルは幻か？：新たな実験結果 | phasonの日記 | スラド
"Absence of amorphous forms when ice is compressed at low temperature" C. A. Tulk, J. J. Molaison, A. R. Makhluf, C. E. Manning and D. D. Klug, Nature, 569, 542-545 (2019). 水というのはかなり特異な振る舞いを示す液体である．例えば通常は固体は液体より密度が高いのに氷は水より密度が低かったり，融解後に昇温とともに密度が増加する（4 ℃で極大）など，他の物質ではなかなか見られない変わった挙動はよく知られているだろう．これだけなら氷で見られる水分子の水素結合による四配位構造が昇温とともに崩れていく，というだけで説明できるのだが，実は水にはほかにも低温で比熱や圧縮率に発散傾向が現れたり，粘性率に異常が生じたりとさまざまな異常を示
Compiling C to WebAssembly without Emscripten — surma.dev
Toggle dark mode A compiler is just a part of Emscripten. What if we stripped away all the bells and whistles and used just the compiler? Emscripten is a compiler toolchain for C/C++ targeting WebAssembly. But it does so much more than just compiling. Emscripten’s goal is to be a drop-in replacement for your off-the-shelf C/C++ compiler and make code that was not written for the web run on the web
Linux Applications Performance: Introduction
Articles in this series Part I. Iterative ServersPart II. Forking ServersPart III. Pre-forking ServersPart IV. Threaded ServersPart V. Pre-threaded ServersPart VI: poll-based serverPart VII: epoll-based server On HackerNews There are several interesting takeaways from the HackerNews thread for this article series. Do check it out. Web apps are the staple of consumers and enterprises. Among the man
O.MGケーブル – 挿したパソコンが遠隔操作されるUSBケーブル | 秋元@サイボウズラボ・プログラマー・ブログ
マイク・グローバさん(@_MG_)が開発を進めているO.MG Cableは、PCを遠隔操作するためのツールを組み込んだUSBケーブルです。 見た目は何の変哲もない普通のUSBケーブル。 PCに挿すと、リモートのスマートフォンアプリから、PCに対してキー入力ができるようになります。デモでは、PCの利用者がスクリーンロックを解除した状態で、任意のウェブサイトをブラウザに開かせていますが、キー入力が遠隔でできるということは、ほぼなんでもできてしまうと言っていいでしょう。 You like wifi in your malicious USB cables? The O•MG cable (Offensive MG kit)https://t.co/Pkv9pQrmHt This was a fun way to pick up a bunch of new skills. Not possibl
これからの時代、少量カスタムで大量種類のチップを設計する方法とは (UCBの論文を読む) - FPGA開発日記
UCB(University of California, Berkeley)の論文を教えてもらい、読んでみることにした(実際には大量にGoogle翻訳した)。 この論文は"Generating the Next Wave of Custom Silicon"という論文である。 著者から分かる通り、RISC-VとChiselの思いっきり関係者である。 Generating the Next Wave of Custom Silicon Borivoje Nikolić, Elad Alon, Krste Asanović, Electrical Engineering and Computer Sciences, University of California, Berkeley, CA, USA https://ieeexplore.ieee.org/xpl/mostRecentIss
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
!!Con 2019- Tail Call Optimization: The Musical!! by Anjana Vakil & Natalia Margolis
A visual introduction to Morse theory