掃除機やエアコンのフィルター、あるいはコーヒーのフィルターなどは「大きな物体をせき止めて小さな物だけ通す」という働きがあるのは誰もが知るところ。しかしそれとは逆に「大きな物だけ通す」という不思議なフィルターが開発されました。用途としては、「ハエだけが通れないフィルター」や「トイレの防臭フィルター」などが考えられるようです。 Free-standing liquid membranes as unusual particle separators | Science Advances http://advances.sciencemag.org/content/4/8/eaat3276 This improbable membrane can trap flies in a jar—and odor in a toilet | Science | AAAS http://www.scienc
数学文章をいかに実現するかは骨に印を刻んでいた太古の昔から続く人類の夢だったのですが、多くの人の努力があって今はその選択肢もかなり増えた気がします。「はてなブログ」もその一つであり、MathJaxを用いた数式処理システムが使われています。難しい設定が必要なく、数式の書ける「はてなブログ」の存在は本当に有難いものだと思います。しかも無料! (媚を売っていく) さて、世の中にはGitHubというサービスがあるのですが、これは簡単に言うと文章のバージョン管理システムにSNS機能がひっついたものです。(厳密にはGitというシステムの実装の一つがGitHubで、「はてなブログ」もGitの一種だそうです。)プログラマーやIT関連に詳しい人にはお馴染みかと思いますが、自分は少し前にアカウントを作ったものの、特に利用することもなくPDF置き場として放置していました。使い方も良く分からないし、目的も技術も無
In this article we will look at a from-scratch implementation of a compiler from a simple LISP-like calculator language to JavaScript. The complete source code can be found here. We will: Define our language and write a simple program in itImplement a simple parser combinator libraryImplement a parser for our languageImplement a prettyprinter for our languageDefine a subset of JavaScript for our u
Way back in August I announced that I was starting in on "a project to QuickCheck Rust’s standard library data structures", here. And I did! The project is called bughunt-rust and I've been poking at it on weekends since, adjusting my approach based on papers I've been reading, experience gained writing test code and the kind of results I've been getting. This post goes through what I've been up t
RAII is better than the bracket pattern Published October 8, 2018 I recently wrote an FP Complete blog post entitled ResourceT: A necessary evil. I had a line in that post I wanted to expand upon: I believe this is an area where the RAII (Resource Acquisition Is Initialization) approach in both C++ and Rust leads to a nicer solution than even our bracket pattern in Haskell, by (mostly) avoiding th
This post walks through the development of a small Haskell program for aligning equals symbols in a block of text. This walkthrough targets a beginning programmer by describing several steps and concepts in extra detail. Note that this post describes how to author, compile, and run single-file Haskell programs for ease of experimentation and learning. For larger Haskell projects you will want to u
In theory u128 and i128 should match the ABI of __int128 but they don't right now due to a bug in llvm. Similarly we could probably define Rust's char to match C++'s char32_t but so far no one has cared enough to look into the details and champion the issue. Note that in practice primitives are usually aligned to their size. A smaller alignment is often an indication that the type is software-emul
Borrow checking, escape analysis, and the generational hypothesis Home Blog 2018-10-10 There’s a fairly common argument that pops up on programming forums, and it’s about the nature of what “garbage collection” means. In the research world, this is what GC means: Garbage collection (GC), also known as automatic memory management, is the automatic recycling of dynamically allocated memory(2). Garba
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く