Masashi Fujita objectx

Effective Modern CMake

Getting Started

For a brief user-level introduction to CMake, watch C++ Weekly, Episode 78, Intro to CMake by Jason Turner. LLVM’s CMake Primer provides a good high-level introduction to the CMake syntax. Go read it now.

After that, watch Mathieu Ropert’s CppCon 2017 talk Using Modern CMake Patterns to Enforce a Good Modular Design (slides). It provides a thorough explanation of what modern CMake is and why it is so much better than “old school” CMake. The modular design ideas in this talk are based on the book [Large-Scale C++ Software Design](https://www.amazon.de/Large-Scale-Soft

STPのなかみ

Bit blasting

Bit Vectorを命題論理に変換する作業。例えばl-bitのaとbがあって、a or bという項はそれぞれの1bitごとに、a[i] or b[i]を取ってandという事になる。足し算x + yは同様に1 bitごとに考えれば良いが桁上がりなどがあるので、半加算器を考える必要がある。 a=x[i],b=y[i]とすると、 s ≡ (a + b + i ) mod 2 ≡ a ⊕ b ⊕ i o ≡ (a + b + i ) div 2 ≡ a · b + a · i + b · i となって、これをTseitin encodingでCNFにすると、 (a ∨ b ∨ ¬o) ∧ (a ∨ ¬b ∨ i ∨ ¬o) ∧ (a ∨ ¬b ∨ ¬i ∨ o)∧

QEMUのなかみ(QEMU internals) 5

QEMU Guest Agent

QEMUはゲストOS内にqemu-gaをインストールする事で、ホストからゲストの情報を取得できる。 qemu-gaはvirtio-serialを通して、ホストとUNIXソケットで双方向通信を行う。ゲスト側は/dev/virtio-ports/org.qemu.guest_agen.0などのデバイスファイルを通し、またホスト側は/tmp/qga.agentなどを通して通信する。(これらはqemu起動時にオプションで指定する)

|sh| ./qemu-ga -m virtio-serial -p /dev/virtio-ports/org.qemu.guest_agent.0 ||<

買った

技術書典3のタグでbooth検索するといくつか見つかります。 https://booth.pm/ja/events/techbookfest-3

コンパイラを作って遊ぼう https://techbookfest.org/event/tbf03/circle/4845183074041856
- Boothで買える https://booth.pm/ja/items/490875
進捗大陸2 https://techbookfest.org/event/tbf03/circle/5765033938124800
- 進捗大陸1は電子書籍で買える模様 https://shinchokutairiku.booth.pm/items/491301
GopherWalker https://techbookfest.org/event/tbf03/circle/5126658050752512

MonadTransformer とは何か

注意書き

この記事は Monad がわかる人に向けた MonadTransformer の解説記事です。

すごいH本や FP in Scala などでモナドまではイメージが掴めたけれど、モナドトランスフォーマーが何かわからない、という層をターゲットに想定しています。

基本的に Functor, Applicative, Monad および型クラスについては把握しているものとしますので、この辺があやふやな方は別の資料などをご参照下さい。

Edit: This list is now maintained in the rust-anthology repo.

Introduction
Ownership
- Where Rust Really Shines
- Rust Means Never Having to Close a Socket
The Problem with Single-threaded Shared Mutability

ES Class Fields (Stage 2 now)

プライベートフィールドがハッシュな変態記法なのは何でなんだぜ？

class Point {
    #x;
    #y;
 constructor(x = 0, y = 0) {

あたりまえのことをあたりまえにやる難しさ

日時:	2017-07-04
作:	@voluntas
バージョン:	1.0.2
url:	https://voluntas.github.io/
時間:	30 分

https://webrtc.shiguredo.jp/rfc.html

	module Main (main) where

	import Control.Concurrent

	main :: IO ()
	main = do
	codechan <- newEmptyMVar
	wait <- newEmptyMVar
	myid <- myThreadId
	putStrLn $ "I'm " ++ show myid