"the smartphone is itself a social messaging platform" Mobile is not a neutral platform http://t.co/TezVm0Rpm9 (comparing web/mobile APIs)
miniblog.
Here's a really interesting design for a test runner: make it a web app with HTML5 notifications! http://t.co/nm3JdWQJXy
Rust is the only language I know that systematically tests new compilers against a big real-world corpus: https://internals.rust-lang.org/t/regression-reports-stable-2015-09-17-vs-beta-2015-10-02-nightly-10-06/2737 amazing!
Incredibly, there are already proofs regarding memory safety of the Rust model: ftp://ftp.cs.washington.edu/tr/2015/03/UW-CSE-15-03-02.pdf
.@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.
Showing 5,011-5,025 of 7,583 posts