miniblog.

.@rustlang 's semantics surprised me today: comparing values of &T compares by value, not by reference:

LLVM does not scale down well if CPUs have very few general purpose registers: http://t.co/eEvS22b310 (I believe GCC is marginally better)

Looking at Z80 today. There's already a LLVM port to this architecture!

Apparently valgrind rhymes with pinned, not find: http://t.co/3N8aLDvbfr -- I've been saying it wrong all this time!

"the [Rust] compiler is the strictest I’ve ever had the pleasure to work with" Safety = Freedom

The Rust community is creating projects at an impressive rate. RedoxOS is gaining momentum and interesting features: http://t.co/SEURBgeity

Emacs tip of the day: projectile is great, but you're probably missing on some of its great features. 'C-c p C-h' will reveal all!

Refutation of the Clique-Based P=NP Proofs http://t.co/8WELZkYO6l (both proposals have bugs, which generative testing would have spotted!)

Today I learnt Emacs has a screensaver: M-x zone!

RTags is a neat project for C/C++. It provides jump-to-definition, and can even apply clang's fix suggestions!

I will be at LinuxCon Europe this week! Say hi if you're around.

Urbit has tons of interesting ideas: http://t.co/6IrAVbOBpP though the terminology is weird: gate=lambda, vane=kernel module, wire=path etc

Awesome Rust testing technique: if your API should forbid certain usage, verify that it cannot compile! http://t.co/oyf1BrTX43

Interesting post on which computer hardware is best suited for developing a new operating system:

Ubiquity is like M-x for Firefox: https://wiki.mozilla.org/Labs/Ubiquity/Latest_Ubiquity_User_Tutorial (interesting idea but depends on API availability, which many sites lack)