Emacs tip of the day: if you're using ido-find-file (C-x C-f when using ido), you can type // to switch to the root directory.
miniblog.
The Chrome team is looking at time and user limited web experiments: https://infrequently.org/2015/08/doing-science-on-the-web/ (a great idea, vendor prefixes rarely die)
It's astoundingly difficult to use Application Cache correctly: http://t.co/JyQemENKEC (great webdev articles like this reference the spec)
"the smartphone is itself a social messaging platform" Mobile is not a neutral platform http://t.co/TezVm0Rpm9 (comparing web/mobile APIs)
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!)
Showing 136-150 of 650 posts